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-3732014-1338742822/watcher-3732014-1338742822 -o /tmp/evaluation-result-3732014-1338742822/solver-3732014-1338742822 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3732014-1338742822.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.99 1.95 3/195 26830
/proc/meminfo: memFree=25876548/32873648 swapFree=6864/6864
[pid=26830] ppid=26828 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/26830/stat : 26830 (java) R 26828 26830 26477 0 -1 4202496 1044 0 0 0 0 0 0 0 20 0 1 0 340407602 23793664 772 33554432000 1073741824 1073778376 140736764179136 140736764168200 140384649872992 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26830/statm: 5809 789 585 9 0 128 0
[startup+0.021163 s]
/proc/loadavg: 1.92 1.99 1.95 3/195 26830
/proc/meminfo: memFree=25876548/32873648 swapFree=6864/6864
[pid=26830] ppid=26828 vsize=2106772 CPUtime=0.01 cores=1,3,5,7
/proc/26830/stat : 26830 (java) S 26828 26830 26477 0 -1 4202496 3440 0 1 0 1 0 0 0 20 0 10 0 340407602 2157334528 4140 33554432000 1073741824 1073778376 140736764179136 140736764170272 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26830/statm: 526693 4140 1540 9 0 517394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2106772
[startup+0.100161 s]
/proc/loadavg: 1.92 1.99 1.95 3/195 26830
/proc/meminfo: memFree=25876548/32873648 swapFree=6864/6864
[pid=26830] ppid=26828 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/26830/stat : 26830 (java) S 26828 26830 26477 0 -1 4202496 4785 0 1 0 10 1 0 0 20 0 18 0 340407602 2712133632 7015 33554432000 1073741824 1073778376 140736764179136 140736764170272 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26830/statm: 662142 7015 2142 9 0 652835 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2648568
[startup+0.300156 s]
/proc/loadavg: 1.92 1.99 1.95 3/195 26830
/proc/meminfo: memFree=25876548/32873648 swapFree=6864/6864
[pid=26830] ppid=26828 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/26830/stat : 26830 (java) S 26828 26830 26477 0 -1 4202496 7617 0 1 0 53 2 0 0 20 0 19 0 340407602 2780295168 9063 33554432000 1073741824 1073778376 140736764179136 140736764170272 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26830/statm: 678783 9063 2223 9 0 669476 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2715132
[startup+0.700166 s]
/proc/loadavg: 1.92 1.99 1.95 3/195 26830
/proc/meminfo: memFree=25876548/32873648 swapFree=6864/6864
[pid=26830] ppid=26828 vsize=2715132 CPUtime=1.06 cores=1,3,5,7
/proc/26830/stat : 26830 (java) S 26828 26830 26477 0 -1 4202496 7875 0 1 0 104 2 0 0 20 0 19 0 340407602 2780295168 11662 33554432000 1073741824 1073778376 140736764179136 140736764170272 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26830/statm: 678783 11662 2228 9 0 669476 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 2715132
[startup+1.50064 s]
/proc/loadavg: 1.92 1.99 1.95 3/214 26849
/proc/meminfo: memFree=25621652/32873648 swapFree=6864/6864
[pid=26830] ppid=26828 vsize=2715132 CPUtime=1.87 cores=1,3,5,7
/proc/26830/stat : 26830 (java) S 26828 26830 26477 0 -1 4202496 7886 0 1 0 184 3 0 0 20 0 19 0 340407602 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140736764170272 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26830/statm: 678783 16271 2229 9 0 669476 0
[pid=26830/tid=26832] ppid=26828 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/26830/task/26832/stat : 26832 (java) R 26828 26830 26477 0 -1 4202560 2761 0 1 0 145 2 0 0 20 0 19 0 340407602 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384642904504 140384512979087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26833] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26833/stat : 26833 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384509667624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26834] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26834/stat : 26834 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384508614824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26835] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26835/stat : 26835 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384507562536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26830/tid=26836] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26836/stat : 26836 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384506509736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26837] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26837/stat : 26837 (java) S 26828 26830 26477 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384505457448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26838] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26838/stat : 26838 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384504404648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26839] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26839/stat : 26839 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384503352360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26840] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26840/stat : 26840 (java) S 26828 26830 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384502299560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26841] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26841/stat : 26841 (java) S 26828 26830 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340407604 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384019646696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26842] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26842/stat : 26842 (java) S 26828 26830 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340407605 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384018592760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26843] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26843/stat : 26843 (java) S 26828 26830 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340407605 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384017540360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26844] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26844/stat : 26844 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384016488848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26845] ppid=26828 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/26830/task/26845/stat : 26845 (java) S 26828 26830 26477 0 -1 4202560 1527 0 0 0 16 0 0 0 20 0 19 0 340407607 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384015436472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26846] ppid=26828 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/26830/task/26846/stat : 26846 (java) S 26828 26830 26477 0 -1 4202560 2405 0 0 0 19 0 0 0 20 0 19 0 340407607 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384014383672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26847] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26847/stat : 26847 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384013331576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26848] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26848/stat : 26848 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384012278984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26849] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26849/stat : 26849 (java) S 26828 26830 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340407615 2780295168 16271 33554432000 1073741824 1073778376 140736764179136 140384011223976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 2715132
[startup+3.10063 s]
/proc/loadavg: 1.92 1.99 1.95 3/214 26849
/proc/meminfo: memFree=25598248/32873648 swapFree=6864/6864
[pid=26830] ppid=26828 vsize=2715132 CPUtime=3.48 cores=1,3,5,7
/proc/26830/stat : 26830 (java) S 26828 26830 26477 0 -1 4202496 7900 0 1 0 344 4 0 0 20 0 19 0 340407602 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140736764170272 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26830/statm: 678783 23439 2229 9 0 669476 0
[pid=26830/tid=26832] ppid=26828 vsize=2715132 CPUtime=3.07 cores=1,3,5,7
/proc/26830/task/26832/stat : 26832 (java) R 26828 26830 26477 0 -1 4202560 2775 0 1 0 304 3 0 0 20 0 19 0 340407602 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384642904504 140384513008242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26833] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26833/stat : 26833 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384509667624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26834] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26834/stat : 26834 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384508614824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26835] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26835/stat : 26835 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384507562536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26830/tid=26836] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26836/stat : 26836 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384506509736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26837] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26837/stat : 26837 (java) S 26828 26830 26477 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384505457448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26838] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26838/stat : 26838 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384504404648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26839] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26839/stat : 26839 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384503352360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26840] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26840/stat : 26840 (java) S 26828 26830 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384502299560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26841] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26841/stat : 26841 (java) S 26828 26830 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340407604 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384019646696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26842] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26842/stat : 26842 (java) S 26828 26830 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340407605 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384018592760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26843] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26843/stat : 26843 (java) S 26828 26830 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340407605 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384017540360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26844] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26844/stat : 26844 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384016488848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26845] ppid=26828 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/26830/task/26845/stat : 26845 (java) S 26828 26830 26477 0 -1 4202560 1527 0 0 0 16 0 0 0 20 0 19 0 340407607 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384015436472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26846] ppid=26828 vsize=2715132 CPUtime=0.2 cores=1,3,5,7
/proc/26830/task/26846/stat : 26846 (java) S 26828 26830 26477 0 -1 4202560 2405 0 0 0 20 0 0 0 20 0 19 0 340407607 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384014383672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26847] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26847/stat : 26847 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384013331576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26848] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26848/stat : 26848 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384012278984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26849] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26849/stat : 26849 (java) S 26828 26830 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340407615 2780295168 23439 33554432000 1073741824 1073778376 140736764179136 140384011223976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 2715132
[startup+6.30065 s]
/proc/loadavg: 1.93 1.99 1.95 3/214 26849
/proc/meminfo: memFree=25557388/32873648 swapFree=6864/6864
[pid=26830] ppid=26828 vsize=2715132 CPUtime=6.68 cores=1,3,5,7
/proc/26830/stat : 26830 (java) S 26828 26830 26477 0 -1 4202496 7920 0 1 0 663 5 0 0 20 0 19 0 340407602 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140736764170272 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26830/statm: 678783 32590 2230 9 0 669476 0
[pid=26830/tid=26832] ppid=26828 vsize=2715132 CPUtime=6.26 cores=1,3,5,7
/proc/26830/task/26832/stat : 26832 (java) R 26828 26830 26477 0 -1 4202560 2794 0 1 0 623 3 0 0 20 0 19 0 340407602 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384642896304 140384512980632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26833] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26833/stat : 26833 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384509667624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26834] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26834/stat : 26834 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384508614824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26835] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26835/stat : 26835 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384507562536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26830/tid=26836] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26836/stat : 26836 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384506509736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26837] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26837/stat : 26837 (java) S 26828 26830 26477 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384505457448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26838] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26838/stat : 26838 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384504404648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26839] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26839/stat : 26839 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384503352360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26840] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26840/stat : 26840 (java) S 26828 26830 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340407603 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384502299560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26841] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26841/stat : 26841 (java) S 26828 26830 26477 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340407604 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384019646696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26842] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26842/stat : 26842 (java) S 26828 26830 26477 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340407605 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384018592760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26843] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26843/stat : 26843 (java) S 26828 26830 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340407605 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384017540360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26844] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26844/stat : 26844 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384016488848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26845] ppid=26828 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/26830/task/26845/stat : 26845 (java) S 26828 26830 26477 0 -1 4202560 1527 0 0 0 16 0 0 0 20 0 19 0 340407607 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384015436472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26846] ppid=26828 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/26830/task/26846/stat : 26846 (java) S 26828 26830 26477 0 -1 4202560 2405 0 0 0 21 0 0 0 20 0 19 0 340407607 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384014383672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26847] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26847/stat : 26847 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384013331576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26848] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26848/stat : 26848 (java) S 26828 26830 26477 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384012278984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26849] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26849/stat : 26849 (java) S 26828 26830 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340407615 2780295168 32590 33554432000 1073741824 1073778376 140736764179136 140384011223976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=26830/tid=26838] ppid=26828 vsize=2715132 CPUtime=0.97 cores=1,3,5,7
/proc/26830/task/26838/stat : 26838 (java) S 26828 26830 26477 0 -1 4202560 260 0 0 0 88 9 0 0 20 0 19 0 340407603 2780295168 291526 33554432000 1073741824 1073778376 140736764179136 140384504404648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26830/tid=26839] ppid=26828 vsize=2715132 CPUtime=0.95 cores=1,3,5,7
/proc/26830/task/26839/stat : 26839 (java) S 26828 26830 26477 0 -1 4202560 255 0 0 0 86 9 0 0 20 0 19 0 340407603 2780295168 291526 33554432000 1073741824 1073778376 140736764179136 140384503352360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26840] ppid=26828 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/26830/task/26840/stat : 26840 (java) S 26828 26830 26477 0 -1 4202560 299 0 0 0 68 6 0 0 20 0 19 0 340407603 2780295168 291526 33554432000 1073741824 1073778376 140736764179136 140384502299560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26841] ppid=26828 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/26830/task/26841/stat : 26841 (java) S 26828 26830 26477 0 -1 4202560 21 0 0 0 0 2 0 0 20 0 19 0 340407604 2780295168 291526 33554432000 1073741824 1073778376 140736764179136 140384019646696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26842] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26842/stat : 26842 (java) S 26828 26830 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340407605 2780295168 291526 33554432000 1073741824 1073778376 140736764179136 140384018592760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26843] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26843/stat : 26843 (java) S 26828 26830 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340407605 2780295168 291526 33554432000 1073741824 1073778376 140736764179136 140384017540360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26844] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26844/stat : 26844 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 291526 33554432000 1073741824 1073778376 140736764179136 140384016488848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26845] ppid=26828 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/26830/task/26845/stat : 26845 (java) S 26828 26830 26477 0 -1 4202560 1611 0 0 0 21 0 0 0 20 0 19 0 340407607 2780295168 291526 33554432000 1073741824 1073778376 140736764179136 140384015436472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26846] ppid=26828 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/26830/task/26846/stat : 26846 (java) S 26828 26830 26477 0 -1 4202560 2940 0 0 0 30 0 0 0 20 0 19 0 340407607 2780295168 291526 33554432000 1073741824 1073778376 140736764179136 140384014383672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26847] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26847/stat : 26847 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 291526 33554432000 1073741824 1073778376 140736764179136 140384013331576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26848] ppid=26828 vsize=2715132 CPUtime=0.67 cores=1,3,5,7
/proc/26830/task/26848/stat : 26848 (java) S 26828 26830 26477 0 -1 4202560 100 0 0 0 29 38 0 0 20 0 19 0 340407607 2780295168 291526 33554432000 1073741824 1073778376 140736764179136 140384012278984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26849] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26849/stat : 26849 (java) S 26828 26830 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340407615 2780295168 291526 33554432000 1073741824 1073778376 140736764179136 140384011223976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.01
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 27229
/proc/meminfo: memFree=23719980/32873648 swapFree=6864/6864
[pid=26830] ppid=26828 vsize=2715132 CPUtime=1788.51 cores=1,3,5,7
/proc/26830/stat : 26830 (java) S 26828 26830 26477 0 -1 4202496 11230 0 1 0 178738 113 0 0 20 0 19 0 340407602 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140736764170272 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26830/statm: 678783 293680 2251 9 0 669476 0
[pid=26830/tid=26832] ppid=26828 vsize=2715132 CPUtime=1779.9 cores=1,3,5,7
/proc/26830/task/26832/stat : 26832 (java) R 26828 26830 26477 0 -1 4202560 2919 0 1 0 177953 37 0 0 20 0 19 0 340407602 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384642903360 140384513008264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26833] ppid=26828 vsize=2715132 CPUtime=1.08 cores=1,3,5,7
/proc/26830/task/26833/stat : 26833 (java) S 26828 26830 26477 0 -1 4202560 353 0 0 0 100 8 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384509667624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26834] ppid=26828 vsize=2715132 CPUtime=0.96 cores=1,3,5,7
/proc/26830/task/26834/stat : 26834 (java) S 26828 26830 26477 0 -1 4202560 392 0 0 0 88 8 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384508614824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26835] ppid=26828 vsize=2715132 CPUtime=0.83 cores=1,3,5,7
/proc/26830/task/26835/stat : 26835 (java) S 26828 26830 26477 0 -1 4202560 422 0 0 0 75 8 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384507562536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26836] ppid=26828 vsize=2715132 CPUtime=0.83 cores=1,3,5,7
/proc/26830/task/26836/stat : 26836 (java) S 26828 26830 26477 0 -1 4202560 235 0 0 0 77 6 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384506509736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26830/tid=26837] ppid=26828 vsize=2715132 CPUtime=0.9 cores=1,3,5,7
/proc/26830/task/26837/stat : 26837 (java) S 26828 26830 26477 0 -1 4202560 235 0 0 0 83 7 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384505457448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26838] ppid=26828 vsize=2715132 CPUtime=1.12 cores=1,3,5,7
/proc/26830/task/26838/stat : 26838 (java) S 26828 26830 26477 0 -1 4202560 262 0 0 0 102 10 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384504404648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26830/tid=26839] ppid=26828 vsize=2715132 CPUtime=1 cores=1,3,5,7
/proc/26830/task/26839/stat : 26839 (java) S 26828 26830 26477 0 -1 4202560 255 0 0 0 91 9 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384503352360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26840] ppid=26828 vsize=2715132 CPUtime=0.81 cores=1,3,5,7
/proc/26830/task/26840/stat : 26840 (java) S 26828 26830 26477 0 -1 4202560 299 0 0 0 75 6 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384502299560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26841] ppid=26828 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/26830/task/26841/stat : 26841 (java) S 26828 26830 26477 0 -1 4202560 23 0 0 0 0 3 0 0 20 0 19 0 340407604 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384019646696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26842] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26842/stat : 26842 (java) S 26828 26830 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340407605 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384018592760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26843] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26843/stat : 26843 (java) S 26828 26830 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340407605 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384017540360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26844] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26844/stat : 26844 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384016488848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26845] ppid=26828 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/26830/task/26845/stat : 26845 (java) S 26828 26830 26477 0 -1 4202560 1611 0 0 0 21 0 0 0 20 0 19 0 340407607 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384015436472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26846] ppid=26828 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/26830/task/26846/stat : 26846 (java) S 26828 26830 26477 0 -1 4202560 2940 0 0 0 30 0 0 0 20 0 19 0 340407607 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384014383672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26847] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26847/stat : 26847 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384013331576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26848] ppid=26828 vsize=2715132 CPUtime=0.7 cores=1,3,5,7
/proc/26830/task/26848/stat : 26848 (java) S 26828 26830 26477 0 -1 4202560 104 0 0 0 30 40 0 0 20 0 19 0 340407607 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384012278984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26849] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26849/stat : 26849 (java) S 26828 26830 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340407615 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384011223976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1788.51
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.8 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 27229
/proc/meminfo: memFree=23720768/32873648 swapFree=6864/6864
[pid=26830] ppid=26828 vsize=2715132 CPUtime=1800.01 cores=1,3,5,7
/proc/26830/stat : 26830 (java) S 26828 26830 26477 0 -1 4202496 11230 0 1 0 179888 113 0 0 20 0 19 0 340407602 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140736764170272 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26830/statm: 678783 293680 2251 9 0 669476 0
[pid=26830/tid=26832] ppid=26828 vsize=2715132 CPUtime=1791.4 cores=1,3,5,7
/proc/26830/task/26832/stat : 26832 (java) R 26828 26830 26477 0 -1 4202560 2919 0 1 0 179103 37 0 0 20 0 19 0 340407602 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384642903360 140384513008234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26833] ppid=26828 vsize=2715132 CPUtime=1.08 cores=1,3,5,7
/proc/26830/task/26833/stat : 26833 (java) S 26828 26830 26477 0 -1 4202560 353 0 0 0 100 8 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384509667624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26834] ppid=26828 vsize=2715132 CPUtime=0.96 cores=1,3,5,7
/proc/26830/task/26834/stat : 26834 (java) S 26828 26830 26477 0 -1 4202560 392 0 0 0 88 8 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384508614824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26835] ppid=26828 vsize=2715132 CPUtime=0.83 cores=1,3,5,7
/proc/26830/task/26835/stat : 26835 (java) S 26828 26830 26477 0 -1 4202560 422 0 0 0 75 8 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384507562536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26836] ppid=26828 vsize=2715132 CPUtime=0.83 cores=1,3,5,7
/proc/26830/task/26836/stat : 26836 (java) S 26828 26830 26477 0 -1 4202560 235 0 0 0 77 6 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384506509736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26830/tid=26837] ppid=26828 vsize=2715132 CPUtime=0.9 cores=1,3,5,7
/proc/26830/task/26837/stat : 26837 (java) S 26828 26830 26477 0 -1 4202560 235 0 0 0 83 7 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384505457448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26838] ppid=26828 vsize=2715132 CPUtime=1.12 cores=1,3,5,7
/proc/26830/task/26838/stat : 26838 (java) S 26828 26830 26477 0 -1 4202560 262 0 0 0 102 10 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384504404648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26830/tid=26839] ppid=26828 vsize=2715132 CPUtime=1 cores=1,3,5,7
/proc/26830/task/26839/stat : 26839 (java) S 26828 26830 26477 0 -1 4202560 255 0 0 0 91 9 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384503352360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26840] ppid=26828 vsize=2715132 CPUtime=0.81 cores=1,3,5,7
/proc/26830/task/26840/stat : 26840 (java) S 26828 26830 26477 0 -1 4202560 299 0 0 0 75 6 0 0 20 0 19 0 340407603 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384502299560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26841] ppid=26828 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/26830/task/26841/stat : 26841 (java) S 26828 26830 26477 0 -1 4202560 23 0 0 0 0 3 0 0 20 0 19 0 340407604 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384019646696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26842] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26842/stat : 26842 (java) S 26828 26830 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340407605 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384018592760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26843] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26843/stat : 26843 (java) S 26828 26830 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340407605 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384017540360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26844] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26844/stat : 26844 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384016488848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26845] ppid=26828 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/26830/task/26845/stat : 26845 (java) S 26828 26830 26477 0 -1 4202560 1611 0 0 0 21 0 0 0 20 0 19 0 340407607 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384015436472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26846] ppid=26828 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/26830/task/26846/stat : 26846 (java) S 26828 26830 26477 0 -1 4202560 2940 0 0 0 30 0 0 0 20 0 19 0 340407607 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384014383672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26847] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26847/stat : 26847 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340407607 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384013331576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26848] ppid=26828 vsize=2715132 CPUtime=0.71 cores=1,3,5,7
/proc/26830/task/26848/stat : 26848 (java) S 26828 26830 26477 0 -1 4202560 104 0 0 0 31 40 0 0 20 0 19 0 340407607 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384012278984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26849] ppid=26828 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26849/stat : 26849 (java) S 26828 26830 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340407615 2780295168 293680 33554432000 1073741824 1073778376 140736764179136 140384011223976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 27229
/proc/meminfo: memFree=23720768/32873648 swapFree=6864/6864
[pid=26830] ppid=26828 vsize=2848260 CPUtime=1800.23 cores=1,3,5,7
/proc/26830/stat : 26830 (java) S 26828 26830 26477 0 -1 4202496 11279 0 1 0 179910 113 0 0 20 0 21 0 340407602 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140736764170272 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26830/statm: 712065 293726 2261 9 0 702758 0
[pid=26830/tid=26832] ppid=26828 vsize=2848260 CPUtime=1791.5 cores=1,3,5,7
/proc/26830/task/26832/stat : 26832 (java) R 26828 26830 26477 0 -1 4202560 2919 0 1 0 179113 37 0 0 20 0 21 0 340407602 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384642903360 140384513008260 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26833] ppid=26828 vsize=2848260 CPUtime=1.08 cores=1,3,5,7
/proc/26830/task/26833/stat : 26833 (java) S 26828 26830 26477 0 -1 4202560 353 0 0 0 100 8 0 0 20 0 21 0 340407603 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384509667624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26834] ppid=26828 vsize=2848260 CPUtime=0.96 cores=1,3,5,7
/proc/26830/task/26834/stat : 26834 (java) S 26828 26830 26477 0 -1 4202560 392 0 0 0 88 8 0 0 20 0 21 0 340407603 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384508614824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26835] ppid=26828 vsize=2848260 CPUtime=0.83 cores=1,3,5,7
/proc/26830/task/26835/stat : 26835 (java) S 26828 26830 26477 0 -1 4202560 422 0 0 0 75 8 0 0 20 0 21 0 340407603 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384507562536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26836] ppid=26828 vsize=2848260 CPUtime=0.83 cores=1,3,5,7
/proc/26830/task/26836/stat : 26836 (java) S 26828 26830 26477 0 -1 4202560 235 0 0 0 77 6 0 0 20 0 21 0 340407603 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384506509736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26830/tid=26837] ppid=26828 vsize=2848260 CPUtime=0.9 cores=1,3,5,7
/proc/26830/task/26837/stat : 26837 (java) S 26828 26830 26477 0 -1 4202560 235 0 0 0 83 7 0 0 20 0 21 0 340407603 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384505457448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26838] ppid=26828 vsize=2848260 CPUtime=1.12 cores=1,3,5,7
/proc/26830/task/26838/stat : 26838 (java) S 26828 26830 26477 0 -1 4202560 262 0 0 0 102 10 0 0 20 0 21 0 340407603 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384504404648 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26830/tid=26839] ppid=26828 vsize=2848260 CPUtime=1 cores=1,3,5,7
/proc/26830/task/26839/stat : 26839 (java) S 26828 26830 26477 0 -1 4202560 255 0 0 0 91 9 0 0 20 0 21 0 340407603 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384503352360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26830/tid=26840] ppid=26828 vsize=2848260 CPUtime=0.81 cores=1,3,5,7
/proc/26830/task/26840/stat : 26840 (java) S 26828 26830 26477 0 -1 4202560 299 0 0 0 75 6 0 0 20 0 21 0 340407603 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384502299560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26841] ppid=26828 vsize=2848260 CPUtime=0.03 cores=1,3,5,7
/proc/26830/task/26841/stat : 26841 (java) S 26828 26830 26477 0 -1 4202560 23 0 0 0 0 3 0 0 20 0 21 0 340407604 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384019646696 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26842] ppid=26828 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26842/stat : 26842 (java) S 26828 26830 26477 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 340407605 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384018592760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26843] ppid=26828 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26843/stat : 26843 (java) S 26828 26830 26477 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 340407605 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384017540360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26844] ppid=26828 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26844/stat : 26844 (java) S 26828 26830 26477 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 340407607 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384016488848 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26845] ppid=26828 vsize=2848260 CPUtime=0.23 cores=1,3,5,7
/proc/26830/task/26845/stat : 26845 (java) S 26828 26830 26477 0 -1 4202560 1623 0 0 0 23 0 0 0 20 0 21 0 340407607 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384015436472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26846] ppid=26828 vsize=2848260 CPUtime=0.3 cores=1,3,5,7
/proc/26830/task/26846/stat : 26846 (java) S 26828 26830 26477 0 -1 4202560 2941 0 0 0 30 0 0 0 20 0 21 0 340407607 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384014383672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26847] ppid=26828 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26847/stat : 26847 (java) S 26828 26830 26477 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 340407607 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384013331576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26830/tid=26848] ppid=26828 vsize=2848260 CPUtime=0.71 cores=1,3,5,7
/proc/26830/task/26848/stat : 26848 (java) S 26828 26830 26477 0 -1 4202560 104 0 0 0 31 40 0 0 20 0 21 0 340407607 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384012278984 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26830/tid=26849] ppid=26828 vsize=2848260 CPUtime=0 cores=1,3,5,7
/proc/26830/task/26849/stat : 26849 (java) S 26828 26830 26477 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 340407615 2916618240 293726 33554432000 1073741824 1073778376 140736764179136 140384011223976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 2848260
Child status: 143
Real time (s): 1793.97
CPU time (s): 1800.78
CPU user time (s): 1799.21
CPU system time (s): 1.57076
CPU usage (%): 100.38
Max. virtual memory (cumulated for all children) (KiB): 2848260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 1.57076
maximum resident set size= 1174908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11282
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38228
involuntary context switches= 35308
runsolver used 6.19006 second user time and 15.5356 second system time
The end