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-3453680-1307194030/watcher-3453680-1307194030 -o /tmp/evaluation-result-3453680-1307194030/solver-3453680-1307194030 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453680-1307194030.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: 3.26 3.75 3.48 3/535 18152
/proc/meminfo: memFree=17720580/32950940 swapFree=67111364/67111528
[pid=18152] ppid=18150 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/18152/stat : 18152 (java) S 18150 18152 13684 0 -1 4202496 3051 0 1 0 0 0 0 0 25 0 2 0 909633762 10681323520 2753 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18152/statm: 2607745 2765 906 9 0 2598901 0
[pid=18152/tid=18153] ppid=18150 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18153/stat : 18153 (java) R 18150 18152 13684 0 -1 4202560 7955 0 1 0 0 0 0 0 25 0 2 0 909633762 10694979584 8771 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0265179 s]
/proc/loadavg: 3.26 3.75 3.48 3/535 18152
/proc/meminfo: memFree=17720580/32950940 swapFree=67111364/67111528
[pid=18152] ppid=18150 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/18152/stat : 18152 (java) S 18150 18152 13684 0 -1 4202496 10694 0 1 0 1 1 0 0 25 0 10 0 909633762 10705932288 10393 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18152/statm: 2613753 10394 1513 9 0 2604501 0
[pid=18152/tid=18153] ppid=18150 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/18152/task/18153/stat : 18153 (java) R 18150 18152 13684 0 -1 4202560 9572 0 1 0 1 1 0 0 25 0 10 0 909633762 10705932288 10394 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000421243 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.105509 s]
/proc/loadavg: 3.26 3.75 3.48 3/535 18152
/proc/meminfo: memFree=17720580/32950940 swapFree=67111364/67111528
[pid=18152] ppid=18150 vsize=10539840 CPUtime=0.11 cores=1,3,5,7
/proc/18152/stat : 18152 (java) S 18150 18152 13684 0 -1 4202496 13163 0 1 0 9 2 0 0 25 0 18 0 909633762 10792796160 12832 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18152/statm: 2634960 12832 2107 9 0 2625694 0
[pid=18152/tid=18153] ppid=18150 vsize=10539840 CPUtime=0.09 cores=1,3,5,7
/proc/18152/task/18153/stat : 18153 (java) R 18150 18152 13684 0 -1 4202560 11209 0 1 0 7 2 0 0 18 0 18 0 909633762 10792796160 12832 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000411421 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539840
[startup+0.31073 s]
/proc/loadavg: 3.26 3.75 3.48 3/535 18152
/proc/meminfo: memFree=17720580/32950940 swapFree=67111364/67111528
[pid=18152] ppid=18150 vsize=10613936 CPUtime=0.95 cores=1,3,5,7
/proc/18152/stat : 18152 (java) S 18150 18152 13684 0 -1 4202496 19712 0 1 0 92 3 0 0 25 0 22 0 909633762 10868670464 17290 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18152/statm: 2653484 17290 2198 9 0 2644218 0
[pid=18152/tid=18153] ppid=18150 vsize=10613936 CPUtime=0.13 cores=1,3,5,7
/proc/18152/task/18153/stat : 18153 (java) S 18150 18152 13684 0 -1 4202560 11575 0 1 0 11 2 0 0 19 0 22 0 909633762 10868670464 17290 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000409088 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10613936
[startup+0.700405 s]
/proc/loadavg: 3.26 3.75 3.48 3/535 18152
/proc/meminfo: memFree=17720580/32950940 swapFree=67111364/67111528
[pid=18152] ppid=18150 vsize=10616360 CPUtime=1.24 cores=1,3,5,7
/proc/18152/stat : 18152 (java) S 18150 18152 13684 0 -1 4202496 21677 0 1 0 121 3 0 0 25 0 19 0 909633762 10871152640 18959 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18152/statm: 2654090 18959 2210 9 0 2644824 0
[pid=18152/tid=18153] ppid=18150 vsize=10616360 CPUtime=0.13 cores=1,3,5,7
/proc/18152/task/18153/stat : 18153 (java) S 18150 18152 13684 0 -1 4202560 11577 0 1 0 11 2 0 0 16 0 19 0 909633762 10871152640 18959 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000409088 0 4 0 16800975 18446604463766713408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 10616360
[startup+1.50134 s]
/proc/loadavg: 3.26 3.75 3.48 3/554 18177
/proc/meminfo: memFree=17642688/32950940 swapFree=67111364/67111528
[pid=18152] ppid=18150 vsize=10621124 CPUtime=2.57 cores=1,3,5,7
/proc/18152/stat : 18152 (java) S 18150 18152 13684 0 -1 4202496 49926 0 1 0 250 7 0 0 25 0 19 0 909633762 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18152/statm: 2655281 45903 2251 9 0 2646015 0
[pid=18152/tid=18153] ppid=18150 vsize=10621124 CPUtime=0.13 cores=1,3,5,7
/proc/18152/task/18153/stat : 18153 (java) S 18150 18152 13684 0 -1 4202560 11580 0 1 0 11 2 0 0 16 0 19 0 909633762 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000409088 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18155] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18155/stat : 18155 (java) S 18150 18152 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18156] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18156/stat : 18156 (java) S 18150 18152 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18157] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18157/stat : 18157 (java) S 18150 18152 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18158] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18158/stat : 18158 (java) S 18150 18152 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18159] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18159/stat : 18159 (java) S 18150 18152 13684 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 5 0 0 0
[pid=18152/tid=18160] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18160/stat : 18160 (java) S 18150 18152 13684 0 -1 4202560 104 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 1 0 0 0
[pid=18152/tid=18161] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18161/stat : 18161 (java) S 18150 18152 13684 0 -1 4202560 232 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 1 0 0 0
[pid=18152/tid=18162] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18162/stat : 18162 (java) S 18150 18152 13684 0 -1 4202560 152 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18163] ppid=18150 vsize=10621124 CPUtime=0.01 cores=1,3,5,7
/proc/18152/task/18163/stat : 18163 (java) S 18150 18152 13684 0 -1 4202560 496 0 0 0 1 0 0 0 15 0 19 0 909633765 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000409088 0 0 0 16800975 18446604463766713408 0 0 -1 3 0 0 0
[pid=18152/tid=18164] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18164/stat : 18164 (java) S 18150 18152 13684 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 909633765 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 5 0 0 0
[pid=18152/tid=18165] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18165/stat : 18165 (java) S 18150 18152 13684 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 909633765 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 5 0 0 0
[pid=18152/tid=18166] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18166/stat : 18166 (java) S 18150 18152 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909633767 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000416177 0 4 0 16800975 18446604463766713408 0 0 -1 3 0 0 0
[pid=18152/tid=18167] ppid=18150 vsize=10621124 CPUtime=0.7 cores=1,3,5,7
/proc/18152/task/18167/stat : 18167 (java) S 18150 18152 13684 0 -1 4202560 5031 0 0 0 70 0 0 0 17 0 19 0 909633767 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 3 0 0 0
[pid=18152/tid=18168] ppid=18150 vsize=10621124 CPUtime=0.56 cores=1,3,5,7
/proc/18152/task/18168/stat : 18168 (java) S 18150 18152 13684 0 -1 4202560 5003 0 0 0 56 0 0 0 19 0 19 0 909633767 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 5 0 0 0
[pid=18152/tid=18169] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18169/stat : 18169 (java) S 18150 18152 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909633767 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18170] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18170/stat : 18170 (java) S 18150 18152 13684 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 909633767 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000409088 0 4 0 16800975 18446604463766713408 0 0 -1 3 0 0 0
[pid=18152/tid=18173] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18173/stat : 18173 (java) S 18150 18152 13684 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 909633776 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000409088 0 4 0 16800975 18446604463766713408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 10621124
Solver just ended. Dumping a history of the last processes samples
[startup+1.60124 s]
/proc/loadavg: 3.26 3.75 3.48 3/554 18177
/proc/meminfo: memFree=17642688/32950940 swapFree=67111364/67111528
[pid=18152] ppid=18150 vsize=10621124 CPUtime=2.57 cores=1,3,5,7
/proc/18152/stat : 18152 (java) S 18150 18152 13684 0 -1 4202496 49926 0 1 0 250 7 0 0 25 0 19 0 909633762 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18152/statm: 2655281 45903 2251 9 0 2646015 0
[pid=18152/tid=18153] ppid=18150 vsize=10621124 CPUtime=0.13 cores=1,3,5,7
/proc/18152/task/18153/stat : 18153 (java) S 18150 18152 13684 0 -1 4202560 11580 0 1 0 11 2 0 0 16 0 19 0 909633762 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000409088 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18155] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18155/stat : 18155 (java) S 18150 18152 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18156] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18156/stat : 18156 (java) S 18150 18152 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18157] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18157/stat : 18157 (java) S 18150 18152 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18158] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18158/stat : 18158 (java) S 18150 18152 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18159] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18159/stat : 18159 (java) S 18150 18152 13684 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 5 0 0 0
[pid=18152/tid=18160] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18160/stat : 18160 (java) S 18150 18152 13684 0 -1 4202560 104 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 1 0 0 0
[pid=18152/tid=18161] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18161/stat : 18161 (java) S 18150 18152 13684 0 -1 4202560 232 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 1 0 0 0
[pid=18152/tid=18162] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18162/stat : 18162 (java) S 18150 18152 13684 0 -1 4202560 152 0 0 0 0 0 0 0 18 0 19 0 909633764 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18163] ppid=18150 vsize=10621124 CPUtime=0.01 cores=1,3,5,7
/proc/18152/task/18163/stat : 18163 (java) S 18150 18152 13684 0 -1 4202560 496 0 0 0 1 0 0 0 15 0 19 0 909633765 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000409088 0 0 0 16800975 18446604463766713408 0 0 -1 3 0 0 0
[pid=18152/tid=18164] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18164/stat : 18164 (java) S 18150 18152 13684 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 909633765 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 5 0 0 0
[pid=18152/tid=18165] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18165/stat : 18165 (java) S 18150 18152 13684 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 909633765 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 5 0 0 0
[pid=18152/tid=18166] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18166/stat : 18166 (java) S 18150 18152 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909633767 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000416177 0 4 0 16800975 18446604463766713408 0 0 -1 3 0 0 0
[pid=18152/tid=18167] ppid=18150 vsize=10621124 CPUtime=0.7 cores=1,3,5,7
/proc/18152/task/18167/stat : 18167 (java) S 18150 18152 13684 0 -1 4202560 5031 0 0 0 70 0 0 0 17 0 19 0 909633767 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 3 0 0 0
[pid=18152/tid=18168] ppid=18150 vsize=10621124 CPUtime=0.56 cores=1,3,5,7
/proc/18152/task/18168/stat : 18168 (java) S 18150 18152 13684 0 -1 4202560 5003 0 0 0 56 0 0 0 19 0 19 0 909633767 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 5 0 0 0
[pid=18152/tid=18169] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18169/stat : 18169 (java) S 18150 18152 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909633767 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000408473 0 4 0 16800975 18446604463766713408 0 0 -1 7 0 0 0
[pid=18152/tid=18170] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18170/stat : 18170 (java) S 18150 18152 13684 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 909633767 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000409088 0 4 0 16800975 18446604463766713408 0 0 -1 3 0 0 0
[pid=18152/tid=18173] ppid=18150 vsize=10621124 CPUtime=0 cores=1,3,5,7
/proc/18152/task/18173/stat : 18173 (java) S 18150 18152 13684 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 909633776 10876030976 45903 33554432000 1073741824 1073778376 140737320590624 18446744073709551615 216000409088 0 4 0 16800975 18446604463766713408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 10621124
Child status: 30
Real time (s): 1.67343
CPU time (s): 2.5996
CPU user time (s): 2.51862
CPU system time (s): 0.080987
CPU usage (%): 155.346
Max. virtual memory (cumulated for all children) (KiB): 10621124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.51862
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49933
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= 284
involuntary context switches= 50
runsolver used 0.012998 second user time and 0.024996 second system time
The end