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-3689700-1337884384/watcher-3689700-1337884384 -o /tmp/evaluation-result-3689700-1337884384/solver-3689700-1337884384 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689700-1337884384.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: 3.91 3.86 3.75 4/197 25345
/proc/meminfo: memFree=25706348/32873648 swapFree=7108/7108
[pid=25345] ppid=25343 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25345/stat : 25345 (java) D 25343 25345 21597 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254565772 9515008 183 33554432000 1073741824 1073778376 140736235826608 140736235817640 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25345/statm: 2323 183 140 9 0 71 0
[startup+0.0357751 s]
/proc/loadavg: 3.91 3.86 3.75 4/197 25345
/proc/meminfo: memFree=25706348/32873648 swapFree=7108/7108
[pid=25345] ppid=25343 vsize=9092432 CPUtime=0.01 cores=1,3,5,7
/proc/25345/stat : 25345 (java) S 25343 25345 21597 0 -1 4202496 2903 0 1 0 1 0 0 0 20 0 11 0 254565772 9310650368 3602 33554432000 1073741824 1073778376 140736772493936 140736772485072 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25345/statm: 2273108 3602 1631 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432
[startup+0.100252 s]
/proc/loadavg: 3.91 3.86 3.75 4/197 25345
/proc/meminfo: memFree=25706348/32873648 swapFree=7108/7108
[pid=25345] ppid=25343 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/25345/stat : 25345 (java) S 25343 25345 21597 0 -1 4202496 4295 0 1 0 8 1 0 0 20 0 18 0 254565772 9787813888 5480 33554432000 1073741824 1073778376 140736772493936 140736772485072 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25345/statm: 2389603 5480 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300235 s]
/proc/loadavg: 3.91 3.86 3.75 4/197 25345
/proc/meminfo: memFree=25706348/32873648 swapFree=7108/7108
[pid=25345] ppid=25343 vsize=9558412 CPUtime=0.55 cores=1,3,5,7
/proc/25345/stat : 25345 (java) S 25343 25345 21597 0 -1 4202496 7295 0 1 0 54 1 0 0 20 0 18 0 254565772 9787813888 11788 33554432000 1073741824 1073778376 140736772493936 140736772485072 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25345/statm: 2389603 11788 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558412
[startup+0.700185 s]
/proc/loadavg: 3.91 3.86 3.75 4/197 25345
/proc/meminfo: memFree=25706348/32873648 swapFree=7108/7108
[pid=25345] ppid=25343 vsize=9824668 CPUtime=1.63 cores=1,3,5,7
/proc/25345/stat : 25345 (java) S 25343 25345 21597 0 -1 4202496 14904 0 1 0 159 4 0 0 20 0 22 0 254565772 10060460032 43230 33554432000 1073741824 1073778376 140736772493936 140736772485072 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25345/statm: 2456167 43230 2251 9 0 2446860 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9824668
[startup+1.50072 s]
/proc/loadavg: 3.91 3.86 3.75 7/219 25367
/proc/meminfo: memFree=25520096/32873648 swapFree=7108/7108
[pid=25345] ppid=25343 vsize=9824668 CPUtime=4.47 cores=1,3,5,7
/proc/25345/stat : 25345 (java) S 25343 25345 21597 0 -1 4202496 21259 0 1 0 440 7 0 0 20 0 22 0 254565772 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140736772485072 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25345/statm: 2456167 47033 2271 9 0 2446860 0
[pid=25345/tid=25347] ppid=25343 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (java) S 25343 25345 21597 0 -1 4202560 2511 0 1 0 59 3 0 0 20 0 22 0 254565774 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569263612920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (java) S 25343 25345 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254565775 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569252674472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25349] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25349/stat : 25349 (java) S 25343 25345 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254565775 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569251621928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=25345/tid=25350] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25350/stat : 25350 (java) S 25343 25345 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254565775 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569250568872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25351] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25351/stat : 25351 (java) S 25343 25345 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254565775 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569249516328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25352] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25352/stat : 25352 (java) S 25343 25345 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254565775 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569248463272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25353] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25353/stat : 25353 (java) S 25343 25345 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254565775 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569101417000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25354] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25354/stat : 25354 (java) S 25343 25345 21597 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254565775 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569100363944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25355] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25355/stat : 25355 (java) S 25343 25345 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254565775 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569099311400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25356] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25356/stat : 25356 (java) S 25343 25345 21597 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569087114088 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25357] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25357/stat : 25357 (java) S 25343 25345 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569086060408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25358] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25358/stat : 25358 (java) S 25343 25345 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569085007240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25359] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25359/stat : 25359 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569083955984 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25360] ppid=25343 vsize=9824668 CPUtime=1.05 cores=1,3,5,7
/proc/25345/task/25360/stat : 25360 (java) S 25343 25345 21597 0 -1 4202560 11192 0 0 0 103 2 0 0 20 0 22 0 254565779 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569082902840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25361] ppid=25343 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/25345/task/25361/stat : 25361 (java) S 25343 25345 21597 0 -1 4202560 6141 0 0 0 104 2 0 0 20 0 22 0 254565779 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569081850296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25362] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25362/stat : 25362 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569080797432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25363] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25363/stat : 25363 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569079745096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25364] ppid=25343 vsize=9824668 CPUtime=0.79 cores=1,3,5,7
/proc/25345/task/25364/stat : 25364 (java) R 25343 25345 21597 0 -1 4202560 21 0 0 0 79 0 0 0 20 0 22 0 254565838 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569078690936 140569129989952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25365] ppid=25343 vsize=9824668 CPUtime=0.79 cores=1,3,5,7
/proc/25345/task/25365/stat : 25365 (java) R 25343 25345 21597 0 -1 4202560 83 0 0 0 79 0 0 0 20 0 22 0 254565838 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569077638024 140569130023166 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25345/tid=25366] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25366/stat : 25366 (java) S 25343 25345 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565841 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569076585768 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25367] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25367/stat : 25367 (java) S 25343 25345 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565841 10060460032 47033 33554432000 1073741824 1073778376 140736772493936 140569075533224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 9824668
[startup+3.10074 s]
/proc/loadavg: 4.00 3.88 3.75 5/219 25367
/proc/meminfo: memFree=25507492/32873648 swapFree=7108/7108
[pid=25345] ppid=25343 vsize=9824668 CPUtime=7.86 cores=1,3,5,7
/proc/25345/stat : 25345 (java) S 25343 25345 21597 0 -1 4202496 21487 0 1 0 772 14 0 0 20 0 22 0 254565772 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140736772485072 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25345/statm: 2456167 62938 2285 9 0 2446860 0
[pid=25345/tid=25347] ppid=25343 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (java) S 25343 25345 21597 0 -1 4202560 2511 0 1 0 59 3 0 0 20 0 22 0 254565774 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569263612920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (java) S 25343 25345 21597 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 22 0 254565775 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569252674472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25345/tid=25349] ppid=25343 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25345/task/25349/stat : 25349 (java) S 25343 25345 21597 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 254565775 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569251621928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=25345/tid=25350] ppid=25343 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25345/task/25350/stat : 25350 (java) S 25343 25345 21597 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 22 0 254565775 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569250568872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25351] ppid=25343 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25345/task/25351/stat : 25351 (java) S 25343 25345 21597 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 254565775 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569249516328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25352] ppid=25343 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25345/task/25352/stat : 25352 (java) S 25343 25345 21597 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 254565775 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569248463272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25345/tid=25353] ppid=25343 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25345/task/25353/stat : 25353 (java) S 25343 25345 21597 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 254565775 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569101417000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25354] ppid=25343 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25345/task/25354/stat : 25354 (java) S 25343 25345 21597 0 -1 4202560 16 0 0 0 0 2 0 0 20 0 22 0 254565775 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569100363944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25355] ppid=25343 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25345/task/25355/stat : 25355 (java) S 25343 25345 21597 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 254565775 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569099311400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25356] ppid=25343 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25345/task/25356/stat : 25356 (java) S 25343 25345 21597 0 -1 4202560 103 0 0 0 6 0 0 0 20 0 22 0 254565776 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569087114088 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25357] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25357/stat : 25357 (java) S 25343 25345 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569086060408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25358] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25358/stat : 25358 (java) S 25343 25345 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569085007240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25359] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25359/stat : 25359 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569083955984 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25360] ppid=25343 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/25345/task/25360/stat : 25360 (java) S 25343 25345 21597 0 -1 4202560 11298 0 0 0 115 2 0 0 20 0 22 0 254565779 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569082902840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25345/tid=25361] ppid=25343 vsize=9824668 CPUtime=1.11 cores=1,3,5,7
/proc/25345/task/25361/stat : 25361 (java) S 25343 25345 21597 0 -1 4202560 6143 0 0 0 109 2 0 0 20 0 22 0 254565779 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569081850296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25362] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25362/stat : 25362 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569080797432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25363] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25363/stat : 25363 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569079745096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25364] ppid=25343 vsize=9824668 CPUtime=2.25 cores=1,3,5,7
/proc/25345/task/25364/stat : 25364 (java) R 25343 25345 21597 0 -1 4202560 21 0 0 0 225 0 0 0 20 0 22 0 254565838 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569078690656 140569129889635 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25365] ppid=25343 vsize=9824668 CPUtime=2.24 cores=1,3,5,7
/proc/25345/task/25365/stat : 25365 (java) R 25343 25345 21597 0 -1 4202560 85 0 0 0 224 0 0 0 20 0 22 0 254565838 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569077637704 140569130023109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25366] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25366/stat : 25366 (java) S 25343 25345 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565841 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569076585768 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25367] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25367/stat : 25367 (java) S 25343 25345 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565841 10060460032 62938 33554432000 1073741824 1073778376 140736772493936 140569075533224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 9824668
[startup+6.30082 s]
/proc/loadavg: 4.00 3.88 3.75 5/219 25367
/proc/meminfo: memFree=25328292/32873648 swapFree=7108/7108
[pid=25345] ppid=25343 vsize=9824668 CPUtime=14.49 cores=1,3,5,7
/proc/25345/stat : 25345 (java) S 25343 25345 21597 0 -1 4202496 22648 0 1 0 1432 17 0 0 20 0 22 0 254565772 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140736772485072 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25345/statm: 2456167 96340 2285 9 0 2446860 0
[pid=25345/tid=25347] ppid=25343 vsize=9824668 CPUtime=0.62 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (java) S 25343 25345 21597 0 -1 4202560 2512 0 1 0 59 3 0 0 20 0 22 0 254565774 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569263612920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (java) S 25343 25345 21597 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 22 0 254565775 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569252674472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25349] ppid=25343 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25345/task/25349/stat : 25349 (java) S 25343 25345 21597 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 22 0 254565775 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569251621928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 1 0 0
[pid=25345/tid=25350] ppid=25343 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/25345/task/25350/stat : 25350 (java) S 25343 25345 21597 0 -1 4202560 26 0 0 0 6 2 0 0 20 0 22 0 254565775 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569250568872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25351] ppid=25343 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/25345/task/25351/stat : 25351 (java) S 25343 25345 21597 0 -1 4202560 18 0 0 0 6 0 0 0 20 0 22 0 254565775 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569249516328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25352] ppid=25343 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25345/task/25352/stat : 25352 (java) S 25343 25345 21597 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 254565775 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569248463272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25345/tid=25353] ppid=25343 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/25345/task/25353/stat : 25353 (java) S 25343 25345 21597 0 -1 4202560 16 0 0 0 5 0 0 0 20 0 22 0 254565775 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569101417000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25354] ppid=25343 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25345/task/25354/stat : 25354 (java) S 25343 25345 21597 0 -1 4202560 18 0 0 0 2 2 0 0 20 0 22 0 254565775 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569100363944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25355] ppid=25343 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/25345/task/25355/stat : 25355 (java) S 25343 25345 21597 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 254565775 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569099311400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25345/tid=25356] ppid=25343 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/25345/task/25356/stat : 25356 (java) S 25343 25345 21597 0 -1 4202560 239 0 0 0 15 0 0 0 20 0 22 0 254565776 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569087114088 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25357] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25357/stat : 25357 (java) S 25343 25345 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569086060408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25358] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25358/stat : 25358 (java) S 25343 25345 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569085007240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25359] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25359/stat : 25359 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569083955984 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25360] ppid=25343 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/25345/task/25360/stat : 25360 (java) S 25343 25345 21597 0 -1 4202560 12253 0 0 0 131 3 0 0 20 0 22 0 254565779 10060460032 96340 33554432000 1073741824 1073778376 140736772493936 140569082902840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=25345/tid=25365] ppid=25343 vsize=9824668 CPUtime=771.36 cores=1,3,5,7
/proc/25345/task/25365/stat : 25365 (java) R 25343 25345 21597 0 -1 4202560 1419 0 0 0 77089 47 0 0 20 0 22 0 254565838 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569077635808 140569130112708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25366] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25366/stat : 25366 (java) S 25343 25345 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565841 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569076585768 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25367] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25367/stat : 25367 (java) S 25343 25345 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565841 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569075533224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.4
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.95 3.91 3.83 5/218 25573
/proc/meminfo: memFree=22638924/32873648 swapFree=7108/7108
[pid=25345] ppid=25343 vsize=9824668 CPUtime=1720.02 cores=1,3,5,7
/proc/25345/stat : 25345 (java) S 25343 25345 21597 0 -1 4202496 30613 0 1 0 171870 132 0 0 20 0 22 0 254565772 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140736772485072 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25345/statm: 2456167 852961 2286 9 0 2446860 0
[pid=25345/tid=25347] ppid=25343 vsize=9824668 CPUtime=0.65 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (java) S 25343 25345 21597 0 -1 4202560 2561 0 1 0 61 4 0 0 20 0 22 0 254565774 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569263612920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (java) S 25343 25345 21597 0 -1 4202560 579 0 0 0 74 8 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569252674472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25349] ppid=25343 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/25345/task/25349/stat : 25349 (java) S 25343 25345 21597 0 -1 4202560 378 0 0 0 77 6 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569251621928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=25345/tid=25350] ppid=25343 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/25345/task/25350/stat : 25350 (java) S 25343 25345 21597 0 -1 4202560 674 0 0 0 98 9 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569250568872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25345/tid=25351] ppid=25343 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/25345/task/25351/stat : 25351 (java) S 25343 25345 21597 0 -1 4202560 279 0 0 0 100 7 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569249516328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25352] ppid=25343 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/25345/task/25352/stat : 25352 (java) S 25343 25345 21597 0 -1 4202560 530 0 0 0 86 9 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569248463272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25353] ppid=25343 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/25345/task/25353/stat : 25353 (java) S 25343 25345 21597 0 -1 4202560 249 0 0 0 90 7 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569101417000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25354] ppid=25343 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/25345/task/25354/stat : 25354 (java) S 25343 25345 21597 0 -1 4202560 253 0 0 0 84 7 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569100363944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25355] ppid=25343 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/25345/task/25355/stat : 25355 (java) S 25343 25345 21597 0 -1 4202560 348 0 0 0 106 8 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569099311400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25356] ppid=25343 vsize=9824668 CPUtime=50.38 cores=1,3,5,7
/proc/25345/task/25356/stat : 25356 (java) S 25343 25345 21597 0 -1 4202560 2571 0 0 0 5027 11 0 0 20 0 22 0 254565776 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569087114088 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25357] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25357/stat : 25357 (java) S 25343 25345 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569086060408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25358] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25358/stat : 25358 (java) S 25343 25345 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569085007240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25359] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25359/stat : 25359 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569083955984 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25360] ppid=25343 vsize=9824668 CPUtime=1.48 cores=1,3,5,7
/proc/25345/task/25360/stat : 25360 (java) S 25343 25345 21597 0 -1 4202560 12261 0 0 0 145 3 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569082902840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25345/tid=25361] ppid=25343 vsize=9824668 CPUtime=1.53 cores=1,3,5,7
/proc/25345/task/25361/stat : 25361 (java) S 25343 25345 21597 0 -1 4202560 7201 0 0 0 151 2 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569081850296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25362] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25362/stat : 25362 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569080797432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25363] ppid=25343 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/25345/task/25363/stat : 25363 (java) S 25343 25345 21597 0 -1 4202560 51 0 0 0 8 16 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569079745096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25364] ppid=25343 vsize=9824668 CPUtime=829.17 cores=1,3,5,7
/proc/25345/task/25364/stat : 25364 (java) R 25343 25345 21597 0 -1 4202560 71 0 0 0 82903 14 0 0 20 0 22 0 254565838 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569078690656 140569129929719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25365] ppid=25343 vsize=9824668 CPUtime=828.98 cores=1,3,5,7
/proc/25345/task/25365/stat : 25365 (java) R 25343 25345 21597 0 -1 4202560 1419 0 0 0 82850 48 0 0 20 0 22 0 254565838 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569077635792 140569129687706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25366] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25366/stat : 25366 (java) S 25343 25345 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565841 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569076585768 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25367] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25367/stat : 25367 (java) S 25343 25345 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565841 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569075533224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1720.02
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+923.301 s]
/proc/loadavg: 3.92 3.91 3.83 5/219 25574
/proc/meminfo: memFree=22671380/32873648 swapFree=7108/7108
[pid=25345] ppid=25343 vsize=9824668 CPUtime=1800.09 cores=1,3,5,7
/proc/25345/stat : 25345 (java) S 25343 25345 21597 0 -1 4202496 30616 0 1 0 179877 132 0 0 20 0 22 0 254565772 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140736772485072 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25345/statm: 2456167 852961 2286 9 0 2446860 0
[pid=25345/tid=25347] ppid=25343 vsize=9824668 CPUtime=0.65 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (java) S 25343 25345 21597 0 -1 4202560 2562 0 1 0 61 4 0 0 20 0 22 0 254565774 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569263612920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (java) S 25343 25345 21597 0 -1 4202560 579 0 0 0 74 8 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569252674472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25349] ppid=25343 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/25345/task/25349/stat : 25349 (java) S 25343 25345 21597 0 -1 4202560 378 0 0 0 77 6 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569251621928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=25345/tid=25350] ppid=25343 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/25345/task/25350/stat : 25350 (java) S 25343 25345 21597 0 -1 4202560 674 0 0 0 98 9 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569250568872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25345/tid=25351] ppid=25343 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/25345/task/25351/stat : 25351 (java) S 25343 25345 21597 0 -1 4202560 279 0 0 0 100 7 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569249516328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25352] ppid=25343 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/25345/task/25352/stat : 25352 (java) S 25343 25345 21597 0 -1 4202560 530 0 0 0 86 9 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569248463272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25353] ppid=25343 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/25345/task/25353/stat : 25353 (java) S 25343 25345 21597 0 -1 4202560 249 0 0 0 90 7 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569101417000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25354] ppid=25343 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/25345/task/25354/stat : 25354 (java) S 25343 25345 21597 0 -1 4202560 253 0 0 0 84 7 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569100363944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25355] ppid=25343 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/25345/task/25355/stat : 25355 (java) S 25343 25345 21597 0 -1 4202560 348 0 0 0 106 8 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569099311400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25356] ppid=25343 vsize=9824668 CPUtime=52.3 cores=1,3,5,7
/proc/25345/task/25356/stat : 25356 (java) S 25343 25345 21597 0 -1 4202560 2571 0 0 0 5219 11 0 0 20 0 22 0 254565776 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569087114088 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25357] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25357/stat : 25357 (java) S 25343 25345 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569086060408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25358] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25358/stat : 25358 (java) S 25343 25345 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569085007240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25359] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25359/stat : 25359 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569083955984 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25360] ppid=25343 vsize=9824668 CPUtime=1.48 cores=1,3,5,7
/proc/25345/task/25360/stat : 25360 (java) S 25343 25345 21597 0 -1 4202560 12261 0 0 0 145 3 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569082902840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25345/tid=25361] ppid=25343 vsize=9824668 CPUtime=1.53 cores=1,3,5,7
/proc/25345/task/25361/stat : 25361 (java) S 25343 25345 21597 0 -1 4202560 7201 0 0 0 151 2 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569081850296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25362] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25362/stat : 25362 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569080797432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25363] ppid=25343 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/25345/task/25363/stat : 25363 (java) S 25343 25345 21597 0 -1 4202560 53 0 0 0 9 16 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569079745096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25364] ppid=25343 vsize=9824668 CPUtime=868.26 cores=1,3,5,7
/proc/25345/task/25364/stat : 25364 (java) R 25343 25345 21597 0 -1 4202560 71 0 0 0 86811 15 0 0 20 0 22 0 254565838 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569078690656 140569129836487 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25365] ppid=25343 vsize=9824668 CPUtime=868.06 cores=1,3,5,7
/proc/25345/task/25365/stat : 25365 (java) R 25343 25345 21597 0 -1 4202560 1419 0 0 0 86757 49 0 0 20 0 22 0 254565838 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569077635808 140569129687744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25366] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25366/stat : 25366 (java) S 25343 25345 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565841 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569076585768 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25367] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25367/stat : 25367 (java) S 25343 25345 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565841 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569075533224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+923.301 s]
/proc/loadavg: 3.92 3.91 3.83 5/219 25574
/proc/meminfo: memFree=22671380/32873648 swapFree=7108/7108
[pid=25345] ppid=25343 vsize=9824668 CPUtime=1800.09 cores=1,3,5,7
/proc/25345/stat : 25345 (java) S 25343 25345 21597 0 -1 4202496 30616 0 1 0 179877 132 0 0 20 0 22 0 254565772 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140736772485072 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25345/statm: 2456167 852961 2286 9 0 2446860 0
[pid=25345/tid=25347] ppid=25343 vsize=9824668 CPUtime=0.65 cores=1,3,5,7
/proc/25345/task/25347/stat : 25347 (java) S 25343 25345 21597 0 -1 4202560 2562 0 1 0 61 4 0 0 20 0 22 0 254565774 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569263612920 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25348] ppid=25343 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/25345/task/25348/stat : 25348 (java) S 25343 25345 21597 0 -1 4202560 579 0 0 0 74 8 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569252674472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25349] ppid=25343 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/25345/task/25349/stat : 25349 (java) S 25343 25345 21597 0 -1 4202560 378 0 0 0 77 6 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569251621928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=25345/tid=25350] ppid=25343 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/25345/task/25350/stat : 25350 (java) S 25343 25345 21597 0 -1 4202560 674 0 0 0 98 9 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569250568872 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25345/tid=25351] ppid=25343 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/25345/task/25351/stat : 25351 (java) S 25343 25345 21597 0 -1 4202560 279 0 0 0 100 7 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569249516328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25352] ppid=25343 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/25345/task/25352/stat : 25352 (java) S 25343 25345 21597 0 -1 4202560 530 0 0 0 86 9 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569248463272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25353] ppid=25343 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/25345/task/25353/stat : 25353 (java) S 25343 25345 21597 0 -1 4202560 249 0 0 0 90 7 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569101417000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25354] ppid=25343 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/25345/task/25354/stat : 25354 (java) S 25343 25345 21597 0 -1 4202560 253 0 0 0 84 7 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569100363944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25355] ppid=25343 vsize=9824668 CPUtime=1.14 cores=1,3,5,7
/proc/25345/task/25355/stat : 25355 (java) S 25343 25345 21597 0 -1 4202560 348 0 0 0 106 8 0 0 20 0 22 0 254565775 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569099311400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25356] ppid=25343 vsize=9824668 CPUtime=52.3 cores=1,3,5,7
/proc/25345/task/25356/stat : 25356 (java) S 25343 25345 21597 0 -1 4202560 2571 0 0 0 5219 11 0 0 20 0 22 0 254565776 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569087114088 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25357] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25357/stat : 25357 (java) S 25343 25345 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569086060408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25358] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25358/stat : 25358 (java) S 25343 25345 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254565776 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569085007240 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25359] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25359/stat : 25359 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569083955984 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25360] ppid=25343 vsize=9824668 CPUtime=1.48 cores=1,3,5,7
/proc/25345/task/25360/stat : 25360 (java) S 25343 25345 21597 0 -1 4202560 12261 0 0 0 145 3 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569082902840 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25345/tid=25361] ppid=25343 vsize=9824668 CPUtime=1.53 cores=1,3,5,7
/proc/25345/task/25361/stat : 25361 (java) S 25343 25345 21597 0 -1 4202560 7201 0 0 0 151 2 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569081850296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25345/tid=25362] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25362/stat : 25362 (java) S 25343 25345 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569080797432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25363] ppid=25343 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/25345/task/25363/stat : 25363 (java) S 25343 25345 21597 0 -1 4202560 53 0 0 0 9 16 0 0 20 0 22 0 254565779 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569079745096 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25364] ppid=25343 vsize=9824668 CPUtime=868.26 cores=1,3,5,7
/proc/25345/task/25364/stat : 25364 (java) R 25343 25345 21597 0 -1 4202560 71 0 0 0 86811 15 0 0 20 0 22 0 254565838 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569078690656 140569129836487 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25365] ppid=25343 vsize=9824668 CPUtime=868.06 cores=1,3,5,7
/proc/25345/task/25365/stat : 25365 (java) R 25343 25345 21597 0 -1 4202560 1419 0 0 0 86757 49 0 0 20 0 22 0 254565838 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569077635808 140569129687744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25345/tid=25366] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25366/stat : 25366 (java) S 25343 25345 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565841 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569076585768 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25345/tid=25367] ppid=25343 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25345/task/25367/stat : 25367 (java) S 25343 25345 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254565841 10060460032 852961 33554432000 1073741824 1073778376 140736772493936 140569075533224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 923.373
CPU time (s): 1800.77
CPU user time (s): 1798.99
CPU system time (s): 1.78373
CPU usage (%): 195.021
Max. virtual memory (cumulated for all children) (KiB): 9826016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.78373
maximum resident set size= 3411972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30650
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23430
involuntary context switches= 27226
runsolver used 4.02039 second user time and 7.73382 second system time
The end