runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3709697-1338150227/watcher-3709697-1338150227 -o /tmp/evaluation-result-3709697-1338150227/solver-3709697-1338150227 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709697-1338150227.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.00 1.01 1.25 4/175 25028
/proc/meminfo: memFree=29488012/32873648 swapFree=7116/7116
[pid=25028] ppid=25024 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/25028/stat : 25028 (runsolver) D 25024 25028 21157 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 281150114 12095488 50 33554432000 4194304 5436572 140736326671280 140736326667576 4883175 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 2953 50 31 304 0 2645 0
[startup+0.0535819 s]
/proc/loadavg: 1.00 1.01 1.25 4/175 25028
/proc/meminfo: memFree=29488012/32873648 swapFree=7116/7116
[pid=25028] ppid=25024 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/25028/stat : 25028 (java) S 25024 25028 21157 0 -1 4202496 3062 0 1 0 2 0 0 0 20 0 13 0 281150114 9446973440 3759 33554432000 1073741824 1073778376 140734570307952 140734570299088 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25028/statm: 2306390 3760 1701 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100299 s]
/proc/loadavg: 1.00 1.01 1.25 4/175 25028
/proc/meminfo: memFree=29488012/32873648 swapFree=7116/7116
[pid=25028] ppid=25024 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/25028/stat : 25028 (java) S 25024 25028 21157 0 -1 4202496 4107 0 1 0 6 1 0 0 20 0 18 0 281150114 9787842560 5314 33554432000 1073741824 1073778376 140734570307952 140734570299088 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25028/statm: 2389610 5316 2103 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558440
[startup+0.300263 s]
/proc/loadavg: 1.00 1.01 1.25 4/175 25028
/proc/meminfo: memFree=29488012/32873648 swapFree=7116/7116
[pid=25028] ppid=25024 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/25028/stat : 25028 (java) S 25024 25028 21157 0 -1 4202496 6727 0 1 0 47 2 0 0 20 0 19 0 281150114 9856004096 8233 33554432000 1073741824 1073778376 140734570307952 140734570299088 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25028/statm: 2406251 8233 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625004
[startup+0.700273 s]
/proc/loadavg: 1.00 1.01 1.25 4/175 25028
/proc/meminfo: memFree=29488012/32873648 swapFree=7116/7116
[pid=25028] ppid=25024 vsize=9625004 CPUtime=1.01 cores=1,3,5,7
/proc/25028/stat : 25028 (java) S 25024 25028 21157 0 -1 4202496 7128 0 1 0 99 2 0 0 20 0 19 0 281150114 9856004096 11415 33554432000 1073741824 1073778376 140734570307952 140734570299088 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25028/statm: 2406251 11415 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9625004
[startup+1.5008 s]
/proc/loadavg: 1.00 1.01 1.25 4/213 25066
/proc/meminfo: memFree=29414828/32873648 swapFree=7116/7116
[pid=25028] ppid=25024 vsize=9625004 CPUtime=1.86 cores=1,3,5,7
/proc/25028/stat : 25028 (java) S 25024 25028 21157 0 -1 4202496 7397 0 1 0 184 2 0 0 20 0 19 0 281150114 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 140734570299088 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25028/statm: 2406251 11950 2275 9 0 2396937 0
[pid=25028/tid=25032] ppid=25024 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/25028/task/25032/stat : 25032 (java) R 25024 25028 21157 0 -1 4202560 2530 0 1 0 139 2 0 0 20 0 19 0 281150116 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642275234096 139642148203032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25033] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25033/stat : 25033 (java) S 25024 25028 21157 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642119207464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25034] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25034/stat : 25034 (java) S 25024 25028 21157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642118154664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25036] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25036/stat : 25036 (java) S 25024 25028 21157 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642117101864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25028/tid=25037] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25037/stat : 25037 (java) S 25024 25028 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642116049064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25039] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25039/stat : 25039 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642114997288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25041] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25041/stat : 25041 (java) S 25024 25028 21157 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642113944488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25028/tid=25043] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25043/stat : 25043 (java) S 25024 25028 21157 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642112891688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25044] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25044/stat : 25044 (java) S 25024 25028 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642111838888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25049] ppid=25024 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/25028/task/25049/stat : 25049 (java) S 25024 25028 21157 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 281150118 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642099427816 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25051] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25051/stat : 25051 (java) S 25024 25028 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642098373880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25052] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25052/stat : 25052 (java) S 25024 25028 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642097320968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25055] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25055/stat : 25055 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642096269456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25057] ppid=25024 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/25028/task/25057/stat : 25057 (java) S 25024 25028 21157 0 -1 4202560 1453 0 0 0 19 0 0 0 20 0 19 0 281150121 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642095217592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25059] ppid=25024 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/25028/task/25059/stat : 25059 (java) S 25024 25028 21157 0 -1 4202560 2153 0 0 0 17 0 0 0 20 0 19 0 281150121 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642094164792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25061] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25061/stat : 25061 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642093112184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25063] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25063/stat : 25063 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642092059592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25065] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25065/stat : 25065 (java) S 25024 25028 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150129 9856004096 11950 33554432000 1073741824 1073778376 140734570307952 139642091005096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9625004
[startup+3.10062 s]
/proc/loadavg: 1.00 1.01 1.25 3/213 25123
/proc/meminfo: memFree=29414408/32873648 swapFree=7116/7116
[pid=25028] ppid=25024 vsize=9625004 CPUtime=3.51 cores=1,3,5,7
/proc/25028/stat : 25028 (java) S 25024 25028 21157 0 -1 4202496 7413 0 1 0 349 2 0 0 20 0 19 0 281150114 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 140734570299088 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25028/statm: 2406251 12473 2275 9 0 2396937 0
[pid=25028/tid=25032] ppid=25024 vsize=9625004 CPUtime=2.94 cores=1,3,5,7
/proc/25028/task/25032/stat : 25032 (java) R 25024 25028 21157 0 -1 4202560 2534 0 1 0 292 2 0 0 20 0 19 0 281150116 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642275234096 139642148184577 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25033] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25033/stat : 25033 (java) S 25024 25028 21157 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642119207464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25034] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25034/stat : 25034 (java) S 25024 25028 21157 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642118154664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25036] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25036/stat : 25036 (java) S 25024 25028 21157 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642117101864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25037] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25037/stat : 25037 (java) S 25024 25028 21157 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642116049064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25028/tid=25039] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25039/stat : 25039 (java) S 25024 25028 21157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642114997288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25041] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25041/stat : 25041 (java) S 25024 25028 21157 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642113944488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25028/tid=25043] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25043/stat : 25043 (java) S 25024 25028 21157 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642112891688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25044] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25044/stat : 25044 (java) S 25024 25028 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642111838888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25049] ppid=25024 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/25028/task/25049/stat : 25049 (java) S 25024 25028 21157 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 281150118 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642099427816 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25051] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25051/stat : 25051 (java) S 25024 25028 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642098373880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25052] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25052/stat : 25052 (java) S 25024 25028 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642097320968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25055] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25055/stat : 25055 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642096269456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25057] ppid=25024 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/25028/task/25057/stat : 25057 (java) S 25024 25028 21157 0 -1 4202560 1453 0 0 0 19 0 0 0 20 0 19 0 281150121 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642095217592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25059] ppid=25024 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/25028/task/25059/stat : 25059 (java) S 25024 25028 21157 0 -1 4202560 2153 0 0 0 17 0 0 0 20 0 19 0 281150121 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642094164792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25061] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25061/stat : 25061 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642093112184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25063] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25063/stat : 25063 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642092059592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25065] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25065/stat : 25065 (java) S 25024 25028 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150129 9856004096 12473 33554432000 1073741824 1073778376 140734570307952 139642091005096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 9625004
[startup+6.30078 s]
/proc/loadavg: 1.00 1.01 1.25 3/213 25123
/proc/meminfo: memFree=29396592/32873648 swapFree=7116/7116
[pid=25028] ppid=25024 vsize=9625004 CPUtime=6.77 cores=1,3,5,7
/proc/25028/stat : 25028 (java) S 25024 25028 21157 0 -1 4202496 7452 0 1 0 674 3 0 0 20 0 19 0 281150114 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 140734570299088 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25028/statm: 2406251 14873 2275 9 0 2396937 0
[pid=25028/tid=25032] ppid=25024 vsize=9625004 CPUtime=6.03 cores=1,3,5,7
/proc/25028/task/25032/stat : 25032 (java) R 25024 25028 21157 0 -1 4202560 2542 0 1 0 601 2 0 0 20 0 19 0 281150116 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642275234056 139642148169036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25033] ppid=25024 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/25028/task/25033/stat : 25033 (java) S 25024 25028 21157 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 281150117 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642119207464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25034] ppid=25024 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/25028/task/25034/stat : 25034 (java) S 25024 25028 21157 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 281150117 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642118154664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25036] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25036/stat : 25036 (java) S 25024 25028 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642117101864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25037] ppid=25024 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/25028/task/25037/stat : 25037 (java) S 25024 25028 21157 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 281150117 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642116049064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25028/tid=25039] ppid=25024 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/25028/task/25039/stat : 25039 (java) S 25024 25028 21157 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 281150117 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642114997288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25041] ppid=25024 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/25028/task/25041/stat : 25041 (java) S 25024 25028 21157 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 281150117 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642113944488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25028/tid=25043] ppid=25024 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/25028/task/25043/stat : 25043 (java) S 25024 25028 21157 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 281150117 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642112891688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25044] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25044/stat : 25044 (java) S 25024 25028 21157 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281150117 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642111838888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25049] ppid=25024 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/25028/task/25049/stat : 25049 (java) R 25024 25028 21157 0 -1 4202560 34 0 0 0 15 0 0 0 20 0 19 0 281150118 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642099427936 219517346229 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25051] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25051/stat : 25051 (java) S 25024 25028 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642098373880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25052] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25052/stat : 25052 (java) S 25024 25028 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642097320968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25055] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25055/stat : 25055 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642096269456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25057] ppid=25024 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/25028/task/25057/stat : 25057 (java) S 25024 25028 21157 0 -1 4202560 1453 0 0 0 19 0 0 0 20 0 19 0 281150121 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642095217592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25059] ppid=25024 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/25028/task/25059/stat : 25059 (java) S 25024 25028 21157 0 -1 4202560 2153 0 0 0 17 0 0 0 20 0 19 0 281150121 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642094164792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25061] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25061/stat : 25061 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642093112184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25063] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25063/stat : 25063 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642092059592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25065] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25065/stat : 25065 (java) S 25024 25028 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150129 9856004096 14873 33554432000 1073741824 1073778376 140734570307952 139642091005096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 9625004
[startup+12.7006 s]
################
# More data... #
################
[pid=25028/tid=25041] ppid=25024 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/25028/task/25041/stat : 25041 (java) S 25024 25028 21157 0 -1 4202560 395 0 0 0 87 2 0 0 20 0 19 0 281150117 9856004096 63651 33554432000 1073741824 1073778376 140734570307952 139642113944488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25043] ppid=25024 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/25028/task/25043/stat : 25043 (java) S 25024 25028 21157 0 -1 4202560 280 0 0 0 85 2 0 0 20 0 19 0 281150117 9856004096 63651 33554432000 1073741824 1073778376 140734570307952 139642112891688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25044] ppid=25024 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/25028/task/25044/stat : 25044 (java) S 25024 25028 21157 0 -1 4202560 271 0 0 0 91 2 0 0 20 0 19 0 281150117 9856004096 63651 33554432000 1073741824 1073778376 140734570307952 139642111838888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25049] ppid=25024 vsize=9625004 CPUtime=8.23 cores=1,3,5,7
/proc/25028/task/25049/stat : 25049 (java) S 25024 25028 21157 0 -1 4202560 160 0 0 0 821 2 0 0 20 0 19 0 281150118 9856004096 63651 33554432000 1073741824 1073778376 140734570307952 139642099427816 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25051] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25051/stat : 25051 (java) S 25024 25028 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 63651 33554432000 1073741824 1073778376 140734570307952 139642098373880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25052] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25052/stat : 25052 (java) S 25024 25028 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 63651 33554432000 1073741824 1073778376 140734570307952 139642097320968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25055] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25055/stat : 25055 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 63651 33554432000 1073741824 1073778376 140734570307952 139642096269456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25057] ppid=25024 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/25028/task/25057/stat : 25057 (java) S 25024 25028 21157 0 -1 4202560 1701 0 0 0 22 0 0 0 20 0 19 0 281150121 9856004096 63651 33554432000 1073741824 1073778376 140734570307952 139642095217592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25059] ppid=25024 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/25028/task/25059/stat : 25059 (java) S 25024 25028 21157 0 -1 4202560 2153 0 0 0 17 0 0 0 20 0 19 0 281150121 9856004096 63651 33554432000 1073741824 1073778376 140734570307952 139642094164792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25061] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25061/stat : 25061 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 63651 33554432000 1073741824 1073778376 140734570307952 139642093112184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25063] ppid=25024 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/25028/task/25063/stat : 25063 (java) S 25024 25028 21157 0 -1 4202560 99 0 0 0 17 23 0 0 20 0 19 0 281150121 9856004096 63651 33554432000 1073741824 1073778376 140734570307952 139642092059592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25065] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25065/stat : 25065 (java) S 25024 25028 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150129 9856004096 63651 33554432000 1073741824 1073778376 140734570307952 139642091005096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.86
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.14 2.02 1.86 3/213 25139
/proc/meminfo: memFree=29001952/32873648 swapFree=7116/7116
[pid=25028] ppid=25024 vsize=9625004 CPUtime=1788.01 cores=1,3,5,7
/proc/25028/stat : 25028 (java) S 25024 25028 21157 0 -1 4202496 10593 0 1 0 178766 35 0 0 20 0 19 0 281150114 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 140734570299088 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25028/statm: 2406251 65699 2276 9 0 2396937 0
[pid=25028/tid=25032] ppid=25024 vsize=9625004 CPUtime=1771.68 cores=1,3,5,7
/proc/25028/task/25032/stat : 25032 (java) R 25024 25028 21157 0 -1 4202560 2727 0 1 0 177138 30 0 0 20 0 19 0 281150116 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642275234096 139642148251650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25033] ppid=25024 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/25028/task/25033/stat : 25033 (java) S 25024 25028 21157 0 -1 4202560 401 0 0 0 84 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642119207464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25034] ppid=25024 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/25028/task/25034/stat : 25034 (java) S 25024 25028 21157 0 -1 4202560 374 0 0 0 97 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642118154664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25028/tid=25036] ppid=25024 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/25028/task/25036/stat : 25036 (java) S 25024 25028 21157 0 -1 4202560 149 0 0 0 95 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642117101864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25028/tid=25037] ppid=25024 vsize=9625004 CPUtime=1.03 cores=1,3,5,7
/proc/25028/task/25037/stat : 25037 (java) S 25024 25028 21157 0 -1 4202560 410 0 0 0 102 1 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642116049064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25039] ppid=25024 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/25028/task/25039/stat : 25039 (java) S 25024 25028 21157 0 -1 4202560 280 0 0 0 84 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642114997288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25041] ppid=25024 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/25028/task/25041/stat : 25041 (java) S 25024 25028 21157 0 -1 4202560 395 0 0 0 89 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642113944488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25043] ppid=25024 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/25028/task/25043/stat : 25043 (java) S 25024 25028 21157 0 -1 4202560 284 0 0 0 90 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642112891688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25044] ppid=25024 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/25028/task/25044/stat : 25044 (java) S 25024 25028 21157 0 -1 4202560 271 0 0 0 94 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642111838888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25049] ppid=25024 vsize=9625004 CPUtime=8.39 cores=1,3,5,7
/proc/25028/task/25049/stat : 25049 (java) S 25024 25028 21157 0 -1 4202560 164 0 0 0 837 2 0 0 20 0 19 0 281150118 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642099427816 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25051] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25051/stat : 25051 (java) S 25024 25028 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642098373880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25052] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25052/stat : 25052 (java) S 25024 25028 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642097320968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25055] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25055/stat : 25055 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642096269456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25057] ppid=25024 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/25028/task/25057/stat : 25057 (java) S 25024 25028 21157 0 -1 4202560 1701 0 0 0 22 0 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642095217592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25059] ppid=25024 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/25028/task/25059/stat : 25059 (java) S 25024 25028 21157 0 -1 4202560 2153 0 0 0 17 0 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642094164792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25061] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25061/stat : 25061 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642093112184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25063] ppid=25024 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/25028/task/25063/stat : 25063 (java) S 25024 25028 21157 0 -1 4202560 103 0 0 0 18 24 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642092059592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25065] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25065/stat : 25065 (java) S 25024 25028 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150129 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642091005096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1788.01
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.3 s]
/proc/loadavg: 2.12 2.02 1.86 3/213 25139
/proc/meminfo: memFree=29002204/32873648 swapFree=7116/7116
[pid=25028] ppid=25024 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7
/proc/25028/stat : 25028 (java) S 25024 25028 21157 0 -1 4202496 10593 0 1 0 179967 35 0 0 20 0 19 0 281150114 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 140734570299088 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25028/statm: 2406251 65699 2276 9 0 2396937 0
[pid=25028/tid=25032] ppid=25024 vsize=9625004 CPUtime=1783.68 cores=1,3,5,7
/proc/25028/task/25032/stat : 25032 (java) R 25024 25028 21157 0 -1 4202560 2727 0 1 0 178337 31 0 0 20 0 19 0 281150116 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642275234096 139642148251650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25033] ppid=25024 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/25028/task/25033/stat : 25033 (java) S 25024 25028 21157 0 -1 4202560 401 0 0 0 84 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642119207464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25034] ppid=25024 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/25028/task/25034/stat : 25034 (java) S 25024 25028 21157 0 -1 4202560 374 0 0 0 97 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642118154664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25028/tid=25036] ppid=25024 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/25028/task/25036/stat : 25036 (java) S 25024 25028 21157 0 -1 4202560 149 0 0 0 95 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642117101864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25028/tid=25037] ppid=25024 vsize=9625004 CPUtime=1.03 cores=1,3,5,7
/proc/25028/task/25037/stat : 25037 (java) S 25024 25028 21157 0 -1 4202560 410 0 0 0 102 1 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642116049064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25039] ppid=25024 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/25028/task/25039/stat : 25039 (java) S 25024 25028 21157 0 -1 4202560 280 0 0 0 84 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642114997288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25041] ppid=25024 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/25028/task/25041/stat : 25041 (java) S 25024 25028 21157 0 -1 4202560 395 0 0 0 89 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642113944488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25043] ppid=25024 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/25028/task/25043/stat : 25043 (java) S 25024 25028 21157 0 -1 4202560 284 0 0 0 90 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642112891688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25044] ppid=25024 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/25028/task/25044/stat : 25044 (java) S 25024 25028 21157 0 -1 4202560 271 0 0 0 94 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642111838888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25049] ppid=25024 vsize=9625004 CPUtime=8.39 cores=1,3,5,7
/proc/25028/task/25049/stat : 25049 (java) S 25024 25028 21157 0 -1 4202560 164 0 0 0 837 2 0 0 20 0 19 0 281150118 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642099427816 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25051] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25051/stat : 25051 (java) S 25024 25028 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642098373880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25052] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25052/stat : 25052 (java) S 25024 25028 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642097320968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25055] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25055/stat : 25055 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642096269456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25057] ppid=25024 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/25028/task/25057/stat : 25057 (java) S 25024 25028 21157 0 -1 4202560 1701 0 0 0 22 0 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642095217592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25059] ppid=25024 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/25028/task/25059/stat : 25059 (java) S 25024 25028 21157 0 -1 4202560 2153 0 0 0 17 0 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642094164792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25061] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25061/stat : 25061 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642093112184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25063] ppid=25024 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/25028/task/25063/stat : 25063 (java) S 25024 25028 21157 0 -1 4202560 103 0 0 0 19 24 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642092059592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25065] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25065/stat : 25065 (java) S 25024 25028 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150129 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642091005096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.3 s]
/proc/loadavg: 2.12 2.02 1.86 3/213 25139
/proc/meminfo: memFree=29002204/32873648 swapFree=7116/7116
[pid=25028] ppid=25024 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7
/proc/25028/stat : 25028 (java) S 25024 25028 21157 0 -1 4202496 10593 0 1 0 179967 35 0 0 20 0 19 0 281150114 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 140734570299088 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25028/statm: 2406251 65699 2276 9 0 2396937 0
[pid=25028/tid=25032] ppid=25024 vsize=9625004 CPUtime=1783.68 cores=1,3,5,7
/proc/25028/task/25032/stat : 25032 (java) R 25024 25028 21157 0 -1 4202560 2727 0 1 0 178337 31 0 0 20 0 19 0 281150116 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642275234096 139642148251650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25033] ppid=25024 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/25028/task/25033/stat : 25033 (java) S 25024 25028 21157 0 -1 4202560 401 0 0 0 84 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642119207464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25034] ppid=25024 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/25028/task/25034/stat : 25034 (java) S 25024 25028 21157 0 -1 4202560 374 0 0 0 97 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642118154664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25028/tid=25036] ppid=25024 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/25028/task/25036/stat : 25036 (java) S 25024 25028 21157 0 -1 4202560 149 0 0 0 95 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642117101864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25028/tid=25037] ppid=25024 vsize=9625004 CPUtime=1.03 cores=1,3,5,7
/proc/25028/task/25037/stat : 25037 (java) S 25024 25028 21157 0 -1 4202560 410 0 0 0 102 1 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642116049064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25039] ppid=25024 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/25028/task/25039/stat : 25039 (java) S 25024 25028 21157 0 -1 4202560 280 0 0 0 84 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642114997288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25041] ppid=25024 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/25028/task/25041/stat : 25041 (java) S 25024 25028 21157 0 -1 4202560 395 0 0 0 89 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642113944488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25043] ppid=25024 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/25028/task/25043/stat : 25043 (java) S 25024 25028 21157 0 -1 4202560 284 0 0 0 90 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642112891688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25044] ppid=25024 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/25028/task/25044/stat : 25044 (java) S 25024 25028 21157 0 -1 4202560 271 0 0 0 94 2 0 0 20 0 19 0 281150117 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642111838888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25049] ppid=25024 vsize=9625004 CPUtime=8.39 cores=1,3,5,7
/proc/25028/task/25049/stat : 25049 (java) S 25024 25028 21157 0 -1 4202560 164 0 0 0 837 2 0 0 20 0 19 0 281150118 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642099427816 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25051] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25051/stat : 25051 (java) S 25024 25028 21157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642098373880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25052] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25052/stat : 25052 (java) S 25024 25028 21157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281150119 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642097320968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25055] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25055/stat : 25055 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642096269456 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25028/tid=25057] ppid=25024 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/25028/task/25057/stat : 25057 (java) S 25024 25028 21157 0 -1 4202560 1701 0 0 0 22 0 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642095217592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25059] ppid=25024 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/25028/task/25059/stat : 25059 (java) S 25024 25028 21157 0 -1 4202560 2153 0 0 0 17 0 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642094164792 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25061] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25061/stat : 25061 (java) S 25024 25028 21157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642093112184 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25028/tid=25063] ppid=25024 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/25028/task/25063/stat : 25063 (java) S 25024 25028 21157 0 -1 4202560 103 0 0 0 19 24 0 0 20 0 19 0 281150121 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642092059592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25028/tid=25065] ppid=25024 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/25028/task/25065/stat : 25065 (java) S 25024 25028 21157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281150129 9856004096 65699 33554432000 1073741824 1073778376 140734570307952 139642091005096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004
Child status: 143
Real time (s): 1794.35
CPU time (s): 1800.76
CPU user time (s): 1799.9
CPU system time (s): 0.861868
CPU usage (%): 100.357
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.861868
maximum resident set size= 265004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10636
page faults= 1
swaps= 0
block input operations= 16
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42952
involuntary context switches= 19572
runsolver used 6.16106 second user time and 14.4538 second system time
The end