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-3688199-1337880874/watcher-3688199-1337880874 -o /tmp/evaluation-result-3688199-1337880874/solver-3688199-1337880874 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688199-1337880874.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: 2.00 2.00 2.00 3/194 13060
/proc/meminfo: memFree=27028868/32873844 swapFree=7364/7364
[pid=13060] ppid=13058 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13060/stat : 13060 (java) R 13058 13060 12001 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 254213480 9515008 175 33554432000 1073741824 1073778376 140735668636800 140735668619528 251032060816 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13060/statm: 2323 175 133 9 0 71 0
[startup+0.086821 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 13060
/proc/meminfo: memFree=27028868/32873844 swapFree=7364/7364
[pid=13060] ppid=13058 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/13060/stat : 13060 (java) S 13058 13060 12001 0 -1 4202496 3640 0 1 0 6 1 0 0 20 0 18 0 254213480 9787813888 4849 33554432000 1073741824 1073778376 140733355367888 140733355359024 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13060/statm: 2389603 4849 1932 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.100333 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 13060
/proc/meminfo: memFree=27028868/32873844 swapFree=7364/7364
[pid=13060] ppid=13058 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/13060/stat : 13060 (java) S 13058 13060 12001 0 -1 4202496 4281 0 1 0 8 1 0 0 20 0 18 0 254213480 9787813888 5478 33554432000 1073741824 1073778376 140733355367888 140733355359024 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13060/statm: 2389603 5478 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300291 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 13060
/proc/meminfo: memFree=27028868/32873844 swapFree=7364/7364
[pid=13060] ppid=13058 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/13060/stat : 13060 (java) S 13058 13060 12001 0 -1 4202496 6783 0 1 0 48 2 0 0 20 0 19 0 254213480 9855975424 7654 33554432000 1073741824 1073778376 140733355367888 140733355359024 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13060/statm: 2406244 7654 2229 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624976
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 13060
/proc/meminfo: memFree=27028868/32873844 swapFree=7364/7364
[pid=13060] ppid=13058 vsize=9624976 CPUtime=1.01 cores=1,3,5,7
/proc/13060/stat : 13060 (java) S 13058 13060 12001 0 -1 4202496 7330 0 1 0 98 3 0 0 20 0 19 0 254213480 9855975424 10291 33554432000 1073741824 1073778376 140733355367888 140733355359024 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13060/statm: 2406244 10291 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9624976
[startup+1.50065 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13079
/proc/meminfo: memFree=26993580/32873844 swapFree=7364/7364
[pid=13060] ppid=13058 vsize=9624976 CPUtime=1.86 cores=1,3,5,7
/proc/13060/stat : 13060 (java) S 13058 13060 12001 0 -1 4202496 7348 0 1 0 183 3 0 0 20 0 19 0 254213480 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 140733355359024 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13060/statm: 2406244 10818 2266 9 0 2396937 0
[pid=13060/tid=13062] ppid=13058 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/13060/task/13062/stat : 13062 (java) R 13058 13060 12001 0 -1 4202560 2460 0 1 0 141 1 0 0 20 0 19 0 254213481 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712894108040 139712753199896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13063] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13063/stat : 13063 (java) S 13058 13060 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712872208936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13064] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13064/stat : 13064 (java) S 13058 13060 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712668887464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13065] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13065/stat : 13065 (java) S 13058 13060 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712667834664 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13060/tid=13066] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13066/stat : 13066 (java) S 13058 13060 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712666781864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13067] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13067/stat : 13067 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712665730088 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13068] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13068/stat : 13068 (java) S 13058 13060 12001 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712664677288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13069] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13069/stat : 13069 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712663624488 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13070] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13070/stat : 13070 (java) S 13058 13060 12001 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712662571688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13071] ppid=13058 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/13060/task/13071/stat : 13071 (java) S 13058 13060 12001 0 -1 4202560 30 0 0 0 2 0 0 0 20 0 19 0 254213484 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712650373608 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13072] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13072/stat : 13072 (java) S 13058 13060 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213484 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712649319672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13073] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13073/stat : 13073 (java) S 13058 13060 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213484 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712648266760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13074] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13074/stat : 13074 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712647215248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13075] ppid=13058 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/13060/task/13075/stat : 13075 (java) S 13058 13060 12001 0 -1 4202560 1825 0 0 0 18 0 0 0 20 0 19 0 254213486 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712646163384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13060/tid=13076] ppid=13058 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/13060/task/13076/stat : 13076 (java) S 13058 13060 12001 0 -1 4202560 1794 0 0 0 16 0 0 0 20 0 19 0 254213486 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712645110584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13077] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13077/stat : 13077 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712644057976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13078] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13078/stat : 13078 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712643005384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13079] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13079/stat : 13079 (java) S 13058 13060 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254213496 9855975424 10818 33554432000 1073741824 1073778376 140733355367888 139712641918120 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9624976
[startup+3.10077 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13079
/proc/meminfo: memFree=26993208/32873844 swapFree=7364/7364
[pid=13060] ppid=13058 vsize=9624976 CPUtime=3.48 cores=1,3,5,7
/proc/13060/stat : 13060 (java) S 13058 13060 12001 0 -1 4202496 7371 0 1 0 344 4 0 0 20 0 19 0 254213480 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 140733355359024 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13060/statm: 2406244 11856 2266 9 0 2396937 0
[pid=13060/tid=13062] ppid=13058 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/13060/task/13062/stat : 13062 (java) R 13058 13060 12001 0 -1 4202560 2464 0 1 0 295 1 0 0 20 0 19 0 254213481 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712894108040 139712753276708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13063] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13063/stat : 13063 (java) S 13058 13060 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712872208936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13064] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13064/stat : 13064 (java) S 13058 13060 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712668887464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13060/tid=13065] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13065/stat : 13065 (java) S 13058 13060 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712667834664 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13060/tid=13066] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13066/stat : 13066 (java) S 13058 13060 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712666781864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13067] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13067/stat : 13067 (java) S 13058 13060 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712665730088 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13068] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13068/stat : 13068 (java) S 13058 13060 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712664677288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13069] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13069/stat : 13069 (java) S 13058 13060 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712663624488 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13070] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13070/stat : 13070 (java) S 13058 13060 12001 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712662571688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13071] ppid=13058 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/13060/task/13071/stat : 13071 (java) S 13058 13060 12001 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 19 0 254213484 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712650373608 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13072] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13072/stat : 13072 (java) S 13058 13060 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213484 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712649319672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13073] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13073/stat : 13073 (java) S 13058 13060 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213484 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712648266760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13074] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13074/stat : 13074 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712647215248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13075] ppid=13058 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/13060/task/13075/stat : 13075 (java) S 13058 13060 12001 0 -1 4202560 1825 0 0 0 19 0 0 0 20 0 19 0 254213486 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712646163384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13060/tid=13076] ppid=13058 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/13060/task/13076/stat : 13076 (java) S 13058 13060 12001 0 -1 4202560 1794 0 0 0 16 0 0 0 20 0 19 0 254213486 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712645110584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13077] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13077/stat : 13077 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712644057976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13078] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13078/stat : 13078 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712643005384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13079] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13079/stat : 13079 (java) S 13058 13060 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254213496 9855975424 11856 33554432000 1073741824 1073778376 140733355367888 139712641918120 251035432873 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) 9624976
[startup+6.30065 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13079
/proc/meminfo: memFree=26986692/32873844 swapFree=7364/7364
[pid=13060] ppid=13058 vsize=9624976 CPUtime=6.72 cores=1,3,5,7
/proc/13060/stat : 13060 (java) S 13058 13060 12001 0 -1 4202496 7392 0 1 0 668 4 0 0 20 0 19 0 254213480 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 140733355359024 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13060/statm: 2406244 12363 2266 9 0 2396937 0
[pid=13060/tid=13062] ppid=13058 vsize=9624976 CPUtime=6.07 cores=1,3,5,7
/proc/13060/task/13062/stat : 13062 (java) R 13058 13060 12001 0 -1 4202560 2470 0 1 0 606 1 0 0 20 0 19 0 254213481 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712894108040 139712753259024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13063] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13063/stat : 13063 (java) S 13058 13060 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712872208936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13064] ppid=13058 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/13060/task/13064/stat : 13064 (java) S 13058 13060 12001 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 254213482 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712668887464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13065] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13065/stat : 13065 (java) S 13058 13060 12001 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712667834664 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13066] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13066/stat : 13066 (java) S 13058 13060 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712666781864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13060/tid=13067] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13067/stat : 13067 (java) S 13058 13060 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712665730088 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13068] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13068/stat : 13068 (java) S 13058 13060 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712664677288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13069] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13069/stat : 13069 (java) S 13058 13060 12001 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712663624488 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13060/tid=13070] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13070/stat : 13070 (java) S 13058 13060 12001 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 254213482 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712662571688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13071] ppid=13058 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/13060/task/13071/stat : 13071 (java) S 13058 13060 12001 0 -1 4202560 31 0 0 0 14 0 0 0 20 0 19 0 254213484 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712650373608 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13072] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13072/stat : 13072 (java) S 13058 13060 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213484 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712649319672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13073] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13073/stat : 13073 (java) S 13058 13060 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213484 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712648266760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13074] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13074/stat : 13074 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712647215248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13075] ppid=13058 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/13060/task/13075/stat : 13075 (java) S 13058 13060 12001 0 -1 4202560 1825 0 0 0 19 0 0 0 20 0 19 0 254213486 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712646163384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13060/tid=13076] ppid=13058 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/13060/task/13076/stat : 13076 (java) S 13058 13060 12001 0 -1 4202560 1794 0 0 0 16 0 0 0 20 0 19 0 254213486 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712645110584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13077] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13077/stat : 13077 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712644057976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13078] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13078/stat : 13078 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712643005384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13079] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13079/stat : 13079 (java) S 13058 13060 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254213496 9855975424 12363 33554432000 1073741824 1073778376 140733355367888 139712641918120 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=13060/tid=13075] ppid=13058 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/13060/task/13075/stat : 13075 (java) S 13058 13060 12001 0 -1 4202560 1845 0 0 0 21 0 0 0 20 0 19 0 254213486 9855975424 43625 33554432000 1073741824 1073778376 140733355367888 139712646163384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13076] ppid=13058 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/13060/task/13076/stat : 13076 (java) S 13058 13060 12001 0 -1 4202560 1794 0 0 0 16 0 0 0 20 0 19 0 254213486 9855975424 43625 33554432000 1073741824 1073778376 140733355367888 139712645110584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13077] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13077/stat : 13077 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 43625 33554432000 1073741824 1073778376 140733355367888 139712644057976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13078] ppid=13058 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/13060/task/13078/stat : 13078 (java) S 13058 13060 12001 0 -1 4202560 95 0 0 0 30 39 0 0 20 0 19 0 254213486 9855975424 43625 33554432000 1073741824 1073778376 140733355367888 139712643005384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13079] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13079/stat : 13079 (java) S 13058 13060 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254213496 9855975424 43625 33554432000 1073741824 1073778376 140733355367888 139712641918120 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1668.38
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/213 13233
/proc/meminfo: memFree=27651192/32873844 swapFree=7364/7364
[pid=13060] ppid=13058 vsize=9624976 CPUtime=1728.5 cores=1,3,5,7
/proc/13060/stat : 13060 (java) S 13058 13060 12001 0 -1 4202496 10165 0 1 0 172742 108 0 0 20 0 19 0 254213480 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 140733355359024 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13060/statm: 2406244 44137 2267 9 0 2396937 0
[pid=13060/tid=13062] ppid=13058 vsize=9624976 CPUtime=1713.82 cores=1,3,5,7
/proc/13060/task/13062/stat : 13062 (java) R 13058 13060 12001 0 -1 4202560 2619 0 1 0 171353 29 0 0 20 0 19 0 254213481 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712894107920 139712753276803 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13063] ppid=13058 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/13060/task/13063/stat : 13063 (java) S 13058 13060 12001 0 -1 4202560 268 0 0 0 73 0 0 0 20 0 19 0 254213482 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712872208936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13064] ppid=13058 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/13060/task/13064/stat : 13064 (java) S 13058 13060 12001 0 -1 4202560 480 0 0 0 85 1 0 0 20 0 19 0 254213482 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712668887464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13065] ppid=13058 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/13060/task/13065/stat : 13065 (java) S 13058 13060 12001 0 -1 4202560 266 0 0 0 73 3 0 0 20 0 19 0 254213482 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712667834664 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13066] ppid=13058 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/13060/task/13066/stat : 13066 (java) S 13058 13060 12001 0 -1 4202560 273 0 0 0 75 2 0 0 20 0 19 0 254213482 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712666781864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13067] ppid=13058 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/13060/task/13067/stat : 13067 (java) S 13058 13060 12001 0 -1 4202560 229 0 0 0 79 2 0 0 20 0 19 0 254213482 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712665730088 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13068] ppid=13058 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/13060/task/13068/stat : 13068 (java) S 13058 13060 12001 0 -1 4202560 345 0 0 0 78 2 0 0 20 0 19 0 254213482 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712664677288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13069] ppid=13058 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/13060/task/13069/stat : 13069 (java) S 13058 13060 12001 0 -1 4202560 331 0 0 0 75 2 0 0 20 0 19 0 254213482 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712663624488 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13070] ppid=13058 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/13060/task/13070/stat : 13070 (java) S 13058 13060 12001 0 -1 4202560 273 0 0 0 84 2 0 0 20 0 19 0 254213482 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712662571688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13071] ppid=13058 vsize=9624976 CPUtime=6.54 cores=1,3,5,7
/proc/13060/task/13071/stat : 13071 (java) S 13058 13060 12001 0 -1 4202560 158 0 0 0 650 4 0 0 20 0 19 0 254213484 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712650373608 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13072] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13072/stat : 13072 (java) S 13058 13060 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213484 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712649319672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13073] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13073/stat : 13073 (java) S 13058 13060 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213484 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712648266760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13074] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13074/stat : 13074 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712647215248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13075] ppid=13058 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/13060/task/13075/stat : 13075 (java) S 13058 13060 12001 0 -1 4202560 1845 0 0 0 21 0 0 0 20 0 19 0 254213486 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712646163384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13076] ppid=13058 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/13060/task/13076/stat : 13076 (java) S 13058 13060 12001 0 -1 4202560 1794 0 0 0 16 0 0 0 20 0 19 0 254213486 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712645110584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13077] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13077/stat : 13077 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712644057976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13078] ppid=13058 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/13060/task/13078/stat : 13078 (java) S 13058 13060 12001 0 -1 4202560 99 0 0 0 30 41 0 0 20 0 19 0 254213486 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712643005384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13079] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13079/stat : 13079 (java) S 13058 13060 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254213496 9855975424 44137 33554432000 1073741824 1073778376 140733355367888 139712641918120 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.5
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/213 13233
/proc/meminfo: memFree=27645048/32873844 swapFree=7364/7364
[pid=13060] ppid=13058 vsize=9624976 CPUtime=1788.7 cores=1,3,5,7
/proc/13060/stat : 13060 (java) S 13058 13060 12001 0 -1 4202496 10179 0 1 0 178760 110 0 0 20 0 19 0 254213480 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 140733355359024 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13060/statm: 2406244 45673 2267 9 0 2396937 0
[pid=13060/tid=13062] ppid=13058 vsize=9624976 CPUtime=1773.58 cores=1,3,5,7
/proc/13060/task/13062/stat : 13062 (java) R 13058 13060 12001 0 -1 4202560 2621 0 1 0 177329 29 0 0 20 0 19 0 254213481 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712894107920 139712753258444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13063] ppid=13058 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/13060/task/13063/stat : 13063 (java) S 13058 13060 12001 0 -1 4202560 269 0 0 0 75 0 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712872208936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13064] ppid=13058 vsize=9624976 CPUtime=0.9 cores=1,3,5,7
/proc/13060/task/13064/stat : 13064 (java) S 13058 13060 12001 0 -1 4202560 480 0 0 0 89 1 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712668887464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13060/tid=13065] ppid=13058 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/13060/task/13065/stat : 13065 (java) S 13058 13060 12001 0 -1 4202560 267 0 0 0 76 3 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712667834664 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13066] ppid=13058 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/13060/task/13066/stat : 13066 (java) S 13058 13060 12001 0 -1 4202560 273 0 0 0 79 2 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712666781864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13067] ppid=13058 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/13060/task/13067/stat : 13067 (java) S 13058 13060 12001 0 -1 4202560 230 0 0 0 82 2 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712665730088 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13060/tid=13068] ppid=13058 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/13060/task/13068/stat : 13068 (java) S 13058 13060 12001 0 -1 4202560 346 0 0 0 82 2 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712664677288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13069] ppid=13058 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/13060/task/13069/stat : 13069 (java) S 13058 13060 12001 0 -1 4202560 331 0 0 0 78 2 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712663624488 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13070] ppid=13058 vsize=9624976 CPUtime=0.89 cores=1,3,5,7
/proc/13060/task/13070/stat : 13070 (java) S 13058 13060 12001 0 -1 4202560 273 0 0 0 87 2 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712662571688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13071] ppid=13058 vsize=9624976 CPUtime=6.69 cores=1,3,5,7
/proc/13060/task/13071/stat : 13071 (java) S 13058 13060 12001 0 -1 4202560 162 0 0 0 664 5 0 0 20 0 19 0 254213484 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712650373608 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13072] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13072/stat : 13072 (java) S 13058 13060 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213484 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712649319672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13073] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13073/stat : 13073 (java) S 13058 13060 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213484 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712648266760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13074] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13074/stat : 13074 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712647215248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13075] ppid=13058 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/13060/task/13075/stat : 13075 (java) S 13058 13060 12001 0 -1 4202560 1845 0 0 0 21 0 0 0 20 0 19 0 254213486 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712646163384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13076] ppid=13058 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/13060/task/13076/stat : 13076 (java) S 13058 13060 12001 0 -1 4202560 1794 0 0 0 16 0 0 0 20 0 19 0 254213486 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712645110584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13077] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13077/stat : 13077 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712644057976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13078] ppid=13058 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/13060/task/13078/stat : 13078 (java) S 13058 13060 12001 0 -1 4202560 103 0 0 0 31 42 0 0 20 0 19 0 254213486 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712643005384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13079] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13079/stat : 13079 (java) S 13058 13060 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254213496 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712641918120 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1788.7
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.6 s]
/proc/loadavg: 1.99 1.99 1.99 3/213 13233
/proc/meminfo: memFree=27642876/32873844 swapFree=7364/7364
[pid=13060] ppid=13058 vsize=9624976 CPUtime=1800.02 cores=1,3,5,7
/proc/13060/stat : 13060 (java) S 13058 13060 12001 0 -1 4202496 10179 0 1 0 179891 111 0 0 20 0 19 0 254213480 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 140733355359024 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13060/statm: 2406244 45673 2267 9 0 2396937 0
[pid=13060/tid=13062] ppid=13058 vsize=9624976 CPUtime=1784.89 cores=1,3,5,7
/proc/13060/task/13062/stat : 13062 (java) R 13058 13060 12001 0 -1 4202560 2621 0 1 0 178459 30 0 0 20 0 19 0 254213481 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712894107920 139712753276803 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13063] ppid=13058 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/13060/task/13063/stat : 13063 (java) S 13058 13060 12001 0 -1 4202560 269 0 0 0 75 0 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712872208936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13064] ppid=13058 vsize=9624976 CPUtime=0.9 cores=1,3,5,7
/proc/13060/task/13064/stat : 13064 (java) S 13058 13060 12001 0 -1 4202560 480 0 0 0 89 1 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712668887464 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13060/tid=13065] ppid=13058 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/13060/task/13065/stat : 13065 (java) S 13058 13060 12001 0 -1 4202560 267 0 0 0 76 3 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712667834664 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13066] ppid=13058 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/13060/task/13066/stat : 13066 (java) S 13058 13060 12001 0 -1 4202560 273 0 0 0 79 2 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712666781864 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13067] ppid=13058 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/13060/task/13067/stat : 13067 (java) S 13058 13060 12001 0 -1 4202560 230 0 0 0 82 2 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712665730088 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13060/tid=13068] ppid=13058 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/13060/task/13068/stat : 13068 (java) S 13058 13060 12001 0 -1 4202560 346 0 0 0 82 2 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712664677288 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13069] ppid=13058 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/13060/task/13069/stat : 13069 (java) S 13058 13060 12001 0 -1 4202560 331 0 0 0 78 2 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712663624488 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13070] ppid=13058 vsize=9624976 CPUtime=0.89 cores=1,3,5,7
/proc/13060/task/13070/stat : 13070 (java) S 13058 13060 12001 0 -1 4202560 273 0 0 0 87 2 0 0 20 0 19 0 254213482 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712662571688 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13071] ppid=13058 vsize=9624976 CPUtime=6.69 cores=1,3,5,7
/proc/13060/task/13071/stat : 13071 (java) S 13058 13060 12001 0 -1 4202560 162 0 0 0 664 5 0 0 20 0 19 0 254213484 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712650373608 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13072] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13072/stat : 13072 (java) S 13058 13060 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254213484 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712649319672 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13073] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13073/stat : 13073 (java) S 13058 13060 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254213484 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712648266760 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13074] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13074/stat : 13074 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712647215248 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13060/tid=13075] ppid=13058 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/13060/task/13075/stat : 13075 (java) S 13058 13060 12001 0 -1 4202560 1845 0 0 0 21 0 0 0 20 0 19 0 254213486 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712646163384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13076] ppid=13058 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/13060/task/13076/stat : 13076 (java) S 13058 13060 12001 0 -1 4202560 1794 0 0 0 16 0 0 0 20 0 19 0 254213486 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712645110584 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13077] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13077/stat : 13077 (java) S 13058 13060 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254213486 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712644057976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13060/tid=13078] ppid=13058 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/13060/task/13078/stat : 13078 (java) S 13058 13060 12001 0 -1 4202560 103 0 0 0 32 43 0 0 20 0 19 0 254213486 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712643005384 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13060/tid=13079] ppid=13058 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/13060/task/13079/stat : 13079 (java) S 13058 13060 12001 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254213496 9855975424 45673 33554432000 1073741824 1073778376 140733355367888 139712641918120 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13060 and gives
# childrusage.ru_utime.tv_sec=1798
# childrusage.ru_utime.tv_usec=619568
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=63838
# CPU time returned by wait4() is 1799.68
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1793.66
CPU time (s): 1800.02
CPU user time (s): 1798.91
CPU system time (s): 1.11
CPU usage (%): 100.355
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.62
system time used= 1.06384
maximum resident set size= 184900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10224
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42147
involuntary context switches= 22736
runsolver used 6.84096 second user time and 14.8417 second system time
The end