runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012091434/p2cudf-user-1.10/rand7902a8.cudf.impossible.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/impossible//rand7902a8.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/rand7902a8.cudf.impossible.result -changed,-removed,-unmet_recommends,-new Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.31 1.13 1.03 5/40 28781 /proc/meminfo: memFree=396496/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2572 CPUtime=0 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 357 0 0 0 0 0 0 0 25 0 1 0 900121305 2633728 275 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/28780/statm: 643 275 234 194 0 29 0 [pid=28781] ppid=28780 vsize=2572 CPUtime=0 /proc/28781/stat : 28781 (p2cudf) R 28780 28779 25521 34816 25544 4202560 91 0 0 0 0 0 0 0 25 0 1 0 900121305 2633728 117 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/28781/statm: 643 117 75 194 0 29 0 [pid=28782] ppid=28781 vsize=2572 CPUtime=0 /proc/28782/stat : 28782 (p2cudf) R 28781 28779 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900121305 2633728 42 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/28782/statm: 643 42 0 194 0 29 0 [startup+0.124804 s] /proc/loadavg: 1.31 1.13 1.03 5/40 28781 /proc/meminfo: memFree=396496/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2576 CPUtime=0.02 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 395 2991 0 1 0 0 2 0 25 0 1 0 900121305 2637824 283 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28780/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+0.204822 s] /proc/loadavg: 1.31 1.13 1.03 5/40 28781 /proc/meminfo: memFree=396496/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2576 CPUtime=0.02 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 395 2991 0 1 0 0 2 0 25 0 1 0 900121305 2637824 283 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28780/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+0.304839 s] /proc/loadavg: 1.31 1.13 1.03 5/40 28781 /proc/meminfo: memFree=396496/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2576 CPUtime=0.02 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 395 2991 0 1 0 0 2 0 25 0 1 0 900121305 2637824 283 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28780/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+0.704907 s] /proc/loadavg: 1.31 1.13 1.03 5/40 28781 /proc/meminfo: memFree=396496/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2576 CPUtime=0.02 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 395 2991 0 1 0 0 2 0 25 0 1 0 900121305 2637824 283 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28780/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+1.50515 s] /proc/loadavg: 1.31 1.13 1.03 5/50 28802 /proc/meminfo: memFree=352308/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2576 CPUtime=0.02 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 395 2991 0 1 0 0 2 0 25 0 1 0 900121305 2637824 283 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28780/statm: 644 283 241 194 0 30 0 [pid=28793] ppid=28780 vsize=879560 CPUtime=1.46 /proc/28793/stat : 28793 (java) S 28780 28779 25521 34816 25544 4202496 17506 0 1 0 140 6 0 0 25 0 10 0 900121308 900669440 13183 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28793/statm: 219890 13183 1732 10 0 216980 0 [pid=28793/tid=28794] ppid=28780 vsize=879560 CPUtime=0.55 /proc/28793/task/28794/stat : 28794 (java) R 28780 28779 25521 34816 25544 4202560 6284 0 1 0 51 4 0 0 25 0 10 0 900121309 900669440 13183 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28793/tid=28795] ppid=28780 vsize=879560 CPUtime=0 /proc/28793/task/28795/stat : 28795 (java) S 28780 28779 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 16 0 10 0 900121311 900669440 13183 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28796] ppid=28780 vsize=879560 CPUtime=0 /proc/28793/task/28796/stat : 28796 (java) S 28780 28779 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900121311 900669440 13183 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28797] ppid=28780 vsize=879560 CPUtime=0 /proc/28793/task/28797/stat : 28797 (java) S 28780 28779 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900121311 900669440 13183 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28798] ppid=28780 vsize=879560 CPUtime=0 /proc/28793/task/28798/stat : 28798 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900121314 900669440 13183 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28799] ppid=28780 vsize=879560 CPUtime=0.67 /proc/28793/task/28799/stat : 28799 (java) R 28780 28779 25521 34816 25544 4202560 8854 0 0 0 65 2 0 0 25 0 10 0 900121314 900669440 13183 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28793/tid=28800] ppid=28780 vsize=879560 CPUtime=0.23 /proc/28793/task/28800/stat : 28800 (java) R 28780 28779 25521 34816 25544 4202560 1253 0 0 0 23 0 0 0 21 0 10 0 900121314 900669440 13183 1283457024 134512640 134550932 4288674480 18446744073709551615 4151770819 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28793/tid=28801] ppid=28780 vsize=879560 CPUtime=0 /proc/28793/task/28801/stat : 28801 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900121314 900669440 13183 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28802] ppid=28780 vsize=879560 CPUtime=0 /proc/28793/task/28802/stat : 28802 (java) S 28780 28779 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900121314 900669440 13183 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 884712 [startup+3.12699 s] /proc/loadavg: 1.31 1.13 1.03 2/50 28802 /proc/meminfo: memFree=302876/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2576 CPUtime=0.02 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 395 2991 0 1 0 0 2 0 25 0 1 0 900121305 2637824 283 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28780/statm: 644 283 241 194 0 30 0 [pid=28793] ppid=28780 vsize=878676 CPUtime=2.97 /proc/28793/stat : 28793 (java) S 28780 28779 25521 34816 25544 4202496 65478 0 1 0 270 27 0 0 25 0 10 0 900121308 899764224 60862 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28793/statm: 219669 60862 1733 10 0 216759 0 [pid=28793/tid=28794] ppid=28780 vsize=878676 CPUtime=1.59 /proc/28793/task/28794/stat : 28794 (java) R 28780 28779 25521 34816 25544 4202560 50249 0 1 0 135 24 0 0 25 0 10 0 900121309 899764224 60862 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28793/tid=28795] ppid=28780 vsize=878676 CPUtime=0.08 /proc/28793/task/28795/stat : 28795 (java) R 28780 28779 25521 34816 25544 4202560 3599 0 0 0 8 0 0 0 15 0 10 0 900121311 899764224 60862 1283457024 134512640 134550932 4288674480 18446744073709551615 4149012742 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=28793/tid=28796] ppid=28780 vsize=878676 CPUtime=0 /proc/28793/task/28796/stat : 28796 (java) S 28780 28779 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900121311 899764224 60862 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28797] ppid=28780 vsize=878676 CPUtime=0 /proc/28793/task/28797/stat : 28797 (java) S 28780 28779 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900121311 899764224 60862 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28798] ppid=28780 vsize=878676 CPUtime=0 /proc/28793/task/28798/stat : 28798 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900121314 899764224 60862 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28799] ppid=28780 vsize=878676 CPUtime=0.76 /proc/28793/task/28799/stat : 28799 (java) S 28780 28779 25521 34816 25544 4202560 8917 0 0 0 74 2 0 0 24 0 10 0 900121314 899764224 60862 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28800] ppid=28780 vsize=878676 CPUtime=0.53 /proc/28793/task/28800/stat : 28800 (java) S 28780 28779 25521 34816 25544 4202560 1603 0 0 0 53 0 0 0 16 0 10 0 900121314 899764224 60862 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28801] ppid=28780 vsize=878676 CPUtime=0 /proc/28793/task/28801/stat : 28801 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900121314 899764224 60862 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28802] ppid=28780 vsize=878676 CPUtime=0 /proc/28793/task/28802/stat : 28802 (java) S 28780 28779 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900121314 899764224 60862 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 883828 [startup+6.31224 s] /proc/loadavg: 1.36 1.15 1.04 2/50 28802 /proc/meminfo: memFree=10608/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2576 CPUtime=0.02 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 395 2991 0 1 0 0 2 0 25 0 1 0 900121305 2637824 283 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28780/statm: 644 283 241 194 0 30 0 [pid=28793] ppid=28780 vsize=878140 CPUtime=5.95 /proc/28793/stat : 28793 (java) S 28780 28779 25521 34816 25544 4202496 98029 0 1 0 555 40 0 0 25 0 10 0 900121308 899215360 91426 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28793/statm: 219535 91426 1766 10 0 216625 0 [pid=28793/tid=28794] ppid=28780 vsize=878140 CPUtime=2.87 /proc/28793/task/28794/stat : 28794 (java) R 28780 28779 25521 34816 25544 4202560 50408 0 1 0 260 27 0 0 25 0 10 0 900121309 899215360 91426 1283457024 134512640 134550932 4288674480 18446744073709551615 4149866660 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28793/tid=28795] ppid=28780 vsize=878140 CPUtime=0.79 /proc/28793/task/28795/stat : 28795 (java) S 28780 28779 25521 34816 25544 4202560 33959 0 0 0 69 10 0 0 15 0 10 0 900121311 899215360 91426 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28796] ppid=28780 vsize=878140 CPUtime=0 /proc/28793/task/28796/stat : 28796 (java) S 28780 28779 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 10 0 900121311 899215360 91426 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28797] ppid=28780 vsize=878140 CPUtime=0 /proc/28793/task/28797/stat : 28797 (java) S 28780 28779 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 10 0 900121311 899215360 91426 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28798] ppid=28780 vsize=878140 CPUtime=0 /proc/28793/task/28798/stat : 28798 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900121314 899215360 91426 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28799] ppid=28780 vsize=878140 CPUtime=0.76 /proc/28793/task/28799/stat : 28799 (java) S 28780 28779 25521 34816 25544 4202560 8917 0 0 0 74 2 0 0 24 0 10 0 900121314 899215360 91426 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28800] ppid=28780 vsize=878140 CPUtime=1.52 /proc/28793/task/28800/stat : 28800 (java) S 28780 28779 25521 34816 25544 4202560 3632 0 0 0 152 0 0 0 15 0 10 0 900121314 899215360 91426 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28801] ppid=28780 vsize=878140 CPUtime=0 /proc/28793/task/28801/stat : 28801 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900121314 899215360 91426 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28802] ppid=28780 vsize=878140 CPUtime=0 /proc/28793/task/28802/stat : 28802 (java) S 28780 28779 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900121314 899215360 91426 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 883292 [startup+12.7045 s] /proc/loadavg: 1.34 1.14 1.03 2/51 28803 /proc/meminfo: memFree=5276/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2576 CPUtime=0.02 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 395 2991 0 1 0 0 2 0 25 0 1 0 900121305 2637824 283 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28780/statm: 644 283 241 194 0 30 0 [pid=28793] ppid=28780 vsize=878464 CPUtime=12.29 /proc/28793/stat : 28793 (java) S 28780 28779 25521 34816 25544 4202496 104220 0 1 0 1188 41 0 0 25 0 11 0 900121308 899547136 97617 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28793/statm: 219616 97617 1792 10 0 216706 0 [pid=28793/tid=28794] ppid=28780 vsize=878464 CPUtime=7.67 /proc/28793/task/28794/stat : 28794 (java) R 28780 28779 25521 34816 25544 4202560 50471 0 1 0 740 27 0 0 25 0 11 0 900121309 899547136 97617 1283457024 134512640 134550932 4288674480 18446744073709551615 4096272912 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28793/tid=28795] ppid=28780 vsize=878464 CPUtime=0.97 /proc/28793/task/28795/stat : 28795 (java) S 28780 28779 25521 34816 25544 4202560 39932 0 0 0 86 11 0 0 15 0 11 0 900121311 899547136 97617 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28796] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28796/stat : 28796 (java) S 28780 28779 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900121311 899547136 97617 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28797] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28797/stat : 28797 (java) S 28780 28779 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900121311 899547136 97617 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28798] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28798/stat : 28798 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900121314 899547136 97617 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28799] ppid=28780 vsize=878464 CPUtime=0.76 /proc/28793/task/28799/stat : 28799 (java) S 28780 28779 25521 34816 25544 4202560 8917 0 0 0 74 2 0 0 24 0 11 0 900121314 899547136 97617 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28800] ppid=28780 vsize=878464 CPUtime=2.87 /proc/28793/task/28800/stat : 28800 (java) S 28780 28779 25521 34816 25544 4202560 3783 0 0 0 287 0 0 0 15 0 11 0 900121314 899547136 97617 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28801] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28801/stat : 28801 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900121314 899547136 97617 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28802] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28802/stat : 28802 (java) S 28780 28779 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900121314 899547136 97617 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28803] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28803/stat : 28803 (java) S 28780 28779 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900122113 899547136 97617 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.31 Current children cumulated vsize (KiB) 883616 [startup+25.5087 s] /proc/loadavg: 1.26 1.14 1.03 2/51 28803 /proc/meminfo: memFree=5632/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2576 CPUtime=0.02 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 395 2991 0 1 0 0 2 0 25 0 1 0 900121305 2637824 283 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28780/statm: 644 283 241 194 0 30 0 [pid=28793] ppid=28780 vsize=878464 CPUtime=25.06 /proc/28793/stat : 28793 (java) S 28780 28779 25521 34816 25544 4202496 113202 0 1 0 2465 41 0 0 25 0 11 0 900121308 899547136 106599 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28793/statm: 219616 106599 1793 10 0 216706 0 [pid=28793/tid=28794] ppid=28780 vsize=878464 CPUtime=19.47 /proc/28793/task/28794/stat : 28794 (java) R 28780 28779 25521 34816 25544 4202560 50471 0 1 0 1920 27 0 0 25 0 11 0 900121309 899547136 106599 1283457024 134512640 134550932 4288674480 18446744073709551615 4096272883 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28793/tid=28795] ppid=28780 vsize=878464 CPUtime=1.69 /proc/28793/task/28795/stat : 28795 (java) S 28780 28779 25521 34816 25544 4202560 48885 0 0 0 158 11 0 0 15 0 11 0 900121311 899547136 106599 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28796] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28796/stat : 28796 (java) S 28780 28779 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900121311 899547136 106599 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28797] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28797/stat : 28797 (java) S 28780 28779 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900121311 899547136 106599 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28798] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28798/stat : 28798 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900121314 899547136 106599 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28799] ppid=28780 vsize=878464 CPUtime=0.76 /proc/28793/task/28799/stat : 28799 (java) S 28780 28779 25521 34816 25544 4202560 8917 0 0 0 74 2 0 0 24 0 11 0 900121314 899547136 106599 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28800] ppid=28780 vsize=878464 CPUtime=3.13 /proc/28793/task/28800/stat : 28800 (java) S 28780 28779 25521 34816 25544 4202560 3812 0 0 0 313 0 0 0 16 0 11 0 900121314 899547136 106599 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28801] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28801/stat : 28801 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900121314 899547136 106599 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28802] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28802/stat : 28802 (java) S 28780 28779 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900121314 899547136 106599 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28803] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28803/stat : 28803 (java) S 28780 28779 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900122113 899547136 106599 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.08 Current children cumulated vsize (KiB) 883616 [startup+51.106 s] /proc/loadavg: 1.25 1.14 1.04 2/51 28803 /proc/meminfo: memFree=5216/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2576 CPUtime=0.02 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 395 2991 0 1 0 0 2 0 25 0 1 0 900121305 2637824 283 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28780/statm: 644 283 241 194 0 30 0 [pid=28793] ppid=28780 vsize=878464 CPUtime=50.63 /proc/28793/stat : 28793 (java) S 28780 28779 25521 34816 25544 4202496 113675 0 1 0 5021 42 0 0 25 0 11 0 900121308 899547136 107072 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28793/statm: 219616 107072 1793 10 0 216706 0 [pid=28793/tid=28794] ppid=28780 vsize=878464 CPUtime=43.11 /proc/28793/task/28794/stat : 28794 (java) R 28780 28779 25521 34816 25544 4202560 50472 0 1 0 4283 28 0 0 25 0 11 0 900121309 899547136 107072 1283457024 134512640 134550932 4288674480 18446744073709551615 4096324837 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28793/tid=28795] ppid=28780 vsize=878464 CPUtime=3.55 /proc/28793/task/28795/stat : 28795 (java) S 28780 28779 25521 34816 25544 4202560 49357 0 0 0 344 11 0 0 15 0 11 0 900121311 899547136 107072 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28796] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28796/stat : 28796 (java) S 28780 28779 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900121311 899547136 107072 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28797] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28797/stat : 28797 (java) S 28780 28779 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900121311 899547136 107072 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28798] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28798/stat : 28798 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900121314 899547136 107072 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28799] ppid=28780 vsize=878464 CPUtime=0.76 /proc/28793/task/28799/stat : 28799 (java) S 28780 28779 25521 34816 25544 4202560 8917 0 0 0 74 2 0 0 24 0 11 0 900121314 899547136 107072 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28800] ppid=28780 vsize=878464 CPUtime=3.2 /proc/28793/task/28800/stat : 28800 (java) S 28780 28779 25521 34816 25544 4202560 3812 0 0 0 320 0 0 0 15 0 11 0 900121314 899547136 107072 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28801] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28801/stat : 28801 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900121314 899547136 107072 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28802] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28802/stat : 28802 (java) S 28780 28779 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900121314 899547136 107072 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28803] ppid=28780 vsize=878464 CPUtime=0 /proc/28793/task/28803/stat : 28803 (java) S 28780 28779 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900122113 899547136 107072 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 883616 Solver just ended. Dumping a history of the last processes samples [startup+51.508 s] /proc/loadavg: 1.25 1.14 1.04 2/51 28803 /proc/meminfo: memFree=5216/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2576 CPUtime=0.02 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 395 2991 0 1 0 0 2 0 25 0 1 0 900121305 2637824 283 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28780/statm: 644 283 241 194 0 30 0 [pid=28793] ppid=28780 vsize=878788 CPUtime=50.83 /proc/28793/stat : 28793 (java) S 28780 28779 25521 34816 25544 4202496 113689 0 1 0 5041 42 0 0 25 0 12 0 900121308 899878912 107086 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28793/statm: 219697 107086 1793 10 0 216787 0 [pid=28793/tid=28794] ppid=28780 vsize=878788 CPUtime=43.27 /proc/28793/task/28794/stat : 28794 (java) S 28780 28779 25521 34816 25544 4202560 50479 0 1 0 4299 28 0 0 25 0 12 0 900121309 899878912 107086 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28795] ppid=28780 vsize=878788 CPUtime=3.55 /proc/28793/task/28795/stat : 28795 (java) S 28780 28779 25521 34816 25544 4202560 49357 0 0 0 344 11 0 0 15 0 12 0 900121311 899878912 107086 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 0 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28796] ppid=28780 vsize=878788 CPUtime=0 /proc/28793/task/28796/stat : 28796 (java) S 28780 28779 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900121311 899878912 107086 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28797] ppid=28780 vsize=878788 CPUtime=0 /proc/28793/task/28797/stat : 28797 (java) S 28780 28779 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900121311 899878912 107086 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28798] ppid=28780 vsize=878788 CPUtime=0 /proc/28793/task/28798/stat : 28798 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900121314 899878912 107086 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28799] ppid=28780 vsize=878788 CPUtime=0.76 /proc/28793/task/28799/stat : 28799 (java) S 28780 28779 25521 34816 25544 4202560 8917 0 0 0 74 2 0 0 24 0 12 0 900121314 899878912 107086 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28800] ppid=28780 vsize=878788 CPUtime=3.23 /proc/28793/task/28800/stat : 28800 (java) S 28780 28779 25521 34816 25544 4202560 3815 0 0 0 323 0 0 0 16 0 12 0 900121314 899878912 107086 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28801] ppid=28780 vsize=878788 CPUtime=0 /proc/28793/task/28801/stat : 28801 (java) S 28780 28779 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900121314 899878912 107086 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28802] ppid=28780 vsize=878788 CPUtime=0 /proc/28793/task/28802/stat : 28802 (java) S 28780 28779 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900121314 899878912 107086 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 [pid=28793/tid=28803] ppid=28780 vsize=878788 CPUtime=0 /proc/28793/task/28803/stat : 28803 (java) S 28780 28779 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900122113 899878912 107086 1283457024 134512640 134550932 4288674480 18446744073709551615 4294960130 0 4 0 16800975 18446612133130959872 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.85 Current children cumulated vsize (KiB) 883940 [startup+51.9119 s] /proc/loadavg: 1.25 1.14 1.04 1/52 28804 /proc/meminfo: memFree=6344/1048576 swapFree=2095372/2097144 [pid=28779] ppid=28778 vsize=2576 CPUtime=0 /proc/28779/stat : 28779 (p2cudf-user-1.1) S 28778 28779 25521 34816 25544 4202496 380 0 0 0 0 0 0 0 18 0 1 0 900121305 2637824 274 1283457024 134512640 135304128 4288226176 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28779/statm: 644 274 233 194 0 30 0 [pid=28780] ppid=28779 vsize=2576 CPUtime=0.02 /proc/28780/stat : 28780 (p2cudf) S 28779 28779 25521 34816 25544 4202496 395 2991 0 1 0 0 2 0 25 0 1 0 900121305 2637824 283 1283457024 134512640 135304128 4289086592 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28780/statm: 644 283 241 194 0 30 0 [pid=28793] ppid=28780 vsize=0 CPUtime=50.89 /proc/28793/stat : 28793 (java) Z 28780 28779 25521 34816 25544 4203532 113694 0 1 0 5043 46 0 0 18 0 2 0 900121308 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28793/statm: 0 0 0 0 0 0 0 [pid=28793/tid=28794] ppid=28780 vsize=0 CPUtime=43.29 /proc/28793/task/28794/stat : 28794 (java) R 28780 28779 25521 34816 25544 4203588 50480 0 1 0 4299 30 0 0 20 0 2 0 900121309 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.91 Current children cumulated vsize (KiB) 5152 Child status: 0 Real time (s): 51.9354 CPU time (s): 50.9432 CPU user time (s): 50.4512 CPU system time (s): 0.49203 CPU usage (%): 98.0896 Max. virtual memory (cumulated for all children) (KiB): 887004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 50.4512 system time used= 0.49203 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 117479 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1900 involuntary context switches= 2413 runsolver used 0.012 second user time and 0.012 second system time The end