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-3456928-1307205605/watcher-3456928-1307205605 -o /tmp/evaluation-result-3456928-1307205605/solver-3456928-1307205605 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456928-1307205605.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.23 2.07 2.02 3/532 19836
/proc/meminfo: memFree=15193352/32950940 swapFree=67111364/67111528
[pid=19836] ppid=19834 vsize=20404 CPUtime=0 cores=0,2,4,6
/proc/19836/stat : 19836 (java) R 19834 19836 19289 0 -1 4202496 427 0 0 0 0 0 0 0 25 0 1 0 910791290 20893696 173 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 215983669351 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/19836/statm: 5101 177 134 9 0 124 0
[pid=19836/tid=19837] ppid=19834 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19837/stat : 19837 (java) R 19834 19836 19289 0 -1 4202560 2197 0 1 0 0 0 0 0 25 0 2 0 910791292 10694979584 3013 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.121654 s]
/proc/loadavg: 2.23 2.07 2.02 3/532 19836
/proc/meminfo: memFree=15193352/32950940 swapFree=67111364/67111528
[pid=19836] ppid=19834 vsize=10540312 CPUtime=0.12 cores=0,2,4,6
/proc/19836/stat : 19836 (java) S 19834 19836 19289 0 -1 4202496 13306 0 1 0 11 1 0 0 25 0 18 0 910791290 10793279488 12996 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19836/statm: 2635078 12996 2134 9 0 2625812 0
[pid=19836/tid=19837] ppid=19834 vsize=10540312 CPUtime=0.09 cores=0,2,4,6
/proc/19836/task/19837/stat : 19837 (java) R 19834 19836 19289 0 -1 4202560 11306 0 1 0 8 1 0 0 25 0 18 0 910791292 10793279488 12996 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 47978387067201 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540312
[startup+0.201112 s]
/proc/loadavg: 2.23 2.07 2.02 3/532 19836
/proc/meminfo: memFree=15193352/32950940 swapFree=67111364/67111528
[pid=19836] ppid=19834 vsize=10541340 CPUtime=0.24 cores=0,2,4,6
/proc/19836/stat : 19836 (java) S 19834 19836 19289 0 -1 4202496 14018 0 1 0 22 2 0 0 25 0 19 0 910791290 10794332160 13671 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19836/statm: 2635335 13671 2185 9 0 2626069 0
[pid=19836/tid=19837] ppid=19834 vsize=10541340 CPUtime=0.17 cores=0,2,4,6
/proc/19836/task/19837/stat : 19837 (java) R 19834 19836 19289 0 -1 4202560 11845 0 1 0 16 1 0 0 25 0 19 0 910791292 10794332160 13672 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 46912505530481 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10541340
[startup+0.301152 s]
/proc/loadavg: 2.23 2.07 2.02 3/532 19836
/proc/meminfo: memFree=15193352/32950940 swapFree=67111364/67111528
[pid=19836] ppid=19834 vsize=10551172 CPUtime=0.52 cores=0,2,4,6
/proc/19836/stat : 19836 (java) S 19834 19836 19289 0 -1 4202496 21296 0 1 0 49 3 0 0 25 0 19 0 910791290 10804400128 18630 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19836/statm: 2637793 18631 2211 9 0 2628527 0
[pid=19836/tid=19837] ppid=19834 vsize=10551172 CPUtime=0.27 cores=0,2,4,6
/proc/19836/task/19837/stat : 19837 (java) R 19834 19836 19289 0 -1 4202560 13990 0 1 0 26 1 0 0 25 0 19 0 910791292 10804400128 18631 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 47978391546676 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10551172
[startup+0.701081 s]
/proc/loadavg: 2.23 2.07 2.02 3/532 19836
/proc/meminfo: memFree=15193352/32950940 swapFree=67111364/67111528
[pid=19836] ppid=19834 vsize=10554284 CPUtime=1.69 cores=0,2,4,6
/proc/19836/stat : 19836 (java) S 19834 19836 19289 0 -1 4202496 49315 0 1 0 162 7 0 0 25 0 19 0 910791290 10807586816 45386 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19836/statm: 2638571 45393 2220 9 0 2629305 0
[pid=19836/tid=19837] ppid=19834 vsize=10554284 CPUtime=0.66 cores=0,2,4,6
/proc/19836/task/19837/stat : 19837 (java) R 19834 19836 19289 0 -1 4202560 36942 0 1 0 63 3 0 0 25 0 19 0 910791292 10807586816 45397 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 46912505530538 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10554284
[startup+1.50095 s]
/proc/loadavg: 2.23 2.07 2.02 3/551 19855
/proc/meminfo: memFree=14833176/32950940 swapFree=67111364/67111528
[pid=19836] ppid=19834 vsize=10554284 CPUtime=2.58 cores=0,2,4,6
/proc/19836/stat : 19836 (java) S 19834 19836 19289 0 -1 4202496 139190 0 1 0 242 16 0 0 25 0 19 0 910791290 10807586816 135259 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19836/statm: 2638571 135262 2225 9 0 2629305 0
[pid=19836/tid=19837] ppid=19834 vsize=10554284 CPUtime=1.46 cores=0,2,4,6
/proc/19836/task/19837/stat : 19837 (java) R 19834 19836 19289 0 -1 4202560 126792 0 1 0 134 12 0 0 18 0 19 0 910791292 10807586816 135264 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 46912505630263 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19836/tid=19839] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19839/stat : 19839 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 135266 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19840] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19840/stat : 19840 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 135268 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19841] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19841/stat : 19841 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 135271 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19842] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19842/stat : 19842 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 135273 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19843] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19843/stat : 19843 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 135274 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19844] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19844/stat : 19844 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 135276 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19845] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19845/stat : 19845 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 135277 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19846] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19846/stat : 19846 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 135278 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19847] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19847/stat : 19847 (java) S 19834 19836 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910791294 10807586816 135280 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000409088 0 0 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19848] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19848/stat : 19848 (java) S 19834 19836 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910791295 10807586816 135282 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19849] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19849/stat : 19849 (java) S 19834 19836 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791295 10807586816 135284 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19850] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19850/stat : 19850 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791297 10807586816 135285 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000416177 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19851] ppid=19834 vsize=10554284 CPUtime=0.54 cores=0,2,4,6
/proc/19836/task/19851/stat : 19851 (java) S 19834 19836 19289 0 -1 4202560 5169 0 0 0 54 0 0 0 23 0 19 0 910791297 10807586816 135287 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19852] ppid=19834 vsize=10554284 CPUtime=0.55 cores=0,2,4,6
/proc/19836/task/19852/stat : 19852 (java) S 19834 19836 19289 0 -1 4202560 6074 0 0 0 53 2 0 0 20 0 19 0 910791297 10807586816 135288 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19853] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19853/stat : 19853 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791297 10807586816 135291 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19854] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19854/stat : 19854 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910791297 10807586816 135293 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000409088 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19855] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19855/stat : 19855 (java) S 19834 19836 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791308 10807586816 135297 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000409088 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 10554284
Solver just ended. Dumping a history of the last processes samples
[startup+1.60094 s]
/proc/loadavg: 2.23 2.07 2.02 3/551 19855
/proc/meminfo: memFree=14833176/32950940 swapFree=67111364/67111528
[pid=19836] ppid=19834 vsize=10554284 CPUtime=2.68 cores=0,2,4,6
/proc/19836/stat : 19836 (java) S 19834 19836 19289 0 -1 4202496 151220 0 1 0 251 17 0 0 25 0 19 0 910791290 10807586816 147289 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19836/statm: 2638571 147290 2225 9 0 2629305 0
[pid=19836/tid=19837] ppid=19834 vsize=10554284 CPUtime=1.56 cores=0,2,4,6
/proc/19836/task/19837/stat : 19837 (java) R 19834 19836 19289 0 -1 4202560 138818 0 1 0 143 13 0 0 18 0 19 0 910791292 10807586816 147290 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 46912505973726 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19836/tid=19839] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19839/stat : 19839 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 147291 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19840] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19840/stat : 19840 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 147291 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19841] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19841/stat : 19841 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 147291 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19842] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19842/stat : 19842 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 147291 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19843] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19843/stat : 19843 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 147291 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19844] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19844/stat : 19844 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 147292 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19845] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19845/stat : 19845 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 147292 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19846] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19846/stat : 19846 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 147293 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19847] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19847/stat : 19847 (java) S 19834 19836 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910791294 10807586816 147293 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000409088 0 0 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19848] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19848/stat : 19848 (java) S 19834 19836 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910791295 10807586816 147293 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19849] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19849/stat : 19849 (java) S 19834 19836 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791295 10807586816 147293 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19850] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19850/stat : 19850 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791297 10807586816 147293 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000416177 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19851] ppid=19834 vsize=10554284 CPUtime=0.54 cores=0,2,4,6
/proc/19836/task/19851/stat : 19851 (java) S 19834 19836 19289 0 -1 4202560 5169 0 0 0 54 0 0 0 23 0 19 0 910791297 10807586816 147294 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19852] ppid=19834 vsize=10554284 CPUtime=0.55 cores=0,2,4,6
/proc/19836/task/19852/stat : 19852 (java) S 19834 19836 19289 0 -1 4202560 6074 0 0 0 53 2 0 0 18 0 19 0 910791297 10807586816 147294 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19853] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19853/stat : 19853 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791297 10807586816 147295 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19854] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19854/stat : 19854 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910791297 10807586816 147295 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000409088 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19855] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19855/stat : 19855 (java) S 19834 19836 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791308 10807586816 147295 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000409088 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10554284
[startup+2.00085 s]
/proc/loadavg: 2.23 2.07 2.02 3/551 19855
/proc/meminfo: memFree=14833176/32950940 swapFree=67111364/67111528
[pid=19836] ppid=19834 vsize=10554284 CPUtime=3.1 cores=0,2,4,6
/proc/19836/stat : 19836 (java) S 19834 19836 19289 0 -1 4202496 180634 0 1 0 290 20 0 0 25 0 19 0 910791290 10807586816 176703 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19836/statm: 2638571 176706 2225 9 0 2629305 0
[pid=19836/tid=19837] ppid=19834 vsize=10554284 CPUtime=1.97 cores=0,2,4,6
/proc/19836/task/19837/stat : 19837 (java) R 19834 19836 19289 0 -1 4202560 168232 0 1 0 180 17 0 0 19 0 19 0 910791292 10807586816 176708 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 46912505530538 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19836/tid=19839] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19839/stat : 19839 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 176709 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19840] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19840/stat : 19840 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 176710 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19841] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19841/stat : 19841 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 176710 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19842] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19842/stat : 19842 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 176710 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19843] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19843/stat : 19843 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 176710 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19844] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19844/stat : 19844 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 176710 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19845] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19845/stat : 19845 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 176710 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19846] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19846/stat : 19846 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 176710 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19847] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19847/stat : 19847 (java) S 19834 19836 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910791294 10807586816 176711 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000409088 0 0 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19848] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19848/stat : 19848 (java) S 19834 19836 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910791295 10807586816 176711 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19849] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19849/stat : 19849 (java) S 19834 19836 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791295 10807586816 176712 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19850] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19850/stat : 19850 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791297 10807586816 176712 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000416177 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19851] ppid=19834 vsize=10554284 CPUtime=0.54 cores=0,2,4,6
/proc/19836/task/19851/stat : 19851 (java) S 19834 19836 19289 0 -1 4202560 5169 0 0 0 54 0 0 0 23 0 19 0 910791297 10807586816 176716 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19852] ppid=19834 vsize=10554284 CPUtime=0.57 cores=0,2,4,6
/proc/19836/task/19852/stat : 19852 (java) S 19834 19836 19289 0 -1 4202560 6078 0 0 0 55 2 0 0 15 0 19 0 910791297 10807586816 176716 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19853] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19853/stat : 19853 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791297 10807586816 176718 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19854] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19854/stat : 19854 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910791297 10807586816 176718 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000409088 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19855] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19855/stat : 19855 (java) S 19834 19836 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791308 10807586816 176718 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000409088 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10554284
[startup+2.40068 s]
/proc/loadavg: 2.21 2.06 2.02 3/551 19855
/proc/meminfo: memFree=14449264/32950940 swapFree=67111364/67111528
[pid=19836] ppid=19834 vsize=10554284 CPUtime=3.5 cores=0,2,4,6
/proc/19836/stat : 19836 (java) S 19834 19836 19289 0 -1 4202496 205779 0 1 0 327 23 0 0 25 0 19 0 910791290 10807586816 201847 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/19836/statm: 2638571 201847 2225 9 0 2629305 0
[pid=19836/tid=19837] ppid=19834 vsize=10554284 CPUtime=2.36 cores=0,2,4,6
/proc/19836/task/19837/stat : 19837 (java) R 19834 19836 19289 0 -1 4202560 193372 0 1 0 217 19 0 0 18 0 19 0 910791292 10807586816 201847 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 46912505976136 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19836/tid=19839] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19839/stat : 19839 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 201847 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19840] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19840/stat : 19840 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 201847 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19841] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19841/stat : 19841 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 201847 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19842] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19842/stat : 19842 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 201847 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19843] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19843/stat : 19843 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 201847 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19844] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19844/stat : 19844 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 201847 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19845] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19845/stat : 19845 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 201847 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19846] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19846/stat : 19846 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791293 10807586816 201847 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19847] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19847/stat : 19847 (java) S 19834 19836 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910791294 10807586816 201848 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000409088 0 0 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19848] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19848/stat : 19848 (java) S 19834 19836 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910791295 10807586816 201848 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19849] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19849/stat : 19849 (java) S 19834 19836 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791295 10807586816 201850 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19850] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19850/stat : 19850 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791297 10807586816 201850 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000416177 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19851] ppid=19834 vsize=10554284 CPUtime=0.54 cores=0,2,4,6
/proc/19836/task/19851/stat : 19851 (java) S 19834 19836 19289 0 -1 4202560 5169 0 0 0 54 0 0 0 23 0 19 0 910791297 10807586816 201850 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19852] ppid=19834 vsize=10554284 CPUtime=0.57 cores=0,2,4,6
/proc/19836/task/19852/stat : 19852 (java) S 19834 19836 19289 0 -1 4202560 6078 0 0 0 55 2 0 0 15 0 19 0 910791297 10807586816 201850 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
[pid=19836/tid=19853] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19853/stat : 19853 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910791297 10807586816 201850 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000408473 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19854] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19854/stat : 19854 (java) S 19834 19836 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910791297 10807586816 201852 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000409088 0 4 0 16800975 18446604450348030656 0 0 -1 2 0 0 0
[pid=19836/tid=19855] ppid=19834 vsize=10554284 CPUtime=0 cores=0,2,4,6
/proc/19836/task/19855/stat : 19855 (java) S 19834 19836 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910791308 10807586816 201852 33554432000 1073741824 1073778376 140736162102992 18446744073709551615 216000409088 0 4 0 16800975 18446604450348030656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 10554284
Child status: 20
Real time (s): 2.48331
CPU time (s): 3.59345
CPU user time (s): 3.3215
CPU system time (s): 0.271958
CPU usage (%): 144.704
Max. virtual memory (cumulated for all children) (KiB): 10554284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.3215
system time used= 0.271958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207009
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= 294
involuntary context switches= 68
runsolver used 0.014997 second user time and 0.041993 second system time
The end