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-3458701-1307138465/watcher-3458701-1307138465 -o /tmp/evaluation-result-3458701-1307138465/solver-3458701-1307138465 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458701-1307138465.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: 1.93 2.01 1.99 2/418 5113
/proc/meminfo: memFree=29819028/32950904 swapFree=56615552/67111528
[pid=5113] ppid=5111 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/5113/stat : 5113 (java) S 5111 5113 31595 0 -1 4202496 2360 0 1 0 0 0 0 0 25 0 2 0 825446327 13833195520 2062 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/5113/statm: 3377245 2076 906 9 0 3368401 0
[pid=5113/tid=5114] ppid=5111 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5114/stat : 5114 (java) R 5111 5113 31595 0 -1 4202560 5028 0 1 0 0 0 0 0 25 0 2 0 825446327 13850947584 5844 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.092373 s]
/proc/loadavg: 1.93 2.01 1.99 2/418 5113
/proc/meminfo: memFree=29819028/32950904 swapFree=56615552/67111528
[pid=5113] ppid=5111 vsize=13556108 CPUtime=0.08 cores=1,3,5,7
/proc/5113/stat : 5113 (java) S 5111 5113 31595 0 -1 4202496 15179 0 1 0 7 1 0 0 25 0 18 0 825446327 13881454592 14876 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5113/statm: 3389027 14876 2060 9 0 3379761 0
[pid=5113/tid=5114] ppid=5111 vsize=13556108 CPUtime=0.07 cores=1,3,5,7
/proc/5113/task/5114/stat : 5114 (java) R 5111 5113 31595 0 -1 4202560 13509 0 1 0 6 1 0 0 25 0 18 0 825446327 13881454592 14876 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237278922842 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13556108
[startup+0.105618 s]
/proc/loadavg: 1.93 2.01 1.99 2/418 5113
/proc/meminfo: memFree=29819028/32950904 swapFree=56615552/67111528
[pid=5113] ppid=5111 vsize=13621796 CPUtime=0.11 cores=1,3,5,7
/proc/5113/stat : 5113 (java) S 5111 5113 31595 0 -1 4202496 15510 0 1 0 9 2 0 0 25 0 18 0 825446327 13948719104 15207 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5113/statm: 3405449 15207 2092 9 0 3396183 0
[pid=5113/tid=5114] ppid=5111 vsize=13621796 CPUtime=0.08 cores=1,3,5,7
/proc/5113/task/5114/stat : 5114 (java) R 5111 5113 31595 0 -1 4202560 13708 0 1 0 7 1 0 0 25 0 18 0 825446327 13948719104 15207 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621796
[startup+0.300584 s]
/proc/loadavg: 1.93 2.01 1.99 2/418 5113
/proc/meminfo: memFree=29819028/32950904 swapFree=56615552/67111528
[pid=5113] ppid=5111 vsize=13623996 CPUtime=0.5 cores=1,3,5,7
/proc/5113/stat : 5113 (java) S 5111 5113 31595 0 -1 4202496 19759 0 1 0 48 2 0 0 25 0 18 0 825446327 13950971904 19104 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5113/statm: 3405999 19105 2201 9 0 3396733 0
[pid=5113/tid=5114] ppid=5111 vsize=13623996 CPUtime=0.29 cores=1,3,5,7
/proc/5113/task/5114/stat : 5114 (java) R 5111 5113 31595 0 -1 4202560 16747 0 1 0 27 2 0 0 25 0 18 0 825446327 13950971904 19105 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13623996
[startup+0.700574 s]
/proc/loadavg: 1.93 2.01 1.99 2/418 5113
/proc/meminfo: memFree=29819028/32950904 swapFree=56615552/67111528
[pid=5113] ppid=5111 vsize=13626872 CPUtime=1.16 cores=1,3,5,7
/proc/5113/stat : 5113 (java) S 5111 5113 31595 0 -1 4202496 56883 0 1 0 110 6 0 0 25 0 18 0 825446327 13953916928 55000 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5113/statm: 3406718 55005 2213 9 0 3397452 0
[pid=5113/tid=5114] ppid=5111 vsize=13626872 CPUtime=0.69 cores=1,3,5,7
/proc/5113/task/5114/stat : 5114 (java) R 5111 5113 31595 0 -1 4202560 50998 0 1 0 63 6 0 0 25 0 18 0 825446327 13953916928 55007 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 46912505562665 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 13626872
[startup+1.50137 s]
/proc/loadavg: 1.93 2.01 1.99 3/436 5131
/proc/meminfo: memFree=29480448/32950904 swapFree=56615552/67111528
[pid=5113] ppid=5111 vsize=13626872 CPUtime=1.96 cores=1,3,5,7
/proc/5113/stat : 5113 (java) S 5111 5113 31595 0 -1 4202496 140430 0 1 0 180 16 0 0 25 0 18 0 825446327 13953916928 138547 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5113/statm: 3406718 138551 2213 9 0 3397452 0
[pid=5113/tid=5114] ppid=5111 vsize=13626872 CPUtime=1.48 cores=1,3,5,7
/proc/5113/task/5114/stat : 5114 (java) R 5111 5113 31595 0 -1 4202560 134544 0 1 0 133 15 0 0 25 0 18 0 825446327 13953916928 138553 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 46912505650562 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5113/tid=5116] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5116/stat : 5116 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13953916928 138556 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5117] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5117/stat : 5117 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13953916928 138558 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5118] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5118/stat : 5118 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13953916928 138561 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5119] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5119/stat : 5119 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13953916928 138564 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5120] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5120/stat : 5120 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13953916928 138566 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5121] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5121/stat : 5121 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13953916928 138569 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5122] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5122/stat : 5122 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13953916928 138572 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5123] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5123/stat : 5123 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13953916928 138574 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5124] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5124/stat : 5124 (java) S 5111 5113 31595 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 825446330 13953916928 138577 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 0 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5125] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5125/stat : 5125 (java) S 5111 5113 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 825446330 13953916928 138580 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5126] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5126/stat : 5126 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825446330 13953916928 138582 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5127] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5127/stat : 5127 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446333 13953916928 138585 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290703281 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5128] ppid=5111 vsize=13626872 CPUtime=0.21 cores=1,3,5,7
/proc/5113/task/5128/stat : 5128 (java) S 5111 5113 31595 0 -1 4202560 2172 0 0 0 21 0 0 0 25 0 18 0 825446333 13953916928 138588 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5129] ppid=5111 vsize=13626872 CPUtime=0.24 cores=1,3,5,7
/proc/5113/task/5129/stat : 5129 (java) S 5111 5113 31595 0 -1 4202560 2570 0 0 0 24 0 0 0 25 0 18 0 825446333 13953916928 138590 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5130] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5130/stat : 5130 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446333 13953916928 138593 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5131] ppid=5111 vsize=13626872 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5131/stat : 5131 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 825446333 13953916928 138595 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 13626872
[startup+3.10108 s]
/proc/loadavg: 1.93 2.01 1.99 3/436 5131
/proc/meminfo: memFree=29026732/32950904 swapFree=56615552/67111528
[pid=5113] ppid=5111 vsize=13627184 CPUtime=3.62 cores=1,3,5,7
/proc/5113/stat : 5113 (java) S 5111 5113 31595 0 -1 4202496 298826 0 1 0 327 35 0 0 25 0 18 0 825446327 13954236416 296943 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5113/statm: 3406796 296947 2225 9 0 3397530 0
[pid=5113/tid=5114] ppid=5111 vsize=13627184 CPUtime=3.08 cores=1,3,5,7
/proc/5113/task/5114/stat : 5114 (java) R 5111 5113 31595 0 -1 4202560 292884 0 1 0 274 34 0 0 25 0 18 0 825446327 13954236416 296949 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 46912505562790 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5113/tid=5116] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5116/stat : 5116 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13954236416 296952 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5117] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5117/stat : 5117 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13954236416 296955 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5118] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5118/stat : 5118 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13954236416 296957 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5119] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5119/stat : 5119 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13954236416 296960 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5120] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5120/stat : 5120 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13954236416 296962 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5121] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5121/stat : 5121 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13954236416 296965 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5122] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5122/stat : 5122 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13954236416 296968 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5123] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5123/stat : 5123 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446329 13954236416 296970 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5124] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5124/stat : 5124 (java) S 5111 5113 31595 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 825446330 13954236416 296972 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 0 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5125] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5125/stat : 5125 (java) S 5111 5113 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 825446330 13954236416 296975 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5126] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5126/stat : 5126 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825446330 13954236416 296977 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5127] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5127/stat : 5127 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446333 13954236416 296980 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290703281 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5128] ppid=5111 vsize=13627184 CPUtime=0.26 cores=1,3,5,7
/proc/5113/task/5128/stat : 5128 (java) S 5111 5113 31595 0 -1 4202560 2177 0 0 0 26 0 0 0 16 0 18 0 825446333 13954236416 296983 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5129] ppid=5111 vsize=13627184 CPUtime=0.26 cores=1,3,5,7
/proc/5113/task/5129/stat : 5129 (java) S 5111 5113 31595 0 -1 4202560 2619 0 0 0 26 0 0 0 17 0 18 0 825446333 13954236416 296985 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5130] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5130/stat : 5130 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825446333 13954236416 296988 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5131] ppid=5111 vsize=13627184 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5131/stat : 5131 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 825446333 13954236416 296990 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 13627184
[startup+6.30152 s]
/proc/loadavg: 1.93 2.01 1.99 3/437 5132
/proc/meminfo: memFree=28565248/32950904 swapFree=56615552/67111528
[pid=5113] ppid=5111 vsize=13627676 CPUtime=7.25 cores=1,3,5,7
/proc/5113/stat : 5113 (java) S 5111 5113 31595 0 -1 4202496 316779 0 1 0 688 37 0 0 25 0 19 0 825446327 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5113/statm: 3406919 314512 2236 9 0 3397653 0
[pid=5113/tid=5114] ppid=5111 vsize=13627676 CPUtime=6.28 cores=1,3,5,7
/proc/5113/task/5114/stat : 5114 (java) R 5111 5113 31595 0 -1 4202560 310585 0 1 0 592 36 0 0 25 0 19 0 825446327 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 46912505858717 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5113/tid=5116] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5116/stat : 5116 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446329 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5117] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5117/stat : 5117 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446329 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5118] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5118/stat : 5118 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446329 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5119] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5119/stat : 5119 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446329 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5120] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5120/stat : 5120 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446329 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5121] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5121/stat : 5121 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446329 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5122] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5122/stat : 5122 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446329 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5123] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5123/stat : 5123 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446329 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5124] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5124/stat : 5124 (java) S 5111 5113 31595 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 825446330 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 0 0 16800975 18446604459680956672 0 0 -1 5 0 0 0
[pid=5113/tid=5125] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5125/stat : 5125 (java) S 5111 5113 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825446330 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5126] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5126/stat : 5126 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825446330 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5127] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5127/stat : 5127 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446333 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290703281 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5128] ppid=5111 vsize=13627676 CPUtime=0.41 cores=1,3,5,7
/proc/5113/task/5128/stat : 5128 (java) S 5111 5113 31595 0 -1 4202560 2212 0 0 0 41 0 0 0 15 0 19 0 825446333 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5129] ppid=5111 vsize=13627676 CPUtime=0.54 cores=1,3,5,7
/proc/5113/task/5129/stat : 5129 (java) S 5111 5113 31595 0 -1 4202560 2821 0 0 0 54 0 0 0 15 0 19 0 825446333 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5130] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5130/stat : 5130 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446333 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5131] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5131/stat : 5131 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825446333 13954740224 314512 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=5113/tid=5121] ppid=5111 vsize=13627676 CPUtime=0.06 cores=1,3,5,7
/proc/5113/task/5121/stat : 5121 (java) S 5111 5113 31595 0 -1 4202560 5 0 0 0 6 0 0 0 15 0 19 0 825446329 13954740224 363289 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5122] ppid=5111 vsize=13627676 CPUtime=0.09 cores=1,3,5,7
/proc/5113/task/5122/stat : 5122 (java) S 5111 5113 31595 0 -1 4202560 9 0 0 0 9 0 0 0 16 0 19 0 825446329 13954740224 363289 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5123] ppid=5111 vsize=13627676 CPUtime=0.06 cores=1,3,5,7
/proc/5113/task/5123/stat : 5123 (java) S 5111 5113 31595 0 -1 4202560 6 0 0 0 6 0 0 0 16 0 19 0 825446329 13954740224 363289 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5124] ppid=5111 vsize=13627676 CPUtime=4.33 cores=1,3,5,7
/proc/5113/task/5124/stat : 5124 (java) S 5111 5113 31595 0 -1 4202560 27168 0 0 0 431 2 0 0 15 0 19 0 825446330 13954740224 363289 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 0 0 16800975 18446604459680956672 0 0 -1 5 0 0 0
[pid=5113/tid=5125] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5125/stat : 5125 (java) S 5111 5113 31595 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825446330 13954740224 363289 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5126] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5126/stat : 5126 (java) S 5111 5113 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825446330 13954740224 363289 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5127] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5127/stat : 5127 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446333 13954740224 363289 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290703281 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5128] ppid=5111 vsize=13627676 CPUtime=0.51 cores=1,3,5,7
/proc/5113/task/5128/stat : 5128 (java) S 5111 5113 31595 0 -1 4202560 2232 0 0 0 51 0 0 0 15 0 19 0 825446333 13954740224 363289 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5129] ppid=5111 vsize=13627676 CPUtime=0.6 cores=1,3,5,7
/proc/5113/task/5129/stat : 5129 (java) S 5111 5113 31595 0 -1 4202560 2831 0 0 0 60 0 0 0 15 0 19 0 825446333 13954740224 363289 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5130] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5130/stat : 5130 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446333 13954740224 363289 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5131] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5131/stat : 5131 (java) S 5111 5113 31595 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 825446333 13954740224 363289 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5132] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5132/stat : 5132 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825446656 13954740224 363289 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.03
Current children cumulated vsize (KiB) 13627676
[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/437 5230
/proc/meminfo: memFree=28451048/32950904 swapFree=56615552/67111528
[pid=5113] ppid=5111 vsize=13627676 CPUtime=1784.06 cores=1,3,5,7
/proc/5113/stat : 5113 (java) S 5111 5113 31595 0 -1 4202496 365736 0 1 0 178362 44 0 0 25 0 19 0 825446327 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5113/statm: 3406919 363294 2262 9 0 3397653 0
[pid=5113/tid=5114] ppid=5111 vsize=13627676 CPUtime=1777.31 cores=1,3,5,7
/proc/5113/task/5114/stat : 5114 (java) R 5111 5113 31595 0 -1 4202560 310901 0 1 0 177694 37 0 0 25 0 19 0 825446327 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 46912505858717 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5113/tid=5116] ppid=5111 vsize=13627676 CPUtime=0.22 cores=1,3,5,7
/proc/5113/task/5116/stat : 5116 (java) S 5111 5113 31595 0 -1 4202560 8015 0 0 0 21 1 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5117] ppid=5111 vsize=13627676 CPUtime=0.18 cores=1,3,5,7
/proc/5113/task/5117/stat : 5117 (java) S 5111 5113 31595 0 -1 4202560 8328 0 0 0 17 1 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5118] ppid=5111 vsize=13627676 CPUtime=0.15 cores=1,3,5,7
/proc/5113/task/5118/stat : 5118 (java) S 5111 5113 31595 0 -1 4202560 4851 0 0 0 15 0 0 0 16 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 1 0 0 0
[pid=5113/tid=5119] ppid=5111 vsize=13627676 CPUtime=0.05 cores=1,3,5,7
/proc/5113/task/5119/stat : 5119 (java) S 5111 5113 31595 0 -1 4202560 125 0 0 0 5 0 0 0 16 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5120] ppid=5111 vsize=13627676 CPUtime=0.11 cores=1,3,5,7
/proc/5113/task/5120/stat : 5120 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 11 0 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5121] ppid=5111 vsize=13627676 CPUtime=0.06 cores=1,3,5,7
/proc/5113/task/5121/stat : 5121 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 6 0 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5122] ppid=5111 vsize=13627676 CPUtime=0.09 cores=1,3,5,7
/proc/5113/task/5122/stat : 5122 (java) S 5111 5113 31595 0 -1 4202560 9 0 0 0 9 0 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5123] ppid=5111 vsize=13627676 CPUtime=0.07 cores=1,3,5,7
/proc/5113/task/5123/stat : 5123 (java) S 5111 5113 31595 0 -1 4202560 8 0 0 0 7 0 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5124] ppid=5111 vsize=13627676 CPUtime=4.62 cores=1,3,5,7
/proc/5113/task/5124/stat : 5124 (java) S 5111 5113 31595 0 -1 4202560 27170 0 0 0 460 2 0 0 15 0 19 0 825446330 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 0 0 16800975 18446604459680956672 0 0 -1 5 0 0 0
[pid=5113/tid=5125] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5125/stat : 5125 (java) S 5111 5113 31595 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825446330 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5126] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5126/stat : 5126 (java) S 5111 5113 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825446330 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5127] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5127/stat : 5127 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290703281 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5128] ppid=5111 vsize=13627676 CPUtime=0.51 cores=1,3,5,7
/proc/5113/task/5128/stat : 5128 (java) S 5111 5113 31595 0 -1 4202560 2232 0 0 0 51 0 0 0 15 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5129] ppid=5111 vsize=13627676 CPUtime=0.6 cores=1,3,5,7
/proc/5113/task/5129/stat : 5129 (java) S 5111 5113 31595 0 -1 4202560 2831 0 0 0 60 0 0 0 15 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5130] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5130/stat : 5130 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5131] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5131/stat : 5131 (java) S 5111 5113 31595 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5132] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5132/stat : 5132 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825446656 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.06
Current children cumulated vsize (KiB) 13627676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/437 5231
/proc/meminfo: memFree=28451160/32950904 swapFree=56615552/67111528
[pid=5113] ppid=5111 vsize=13627676 CPUtime=1800.07 cores=1,3,5,7
/proc/5113/stat : 5113 (java) S 5111 5113 31595 0 -1 4202496 365738 0 1 0 179963 44 0 0 25 0 19 0 825446327 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5113/statm: 3406919 363294 2262 9 0 3397653 0
[pid=5113/tid=5114] ppid=5111 vsize=13627676 CPUtime=1793.33 cores=1,3,5,7
/proc/5113/task/5114/stat : 5114 (java) R 5111 5113 31595 0 -1 4202560 310901 0 1 0 179296 37 0 0 25 0 19 0 825446327 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 46912505858717 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5113/tid=5116] ppid=5111 vsize=13627676 CPUtime=0.22 cores=1,3,5,7
/proc/5113/task/5116/stat : 5116 (java) S 5111 5113 31595 0 -1 4202560 8015 0 0 0 21 1 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5117] ppid=5111 vsize=13627676 CPUtime=0.18 cores=1,3,5,7
/proc/5113/task/5117/stat : 5117 (java) S 5111 5113 31595 0 -1 4202560 8328 0 0 0 17 1 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5118] ppid=5111 vsize=13627676 CPUtime=0.15 cores=1,3,5,7
/proc/5113/task/5118/stat : 5118 (java) S 5111 5113 31595 0 -1 4202560 4851 0 0 0 15 0 0 0 16 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 1 0 0 0
[pid=5113/tid=5119] ppid=5111 vsize=13627676 CPUtime=0.05 cores=1,3,5,7
/proc/5113/task/5119/stat : 5119 (java) S 5111 5113 31595 0 -1 4202560 125 0 0 0 5 0 0 0 16 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5120] ppid=5111 vsize=13627676 CPUtime=0.11 cores=1,3,5,7
/proc/5113/task/5120/stat : 5120 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 11 0 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5121] ppid=5111 vsize=13627676 CPUtime=0.06 cores=1,3,5,7
/proc/5113/task/5121/stat : 5121 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 6 0 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5122] ppid=5111 vsize=13627676 CPUtime=0.09 cores=1,3,5,7
/proc/5113/task/5122/stat : 5122 (java) S 5111 5113 31595 0 -1 4202560 9 0 0 0 9 0 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5123] ppid=5111 vsize=13627676 CPUtime=0.07 cores=1,3,5,7
/proc/5113/task/5123/stat : 5123 (java) S 5111 5113 31595 0 -1 4202560 8 0 0 0 7 0 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5124] ppid=5111 vsize=13627676 CPUtime=4.62 cores=1,3,5,7
/proc/5113/task/5124/stat : 5124 (java) S 5111 5113 31595 0 -1 4202560 27170 0 0 0 460 2 0 0 15 0 19 0 825446330 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 0 0 16800975 18446604459680956672 0 0 -1 5 0 0 0
[pid=5113/tid=5125] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5125/stat : 5125 (java) S 5111 5113 31595 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825446330 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5126] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5126/stat : 5126 (java) S 5111 5113 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825446330 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5127] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5127/stat : 5127 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290703281 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5128] ppid=5111 vsize=13627676 CPUtime=0.51 cores=1,3,5,7
/proc/5113/task/5128/stat : 5128 (java) S 5111 5113 31595 0 -1 4202560 2232 0 0 0 51 0 0 0 15 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5129] ppid=5111 vsize=13627676 CPUtime=0.6 cores=1,3,5,7
/proc/5113/task/5129/stat : 5129 (java) S 5111 5113 31595 0 -1 4202560 2831 0 0 0 60 0 0 0 15 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5130] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5130/stat : 5130 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5131] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5131/stat : 5131 (java) S 5111 5113 31595 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5132] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5132/stat : 5132 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825446656 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13627676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/437 5231
/proc/meminfo: memFree=28451160/32950904 swapFree=56615552/67111528
[pid=5113] ppid=5111 vsize=13627676 CPUtime=1800.07 cores=1,3,5,7
/proc/5113/stat : 5113 (java) S 5111 5113 31595 0 -1 4202496 365738 0 1 0 179963 44 0 0 25 0 19 0 825446327 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5113/statm: 3406919 363294 2262 9 0 3397653 0
[pid=5113/tid=5114] ppid=5111 vsize=13627676 CPUtime=1793.33 cores=1,3,5,7
/proc/5113/task/5114/stat : 5114 (java) R 5111 5113 31595 0 -1 4202560 310901 0 1 0 179296 37 0 0 25 0 19 0 825446327 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 46912505858717 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5113/tid=5116] ppid=5111 vsize=13627676 CPUtime=0.22 cores=1,3,5,7
/proc/5113/task/5116/stat : 5116 (java) S 5111 5113 31595 0 -1 4202560 8015 0 0 0 21 1 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5117] ppid=5111 vsize=13627676 CPUtime=0.18 cores=1,3,5,7
/proc/5113/task/5117/stat : 5117 (java) S 5111 5113 31595 0 -1 4202560 8328 0 0 0 17 1 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5118] ppid=5111 vsize=13627676 CPUtime=0.15 cores=1,3,5,7
/proc/5113/task/5118/stat : 5118 (java) S 5111 5113 31595 0 -1 4202560 4851 0 0 0 15 0 0 0 16 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 1 0 0 0
[pid=5113/tid=5119] ppid=5111 vsize=13627676 CPUtime=0.05 cores=1,3,5,7
/proc/5113/task/5119/stat : 5119 (java) S 5111 5113 31595 0 -1 4202560 125 0 0 0 5 0 0 0 16 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5120] ppid=5111 vsize=13627676 CPUtime=0.11 cores=1,3,5,7
/proc/5113/task/5120/stat : 5120 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 11 0 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5121] ppid=5111 vsize=13627676 CPUtime=0.06 cores=1,3,5,7
/proc/5113/task/5121/stat : 5121 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 6 0 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5122] ppid=5111 vsize=13627676 CPUtime=0.09 cores=1,3,5,7
/proc/5113/task/5122/stat : 5122 (java) S 5111 5113 31595 0 -1 4202560 9 0 0 0 9 0 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5123] ppid=5111 vsize=13627676 CPUtime=0.07 cores=1,3,5,7
/proc/5113/task/5123/stat : 5123 (java) S 5111 5113 31595 0 -1 4202560 8 0 0 0 7 0 0 0 15 0 19 0 825446329 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5124] ppid=5111 vsize=13627676 CPUtime=4.62 cores=1,3,5,7
/proc/5113/task/5124/stat : 5124 (java) S 5111 5113 31595 0 -1 4202560 27170 0 0 0 460 2 0 0 15 0 19 0 825446330 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 0 0 16800975 18446604459680956672 0 0 -1 5 0 0 0
[pid=5113/tid=5125] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5125/stat : 5125 (java) S 5111 5113 31595 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 825446330 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5126] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5126/stat : 5126 (java) S 5111 5113 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 825446330 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5127] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5127/stat : 5127 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290703281 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5128] ppid=5111 vsize=13627676 CPUtime=0.51 cores=1,3,5,7
/proc/5113/task/5128/stat : 5128 (java) S 5111 5113 31595 0 -1 4202560 2232 0 0 0 51 0 0 0 15 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5129] ppid=5111 vsize=13627676 CPUtime=0.6 cores=1,3,5,7
/proc/5113/task/5129/stat : 5129 (java) S 5111 5113 31595 0 -1 4202560 2831 0 0 0 60 0 0 0 15 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5130] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5130/stat : 5130 (java) S 5111 5113 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290695577 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
[pid=5113/tid=5131] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5131/stat : 5131 (java) S 5111 5113 31595 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 825446333 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 4 0 16800975 18446604459680956672 0 0 -1 3 0 0 0
[pid=5113/tid=5132] ppid=5111 vsize=13627676 CPUtime=0 cores=1,3,5,7
/proc/5113/task/5132/stat : 5132 (java) S 5111 5113 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825446656 13954740224 363294 33554432000 1073741824 1073778376 140733747583344 18446744073709551615 237290696192 0 4 0 16800975 18446604459680956672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13627676
Child status: 143
Real time (s): 1798.41
CPU time (s): 1800.22
CPU user time (s): 1799.71
CPU system time (s): 0.507922
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 13628364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.507922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365768
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= 37330
involuntary context switches= 5197
runsolver used 7.06992 second user time and 17.3874 second system time
The end