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-3736950-1338761685/watcher-3736950-1338761685 -o /tmp/evaluation-result-3736950-1338761685/solver-3736950-1338761685 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3736950-1338761685.opb
running on 4 cores: 0,2,4,6
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: 2.00 2.00 2.00 4/191 15893
/proc/meminfo: memFree=28521616/32873844 swapFree=6088/6088
[pid=15893] ppid=15891 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/15893/stat : 15893 (java) R 15891 15893 14627 0 -1 4202496 983 0 0 0 0 0 0 0 20 0 1 0 342296958 23793664 709 33554432000 1073741824 1073778376 140734586627552 140734586616616 226320495976 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15893/statm: 5809 710 524 9 0 128 0
[startup+0.101841 s]
/proc/loadavg: 2.00 2.00 2.00 4/191 15893
/proc/meminfo: memFree=28521616/32873844 swapFree=6088/6088
[pid=15893] ppid=15891 vsize=2648568 CPUtime=0.1 cores=0,2,4,6
/proc/15893/stat : 15893 (java) S 15891 15893 14627 0 -1 4202496 4672 0 1 0 9 1 0 0 20 0 18 0 342296958 2712133632 6389 33554432000 1073741824 1073778376 140734586627552 140734586618688 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15893/statm: 662142 6389 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.200244 s]
/proc/loadavg: 2.00 2.00 2.00 4/191 15893
/proc/meminfo: memFree=28521616/32873844 swapFree=6088/6088
[pid=15893] ppid=15891 vsize=2648568 CPUtime=0.24 cores=0,2,4,6
/proc/15893/stat : 15893 (java) S 15891 15893 14627 0 -1 4202496 4891 0 1 0 23 1 0 0 20 0 18 0 342296958 2712133632 7076 33554432000 1073741824 1073778376 140734586627552 140734586618688 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15893/statm: 662142 7076 2200 9 0 652835 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 2648568
[startup+0.300246 s]
/proc/loadavg: 2.00 2.00 2.00 4/191 15893
/proc/meminfo: memFree=28521616/32873844 swapFree=6088/6088
[pid=15893] ppid=15891 vsize=2648568 CPUtime=0.42 cores=0,2,4,6
/proc/15893/stat : 15893 (java) S 15891 15893 14627 0 -1 4202496 5491 0 1 0 41 1 0 0 20 0 18 0 342296958 2712133632 8091 33554432000 1073741824 1073778376 140734586627552 140734586618688 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15893/statm: 662142 8091 2217 9 0 652835 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2648568
[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 2.00 4/191 15893
/proc/meminfo: memFree=28521616/32873844 swapFree=6088/6088
[pid=15893] ppid=15891 vsize=2715132 CPUtime=1.31 cores=0,2,4,6
/proc/15893/stat : 15893 (java) S 15891 15893 14627 0 -1 4202496 10365 0 1 0 128 3 0 0 20 0 19 0 342296958 2780295168 15070 33554432000 1073741824 1073778376 140734586627552 140734586618688 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15893/statm: 678783 15070 2245 9 0 669476 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 2715132
[startup+1.50067 s]
/proc/loadavg: 2.00 2.00 2.00 4/210 15912
/proc/meminfo: memFree=28322456/32873844 swapFree=6088/6088
[pid=15893] ppid=15891 vsize=2715132 CPUtime=2.11 cores=0,2,4,6
/proc/15893/stat : 15893 (java) S 15891 15893 14627 0 -1 4202496 10514 0 1 0 203 8 0 0 20 0 19 0 342296958 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140734586618688 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15893/statm: 678783 89313 2247 9 0 669476 0
[pid=15893/tid=15895] ppid=15891 vsize=2715132 CPUtime=1.47 cores=0,2,4,6
/proc/15893/task/15895/stat : 15895 (java) R 15891 15893 14627 0 -1 4202560 2912 0 1 0 140 7 0 0 20 0 19 0 342296959 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351759729184 140351629741733 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15896] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15896/stat : 15896 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351626324392 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15897] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15897/stat : 15897 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351625271848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15898] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15898/stat : 15898 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351624218792 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15893/tid=15899] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15899/stat : 15899 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351623166248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15900] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15900/stat : 15900 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351622114216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15901] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15901/stat : 15901 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351621061672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15902] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15902/stat : 15902 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351620008616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15903] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15903/stat : 15903 (java) S 15891 15893 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351618956072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15904] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15904/stat : 15904 (java) S 15891 15893 14627 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342296961 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351136303464 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15905] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15905/stat : 15905 (java) S 15891 15893 14627 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342296962 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351135249784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15906] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15906/stat : 15906 (java) S 15891 15893 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342296962 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351134196616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15907] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15907/stat : 15907 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351133145360 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15908] ppid=15891 vsize=2715132 CPUtime=0.27 cores=0,2,4,6
/proc/15893/task/15908/stat : 15908 (java) S 15891 15893 14627 0 -1 4202560 1782 0 0 0 27 0 0 0 20 0 19 0 342296964 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351132093240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15909] ppid=15891 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/15893/task/15909/stat : 15909 (java) S 15891 15893 14627 0 -1 4202560 4624 0 0 0 33 0 0 0 20 0 19 0 342296964 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351131040696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15910] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15910/stat : 15910 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351129987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15911] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15911/stat : 15911 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351128935496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15912] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15912/stat : 15912 (java) S 15891 15893 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342297007 2780295168 89313 33554432000 1073741824 1073778376 140734586627552 140351127880744 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 2715132
[startup+3.10069 s]
/proc/loadavg: 2.00 2.00 2.00 3/210 15912
/proc/meminfo: memFree=28153148/32873844 swapFree=6088/6088
[pid=15893] ppid=15891 vsize=2715132 CPUtime=3.8 cores=0,2,4,6
/proc/15893/stat : 15893 (java) S 15891 15893 14627 0 -1 4202496 10565 0 1 0 371 9 0 0 20 0 19 0 342296958 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140734586618688 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15893/statm: 678783 94972 2266 9 0 669476 0
[pid=15893/tid=15895] ppid=15891 vsize=2715132 CPUtime=3.06 cores=0,2,4,6
/proc/15893/task/15895/stat : 15895 (java) R 15891 15893 14627 0 -1 4202560 2923 0 1 0 299 7 0 0 20 0 19 0 342296959 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351759729024 140351629746283 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15896] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15896/stat : 15896 (java) S 15891 15893 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351626324392 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15897] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15897/stat : 15897 (java) S 15891 15893 14627 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351625271848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15898] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15898/stat : 15898 (java) S 15891 15893 14627 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351624218792 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15893/tid=15899] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15899/stat : 15899 (java) S 15891 15893 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351623166248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15900] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15900/stat : 15900 (java) S 15891 15893 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351622114216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15901] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15901/stat : 15901 (java) S 15891 15893 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351621061672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15902] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15902/stat : 15902 (java) S 15891 15893 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351620008616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15903] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15903/stat : 15903 (java) S 15891 15893 14627 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351618956072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15893/tid=15904] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15904/stat : 15904 (java) S 15891 15893 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342296961 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351136303464 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15905] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15905/stat : 15905 (java) S 15891 15893 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342296962 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351135249784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15906] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15906/stat : 15906 (java) S 15891 15893 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342296962 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351134196616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15907] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15907/stat : 15907 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351133145360 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15908] ppid=15891 vsize=2715132 CPUtime=0.29 cores=0,2,4,6
/proc/15893/task/15908/stat : 15908 (java) S 15891 15893 14627 0 -1 4202560 1782 0 0 0 29 0 0 0 20 0 19 0 342296964 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351132093240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15909] ppid=15891 vsize=2715132 CPUtime=0.38 cores=0,2,4,6
/proc/15893/task/15909/stat : 15909 (java) S 15891 15893 14627 0 -1 4202560 4629 0 0 0 38 0 0 0 20 0 19 0 342296964 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351131040696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15910] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15910/stat : 15910 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351129987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15911] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15911/stat : 15911 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351128935496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15912] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15912/stat : 15912 (java) S 15891 15893 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342297007 2780295168 94972 33554432000 1073741824 1073778376 140734586627552 140351127880744 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 2715132
[startup+6.30071 s]
/proc/loadavg: 2.00 2.00 2.00 3/210 15912
/proc/meminfo: memFree=28142348/32873844 swapFree=6088/6088
[pid=15893] ppid=15891 vsize=2715132 CPUtime=7.09 cores=0,2,4,6
/proc/15893/stat : 15893 (java) S 15891 15893 14627 0 -1 4202496 10593 0 1 0 698 11 0 0 20 0 19 0 342296958 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140734586618688 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15893/statm: 678783 97453 2266 9 0 669476 0
[pid=15893/tid=15895] ppid=15891 vsize=2715132 CPUtime=6.23 cores=0,2,4,6
/proc/15893/task/15895/stat : 15895 (java) R 15891 15893 14627 0 -1 4202560 2928 0 1 0 616 7 0 0 20 0 19 0 342296959 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351759727968 140351629668054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15896] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15896/stat : 15896 (java) S 15891 15893 14627 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351626324392 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15897] ppid=15891 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/15893/task/15897/stat : 15897 (java) S 15891 15893 14627 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 342296960 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351625271848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15898] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15898/stat : 15898 (java) S 15891 15893 14627 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351624218792 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15899] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15899/stat : 15899 (java) S 15891 15893 14627 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351623166248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15900] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15900/stat : 15900 (java) S 15891 15893 14627 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351622114216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15901] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15901/stat : 15901 (java) S 15891 15893 14627 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351621061672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15902] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15902/stat : 15902 (java) S 15891 15893 14627 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351620008616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15893/tid=15903] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15903/stat : 15903 (java) S 15891 15893 14627 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342296960 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351618956072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15893/tid=15904] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15904/stat : 15904 (java) S 15891 15893 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342296961 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351136303464 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15905] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15905/stat : 15905 (java) S 15891 15893 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342296962 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351135249784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15906] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15906/stat : 15906 (java) S 15891 15893 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342296962 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351134196616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15907] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15907/stat : 15907 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351133145360 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15908] ppid=15891 vsize=2715132 CPUtime=0.31 cores=0,2,4,6
/proc/15893/task/15908/stat : 15908 (java) S 15891 15893 14627 0 -1 4202560 1782 0 0 0 31 0 0 0 20 0 19 0 342296964 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351132093240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15909] ppid=15891 vsize=2715132 CPUtime=0.4 cores=0,2,4,6
/proc/15893/task/15909/stat : 15909 (java) S 15891 15893 14627 0 -1 4202560 4629 0 0 0 40 0 0 0 20 0 19 0 342296964 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351131040696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15910] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15910/stat : 15910 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351129987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15911] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15911/stat : 15911 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351128935496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15912] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15912/stat : 15912 (java) S 15891 15893 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342297007 2780295168 97453 33554432000 1073741824 1073778376 140734586627552 140351127880744 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=15893/tid=15908] ppid=15891 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/15893/task/15908/stat : 15908 (java) S 15891 15893 14627 0 -1 4202560 1786 0 0 0 33 0 0 0 20 0 19 0 342296964 2780295168 312366 33554432000 1073741824 1073778376 140734586627552 140351132093240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15909] ppid=15891 vsize=2715132 CPUtime=0.48 cores=0,2,4,6
/proc/15893/task/15909/stat : 15909 (java) S 15891 15893 14627 0 -1 4202560 4636 0 0 0 48 0 0 0 20 0 19 0 342296964 2780295168 312366 33554432000 1073741824 1073778376 140734586627552 140351131040696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15910] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15910/stat : 15910 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 312366 33554432000 1073741824 1073778376 140734586627552 140351129987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15911] ppid=15891 vsize=2715132 CPUtime=0.61 cores=0,2,4,6
/proc/15893/task/15911/stat : 15911 (java) S 15891 15893 14627 0 -1 4202560 96 0 0 0 35 26 0 0 20 0 19 0 342296964 2780295168 312366 33554432000 1073741824 1073778376 140734586627552 140351128935496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15912] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15912/stat : 15912 (java) S 15891 15893 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342297007 2780295168 312366 33554432000 1073741824 1073778376 140734586627552 140351127880744 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.16
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/211 15927
/proc/meminfo: memFree=26690452/32873844 swapFree=6088/6088
[pid=15893] ppid=15891 vsize=2715132 CPUtime=1784.15 cores=0,2,4,6
/proc/15893/stat : 15893 (java) S 15891 15893 14627 0 -1 4202496 14215 0 1 0 178305 110 0 0 20 0 19 0 342296958 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140734586618688 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15893/statm: 678783 313361 2271 9 0 669476 0
[pid=15893/tid=15895] ppid=15891 vsize=2715132 CPUtime=1693.51 cores=0,2,4,6
/proc/15893/task/15895/stat : 15895 (java) R 15891 15893 14627 0 -1 4202560 4064 0 1 0 169314 37 0 0 20 0 19 0 342296959 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351759729160 140351629979732 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15896] ppid=15891 vsize=2715132 CPUtime=10.56 cores=0,2,4,6
/proc/15893/task/15896/stat : 15896 (java) S 15891 15893 14627 0 -1 4202560 289 0 0 0 1047 9 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351626324392 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15897] ppid=15891 vsize=2715132 CPUtime=10.62 cores=0,2,4,6
/proc/15893/task/15897/stat : 15897 (java) S 15891 15893 14627 0 -1 4202560 294 0 0 0 1053 9 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351625271848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15898] ppid=15891 vsize=2715132 CPUtime=10.62 cores=0,2,4,6
/proc/15893/task/15898/stat : 15898 (java) S 15891 15893 14627 0 -1 4202560 301 0 0 0 1054 8 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351624218792 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15893/tid=15899] ppid=15891 vsize=2715132 CPUtime=10.86 cores=0,2,4,6
/proc/15893/task/15899/stat : 15899 (java) S 15891 15893 14627 0 -1 4202560 304 0 0 0 1076 10 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351623166248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15900] ppid=15891 vsize=2715132 CPUtime=10.3 cores=0,2,4,6
/proc/15893/task/15900/stat : 15900 (java) S 15891 15893 14627 0 -1 4202560 293 0 0 0 1021 9 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351622114216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15901] ppid=15891 vsize=2715132 CPUtime=10.4 cores=0,2,4,6
/proc/15893/task/15901/stat : 15901 (java) S 15891 15893 14627 0 -1 4202560 283 0 0 0 1032 8 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351621061672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15902] ppid=15891 vsize=2715132 CPUtime=10.9 cores=0,2,4,6
/proc/15893/task/15902/stat : 15902 (java) S 15891 15893 14627 0 -1 4202560 279 0 0 0 1082 8 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351620008616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15903] ppid=15891 vsize=2715132 CPUtime=10.64 cores=0,2,4,6
/proc/15893/task/15903/stat : 15903 (java) S 15891 15893 14627 0 -1 4202560 301 0 0 0 1054 10 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351618956072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15893/tid=15904] ppid=15891 vsize=2715132 CPUtime=0.18 cores=0,2,4,6
/proc/15893/task/15904/stat : 15904 (java) S 15891 15893 14627 0 -1 4202560 104 0 0 0 14 4 0 0 20 0 19 0 342296961 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351136303464 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15905] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15905/stat : 15905 (java) S 15891 15893 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342296962 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351135249784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15906] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15906/stat : 15906 (java) S 15891 15893 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342296962 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351134196616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15907] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15907/stat : 15907 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351133145360 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15908] ppid=15891 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/15893/task/15908/stat : 15908 (java) S 15891 15893 14627 0 -1 4202560 1786 0 0 0 33 0 0 0 20 0 19 0 342296964 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351132093240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15909] ppid=15891 vsize=2715132 CPUtime=0.48 cores=0,2,4,6
/proc/15893/task/15909/stat : 15909 (java) S 15891 15893 14627 0 -1 4202560 4636 0 0 0 48 0 0 0 20 0 19 0 342296964 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351131040696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15910] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15910/stat : 15910 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351129987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15911] ppid=15891 vsize=2715132 CPUtime=0.63 cores=0,2,4,6
/proc/15893/task/15911/stat : 15911 (java) S 15891 15893 14627 0 -1 4202560 98 0 0 0 36 27 0 0 20 0 19 0 342296964 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351128935496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15912] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15912/stat : 15912 (java) S 15891 15893 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342297007 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351127880744 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.15
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1738.2 s]
/proc/loadavg: 2.03 2.05 2.00 3/211 15987
/proc/meminfo: memFree=26978400/32873844 swapFree=6088/6088
[pid=15893] ppid=15891 vsize=2715132 CPUtime=1800.05 cores=0,2,4,6
/proc/15893/stat : 15893 (java) S 15891 15893 14627 0 -1 4202496 14217 0 1 0 179895 110 0 0 20 0 19 0 342296958 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140734586618688 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15893/statm: 678783 313361 2271 9 0 669476 0
[pid=15893/tid=15895] ppid=15891 vsize=2715132 CPUtime=1709.38 cores=0,2,4,6
/proc/15893/task/15895/stat : 15895 (java) R 15891 15893 14627 0 -1 4202560 4064 0 1 0 170901 37 0 0 20 0 19 0 342296959 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351759729160 140351629979726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15896] ppid=15891 vsize=2715132 CPUtime=10.56 cores=0,2,4,6
/proc/15893/task/15896/stat : 15896 (java) S 15891 15893 14627 0 -1 4202560 289 0 0 0 1047 9 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351626324392 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15897] ppid=15891 vsize=2715132 CPUtime=10.62 cores=0,2,4,6
/proc/15893/task/15897/stat : 15897 (java) S 15891 15893 14627 0 -1 4202560 294 0 0 0 1053 9 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351625271848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15898] ppid=15891 vsize=2715132 CPUtime=10.62 cores=0,2,4,6
/proc/15893/task/15898/stat : 15898 (java) S 15891 15893 14627 0 -1 4202560 301 0 0 0 1054 8 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351624218792 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15893/tid=15899] ppid=15891 vsize=2715132 CPUtime=10.86 cores=0,2,4,6
/proc/15893/task/15899/stat : 15899 (java) S 15891 15893 14627 0 -1 4202560 304 0 0 0 1076 10 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351623166248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15900] ppid=15891 vsize=2715132 CPUtime=10.3 cores=0,2,4,6
/proc/15893/task/15900/stat : 15900 (java) S 15891 15893 14627 0 -1 4202560 293 0 0 0 1021 9 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351622114216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15901] ppid=15891 vsize=2715132 CPUtime=10.4 cores=0,2,4,6
/proc/15893/task/15901/stat : 15901 (java) S 15891 15893 14627 0 -1 4202560 283 0 0 0 1032 8 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351621061672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15902] ppid=15891 vsize=2715132 CPUtime=10.9 cores=0,2,4,6
/proc/15893/task/15902/stat : 15902 (java) S 15891 15893 14627 0 -1 4202560 279 0 0 0 1082 8 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351620008616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15903] ppid=15891 vsize=2715132 CPUtime=10.64 cores=0,2,4,6
/proc/15893/task/15903/stat : 15903 (java) S 15891 15893 14627 0 -1 4202560 301 0 0 0 1054 10 0 0 20 0 19 0 342296960 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351618956072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15893/tid=15904] ppid=15891 vsize=2715132 CPUtime=0.18 cores=0,2,4,6
/proc/15893/task/15904/stat : 15904 (java) S 15891 15893 14627 0 -1 4202560 104 0 0 0 14 4 0 0 20 0 19 0 342296961 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351136303464 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15905] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15905/stat : 15905 (java) S 15891 15893 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342296962 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351135249784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15906] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15906/stat : 15906 (java) S 15891 15893 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342296962 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351134196616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15907] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15907/stat : 15907 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351133145360 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15908] ppid=15891 vsize=2715132 CPUtime=0.33 cores=0,2,4,6
/proc/15893/task/15908/stat : 15908 (java) S 15891 15893 14627 0 -1 4202560 1786 0 0 0 33 0 0 0 20 0 19 0 342296964 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351132093240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15909] ppid=15891 vsize=2715132 CPUtime=0.48 cores=0,2,4,6
/proc/15893/task/15909/stat : 15909 (java) S 15891 15893 14627 0 -1 4202560 4636 0 0 0 48 0 0 0 20 0 19 0 342296964 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351131040696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15910] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15910/stat : 15910 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342296964 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351129987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15911] ppid=15891 vsize=2715132 CPUtime=0.64 cores=0,2,4,6
/proc/15893/task/15911/stat : 15911 (java) S 15891 15893 14627 0 -1 4202560 100 0 0 0 37 27 0 0 20 0 19 0 342296964 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351128935496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15912] ppid=15891 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15912/stat : 15912 (java) S 15891 15893 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342297007 2780295168 313361 33554432000 1073741824 1073778376 140734586627552 140351127880744 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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+1738.31 s]
/proc/loadavg: 2.03 2.05 2.00 3/211 15987
/proc/meminfo: memFree=26978400/32873844 swapFree=6088/6088
[pid=15893] ppid=15891 vsize=2848260 CPUtime=1800.34 cores=0,2,4,6
/proc/15893/stat : 15893 (java) S 15891 15893 14627 0 -1 4202496 14259 0 1 0 179924 110 0 0 20 0 21 0 342296958 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140734586618688 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15893/statm: 712065 313399 2274 9 0 702758 0
[pid=15893/tid=15895] ppid=15891 vsize=2848260 CPUtime=1709.45 cores=0,2,4,6
/proc/15893/task/15895/stat : 15895 (java) R 15891 15893 14627 0 -1 4202560 4064 0 1 0 170908 37 0 0 20 0 21 0 342296959 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351759727056 140351629979437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15896] ppid=15891 vsize=2848260 CPUtime=10.57 cores=0,2,4,6
/proc/15893/task/15896/stat : 15896 (java) S 15891 15893 14627 0 -1 4202560 292 0 0 0 1048 9 0 0 20 0 21 0 342296960 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351626324392 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15897] ppid=15891 vsize=2848260 CPUtime=10.64 cores=0,2,4,6
/proc/15893/task/15897/stat : 15897 (java) S 15891 15893 14627 0 -1 4202560 294 0 0 0 1055 9 0 0 20 0 21 0 342296960 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351625271848 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15898] ppid=15891 vsize=2848260 CPUtime=10.63 cores=0,2,4,6
/proc/15893/task/15898/stat : 15898 (java) S 15891 15893 14627 0 -1 4202560 304 0 0 0 1055 8 0 0 20 0 21 0 342296960 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351624218792 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15899] ppid=15891 vsize=2848260 CPUtime=10.88 cores=0,2,4,6
/proc/15893/task/15899/stat : 15899 (java) S 15891 15893 14627 0 -1 4202560 304 0 0 0 1078 10 0 0 20 0 21 0 342296960 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351623166248 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15900] ppid=15891 vsize=2848260 CPUtime=10.31 cores=0,2,4,6
/proc/15893/task/15900/stat : 15900 (java) S 15891 15893 14627 0 -1 4202560 293 0 0 0 1022 9 0 0 20 0 21 0 342296960 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351622114216 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15901] ppid=15891 vsize=2848260 CPUtime=10.42 cores=0,2,4,6
/proc/15893/task/15901/stat : 15901 (java) S 15891 15893 14627 0 -1 4202560 283 0 0 0 1034 8 0 0 20 0 21 0 342296960 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351621061672 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15902] ppid=15891 vsize=2848260 CPUtime=10.92 cores=0,2,4,6
/proc/15893/task/15902/stat : 15902 (java) S 15891 15893 14627 0 -1 4202560 279 0 0 0 1084 8 0 0 20 0 21 0 342296960 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351620008616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15903] ppid=15891 vsize=2848260 CPUtime=10.66 cores=0,2,4,6
/proc/15893/task/15903/stat : 15903 (java) S 15891 15893 14627 0 -1 4202560 301 0 0 0 1056 10 0 0 20 0 21 0 342296960 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351618956072 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15904] ppid=15891 vsize=2848260 CPUtime=0.18 cores=0,2,4,6
/proc/15893/task/15904/stat : 15904 (java) S 15891 15893 14627 0 -1 4202560 105 0 0 0 14 4 0 0 20 0 21 0 342296961 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351136303464 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15905] ppid=15891 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15905/stat : 15905 (java) S 15891 15893 14627 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 342296962 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351135249784 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15906] ppid=15891 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15906/stat : 15906 (java) S 15891 15893 14627 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 21 0 342296962 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351134196616 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15907] ppid=15891 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15907/stat : 15907 (java) S 15891 15893 14627 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 342296964 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351133145360 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15908] ppid=15891 vsize=2848260 CPUtime=0.33 cores=0,2,4,6
/proc/15893/task/15908/stat : 15908 (java) S 15891 15893 14627 0 -1 4202560 1790 0 0 0 33 0 0 0 20 0 21 0 342296964 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351132093240 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15893/tid=15909] ppid=15891 vsize=2848260 CPUtime=0.5 cores=0,2,4,6
/proc/15893/task/15909/stat : 15909 (java) S 15891 15893 14627 0 -1 4202560 4636 0 0 0 50 0 0 0 20 0 21 0 342296964 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351131040696 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15910] ppid=15891 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15910/stat : 15910 (java) S 15891 15893 14627 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 342296964 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351129987832 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15893/tid=15911] ppid=15891 vsize=2848260 CPUtime=0.64 cores=0,2,4,6
/proc/15893/task/15911/stat : 15911 (java) S 15891 15893 14627 0 -1 4202560 100 0 0 0 37 27 0 0 20 0 21 0 342296964 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351128935496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15893/tid=15912] ppid=15891 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/15893/task/15912/stat : 15912 (java) S 15891 15893 14627 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 342297007 2916618240 313399 33554432000 1073741824 1073778376 140734586627552 140351127880744 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 2848260
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15893 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=68108
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=533766
# CPU time returned by wait4() is 1796.6
# while last known CPU time is 1800.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1738.4
CPU time (s): 1800.34
CPU user time (s): 1799.24
CPU system time (s): 1.1
CPU usage (%): 103.563
Max. virtual memory (cumulated for all children) (KiB): 2848260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.07
system time used= 1.53377
maximum resident set size= 1253608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14263
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72615
involuntary context switches= 198530
runsolver used 5.80112 second user time and 13.403 second system time
The end