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-3688007-1337879092/watcher-3688007-1337879092 -o /tmp/evaluation-result-3688007-1337879092/solver-3688007-1337879092 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688007-1337879092.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.92 1.98 1.99 2/196 24128
/proc/meminfo: memFree=26724000/32873844 swapFree=7608/7608
[pid=24128] ppid=24126 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24128/stat : 24128 (java) D 24126 24128 23031 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254034024 9515008 182 33554432000 1073741824 1073778376 140736574582384 140736574573416 215124623029 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 2323 182 140 9 0 71 0
[startup+0.0653481 s]
/proc/loadavg: 1.92 1.98 1.99 2/196 24128
/proc/meminfo: memFree=26724000/32873844 swapFree=7608/7608
[pid=24128] ppid=24126 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/24128/stat : 24128 (java) S 24126 24128 23031 0 -1 4202496 3137 0 1 0 3 1 0 0 20 0 13 0 254034024 9446973440 3834 33554432000 1073741824 1073778376 140736191508080 140736191499216 215127982141 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24128/statm: 2306390 3839 1714 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560
[startup+0.100326 s]
/proc/loadavg: 1.92 1.98 1.99 2/196 24128
/proc/meminfo: memFree=26724000/32873844 swapFree=7608/7608
[pid=24128] ppid=24126 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/24128/stat : 24128 (java) S 24126 24128 23031 0 -1 4202496 4236 0 1 0 8 1 0 0 20 0 18 0 254034024 9787813888 4918 33554432000 1073741824 1073778376 140736191508080 140736191499216 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24128/statm: 2389603 4919 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300351 s]
/proc/loadavg: 1.92 1.98 1.99 2/196 24128
/proc/meminfo: memFree=26724000/32873844 swapFree=7608/7608
[pid=24128] ppid=24126 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/24128/stat : 24128 (java) S 24126 24128 23031 0 -1 4202496 6121 0 1 0 50 2 0 0 20 0 19 0 254034024 9855975424 6941 33554432000 1073741824 1073778376 140736191508080 140736191499216 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24128/statm: 2406244 6941 2233 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9624976
[startup+0.700283 s]
/proc/loadavg: 1.92 1.98 1.99 2/196 24128
/proc/meminfo: memFree=26724000/32873844 swapFree=7608/7608
[pid=24128] ppid=24126 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/24128/stat : 24128 (java) S 24126 24128 23031 0 -1 4202496 6916 0 1 0 105 3 0 0 20 0 19 0 254034024 9855975424 12134 33554432000 1073741824 1073778376 140736191508080 140736191499216 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24128/statm: 2406244 12134 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9624976
[startup+1.50072 s]
/proc/loadavg: 1.92 1.98 1.99 3/215 24147
/proc/meminfo: memFree=26683844/32873844 swapFree=7608/7608
[pid=24128] ppid=24126 vsize=9624976 CPUtime=1.91 cores=1,3,5,7
/proc/24128/stat : 24128 (java) S 24126 24128 23031 0 -1 4202496 6948 0 1 0 187 4 0 0 20 0 19 0 254034024 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 140736191499216 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24128/statm: 2406244 14708 2265 9 0 2396937 0
[pid=24128/tid=24130] ppid=24126 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (java) R 24126 24128 23031 0 -1 4202560 2522 0 1 0 141 1 0 0 20 0 19 0 254034025 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139992177844512 139992117992733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (java) S 24126 24128 23031 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139992116575272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24132] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24132/stat : 24132 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139992115522472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24133] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24133/stat : 24133 (java) S 24126 24128 23031 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139992114469672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24134] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24134/stat : 24134 (java) S 24126 24128 23031 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139992113416872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24135] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24135/stat : 24135 (java) S 24126 24128 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139992112364072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24136] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24136/stat : 24136 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139992111311272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24137] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24137/stat : 24137 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139992015517992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24138] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24138/stat : 24138 (java) S 24126 24128 23031 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139992014465192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24139] ppid=24126 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24128/task/24139/stat : 24139 (java) S 24126 24128 23031 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 254034028 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139992002055144 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24140] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24140/stat : 24140 (java) S 24126 24128 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139992001001208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24141] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24141/stat : 24141 (java) S 24126 24128 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139991999948296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24142] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24142/stat : 24142 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139991998896784 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24143] ppid=24126 vsize=9624976 CPUtime=0.22 cores=1,3,5,7
/proc/24128/task/24143/stat : 24143 (java) S 24126 24128 23031 0 -1 4202560 1516 0 0 0 22 0 0 0 20 0 19 0 254034031 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139991997843896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24144] ppid=24126 vsize=9624976 CPUtime=0.17 cores=1,3,5,7
/proc/24128/task/24144/stat : 24144 (java) S 24126 24128 23031 0 -1 4202560 1642 0 0 0 17 0 0 0 20 0 19 0 254034031 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139991996791096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24145] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24145/stat : 24145 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139991995738488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24146] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24146/stat : 24146 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139991994685896 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24147] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24147/stat : 24147 (java) S 24126 24128 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034046 9855975424 14708 33554432000 1073741824 1073778376 140736191508080 139991993632424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9624976
[startup+3.10067 s]
/proc/loadavg: 1.92 1.98 1.99 3/215 24147
/proc/meminfo: memFree=26664916/32873844 swapFree=7608/7608
[pid=24128] ppid=24126 vsize=9624976 CPUtime=3.6 cores=1,3,5,7
/proc/24128/stat : 24128 (java) S 24126 24128 23031 0 -1 4202496 7132 0 1 0 354 6 0 0 20 0 19 0 254034024 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 140736191499216 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24128/statm: 2406244 17282 2265 9 0 2396937 0
[pid=24128/tid=24130] ppid=24126 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (java) R 24126 24128 23031 0 -1 4202560 2522 0 1 0 295 1 0 0 20 0 19 0 254034025 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139992177844632 139992118062274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (java) S 24126 24128 23031 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254034027 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139992116575272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24132] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24132/stat : 24132 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139992115522472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24133] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24133/stat : 24133 (java) S 24126 24128 23031 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139992114469672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24134] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24134/stat : 24134 (java) S 24126 24128 23031 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139992113416872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24135] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24135/stat : 24135 (java) S 24126 24128 23031 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139992112364072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24136] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24136/stat : 24136 (java) S 24126 24128 23031 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139992111311272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24137] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24137/stat : 24137 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139992015517992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24138] ppid=24126 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24128/task/24138/stat : 24138 (java) S 24126 24128 23031 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254034027 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139992014465192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24139] ppid=24126 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/24128/task/24139/stat : 24139 (java) S 24126 24128 23031 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 254034028 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139992002055144 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24140] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24140/stat : 24140 (java) S 24126 24128 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139992001001208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24141] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24141/stat : 24141 (java) S 24126 24128 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139991999948296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24142] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24142/stat : 24142 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139991998896784 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24143] ppid=24126 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/24128/task/24143/stat : 24143 (java) S 24126 24128 23031 0 -1 4202560 1517 0 0 0 23 0 0 0 20 0 19 0 254034031 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139991997843896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24144] ppid=24126 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24128/task/24144/stat : 24144 (java) S 24126 24128 23031 0 -1 4202560 1805 0 0 0 19 0 0 0 20 0 19 0 254034031 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139991996791096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24145] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24145/stat : 24145 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139991995738488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24146] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24146/stat : 24146 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139991994685896 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24147] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24147/stat : 24147 (java) S 24126 24128 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034046 9855975424 17282 33554432000 1073741824 1073778376 140736191508080 139991993632424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9624976
[startup+6.30068 s]
/proc/loadavg: 1.93 1.98 1.99 3/215 24147
/proc/meminfo: memFree=26646368/32873844 swapFree=7608/7608
[pid=24128] ppid=24126 vsize=9624976 CPUtime=6.85 cores=1,3,5,7
/proc/24128/stat : 24128 (java) S 24126 24128 23031 0 -1 4202496 7161 0 1 0 678 7 0 0 20 0 19 0 254034024 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 140736191499216 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24128/statm: 2406244 22256 2265 9 0 2396937 0
[pid=24128/tid=24130] ppid=24126 vsize=9624976 CPUtime=6.07 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (java) R 24126 24128 23031 0 -1 4202560 2528 0 1 0 606 1 0 0 20 0 19 0 254034025 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139992177844632 139992118020135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (java) S 24126 24128 23031 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 254034027 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139992116575272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24132] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24132/stat : 24132 (java) S 24126 24128 23031 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139992115522472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24133] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24133/stat : 24133 (java) S 24126 24128 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139992114469672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24134] ppid=24126 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24128/task/24134/stat : 24134 (java) S 24126 24128 23031 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 254034027 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139992113416872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24135] ppid=24126 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24128/task/24135/stat : 24135 (java) S 24126 24128 23031 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 254034027 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139992112364072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24136] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24136/stat : 24136 (java) S 24126 24128 23031 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139992111311272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24137] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24137/stat : 24137 (java) S 24126 24128 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254034027 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139992015517992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24138] ppid=24126 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24128/task/24138/stat : 24138 (java) S 24126 24128 23031 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 254034027 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139992014465192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24139] ppid=24126 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/24128/task/24139/stat : 24139 (java) S 24126 24128 23031 0 -1 4202560 39 0 0 0 11 0 0 0 20 0 19 0 254034028 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139992002055144 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24140] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24140/stat : 24140 (java) S 24126 24128 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139992001001208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24141] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24141/stat : 24141 (java) S 24126 24128 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139991999948296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24142] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24142/stat : 24142 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139991998896784 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24143] ppid=24126 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/24128/task/24143/stat : 24143 (java) S 24126 24128 23031 0 -1 4202560 1517 0 0 0 23 0 0 0 20 0 19 0 254034031 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139991997843896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24144] ppid=24126 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/24128/task/24144/stat : 24144 (java) S 24126 24128 23031 0 -1 4202560 1805 0 0 0 19 0 0 0 20 0 19 0 254034031 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139991996791096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24145] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24145/stat : 24145 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139991995738488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24146] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24146/stat : 24146 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139991994685896 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24147] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24147/stat : 24147 (java) S 24126 24128 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034046 9855975424 22256 33554432000 1073741824 1073778376 140736191508080 139991993632424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=24128/tid=24143] ppid=24126 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/24128/task/24143/stat : 24143 (java) S 24126 24128 23031 0 -1 4202560 1517 0 0 0 23 0 0 0 20 0 19 0 254034031 9855975424 186470 33554432000 1073741824 1073778376 140736191508080 139991997843896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24144] ppid=24126 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/24128/task/24144/stat : 24144 (java) S 24126 24128 23031 0 -1 4202560 2182 0 0 0 21 0 0 0 20 0 19 0 254034031 9855975424 186470 33554432000 1073741824 1073778376 140736191508080 139991996791096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24145] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24145/stat : 24145 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 186470 33554432000 1073741824 1073778376 140736191508080 139991995738488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24146] ppid=24126 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/24128/task/24146/stat : 24146 (java) S 24126 24128 23031 0 -1 4202560 93 0 0 0 44 32 0 0 20 0 19 0 254034031 9855975424 186470 33554432000 1073741824 1073778376 140736191508080 139991994685896 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24147] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24147/stat : 24147 (java) S 24126 24128 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034046 9855975424 186470 33554432000 1073741824 1073778376 140736191508080 139991993632424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1677.06
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/215 24221
/proc/meminfo: memFree=25228620/32873844 swapFree=7608/7608
[pid=24128] ppid=24126 vsize=9624976 CPUtime=1737.57 cores=1,3,5,7
/proc/24128/stat : 24128 (java) S 24126 24128 23031 0 -1 4202496 11609 0 1 0 173630 127 0 0 20 0 19 0 254034024 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 140736191499216 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24128/statm: 2406244 194156 2266 9 0 2396937 0
[pid=24128/tid=24130] ppid=24126 vsize=9624976 CPUtime=1704.24 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (java) R 24126 24128 23031 0 -1 4202560 2710 0 1 0 170393 31 0 0 20 0 19 0 254034025 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139992177843552 139992118113794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=9624976 CPUtime=2.48 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (java) S 24126 24128 23031 0 -1 4202560 536 0 0 0 237 11 0 0 20 0 19 0 254034027 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139992116575272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24132] ppid=24126 vsize=9624976 CPUtime=2.46 cores=1,3,5,7
/proc/24128/task/24132/stat : 24132 (java) S 24126 24128 23031 0 -1 4202560 403 0 0 0 235 11 0 0 20 0 19 0 254034027 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139992115522472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24133] ppid=24126 vsize=9624976 CPUtime=2.34 cores=1,3,5,7
/proc/24128/task/24133/stat : 24133 (java) S 24126 24128 23031 0 -1 4202560 423 0 0 0 225 9 0 0 20 0 19 0 254034027 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139992114469672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24134] ppid=24126 vsize=9624976 CPUtime=2.66 cores=1,3,5,7
/proc/24128/task/24134/stat : 24134 (java) S 24126 24128 23031 0 -1 4202560 378 0 0 0 255 11 0 0 20 0 19 0 254034027 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139992113416872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24135] ppid=24126 vsize=9624976 CPUtime=2.58 cores=1,3,5,7
/proc/24128/task/24135/stat : 24135 (java) S 24126 24128 23031 0 -1 4202560 432 0 0 0 245 13 0 0 20 0 19 0 254034027 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139992112364072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24136] ppid=24126 vsize=9624976 CPUtime=2.51 cores=1,3,5,7
/proc/24128/task/24136/stat : 24136 (java) S 24126 24128 23031 0 -1 4202560 618 0 0 0 239 12 0 0 20 0 19 0 254034027 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139992111311272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24137] ppid=24126 vsize=9624976 CPUtime=2.49 cores=1,3,5,7
/proc/24128/task/24137/stat : 24137 (java) S 24126 24128 23031 0 -1 4202560 208 0 0 0 237 12 0 0 20 0 19 0 254034027 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139992015517992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24138] ppid=24126 vsize=9624976 CPUtime=2.26 cores=1,3,5,7
/proc/24128/task/24138/stat : 24138 (java) S 24126 24128 23031 0 -1 4202560 268 0 0 0 216 10 0 0 20 0 19 0 254034027 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139992014465192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24139] ppid=24126 vsize=9624976 CPUtime=8.09 cores=1,3,5,7
/proc/24128/task/24139/stat : 24139 (java) S 24126 24128 23031 0 -1 4202560 656 0 0 0 806 3 0 0 20 0 19 0 254034028 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139992002055144 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24140] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24140/stat : 24140 (java) S 24126 24128 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139992001001208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24141] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24141/stat : 24141 (java) S 24126 24128 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139991999948296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24142] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24142/stat : 24142 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139991998896784 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24143] ppid=24126 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/24128/task/24143/stat : 24143 (java) S 24126 24128 23031 0 -1 4202560 1517 0 0 0 23 0 0 0 20 0 19 0 254034031 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139991997843896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24144] ppid=24126 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/24128/task/24144/stat : 24144 (java) S 24126 24128 23031 0 -1 4202560 2182 0 0 0 21 0 0 0 20 0 19 0 254034031 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139991996791096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24145] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24145/stat : 24145 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139991995738488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24146] ppid=24126 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/24128/task/24146/stat : 24146 (java) S 24126 24128 23031 0 -1 4202560 97 0 0 0 47 33 0 0 20 0 19 0 254034031 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139991994685896 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24147] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24147/stat : 24147 (java) S 24126 24128 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034046 9855975424 194156 33554432000 1073741824 1073778376 140736191508080 139991993632424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1737.57
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/215 24221
/proc/meminfo: memFree=25210064/32873844 swapFree=7608/7608
[pid=24128] ppid=24126 vsize=9624976 CPUtime=1798.17 cores=1,3,5,7
/proc/24128/stat : 24128 (java) S 24126 24128 23031 0 -1 4202496 11695 0 1 0 179686 131 0 0 20 0 19 0 254034024 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 140736191499216 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24128/statm: 2406244 198803 2266 9 0 2396937 0
[pid=24128/tid=24130] ppid=24126 vsize=9624976 CPUtime=1763.62 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (java) R 24126 24128 23031 0 -1 4202560 2713 0 1 0 176330 32 0 0 20 0 19 0 254034025 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992177843568 139992118113669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=9624976 CPUtime=2.59 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (java) S 24126 24128 23031 0 -1 4202560 536 0 0 0 248 11 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992116575272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24132] ppid=24126 vsize=9624976 CPUtime=2.53 cores=1,3,5,7
/proc/24128/task/24132/stat : 24132 (java) S 24126 24128 23031 0 -1 4202560 405 0 0 0 242 11 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992115522472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24133] ppid=24126 vsize=9624976 CPUtime=2.5 cores=1,3,5,7
/proc/24128/task/24133/stat : 24133 (java) S 24126 24128 23031 0 -1 4202560 425 0 0 0 240 10 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992114469672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24134] ppid=24126 vsize=9624976 CPUtime=2.76 cores=1,3,5,7
/proc/24128/task/24134/stat : 24134 (java) S 24126 24128 23031 0 -1 4202560 396 0 0 0 265 11 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992113416872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24135] ppid=24126 vsize=9624976 CPUtime=2.72 cores=1,3,5,7
/proc/24128/task/24135/stat : 24135 (java) S 24126 24128 23031 0 -1 4202560 441 0 0 0 258 14 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992112364072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24136] ppid=24126 vsize=9624976 CPUtime=2.58 cores=1,3,5,7
/proc/24128/task/24136/stat : 24136 (java) S 24126 24128 23031 0 -1 4202560 618 0 0 0 246 12 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992111311272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24137] ppid=24126 vsize=9624976 CPUtime=2.57 cores=1,3,5,7
/proc/24128/task/24137/stat : 24137 (java) S 24126 24128 23031 0 -1 4202560 216 0 0 0 244 13 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992015517992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24138] ppid=24126 vsize=9624976 CPUtime=2.35 cores=1,3,5,7
/proc/24128/task/24138/stat : 24138 (java) S 24126 24128 23031 0 -1 4202560 268 0 0 0 225 10 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992014465192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24139] ppid=24126 vsize=9624976 CPUtime=8.33 cores=1,3,5,7
/proc/24128/task/24139/stat : 24139 (java) S 24126 24128 23031 0 -1 4202560 696 0 0 0 830 3 0 0 20 0 19 0 254034028 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992002055144 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24140] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24140/stat : 24140 (java) S 24126 24128 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992001001208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24141] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24141/stat : 24141 (java) S 24126 24128 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991999948296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24142] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24142/stat : 24142 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991998896784 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24143] ppid=24126 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/24128/task/24143/stat : 24143 (java) S 24126 24128 23031 0 -1 4202560 1517 0 0 0 23 0 0 0 20 0 19 0 254034031 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991997843896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24144] ppid=24126 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/24128/task/24144/stat : 24144 (java) S 24126 24128 23031 0 -1 4202560 2182 0 0 0 21 0 0 0 20 0 19 0 254034031 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991996791096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24145] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24145/stat : 24145 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991995738488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24146] ppid=24126 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/24128/task/24146/stat : 24146 (java) S 24126 24128 23031 0 -1 4202560 101 0 0 0 49 34 0 0 20 0 19 0 254034031 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991994685896 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24147] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24147/stat : 24147 (java) S 24126 24128 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034046 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991993632424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.17
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1784.21 s]
/proc/loadavg: 2.05 2.06 2.01 4/215 24221
/proc/meminfo: memFree=25210064/32873844 swapFree=7608/7608
[pid=24128] ppid=24126 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/24128/stat : 24128 (java) S 24126 24128 23031 0 -1 4202496 11695 0 1 0 179877 131 0 0 20 0 19 0 254034024 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 140736191499216 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24128/statm: 2406244 198803 2266 9 0 2396937 0
[pid=24128/tid=24130] ppid=24126 vsize=9624976 CPUtime=1765.53 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (java) R 24126 24128 23031 0 -1 4202560 2713 0 1 0 176521 32 0 0 20 0 19 0 254034025 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992177843568 139992117600169 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=9624976 CPUtime=2.59 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (java) S 24126 24128 23031 0 -1 4202560 536 0 0 0 248 11 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992116575272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24132] ppid=24126 vsize=9624976 CPUtime=2.53 cores=1,3,5,7
/proc/24128/task/24132/stat : 24132 (java) S 24126 24128 23031 0 -1 4202560 405 0 0 0 242 11 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992115522472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24133] ppid=24126 vsize=9624976 CPUtime=2.5 cores=1,3,5,7
/proc/24128/task/24133/stat : 24133 (java) S 24126 24128 23031 0 -1 4202560 425 0 0 0 240 10 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992114469672 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24134] ppid=24126 vsize=9624976 CPUtime=2.76 cores=1,3,5,7
/proc/24128/task/24134/stat : 24134 (java) S 24126 24128 23031 0 -1 4202560 396 0 0 0 265 11 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992113416872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24135] ppid=24126 vsize=9624976 CPUtime=2.72 cores=1,3,5,7
/proc/24128/task/24135/stat : 24135 (java) S 24126 24128 23031 0 -1 4202560 441 0 0 0 258 14 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992112364072 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24136] ppid=24126 vsize=9624976 CPUtime=2.58 cores=1,3,5,7
/proc/24128/task/24136/stat : 24136 (java) S 24126 24128 23031 0 -1 4202560 618 0 0 0 246 12 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992111311272 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24137] ppid=24126 vsize=9624976 CPUtime=2.57 cores=1,3,5,7
/proc/24128/task/24137/stat : 24137 (java) S 24126 24128 23031 0 -1 4202560 216 0 0 0 244 13 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992015517992 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24138] ppid=24126 vsize=9624976 CPUtime=2.35 cores=1,3,5,7
/proc/24128/task/24138/stat : 24138 (java) S 24126 24128 23031 0 -1 4202560 268 0 0 0 225 10 0 0 20 0 19 0 254034027 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992014465192 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24128/tid=24139] ppid=24126 vsize=9624976 CPUtime=8.33 cores=1,3,5,7
/proc/24128/task/24139/stat : 24139 (java) S 24126 24128 23031 0 -1 4202560 696 0 0 0 830 3 0 0 20 0 19 0 254034028 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992002055144 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24140] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24140/stat : 24140 (java) S 24126 24128 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139992001001208 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24141] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24141/stat : 24141 (java) S 24126 24128 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254034028 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991999948296 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24142] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24142/stat : 24142 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991998896784 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24143] ppid=24126 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/24128/task/24143/stat : 24143 (java) S 24126 24128 23031 0 -1 4202560 1517 0 0 0 23 0 0 0 20 0 19 0 254034031 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991997843896 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24144] ppid=24126 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/24128/task/24144/stat : 24144 (java) S 24126 24128 23031 0 -1 4202560 2182 0 0 0 21 0 0 0 20 0 19 0 254034031 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991996791096 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24128/tid=24145] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24145/stat : 24145 (java) S 24126 24128 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254034031 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991995738488 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24146] ppid=24126 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/24128/task/24146/stat : 24146 (java) S 24126 24128 23031 0 -1 4202560 101 0 0 0 49 34 0 0 20 0 19 0 254034031 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991994685896 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24147] ppid=24126 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24128/task/24147/stat : 24147 (java) S 24126 24128 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254034046 9855975424 198803 33554432000 1073741824 1073778376 140736191508080 139991993632424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24128 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=338219
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=752733
# CPU time returned by wait4() is 1796.09
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1784.26
CPU time (s): 1800.08
CPU user time (s): 1798.77
CPU system time (s): 1.31
CPU usage (%): 100.886
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.34
system time used= 1.75273
maximum resident set size= 796312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12010
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41359
involuntary context switches= 31945
runsolver used 6.77297 second user time and 16.4005 second system time
The end