runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459605-1307151779/watcher-3459605-1307151779 -o /tmp/evaluation-result-3459605-1307151779/solver-3459605-1307151779 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459605-1307151779.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.27 2.12 2.03 2/544 2721
/proc/meminfo: memFree=22866020/32951124 swapFree=64303760/67111528
[pid=2721] ppid=2719 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/2721/stat : 2721 (java) R 2719 2721 32714 0 -1 4202496 956 0 0 0 0 0 0 0 25 0 1 0 807593777 23580672 700 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233505335185 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2721/statm: 5757 700 516 9 0 124 0
[pid=2721/tid=2722] ppid=2719 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (java) R 2719 2721 32714 0 -1 4202560 7771 0 1 0 0 0 0 0 25 0 2 0 807593777 13850947584 8587 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.045988 s]
/proc/loadavg: 2.27 2.12 2.03 2/544 2721
/proc/meminfo: memFree=22866020/32951124 swapFree=64303760/67111528
[pid=2721] ppid=2719 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/2721/stat : 2721 (java) S 2719 2721 32714 0 -1 4202496 13752 0 1 0 2 1 0 0 25 0 13 0 807593777 13874667520 13449 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/2721/statm: 3387370 13450 1672 9 0 3378118 0
[pid=2721/tid=2722] ppid=2719 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (java) R 2719 2721 32714 0 -1 4202560 12606 0 1 0 2 1 0 0 25 0 13 0 807593777 13874667520 13450 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 47660927401989 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.10095 s]
/proc/loadavg: 2.27 2.12 2.03 2/544 2721
/proc/meminfo: memFree=22866020/32951124 swapFree=64303760/67111528
[pid=2721] ppid=2719 vsize=13687384 CPUtime=0.1 cores=1,3,5,7
/proc/2721/stat : 2721 (java) S 2719 2721 32714 0 -1 4202496 15561 0 1 0 8 2 0 0 25 0 18 0 807593777 14015881216 15233 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2721/statm: 3421846 15234 2092 9 0 3412580 0
[pid=2721/tid=2722] ppid=2719 vsize=13687384 CPUtime=0.08 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (java) R 2719 2721 32714 0 -1 4202560 13626 0 1 0 7 1 0 0 18 0 18 0 807593777 14015881216 15234 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 47660931902291 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13687384
[startup+0.300923 s]
/proc/loadavg: 2.27 2.12 2.03 2/544 2721
/proc/meminfo: memFree=22866020/32951124 swapFree=64303760/67111528
[pid=2721] ppid=2719 vsize=13691956 CPUtime=0.56 cores=1,3,5,7
/proc/2721/stat : 2721 (java) S 2719 2721 32714 0 -1 4202496 18777 0 1 0 54 2 0 0 25 0 19 0 807593777 14020562944 17528 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2721/statm: 3422989 17528 2216 9 0 3413723 0
[pid=2721/tid=2722] ppid=2719 vsize=13691956 CPUtime=0.28 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (java) R 2719 2721 32714 0 -1 4202560 14335 0 1 0 27 1 0 0 19 0 19 0 807593777 14020562944 17528 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 46912505199175 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13691956
[startup+0.700804 s]
/proc/loadavg: 2.27 2.12 2.03 2/544 2721
/proc/meminfo: memFree=22866020/32951124 swapFree=64303760/67111528
[pid=2721] ppid=2719 vsize=13691956 CPUtime=1.16 cores=1,3,5,7
/proc/2721/stat : 2721 (java) S 2719 2721 32714 0 -1 4202496 19824 0 1 0 114 2 0 0 25 0 19 0 807593777 14020562944 18152 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2721/statm: 3422989 18152 2225 9 0 3413723 0
[pid=2721/tid=2722] ppid=2719 vsize=13691956 CPUtime=0.68 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (java) R 2719 2721 32714 0 -1 4202560 14778 0 1 0 67 1 0 0 19 0 19 0 807593777 14020562944 18152 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 46912505216072 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 13691956
[startup+1.50069 s]
/proc/loadavg: 2.27 2.12 2.03 3/563 2743
/proc/meminfo: memFree=22797800/32951124 swapFree=64303760/67111528
[pid=2721] ppid=2719 vsize=13691956 CPUtime=2.02 cores=1,3,5,7
/proc/2721/stat : 2721 (java) S 2719 2721 32714 0 -1 4202496 20837 0 1 0 200 2 0 0 25 0 19 0 807593777 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2721/statm: 3422989 19116 2249 9 0 3413723 0
[pid=2721/tid=2722] ppid=2719 vsize=13691956 CPUtime=1.45 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (java) R 2719 2721 32714 0 -1 4202560 14784 0 1 0 144 1 0 0 20 0 19 0 807593777 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 46912505532931 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2721/tid=2724] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (java) S 2719 2721 32714 0 -1 4202560 293 0 0 0 0 0 0 0 16 0 19 0 807593779 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2725] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2725/stat : 2725 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807593779 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2726] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2726/stat : 2726 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807593779 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2727] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2727/stat : 2727 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807593779 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2728] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2728/stat : 2728 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807593779 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2729] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2729/stat : 2729 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 807593779 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2730] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2730/stat : 2730 (java) S 2719 2721 32714 0 -1 4202560 90 0 0 0 0 0 0 0 16 0 19 0 807593779 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2734] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2734/stat : 2734 (java) S 2719 2721 32714 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 807593779 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2735] ppid=2719 vsize=13691956 CPUtime=0.02 cores=1,3,5,7
/proc/2721/task/2735/stat : 2735 (java) S 2719 2721 32714 0 -1 4202560 397 0 0 0 2 0 0 0 15 0 19 0 807593780 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522114048 0 0 0 16800975 18446604459494289472 0 0 -1 7 0 0 0
[pid=2721/tid=2736] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2736/stat : 2736 (java) S 2719 2721 32714 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 807593781 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 7 0 0 0
[pid=2721/tid=2737] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2737/stat : 2737 (java) S 2719 2721 32714 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 807593781 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 7 0 0 0
[pid=2721/tid=2738] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2738/stat : 2738 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807593783 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522121137 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2739] ppid=2719 vsize=13691956 CPUtime=0.25 cores=1,3,5,7
/proc/2721/task/2739/stat : 2739 (java) S 2719 2721 32714 0 -1 4202560 1846 0 0 0 25 0 0 0 20 0 19 0 807593783 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 7 0 0 0
[pid=2721/tid=2740] ppid=2719 vsize=13691956 CPUtime=0.28 cores=1,3,5,7
/proc/2721/task/2740/stat : 2740 (java) S 2719 2721 32714 0 -1 4202560 2100 0 0 0 28 0 0 0 16 0 19 0 807593783 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 5 0 0 0
[pid=2721/tid=2741] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2741/stat : 2741 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807593783 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2742] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2742/stat : 2742 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807593783 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522114048 0 4 0 16800975 18446604459494289472 0 0 -1 7 0 0 0
[pid=2721/tid=2743] ppid=2719 vsize=13691956 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2743/stat : 2743 (java) S 2719 2721 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807593796 14020562944 19116 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522114048 0 4 0 16800975 18446604459494289472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 13691956
Solver just ended. Dumping a history of the last processes samples
[startup+1.60395 s]
/proc/loadavg: 2.27 2.12 2.03 3/563 2743
/proc/meminfo: memFree=22797800/32951124 swapFree=64303760/67111528
[pid=2721] ppid=2719 vsize=13692984 CPUtime=2.13 cores=1,3,5,7
/proc/2721/stat : 2721 (java) S 2719 2721 32714 0 -1 4202496 20851 0 1 0 211 2 0 0 25 0 20 0 807593777 14021615616 19130 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2721/statm: 3423246 19130 2249 9 0 3413980 0
[pid=2721/tid=2722] ppid=2719 vsize=13692984 CPUtime=1.55 cores=1,3,5,7
/proc/2721/task/2722/stat : 2722 (java) S 2719 2721 32714 0 -1 4202560 14788 0 1 0 154 1 0 0 22 0 20 0 807593777 14021615616 19130 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2724] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2724/stat : 2724 (java) S 2719 2721 32714 0 -1 4202560 293 0 0 0 0 0 0 0 16 0 20 0 807593779 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2725] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2725/stat : 2725 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 807593779 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2726] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2726/stat : 2726 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 807593779 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2727] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2727/stat : 2727 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 807593779 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2728] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2728/stat : 2728 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 807593779 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2729] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2729/stat : 2729 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 20 0 807593779 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2730] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2730/stat : 2730 (java) S 2719 2721 32714 0 -1 4202560 90 0 0 0 0 0 0 0 16 0 20 0 807593779 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2734] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2734/stat : 2734 (java) S 2719 2721 32714 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 20 0 807593779 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2735] ppid=2719 vsize=13692984 CPUtime=0.02 cores=1,3,5,7
/proc/2721/task/2735/stat : 2735 (java) S 2719 2721 32714 0 -1 4202560 397 0 0 0 2 0 0 0 15 0 20 0 807593780 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522114048 0 0 0 16800975 18446604459494289472 0 0 -1 7 0 0 0
[pid=2721/tid=2736] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2736/stat : 2736 (java) S 2719 2721 32714 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 20 0 807593781 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 7 0 0 0
[pid=2721/tid=2737] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2737/stat : 2737 (java) S 2719 2721 32714 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 20 0 807593781 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 7 0 0 0
[pid=2721/tid=2738] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2738/stat : 2738 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 807593783 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522121137 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2739] ppid=2719 vsize=13692984 CPUtime=0.25 cores=1,3,5,7
/proc/2721/task/2739/stat : 2739 (java) S 2719 2721 32714 0 -1 4202560 1848 0 0 0 25 0 0 0 15 0 20 0 807593783 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 7 0 0 0
[pid=2721/tid=2740] ppid=2719 vsize=13692984 CPUtime=0.28 cores=1,3,5,7
/proc/2721/task/2740/stat : 2740 (java) S 2719 2721 32714 0 -1 4202560 2100 0 0 0 28 0 0 0 15 0 20 0 807593783 14021615616 19131 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 5 0 0 0
[pid=2721/tid=2741] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2741/stat : 2741 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 807593783 14021615616 19132 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522113433 0 4 0 16800975 18446604459494289472 0 0 -1 3 0 0 0
[pid=2721/tid=2742] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2742/stat : 2742 (java) S 2719 2721 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 807593783 14021615616 19132 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522114048 0 4 0 16800975 18446604459494289472 0 0 -1 7 0 0 0
[pid=2721/tid=2743] ppid=2719 vsize=13692984 CPUtime=0 cores=1,3,5,7
/proc/2721/task/2743/stat : 2743 (java) S 2719 2721 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 807593796 14021615616 19132 33554432000 1073741824 1073778376 140737152124064 18446744073709551615 233522114048 0 4 0 16800975 18446604459494289472 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 13692984
Child status: 30
Real time (s): 1.60978
CPU time (s): 2.15267
CPU user time (s): 2.11868
CPU system time (s): 0.033994
CPU usage (%): 133.724
Max. virtual memory (cumulated for all children) (KiB): 13692984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.11868
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20866
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 239
involuntary context switches= 66
runsolver used 0.012998 second user time and 0.027995 second system time
The end