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-3457934-1307165995/watcher-3457934-1307165995 -o /tmp/evaluation-result-3457934-1307165995/solver-3457934-1307165995 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457934-1307165995.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.07 2.02 2/507 28538
/proc/meminfo: memFree=26962900/32951124 swapFree=63649284/67111528
[pid=28538] ppid=28536 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28538/stat : 28538 (java) S 28536 28538 28154 0 -1 4202496 5512 0 1 0 0 0 0 0 25 0 2 0 828197975 13850947584 5214 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/28538/statm: 3381579 5226 917 9 0 3372735 0
[pid=28538/tid=28539] ppid=28536 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28539/stat : 28539 (java) R 28536 28538 28154 0 -1 4202560 6799 0 1 0 0 0 0 0 25 0 2 0 828197975 13850947584 7615 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.082525 s]
/proc/loadavg: 2.09 2.07 2.02 2/507 28538
/proc/meminfo: memFree=26962900/32951124 swapFree=63649284/67111528
[pid=28538] ppid=28536 vsize=13620624 CPUtime=0.07 cores=1,3,5,7
/proc/28538/stat : 28538 (java) S 28536 28538 28154 0 -1 4202496 14496 0 1 0 6 1 0 0 25 0 18 0 828197975 13947518976 14193 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28538/statm: 3405156 14194 1755 9 0 3395890 0
[pid=28538/tid=28539] ppid=28536 vsize=13620624 CPUtime=0.07 cores=1,3,5,7
/proc/28538/task/28539/stat : 28539 (java) R 28536 28538 28154 0 -1 4202560 13321 0 1 0 6 1 0 0 25 0 18 0 828197975 13947518976 14194 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 46971150906421 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13620624
[startup+0.100492 s]
/proc/loadavg: 2.09 2.07 2.02 2/507 28538
/proc/meminfo: memFree=26962900/32951124 swapFree=63649284/67111528
[pid=28538] ppid=28536 vsize=13621824 CPUtime=0.1 cores=1,3,5,7
/proc/28538/stat : 28538 (java) S 28536 28538 28154 0 -1 4202496 15508 0 1 0 9 1 0 0 25 0 18 0 828197975 13948747776 15196 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28538/statm: 3405456 15200 2092 9 0 3396190 0
[pid=28538/tid=28539] ppid=28536 vsize=13621824 CPUtime=0.08 cores=1,3,5,7
/proc/28538/task/28539/stat : 28539 (java) R 28536 28538 28154 0 -1 4202560 13600 0 1 0 7 1 0 0 18 0 18 0 828197975 13948747776 15200 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 46912496197408 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621824
[startup+0.300455 s]
/proc/loadavg: 2.09 2.07 2.02 2/507 28538
/proc/meminfo: memFree=26962900/32951124 swapFree=63649284/67111528
[pid=28538] ppid=28536 vsize=13623160 CPUtime=0.48 cores=1,3,5,7
/proc/28538/stat : 28538 (java) S 28536 28538 28154 0 -1 4202496 18807 0 1 0 46 2 0 0 25 0 18 0 828197975 13950115840 18042 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28538/statm: 3405790 18043 2200 9 0 3396524 0
[pid=28538/tid=28539] ppid=28536 vsize=13623160 CPUtime=0.28 cores=1,3,5,7
/proc/28538/task/28539/stat : 28539 (java) R 28536 28538 28154 0 -1 4202560 15535 0 1 0 27 1 0 0 18 0 18 0 828197975 13950115840 18043 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623160
[startup+0.70039 s]
/proc/loadavg: 2.09 2.07 2.02 2/507 28538
/proc/meminfo: memFree=26962900/32951124 swapFree=63649284/67111528
[pid=28538] ppid=28536 vsize=13627764 CPUtime=1.47 cores=1,3,5,7
/proc/28538/stat : 28538 (java) S 28536 28538 28154 0 -1 4202496 36798 0 1 0 143 4 0 0 25 0 19 0 828197975 13954830336 34234 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28538/statm: 3406941 34234 2235 9 0 3397675 0
[pid=28538/tid=28539] ppid=28536 vsize=13627764 CPUtime=0.68 cores=1,3,5,7
/proc/28538/task/28539/stat : 28539 (java) R 28536 28538 28154 0 -1 4202560 30070 0 1 0 65 3 0 0 18 0 19 0 828197975 13954830336 34234 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 46912505199175 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13627764
[startup+1.5013 s]
/proc/loadavg: 2.09 2.07 2.02 3/526 28557
/proc/meminfo: memFree=26831936/32951124 swapFree=63649284/67111528
[pid=28538] ppid=28536 vsize=13627764 CPUtime=2.47 cores=1,3,5,7
/proc/28538/stat : 28538 (java) S 28536 28538 28154 0 -1 4202496 39595 0 1 0 243 4 0 0 25 0 19 0 828197975 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28538/statm: 3406941 36628 2263 9 0 3397675 0
[pid=28538/tid=28539] ppid=28536 vsize=13627764 CPUtime=1.45 cores=1,3,5,7
/proc/28538/task/28539/stat : 28539 (java) R 28536 28538 28154 0 -1 4202560 30537 0 1 0 142 3 0 0 18 0 19 0 828197975 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 46912505773965 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28538/tid=28541] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28541/stat : 28541 (java) S 28536 28538 28154 0 -1 4202560 248 0 0 0 0 0 0 0 18 0 19 0 828197977 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 5 0 0 0
[pid=28538/tid=28542] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28542/stat : 28542 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828197977 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 5 0 0 0
[pid=28538/tid=28543] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28543/stat : 28543 (java) S 28536 28538 28154 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 828197977 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28544] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28544/stat : 28544 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828197977 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28545] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28545/stat : 28545 (java) S 28536 28538 28154 0 -1 4202560 184 0 0 0 0 0 0 0 18 0 19 0 828197977 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28546] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28546/stat : 28546 (java) S 28536 28538 28154 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 828197977 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28547] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28547/stat : 28547 (java) S 28536 28538 28154 0 -1 4202560 151 0 0 0 0 0 0 0 18 0 19 0 828197977 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28548] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28548/stat : 28548 (java) S 28536 28538 28154 0 -1 4202560 367 0 0 0 0 0 0 0 18 0 19 0 828197977 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28549] ppid=28536 vsize=13627764 CPUtime=0.02 cores=1,3,5,7
/proc/28538/task/28549/stat : 28549 (java) S 28536 28538 28154 0 -1 4202560 950 0 0 0 2 0 0 0 15 0 19 0 828197978 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463872 0 0 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28550] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28550/stat : 28550 (java) S 28536 28538 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828197979 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28551] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28551/stat : 28551 (java) S 28536 28538 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828197979 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28552] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28552/stat : 28552 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197981 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216470961 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28553] ppid=28536 vsize=13627764 CPUtime=0.48 cores=1,3,5,7
/proc/28538/task/28553/stat : 28553 (java) S 28536 28538 28154 0 -1 4202560 3659 0 0 0 48 0 0 0 15 0 19 0 828197981 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28554] ppid=28536 vsize=13627764 CPUtime=0.47 cores=1,3,5,7
/proc/28538/task/28554/stat : 28554 (java) S 28536 28538 28154 0 -1 4202560 2342 0 0 0 47 0 0 0 20 0 19 0 828197981 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28555] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28555/stat : 28555 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197981 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28556] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28556/stat : 28556 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197981 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463872 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28557] ppid=28536 vsize=13627764 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28557/stat : 28557 (java) S 28536 28538 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828198027 13954830336 36628 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463872 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 13627764
Solver just ended. Dumping a history of the last processes samples
[startup+2.30117 s]
/proc/loadavg: 2.09 2.07 2.02 3/526 28557
/proc/meminfo: memFree=26821028/32951124 swapFree=63649284/67111528
[pid=28538] ppid=28536 vsize=13627228 CPUtime=3.33 cores=1,3,5,7
/proc/28538/stat : 28538 (java) S 28536 28538 28154 0 -1 4202496 40176 0 1 0 329 4 0 0 25 0 19 0 828197975 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28538/statm: 3406807 37029 2263 9 0 3397541 0
[pid=28538/tid=28539] ppid=28536 vsize=13627228 CPUtime=2.18 cores=1,3,5,7
/proc/28538/task/28539/stat : 28539 (java) R 28536 28538 28154 0 -1 4202560 30539 0 1 0 215 3 0 0 19 0 19 0 828197975 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 46912505880732 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28538/tid=28541] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28541/stat : 28541 (java) S 28536 28538 28154 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 5 0 0 0
[pid=28538/tid=28542] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28542/stat : 28542 (java) S 28536 28538 28154 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 5 0 0 0
[pid=28538/tid=28543] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28543/stat : 28543 (java) S 28536 28538 28154 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28544] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28544/stat : 28544 (java) S 28536 28538 28154 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28545] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28545/stat : 28545 (java) S 28536 28538 28154 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 5 0 0 0
[pid=28538/tid=28546] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28546/stat : 28546 (java) S 28536 28538 28154 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28547] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28547/stat : 28547 (java) S 28536 28538 28154 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28548] ppid=28536 vsize=13627228 CPUtime=0.01 cores=1,3,5,7
/proc/28538/task/28548/stat : 28548 (java) S 28536 28538 28154 0 -1 4202560 367 0 0 0 1 0 0 0 16 0 19 0 828197977 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28549] ppid=28536 vsize=13627228 CPUtime=0.08 cores=1,3,5,7
/proc/28538/task/28549/stat : 28549 (java) S 28536 28538 28154 0 -1 4202560 1148 0 0 0 8 0 0 0 16 0 19 0 828197978 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463872 0 0 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28550] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28550/stat : 28550 (java) S 28536 28538 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828197979 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28551] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28551/stat : 28551 (java) S 28536 28538 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828197979 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28552] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28552/stat : 28552 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197981 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216470961 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28553] ppid=28536 vsize=13627228 CPUtime=0.49 cores=1,3,5,7
/proc/28538/task/28553/stat : 28553 (java) S 28536 28538 28154 0 -1 4202560 3659 0 0 0 49 0 0 0 15 0 19 0 828197981 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28554] ppid=28536 vsize=13627228 CPUtime=0.51 cores=1,3,5,7
/proc/28538/task/28554/stat : 28554 (java) S 28536 28538 28154 0 -1 4202560 2439 0 0 0 51 0 0 0 15 0 19 0 828197981 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28555] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28555/stat : 28555 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197981 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28556] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28556/stat : 28556 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197981 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463872 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28557] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28557/stat : 28557 (java) S 28536 28538 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828198027 13954281472 37029 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463872 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 13627228
[startup+2.70813 s]
/proc/loadavg: 2.09 2.07 2.02 3/526 28557
/proc/meminfo: memFree=26821028/32951124 swapFree=63649284/67111528
[pid=28538] ppid=28536 vsize=13628196 CPUtime=3.78 cores=1,3,5,7
/proc/28538/stat : 28538 (java) S 28536 28538 28154 0 -1 4202496 40368 0 1 0 373 5 0 0 25 0 19 0 828197975 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28538/statm: 3407049 37219 2263 9 0 3397783 0
[pid=28538/tid=28539] ppid=28536 vsize=13628196 CPUtime=2.57 cores=1,3,5,7
/proc/28538/task/28539/stat : 28539 (java) R 28536 28538 28154 0 -1 4202560 30540 0 1 0 254 3 0 0 19 0 19 0 828197975 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 46912505865112 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28538/tid=28541] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28541/stat : 28541 (java) S 28536 28538 28154 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 19 0 828197977 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28542] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28542/stat : 28542 (java) S 28536 28538 28154 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 828197977 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 5 0 0 0
[pid=28538/tid=28543] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28543/stat : 28543 (java) S 28536 28538 28154 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 828197977 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28544] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28544/stat : 28544 (java) S 28536 28538 28154 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 19 0 828197977 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28545] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28545/stat : 28545 (java) S 28536 28538 28154 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 19 0 828197977 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 5 0 0 0
[pid=28538/tid=28546] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28546/stat : 28546 (java) S 28536 28538 28154 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 828197977 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28547] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28547/stat : 28547 (java) S 28536 28538 28154 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 828197977 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28548] ppid=28536 vsize=13628196 CPUtime=0.01 cores=1,3,5,7
/proc/28538/task/28548/stat : 28548 (java) S 28536 28538 28154 0 -1 4202560 368 0 0 0 1 0 0 0 15 0 19 0 828197977 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28549] ppid=28536 vsize=13628196 CPUtime=0.09 cores=1,3,5,7
/proc/28538/task/28549/stat : 28549 (java) S 28536 28538 28154 0 -1 4202560 1148 0 0 0 9 0 0 0 16 0 19 0 828197978 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463872 0 0 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28550] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28550/stat : 28550 (java) S 28536 28538 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828197979 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28551] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28551/stat : 28551 (java) S 28536 28538 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828197979 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28552] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28552/stat : 28552 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197981 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216470961 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28553] ppid=28536 vsize=13628196 CPUtime=0.49 cores=1,3,5,7
/proc/28538/task/28553/stat : 28553 (java) S 28536 28538 28154 0 -1 4202560 3659 0 0 0 49 0 0 0 15 0 19 0 828197981 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28554] ppid=28536 vsize=13628196 CPUtime=0.55 cores=1,3,5,7
/proc/28538/task/28554/stat : 28554 (java) R 28536 28538 28154 0 -1 4202560 2617 0 0 0 55 0 0 0 15 0 19 0 828197981 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 46971147045867 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28538/tid=28555] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28555/stat : 28555 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197981 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28556] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28556/stat : 28556 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197981 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463872 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28557] ppid=28536 vsize=13628196 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28557/stat : 28557 (java) S 28536 28538 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828198027 13955272704 37219 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463872 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 13628196
[startup+2.80108 s]
/proc/loadavg: 2.09 2.07 2.02 3/526 28557
/proc/meminfo: memFree=26821028/32951124 swapFree=63649284/67111528
[pid=28538] ppid=28536 vsize=13627228 CPUtime=3.89 cores=1,3,5,7
/proc/28538/stat : 28538 (java) S 28536 28538 28154 0 -1 4202496 40378 0 1 0 384 5 0 0 25 0 19 0 828197975 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28538/statm: 3406807 37058 2263 9 0 3397541 0
[pid=28538/tid=28539] ppid=28536 vsize=13627228 CPUtime=2.66 cores=1,3,5,7
/proc/28538/task/28539/stat : 28539 (java) R 28536 28538 28154 0 -1 4202560 30540 0 1 0 263 3 0 0 19 0 19 0 828197975 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 46912505864726 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28538/tid=28541] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28541/stat : 28541 (java) S 28536 28538 28154 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28542] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28542/stat : 28542 (java) S 28536 28538 28154 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 5 0 0 0
[pid=28538/tid=28543] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28543/stat : 28543 (java) S 28536 28538 28154 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28544] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28544/stat : 28544 (java) S 28536 28538 28154 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 19 0 828197977 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28545] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28545/stat : 28545 (java) S 28536 28538 28154 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 5 0 0 0
[pid=28538/tid=28546] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28546/stat : 28546 (java) S 28536 28538 28154 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28547] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28547/stat : 28547 (java) S 28536 28538 28154 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 828197977 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28548] ppid=28536 vsize=13627228 CPUtime=0.01 cores=1,3,5,7
/proc/28538/task/28548/stat : 28548 (java) S 28536 28538 28154 0 -1 4202560 368 0 0 0 1 0 0 0 15 0 19 0 828197977 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28549] ppid=28536 vsize=13627228 CPUtime=0.09 cores=1,3,5,7
/proc/28538/task/28549/stat : 28549 (java) S 28536 28538 28154 0 -1 4202560 1148 0 0 0 9 0 0 0 16 0 19 0 828197978 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463872 0 0 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28550] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28550/stat : 28550 (java) S 28536 28538 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828197979 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28551] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28551/stat : 28551 (java) S 28536 28538 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828197979 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28552] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28552/stat : 28552 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197981 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216470961 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28553] ppid=28536 vsize=13627228 CPUtime=0.49 cores=1,3,5,7
/proc/28538/task/28553/stat : 28553 (java) S 28536 28538 28154 0 -1 4202560 3659 0 0 0 49 0 0 0 15 0 19 0 828197981 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28554] ppid=28536 vsize=13627228 CPUtime=0.57 cores=1,3,5,7
/proc/28538/task/28554/stat : 28554 (java) S 28536 28538 28154 0 -1 4202560 2627 0 0 0 57 0 0 0 15 0 19 0 828197981 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 1 0 0 0
[pid=28538/tid=28555] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28555/stat : 28555 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828197981 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463257 0 4 0 16800975 18446604457035837888 0 0 -1 3 0 0 0
[pid=28538/tid=28556] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28556/stat : 28556 (java) S 28536 28538 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828197981 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463872 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
[pid=28538/tid=28557] ppid=28536 vsize=13627228 CPUtime=0 cores=1,3,5,7
/proc/28538/task/28557/stat : 28557 (java) S 28536 28538 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828198027 13954281472 37058 33554432000 1073741824 1073778376 140734823749216 18446744073709551615 210216463872 0 4 0 16800975 18446604457035837888 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 13627228
Child status: 30
Real time (s): 2.85107
CPU time (s): 3.9404
CPU user time (s): 3.88241
CPU system time (s): 0.057991
CPU usage (%): 138.208
Max. virtual memory (cumulated for all children) (KiB): 13628196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.88241
system time used= 0.057991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40398
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= 459
involuntary context switches= 218
runsolver used 0.016997 second user time and 0.039993 second system time
The end