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-3457246-1307219470/watcher-3457246-1307219470 -o /tmp/evaluation-result-3457246-1307219470/solver-3457246-1307219470 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457246-1307219470.opb
running on 4 cores: 0,2,4,6
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.16 2.12 2.03 2/471 30716
/proc/meminfo: memFree=27014756/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/30716/stat : 30716 (java) S 30714 30716 30316 0 -1 4202496 5661 0 1 0 0 0 0 0 25 0 2 0 833544862 10694979584 5362 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 2611079 5375 917 9 0 2602235 0
[pid=30716/tid=30717] ppid=30714 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30717/stat : 30717 (java) R 30714 30716 30316 0 -1 4202560 4608 0 1 0 0 0 0 0 25 0 2 0 833544862 10694979584 5425 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0559001 s]
/proc/loadavg: 2.16 2.12 2.03 2/471 30716
/proc/meminfo: memFree=27014756/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/30716/stat : 30716 (java) S 30714 30716 30316 0 -1 4202496 11505 0 1 0 3 1 0 0 25 0 13 0 833544862 10718838784 11201 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562340325 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 2616904 11201 1685 9 0 2607652 0
[pid=30716/tid=30717] ppid=30714 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/30716/task/30717/stat : 30717 (java) R 30714 30716 30316 0 -1 4202560 10356 0 1 0 3 1 0 0 25 0 13 0 833544862 10718838784 11201 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 47747362071326 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100913 s]
/proc/loadavg: 2.16 2.12 2.03 2/471 30716
/proc/meminfo: memFree=27014756/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=10605312 CPUtime=0.1 cores=0,2,4,6
/proc/30716/stat : 30716 (java) S 30714 30716 30316 0 -1 4202496 13131 0 1 0 9 1 0 0 25 0 18 0 833544862 10859839488 12811 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 2651328 12811 2092 9 0 2642062 0
[pid=30716/tid=30717] ppid=30714 vsize=10605312 CPUtime=0.08 cores=0,2,4,6
/proc/30716/task/30717/stat : 30717 (java) R 30714 30716 30316 0 -1 4202560 11196 0 1 0 7 1 0 0 25 0 18 0 833544862 10859839488 12811 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 47747361436419 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605312
[startup+0.302836 s]
/proc/loadavg: 2.16 2.12 2.03 2/471 30716
/proc/meminfo: memFree=27014756/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=10607452 CPUtime=0.49 cores=0,2,4,6
/proc/30716/stat : 30716 (java) S 30714 30716 30316 0 -1 4202496 15880 0 1 0 47 2 0 0 25 0 19 0 833544862 10862030848 15150 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 2651863 15150 2213 9 0 2642597 0
[pid=30716/tid=30717] ppid=30714 vsize=10607452 CPUtime=0.28 cores=0,2,4,6
/proc/30716/task/30717/stat : 30717 (java) R 30714 30716 30316 0 -1 4202560 12756 0 1 0 27 1 0 0 19 0 19 0 833544862 10862030848 15150 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 46912505181658 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10607452
[startup+0.703282 s]
/proc/loadavg: 2.16 2.12 2.03 2/471 30716
/proc/meminfo: memFree=27014756/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=10620780 CPUtime=1.58 cores=0,2,4,6
/proc/30716/stat : 30716 (java) S 30714 30716 30316 0 -1 4202496 44585 0 1 0 152 6 0 0 25 0 19 0 833544862 10875678720 39706 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 2655195 39710 2222 9 0 2645929 0
[pid=30716/tid=30717] ppid=30714 vsize=10622012 CPUtime=0.73 cores=0,2,4,6
/proc/30716/task/30717/stat : 30717 (java) R 30714 30716 30316 0 -1 4202560 34766 0 1 0 69 4 0 0 18 0 19 0 833544862 10876940288 44315 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354630 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10620780
[startup+1.50167 s]
/proc/loadavg: 2.16 2.12 2.03 5/490 30735
/proc/meminfo: memFree=26755516/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=10622012 CPUtime=2.65 cores=0,2,4,6
/proc/30716/stat : 30716 (java) S 30714 30716 30316 0 -1 4202496 123866 0 1 0 252 13 0 0 25 0 19 0 833544862 10876940288 118786 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 2655503 118786 2225 9 0 2646237 0
[pid=30716/tid=30717] ppid=30714 vsize=10622012 CPUtime=1.48 cores=0,2,4,6
/proc/30716/task/30717/stat : 30717 (java) R 30714 30716 30316 0 -1 4202560 109170 0 1 0 137 11 0 0 18 0 19 0 833544862 10876940288 118786 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 46912505676452 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30716/tid=30719] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30719/stat : 30719 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 118786 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30720] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30720/stat : 30720 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 118786 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30721] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30721/stat : 30721 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 118786 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30722] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30722/stat : 30722 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 118786 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30723] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30723/stat : 30723 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 118786 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30724] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30724/stat : 30724 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 118786 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30725] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30725/stat : 30725 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 118787 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30726] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30726/stat : 30726 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 118787 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30727] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30727/stat : 30727 (java) S 30714 30716 30316 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833544865 10876940288 118787 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 0 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30728] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30728/stat : 30728 (java) S 30714 30716 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833544866 10876940288 118787 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30729] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30729/stat : 30729 (java) S 30714 30716 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833544866 10876940288 118787 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30730] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30730/stat : 30730 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544868 10876940288 118787 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562361265 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30731] ppid=30714 vsize=10622012 CPUtime=0.63 cores=0,2,4,6
/proc/30716/task/30731/stat : 30731 (java) S 30714 30716 30316 0 -1 4202560 8715 0 0 0 62 1 0 0 16 0 19 0 833544868 10876940288 118787 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30732] ppid=30714 vsize=10622012 CPUtime=0.52 cores=0,2,4,6
/proc/30716/task/30732/stat : 30732 (java) S 30714 30716 30316 0 -1 4202560 4819 0 0 0 52 0 0 0 15 0 19 0 833544868 10876940288 118787 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30733] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30733/stat : 30733 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544868 10876940288 118787 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30734] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30734/stat : 30734 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833544868 10876940288 118787 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 4 0 16800975 18446604453864053696 0 0 -1 0 0 0 0
[pid=30716/tid=30735] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30735/stat : 30735 (java) S 30714 30716 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833544889 10876940288 118787 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 10622012
[startup+3.10135 s]
/proc/loadavg: 2.16 2.12 2.03 3/490 30735
/proc/meminfo: memFree=26280844/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=10622012 CPUtime=4.45 cores=0,2,4,6
/proc/30716/stat : 30716 (java) S 30714 30716 30316 0 -1 4202496 289773 0 1 0 415 30 0 0 25 0 19 0 833544862 10876940288 284691 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 2655503 284696 2226 9 0 2646237 0
[pid=30716/tid=30717] ppid=30714 vsize=10622012 CPUtime=3.06 cores=0,2,4,6
/proc/30716/task/30717/stat : 30717 (java) R 30714 30716 30316 0 -1 4202560 275024 0 1 0 278 28 0 0 18 0 19 0 833544862 10876940288 284697 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 46912505670122 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30716/tid=30719] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30719/stat : 30719 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 284700 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30720] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30720/stat : 30720 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 284703 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30721] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30721/stat : 30721 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 284706 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30722] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30722/stat : 30722 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 284709 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30723] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30723/stat : 30723 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 284712 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30724] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30724/stat : 30724 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 284714 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30725] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30725/stat : 30725 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 284716 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30726] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30726/stat : 30726 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 284719 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30727] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30727/stat : 30727 (java) S 30714 30716 30316 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833544865 10876940288 284721 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 0 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30728] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30728/stat : 30728 (java) S 30714 30716 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833544866 10876940288 284724 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30729] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30729/stat : 30729 (java) S 30714 30716 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833544866 10876940288 284727 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30730] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30730/stat : 30730 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544868 10876940288 284730 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562361265 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30731] ppid=30714 vsize=10622012 CPUtime=0.76 cores=0,2,4,6
/proc/30716/task/30731/stat : 30731 (java) S 30714 30716 30316 0 -1 4202560 8762 0 0 0 75 1 0 0 15 0 19 0 833544868 10876940288 284733 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30732] ppid=30714 vsize=10622012 CPUtime=0.6 cores=0,2,4,6
/proc/30716/task/30732/stat : 30732 (java) S 30714 30716 30316 0 -1 4202560 4831 0 0 0 60 0 0 0 15 0 19 0 833544868 10876940288 284735 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30733] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30733/stat : 30733 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544868 10876940288 284738 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30734] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30734/stat : 30734 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833544868 10876940288 284740 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 4 0 16800975 18446604453864053696 0 0 -1 0 0 0 0
[pid=30716/tid=30735] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30735/stat : 30735 (java) S 30714 30716 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833544889 10876940288 284742 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 10622012
[startup+6.30079 s]
/proc/loadavg: 2.15 2.12 2.03 3/490 30735
/proc/meminfo: memFree=25091800/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=10622012 CPUtime=7.89 cores=0,2,4,6
/proc/30716/stat : 30716 (java) S 30714 30716 30316 0 -1 4202496 551368 0 1 0 733 56 0 0 25 0 19 0 833544862 10876940288 546144 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 2655503 546152 2228 9 0 2646237 0
[pid=30716/tid=30717] ppid=30714 vsize=10622012 CPUtime=6.26 cores=0,2,4,6
/proc/30716/task/30717/stat : 30717 (java) R 30714 30716 30316 0 -1 4202560 536599 0 1 0 572 54 0 0 18 0 19 0 833544862 10876940288 546157 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 46912505704786 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30716/tid=30719] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30719/stat : 30719 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 546160 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30720] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30720/stat : 30720 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 546166 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30721] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30721/stat : 30721 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 546169 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30722] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30722/stat : 30722 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 546175 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30723] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30723/stat : 30723 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 546178 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30724] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30724/stat : 30724 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 546184 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30725] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30725/stat : 30725 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 546186 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30726] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30726/stat : 30726 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544864 10876940288 546193 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30727] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30727/stat : 30727 (java) S 30714 30716 30316 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833544865 10876940288 546196 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 0 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30728] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30728/stat : 30728 (java) S 30714 30716 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833544866 10876940288 546202 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30729] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30729/stat : 30729 (java) S 30714 30716 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833544866 10876940288 546205 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30730] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30730/stat : 30730 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544868 10876940288 546210 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562361265 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30731] ppid=30714 vsize=10622012 CPUtime=1 cores=0,2,4,6
/proc/30716/task/30731/stat : 30731 (java) S 30714 30716 30316 0 -1 4202560 8789 0 0 0 99 1 0 0 15 0 19 0 833544868 10876940288 546213 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30732] ppid=30714 vsize=10622012 CPUtime=0.61 cores=0,2,4,6
/proc/30716/task/30732/stat : 30732 (java) S 30714 30716 30316 0 -1 4202560 4831 0 0 0 61 0 0 0 15 0 19 0 833544868 10876940288 546218 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=30716/tid=30735] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30735/stat : 30735 (java) S 30714 30716 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833544889 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1666.37
Current children cumulated vsize (KiB) 10622012
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/490 31012
/proc/meminfo: memFree=26464332/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=10622012 CPUtime=1726.38 cores=0,2,4,6
/proc/30716/stat : 30716 (java) S 30714 30716 30316 0 -1 4202496 1040991 0 1 0 172512 126 0 0 25 0 19 0 833544862 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 2655503 1028645 2243 9 0 2646237 0
[pid=30716/tid=30717] ppid=30714 vsize=10622012 CPUtime=1721.09 cores=0,2,4,6
/proc/30716/task/30717/stat : 30717 (java) R 30714 30716 30316 0 -1 4202560 778069 0 1 0 172029 80 0 0 25 0 19 0 833544862 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 46912506100321 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30716/tid=30719] ppid=30714 vsize=10622012 CPUtime=0.66 cores=0,2,4,6
/proc/30716/task/30719/stat : 30719 (java) S 30714 30716 30316 0 -1 4202560 51796 0 0 0 57 9 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30720] ppid=30714 vsize=10622012 CPUtime=0.44 cores=0,2,4,6
/proc/30716/task/30720/stat : 30720 (java) S 30714 30716 30316 0 -1 4202560 28873 0 0 0 40 4 0 0 16 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30721] ppid=30714 vsize=10622012 CPUtime=0.3 cores=0,2,4,6
/proc/30716/task/30721/stat : 30721 (java) S 30714 30716 30316 0 -1 4202560 25182 0 0 0 26 4 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30722] ppid=30714 vsize=10622012 CPUtime=0.33 cores=0,2,4,6
/proc/30716/task/30722/stat : 30722 (java) S 30714 30716 30316 0 -1 4202560 28487 0 0 0 29 4 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 0 0 0 0
[pid=30716/tid=30723] ppid=30714 vsize=10622012 CPUtime=0.33 cores=0,2,4,6
/proc/30716/task/30723/stat : 30723 (java) S 30714 30716 30316 0 -1 4202560 16709 0 0 0 31 2 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 0 0 0 0
[pid=30716/tid=30724] ppid=30714 vsize=10622012 CPUtime=0.46 cores=0,2,4,6
/proc/30716/task/30724/stat : 30724 (java) S 30714 30716 30316 0 -1 4202560 33037 0 0 0 41 5 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30725] ppid=30714 vsize=10622012 CPUtime=0.42 cores=0,2,4,6
/proc/30716/task/30725/stat : 30725 (java) S 30714 30716 30316 0 -1 4202560 27182 0 0 0 37 5 0 0 16 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30726] ppid=30714 vsize=10622012 CPUtime=0.43 cores=0,2,4,6
/proc/30716/task/30726/stat : 30726 (java) S 30714 30716 30316 0 -1 4202560 36712 0 0 0 37 6 0 0 16 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30727] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30727/stat : 30727 (java) S 30714 30716 30316 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 833544865 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 0 0 16800975 18446604453864053696 0 0 -1 0 0 0 0
[pid=30716/tid=30728] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30728/stat : 30728 (java) S 30714 30716 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833544866 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30729] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30729/stat : 30729 (java) S 30714 30716 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833544866 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30730] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30730/stat : 30730 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562361265 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30731] ppid=30714 vsize=10622012 CPUtime=1.11 cores=0,2,4,6
/proc/30716/task/30731/stat : 30731 (java) S 30714 30716 30316 0 -1 4202560 8795 0 0 0 110 1 0 0 15 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30732] ppid=30714 vsize=10622012 CPUtime=0.68 cores=0,2,4,6
/proc/30716/task/30732/stat : 30732 (java) S 30714 30716 30316 0 -1 4202560 4838 0 0 0 68 0 0 0 15 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30733] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30733/stat : 30733 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30734] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30734/stat : 30734 (java) S 30714 30716 30316 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30735] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30735/stat : 30735 (java) S 30714 30716 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833544889 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1726.38
Current children cumulated vsize (KiB) 10622012
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31014
/proc/meminfo: memFree=26456864/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=10622012 CPUtime=1786.38 cores=0,2,4,6
/proc/30716/stat : 30716 (java) S 30714 30716 30316 0 -1 4202496 1040995 0 1 0 178512 126 0 0 25 0 19 0 833544862 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 2655503 1028645 2243 9 0 2646237 0
[pid=30716/tid=30717] ppid=30714 vsize=10622012 CPUtime=1781.1 cores=0,2,4,6
/proc/30716/task/30717/stat : 30717 (java) R 30714 30716 30316 0 -1 4202560 778069 0 1 0 178030 80 0 0 25 0 19 0 833544862 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 46912505729197 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30716/tid=30719] ppid=30714 vsize=10622012 CPUtime=0.66 cores=0,2,4,6
/proc/30716/task/30719/stat : 30719 (java) S 30714 30716 30316 0 -1 4202560 51796 0 0 0 57 9 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30720] ppid=30714 vsize=10622012 CPUtime=0.44 cores=0,2,4,6
/proc/30716/task/30720/stat : 30720 (java) S 30714 30716 30316 0 -1 4202560 28873 0 0 0 40 4 0 0 16 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30721] ppid=30714 vsize=10622012 CPUtime=0.3 cores=0,2,4,6
/proc/30716/task/30721/stat : 30721 (java) S 30714 30716 30316 0 -1 4202560 25182 0 0 0 26 4 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30722] ppid=30714 vsize=10622012 CPUtime=0.33 cores=0,2,4,6
/proc/30716/task/30722/stat : 30722 (java) S 30714 30716 30316 0 -1 4202560 28487 0 0 0 29 4 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 0 0 0 0
[pid=30716/tid=30723] ppid=30714 vsize=10622012 CPUtime=0.33 cores=0,2,4,6
/proc/30716/task/30723/stat : 30723 (java) S 30714 30716 30316 0 -1 4202560 16709 0 0 0 31 2 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 0 0 0 0
[pid=30716/tid=30724] ppid=30714 vsize=10622012 CPUtime=0.46 cores=0,2,4,6
/proc/30716/task/30724/stat : 30724 (java) S 30714 30716 30316 0 -1 4202560 33037 0 0 0 41 5 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30725] ppid=30714 vsize=10622012 CPUtime=0.42 cores=0,2,4,6
/proc/30716/task/30725/stat : 30725 (java) S 30714 30716 30316 0 -1 4202560 27182 0 0 0 37 5 0 0 16 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30726] ppid=30714 vsize=10622012 CPUtime=0.43 cores=0,2,4,6
/proc/30716/task/30726/stat : 30726 (java) S 30714 30716 30316 0 -1 4202560 36712 0 0 0 37 6 0 0 16 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30727] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30727/stat : 30727 (java) S 30714 30716 30316 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 833544865 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 0 0 16800975 18446604453864053696 0 0 -1 0 0 0 0
[pid=30716/tid=30728] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30728/stat : 30728 (java) S 30714 30716 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833544866 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30729] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30729/stat : 30729 (java) S 30714 30716 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833544866 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30730] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30730/stat : 30730 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562361265 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30731] ppid=30714 vsize=10622012 CPUtime=1.11 cores=0,2,4,6
/proc/30716/task/30731/stat : 30731 (java) S 30714 30716 30316 0 -1 4202560 8795 0 0 0 110 1 0 0 15 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30732] ppid=30714 vsize=10622012 CPUtime=0.68 cores=0,2,4,6
/proc/30716/task/30732/stat : 30732 (java) S 30714 30716 30316 0 -1 4202560 4838 0 0 0 68 0 0 0 15 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30733] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30733/stat : 30733 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30734] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30734/stat : 30734 (java) S 30714 30716 30316 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30735] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30735/stat : 30735 (java) S 30714 30716 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833544889 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1786.38
Current children cumulated vsize (KiB) 10622012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 31023
/proc/meminfo: memFree=26454736/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=10622012 CPUtime=1800.09 cores=0,2,4,6
/proc/30716/stat : 30716 (java) S 30714 30716 30316 0 -1 4202496 1040995 0 1 0 179883 126 0 0 25 0 19 0 833544862 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 2655503 1028645 2243 9 0 2646237 0
[pid=30716/tid=30717] ppid=30714 vsize=10622012 CPUtime=1794.81 cores=0,2,4,6
/proc/30716/task/30717/stat : 30717 (java) R 30714 30716 30316 0 -1 4202560 778069 0 1 0 179401 80 0 0 25 0 19 0 833544862 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 46912506119151 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30716/tid=30719] ppid=30714 vsize=10622012 CPUtime=0.66 cores=0,2,4,6
/proc/30716/task/30719/stat : 30719 (java) S 30714 30716 30316 0 -1 4202560 51796 0 0 0 57 9 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30720] ppid=30714 vsize=10622012 CPUtime=0.44 cores=0,2,4,6
/proc/30716/task/30720/stat : 30720 (java) S 30714 30716 30316 0 -1 4202560 28873 0 0 0 40 4 0 0 16 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30721] ppid=30714 vsize=10622012 CPUtime=0.3 cores=0,2,4,6
/proc/30716/task/30721/stat : 30721 (java) S 30714 30716 30316 0 -1 4202560 25182 0 0 0 26 4 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30722] ppid=30714 vsize=10622012 CPUtime=0.33 cores=0,2,4,6
/proc/30716/task/30722/stat : 30722 (java) S 30714 30716 30316 0 -1 4202560 28487 0 0 0 29 4 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 0 0 0 0
[pid=30716/tid=30723] ppid=30714 vsize=10622012 CPUtime=0.33 cores=0,2,4,6
/proc/30716/task/30723/stat : 30723 (java) S 30714 30716 30316 0 -1 4202560 16709 0 0 0 31 2 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 0 0 0 0
[pid=30716/tid=30724] ppid=30714 vsize=10622012 CPUtime=0.46 cores=0,2,4,6
/proc/30716/task/30724/stat : 30724 (java) S 30714 30716 30316 0 -1 4202560 33037 0 0 0 41 5 0 0 15 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30725] ppid=30714 vsize=10622012 CPUtime=0.42 cores=0,2,4,6
/proc/30716/task/30725/stat : 30725 (java) S 30714 30716 30316 0 -1 4202560 27182 0 0 0 37 5 0 0 16 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30726] ppid=30714 vsize=10622012 CPUtime=0.43 cores=0,2,4,6
/proc/30716/task/30726/stat : 30726 (java) S 30714 30716 30316 0 -1 4202560 36712 0 0 0 37 6 0 0 16 0 19 0 833544864 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30727] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30727/stat : 30727 (java) S 30714 30716 30316 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 833544865 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 0 0 16800975 18446604453864053696 0 0 -1 0 0 0 0
[pid=30716/tid=30728] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30728/stat : 30728 (java) S 30714 30716 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833544866 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30729] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30729/stat : 30729 (java) S 30714 30716 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833544866 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30730] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30730/stat : 30730 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562361265 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30731] ppid=30714 vsize=10622012 CPUtime=1.11 cores=0,2,4,6
/proc/30716/task/30731/stat : 30731 (java) S 30714 30716 30316 0 -1 4202560 8795 0 0 0 110 1 0 0 15 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
[pid=30716/tid=30732] ppid=30714 vsize=10622012 CPUtime=0.68 cores=0,2,4,6
/proc/30716/task/30732/stat : 30732 (java) S 30714 30716 30316 0 -1 4202560 4838 0 0 0 68 0 0 0 15 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30733] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30733/stat : 30733 (java) S 30714 30716 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562353561 0 4 0 16800975 18446604453864053696 0 0 -1 4 0 0 0
[pid=30716/tid=30734] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30734/stat : 30734 (java) S 30714 30716 30316 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833544868 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 4 0 16800975 18446604453864053696 0 0 -1 2 0 0 0
[pid=30716/tid=30735] ppid=30714 vsize=10622012 CPUtime=0 cores=0,2,4,6
/proc/30716/task/30735/stat : 30735 (java) S 30714 30716 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833544889 10876940288 1028645 33554432000 1073741824 1073778376 140737027898592 18446744073709551615 271562354176 0 4 0 16800975 18446604453864053696 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10622012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 31026
/proc/meminfo: memFree=27250568/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=0 CPUtime=1800.44 cores=0,2,4,6
/proc/30716/stat : 30716 (java) Z 30714 30716 30316 0 -1 4203548 1041027 0 1 0 179906 138 0 0 16 0 2 0 833544862 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 0 0 0 0 0 0 0
[pid=30716/tid=30727] ppid=30714 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/30716/task/30727/stat : 30727 (java) R 30714 30716 30316 0 -1 4202564 61 0 0 0 6 12 0 0 16 0 2 0 833544865 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 0
[startup+1796.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 31026
/proc/meminfo: memFree=27250568/32951124 swapFree=55639044/67111528
[pid=30716] ppid=30714 vsize=0 CPUtime=1800.54 cores=0,2,4,6
/proc/30716/stat : 30716 (java) Z 30714 30716 30316 0 -1 4203548 1041027 0 1 0 179906 148 0 0 16 0 2 0 833544862 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30716/statm: 0 0 0 0 0 0 0
[pid=30716/tid=30727] ppid=30714 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/30716/task/30727/stat : 30727 (java) R 30714 30716 30316 0 -1 4202564 61 0 0 0 6 22 0 0 16 0 2 0 833544865 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.33
CPU time (s): 1800.56
CPU user time (s): 1799.06
CPU system time (s): 1.50277
CPU usage (%): 100.235
Max. virtual memory (cumulated for all children) (KiB): 10624068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.50277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1041027
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= 37896
involuntary context switches= 25286
runsolver used 8.93064 second user time and 17.9633 second system time
The end