runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14193 MiB free)
memory of node 1: 16384 MiB (15410 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401082-1568673331/watcher-4401082-1568673331 -o /tmp/evaluation-result-4401082-1568673331/solver-4401082-1568673331 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568673289-31265 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401082-1568673331.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31293, runsolver pid=31287
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 0.31 1.32 1.84 1/206 31353
/proc/meminfo: memFree=30314284/32770624 swapFree=66967420/67108860
[pid=31293] ppid=31287 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/31293/stat : 31293 (bash) S 31287 31293 31233 0 -1 4202496 892 5701 0 0 0 0 0 1 20 0 1 0 443600498 115974144 404 33554432000 4194304 5098028 140735516707168 140735516701176 140244504759296 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 0 0 0 7196144 7232144 11747328 140735516709908 140735516710033 140735516710033 140735516712942 0
/proc/31293/statm: 28314 404 320 221 0 119 0
[pid=31347] ppid=31293 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/31347/stat : 31347 (bash) S 31293 31293 31233 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443600500 115974144 178 33554432000 4194304 5098028 140735516707168 140735516699848 140244504584828 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11747328 140735516709908 140735516710033 140735516710033 140735516712942 0
/proc/31347/statm: 28314 178 94 221 0 119 0
[pid=31348] ppid=31347 vsize=10648 memory=688 CPUtime=0 cores=1,3,5,7
/proc/31348/stat : 31348 (java) D 31347 31293 31233 0 -1 1077944320 318 0 0 0 0 0 0 0 20 0 1 0 443600500 10903552 172 33554432000 4194304 4196468 140729547215392 140729547198008 140352087053685 0 0 4096 0 18446744072101731876 0 0 17 1 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
/proc/31348/statm: 2662 172 139 1 0 84 0
[pid=31349] ppid=31347 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/31349/stat : 31349 (awk) S 31347 31293 31233 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443600500 116211712 243 33554432000 4194304 4609284 140733446936912 140733446936088 139678354521088 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 22921216 140733446939836 140733446939866 140733446939866 140733446942703 0
/proc/31349/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 350648 KiB
Current children cumulated memory: 3988 KiB
[startup+0.210235 s]*
/proc/loadavg: 0.31 1.32 1.84 2/212 31359
/proc/meminfo: memFree=30305624/32770624 swapFree=66967420/67108860
[pid=31293] ppid=31287 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/31293/stat : 31293 (bash) S 31287 31293 31233 0 -1 4202496 892 5701 0 0 0 0 0 1 20 0 1 0 443600498 115974144 404 33554432000 4194304 5098028 140735516707168 140735516701176 140244504759296 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 0 0 0 7196144 7232144 11747328 140735516709908 140735516710033 140735516710033 140735516712942 0
/proc/31293/statm: 28314 404 320 221 0 119 0
[pid=31347] ppid=31293 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/31347/stat : 31347 (bash) S 31293 31293 31233 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443600500 115974144 178 33554432000 4194304 5098028 140735516707168 140735516699848 140244504584828 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11747328 140735516709908 140735516710033 140735516710033 140735516712942 0
/proc/31347/statm: 28314 178 94 221 0 119 0
[pid=31348] ppid=31347 vsize=9940964 memory=18368 CPUtime=0.01 cores=1,3,5,7
/proc/31348/stat : 31348 (java) S 31347 31293 31233 0 -1 1077944320 3374 0 0 0 0 1 0 0 20 0 6 0 443600500 10179547136 4592 33554432000 4194304 4196468 140729547215392 140729547197936 140352094375671 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
/proc/31348/statm: 2485241 4592 1941 1 0 2473679 0
[pid=31348/tid=31354] ppid=31347 vsize=9940964 memory=7751702667093440019 CPUtime=0 cores=1,3,5,7
/proc/31348/task/31354/stat : 31354 (java) R 31347 31293 31233 0 -1 4202560 2096 0 0 0 0 0 0 0 20 0 6 0 443600510 10179547136 4592 33554432000 4194304 4196468 140729547215392 140352098611792 140352094397597 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31348/tid=31360] ppid=31347 vsize=9940964 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31348/task/31360/stat : 31360 (java) S 31347 31293 31233 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443600519 10179547136 4592 33554432000 4194304 4196468 140729547215392 140352020449936 140352094385877 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31348/tid=31361] ppid=31347 vsize=9940964 memory=140341307377280 CPUtime=0 cores=1,3,5,7
/proc/31348/task/31361/stat : 31361 (java) S 31347 31293 31233 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443600519 10179547136 4592 33554432000 4194304 4196468 140729547215392 140352019397136 140352094385877 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31348/tid=31362] ppid=31347 vsize=9940964 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31348/task/31362/stat : 31362 (java) S 31347 31293 31233 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 443600519 10179547136 4592 33554432000 4194304 4196468 140729547215392 140352018344336 140352094385877 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31348/tid=31363] ppid=31347 vsize=9940964 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31348/task/31363/stat : 31363 (java) S 31347 31293 31233 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443600519 10179547136 4592 33554432000 4194304 4196468 140729547215392 140352017291536 140352094385877 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31349] ppid=31347 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/31349/stat : 31349 (awk) S 31347 31293 31233 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443600500 116211712 243 33554432000 4194304 4609284 140733446936912 140733446936088 139678354521088 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 22921216 140733446939836 140733446939866 140733446939866 140733446942703 0
/proc/31349/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10280964 KiB
Current children cumulated memory: 21668 KiB
[startup+0.310546 s]*
/proc/loadavg: 0.31 1.32 1.84 1/222 31369
/proc/meminfo: memFree=30293988/32770624 swapFree=66967420/67108860
[pid=31293] ppid=31287 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/31293/stat : 31293 (bash) S 31287 31293 31233 0 -1 4202496 892 5701 0 0 0 0 0 1 20 0 1 0 443600498 115974144 404 33554432000 4194304 5098028 140735516707168 140735516701176 140244504759296 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 0 0 0 7196144 7232144 11747328 140735516709908 140735516710033 140735516710033 140735516712942 0
/proc/31293/statm: 28314 404 320 221 0 119 0
[pid=31347] ppid=31293 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/31347/stat : 31347 (bash) S 31293 31293 31233 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443600500 115974144 178 33554432000 4194304 5098028 140735516707168 140735516699848 140244504584828 0 65536 4096 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11747328 140735516709908 140735516710033 140735516710033 140735516712942 0
/proc/31347/statm: 28314 178 94 221 0 119 0
[pid=31348] ppid=31347 vsize=10260324 memory=20400 CPUtime=0.05 cores=1,3,5,7
/proc/31348/stat : 31348 (java) S 31347 31293 31233 0 -1 1077944320 3980 0 0 0 4 1 0 0 20 0 9 0 443600500 10506571776 5100 33554432000 4194304 4196468 140729547215392 140729547197936 140352094375671 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
/proc/31348/statm: 2565081 5100 2192 1 0 2527622 0
[pid=31348/tid=31354] ppid=31347 vsize=10260324 memory=288355116380323867 CPUtime=0.04 cores=1,3,5,7
/proc/31348/task/31354/stat : 31354 (java) D 31347 31293 31233 0 -1 1077944384 2636 0 0 0 4 0 0 0 20 0 9 0 443600510 10506571776 5100 33554432000 4194304 4196468 140729547215392 140352098610712 140352087053685 0 4 0 16800971 18446744072101731876 0 0 -1 1 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31348/tid=31360] ppid=31347 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31348/task/31360/stat : 31360 (java) S 31347 31293 31233 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443600519 10506571776 5100 33554432000 4194304 4196468 140729547215392 140352020449936 140352094385877 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31348/tid=31361] ppid=31347 vsize=10260324 memory=3832759932043265696 CPUtime=0 cores=1,3,5,7
/proc/31348/task/31361/stat : 31361 (java) S 31347 31293 31233 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443600519 10506571776 5100 33554432000 4194304 4196468 140729547215392 140352019397136 140352094385877 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31348/tid=31362] ppid=31347 vsize=10260324 memory=140341307377280 CPUtime=0 cores=1,3,5,7
/proc/31348/task/31362/stat : 31362 (java) S 31347 31293 31233 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443600519 10506571776 5100 33554432000 4194304 4196468 140729547215392 140352018344336 140352094385877 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31348/tid=31363] ppid=31347 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31348/task/31363/stat : 31363 (java) S 31347 31293 31233 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443600519 10506571776 5100 33554432000 4194304 4196468 140729547215392 140352017291536 140352094385877 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31348/tid=31364] ppid=31347 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31348/task/31364/stat : 31364 (java) S 31347 31293 31233 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443600520 10506571776 5100 33554432000 4194304 4196468 140729547215392 140351586265968 140352094386818 0 0 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31348/tid=31366] ppid=31347 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31348/task/31366/stat : 31366 (java) S 31347 31293 31233 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 443600521 10506571776 5100 33554432000 4194304 4196468 140729547215392 140351585211936 140352094385877 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31348/tid=31368] ppid=31347 vsize=10260324 memory=140341307377280 CPUtime=0 cores=1,3,5,7
/proc/31348/task/31368/stat : 31368 (java) S 31347 31293 31233 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 443600521 10506571776 5100 33554432000 4194304 4196468 140729547215392 140351584159088 140352094385877 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13119488 140729547220108 140729547220122 140729547220122 140729547222991 0
[pid=31349] ppid=31347 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/31349/stat : 31349 (awk) S 31347 31293 31233 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 443600500 116211712 243 33554432000 4194304 4609284 140733446936912 140733446936088 139678354521088 0 0 4096 1216 18446744071580971376 0 0 17 7 0 0 0 0 0 6708720 6711756 22921216 140733446939836 140733446939866 140733446939866 140733446942703 0
/proc/31349/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 23700 KiB
[startup+0.700701 s]
/proc/loadavg: 0.31 1.32 1.84 4/220 31419
/proc/meminfo: memFree=30294308/32770624 swapFree=66967420/67108860
[pid=31293] ppid=31287 vsize=10820196 memory=47216 CPUtime=0.36 cores=1,3,5,7
/proc/31293/stat : 31293 (java) S 31287 31293 31233 0 -1 1077944320 10070 13015 0 0 25 3 5 3 20 0 15 0 443600498 11079880704 11804 33554432000 4194304 4196468 140729790834896 140729790817440 140305064484599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
/proc/31293/statm: 2705049 11804 3304 1 0 2667149 0
[pid=31293/tid=31391] ppid=31287 vsize=10820196 memory=780 CPUtime=0.26 cores=1,3,5,7
/proc/31293/task/31391/stat : 31391 (java) R 31287 31293 31233 0 -1 4202560 6539 13015 0 0 16 2 5 3 20 0 15 0 443600540 11079880704 11804 33554432000 4194304 4196468 140729790834896 140305036306080 140305064496534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31402] ppid=31287 vsize=10820196 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31402/stat : 31402 (java) S 31287 31293 31233 0 -1 1077944384 1 13015 0 0 0 0 5 3 20 0 15 0 443600543 11079880704 11804 33554432000 4194304 4196468 140729790834896 140305068726800 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31403] ppid=31287 vsize=10820196 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31403/stat : 31403 (java) S 31287 31293 31233 0 -1 1077944384 1 13015 0 0 0 0 5 3 20 0 15 0 443600543 11079880704 11804 33554432000 4194304 4196468 140729790834896 140304972929680 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31404] ppid=31287 vsize=10820196 memory=1192 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31404/stat : 31404 (java) S 31287 31293 31233 0 -1 1077944384 1 13015 0 0 0 0 5 3 20 0 15 0 443600543 11079880704 11804 33554432000 4194304 4196468 140729790834896 140304637024528 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31405] ppid=31287 vsize=10820196 memory=940 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31405/stat : 31405 (java) S 31287 31293 31233 0 -1 1077944384 2 13015 0 0 0 0 5 3 20 0 15 0 443600543 11079880704 11804 33554432000 4194304 4196468 140729790834896 140304635971984 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31410] ppid=31287 vsize=10820196 memory=14008 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31410/stat : 31410 (java) S 31287 31293 31233 0 -1 1077944384 2 13015 0 0 0 0 5 3 20 0 15 0 443600544 11079880704 11804 33554432000 4194304 4196468 140729790834896 140304591158000 140305064495746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31411] ppid=31287 vsize=10820196 memory=12040 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31411/stat : 31411 (java) S 31287 31293 31233 0 -1 1077944384 13 13015 0 0 0 0 5 3 20 0 15 0 443600544 11079880704 11804 33554432000 4194304 4196468 140729790834896 140304032196256 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31412] ppid=31287 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31412/stat : 31412 (java) S 31287 31293 31233 0 -1 1077944384 1 13015 0 0 0 0 5 3 20 0 15 0 443600545 11079880704 11804 33554432000 4194304 4196468 140729790834896 140303830869232 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31416] ppid=31287 vsize=10820196 memory=65 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31416/stat : 31416 (java) S 31287 31293 31233 0 -1 1077944384 3 13015 0 0 0 0 5 3 20 0 15 0 443600548 11079880704 11804 33554432000 4194304 4196468 140729790834896 140303590578640 140305064503195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31417] ppid=31287 vsize=10820196 memory=6944656592387989600 CPUtime=0.1 cores=1,3,5,7
/proc/31293/task/31417/stat : 31417 (java) S 31287 31293 31233 0 -1 1077944384 462 13015 0 0 2 0 5 3 20 0 15 0 443600548 11079880704 11804 33554432000 4194304 4196468 140729790834896 140304590104816 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31418] ppid=31287 vsize=10820196 memory=6944652177228980320 CPUtime=0.09 cores=1,3,5,7
/proc/31293/task/31418/stat : 31418 (java) S 31287 31293 31233 0 -1 1077944384 193 13015 0 0 1 0 5 3 20 0 15 0 443600548 11079880704 11804 33554432000 4194304 4196468 140729790834896 140304589052272 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31419] ppid=31287 vsize=10820196 memory=-8096445597189093946 CPUtime=0.13 cores=1,3,5,7
/proc/31293/task/31419/stat : 31419 (java) R 31287 31293 31233 0 -1 1077944384 639 13015 0 0 5 0 5 3 20 0 15 0 443600548 11079880704 11804 33554432000 4194304 4196468 140729790834896 140304587999216 140305064495746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31420] ppid=31287 vsize=10820196 memory=7969267389102848828 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31420/stat : 31420 (java) S 31287 31293 31233 0 -1 1077944384 3 13015 0 0 0 0 5 3 20 0 15 0 443600549 11079880704 11804 33554432000 4194304 4196468 140729790834896 140303557020000 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 47216 KiB
[startup+1.50069 s]
/proc/loadavg: 0.31 1.32 1.84 4/228 31427
/proc/meminfo: memFree=30213432/32770624 swapFree=66967420/67108860
[pid=31293] ppid=31287 vsize=10826488 memory=94500 CPUtime=1.51 cores=1,3,5,7
/proc/31293/stat : 31293 (java) S 31287 31293 31233 0 -1 1077944320 16381 13015 0 0 136 7 5 3 20 0 15 0 443600498 11086323712 23625 33554432000 4194304 4196468 140729790834896 140729790817440 140305064484599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
/proc/31293/statm: 2706622 23625 3542 1 0 2668685 0
[pid=31293/tid=31391] ppid=31287 vsize=10826488 memory=7518594000083899753 CPUtime=0.83 cores=1,3,5,7
/proc/31293/task/31391/stat : 31391 (java) R 31287 31293 31233 0 -1 4202560 11318 13015 0 0 70 5 5 3 20 0 15 0 443600540 11086323712 23625 33554432000 4194304 4196468 140729790834896 140305036320304 140304653036672 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31402] ppid=31287 vsize=10826488 memory=83652 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31402/stat : 31402 (java) S 31287 31293 31233 0 -1 1077944384 1 13015 0 0 0 0 5 3 20 0 15 0 443600543 11086323712 23625 33554432000 4194304 4196468 140729790834896 140305068726800 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31403] ppid=31287 vsize=10826488 memory=280682421668384 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31403/stat : 31403 (java) S 31287 31293 31233 0 -1 1077944384 1 13015 0 0 0 0 5 3 20 0 15 0 443600543 11086323712 23625 33554432000 4194304 4196468 140729790834896 140304972929680 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31404] ppid=31287 vsize=10826488 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31404/stat : 31404 (java) S 31287 31293 31233 0 -1 1077944384 1 13015 0 0 0 0 5 3 20 0 15 0 443600543 11086323712 23642 33554432000 4194304 4196468 140729790834896 140304637024528 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31405] ppid=31287 vsize=10826488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31405/stat : 31405 (java) S 31287 31293 31233 0 -1 1077944384 2 13015 0 0 0 0 5 3 20 0 15 0 443600543 11086323712 23642 33554432000 4194304 4196468 140729790834896 140304635971984 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31410] ppid=31287 vsize=10826488 memory=140341210691616 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31410/stat : 31410 (java) S 31287 31293 31233 0 -1 1077944384 5 13015 0 0 0 0 5 3 20 0 15 0 443600544 11086323712 23642 33554432000 4194304 4196468 140729790834896 140304591158000 140305064495746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31411] ppid=31287 vsize=10826488 memory=140341210696608 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31411/stat : 31411 (java) S 31287 31293 31233 0 -1 1077944384 13 13015 0 0 0 0 5 3 20 0 15 0 443600544 11086323712 23642 33554432000 4194304 4196468 140729790834896 140304032196256 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31412] ppid=31287 vsize=10826488 memory=140341210696704 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31412/stat : 31412 (java) S 31287 31293 31233 0 -1 1077944384 1 13015 0 0 0 0 5 3 20 0 15 0 443600545 11086323712 23642 33554432000 4194304 4196468 140729790834896 140303830869232 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31416] ppid=31287 vsize=10826488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31416/stat : 31416 (java) S 31287 31293 31233 0 -1 1077944384 3 13015 0 0 0 0 5 3 20 0 15 0 443600548 11086323712 23642 33554432000 4194304 4196468 140729790834896 140303590578640 140305064503195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31417] ppid=31287 vsize=10826488 memory=6944656575208382560 CPUtime=0.25 cores=1,3,5,7
/proc/31293/task/31417/stat : 31417 (java) R 31287 31293 31233 0 -1 1077944384 946 13015 0 0 17 0 5 3 20 0 15 0 443600548 11086323712 23642 33554432000 4194304 4196468 140729790834896 140304590104816 140305064495746 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31418] ppid=31287 vsize=10826488 memory=-4866523618376441967 CPUtime=0.26 cores=1,3,5,7
/proc/31293/task/31418/stat : 31418 (java) R 31287 31293 31233 0 -1 4202560 740 13015 0 0 18 0 5 3 20 0 15 0 443600548 11086323712 23642 33554432000 4194304 4196468 140729790834896 140304589052272 140305057469641 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31419] ppid=31287 vsize=10826488 memory=-7595718147998063045 CPUtime=0.36 cores=1,3,5,7
/proc/31293/task/31419/stat : 31419 (java) R 31287 31293 31233 0 -1 4202560 1138 13015 0 0 28 0 5 3 20 0 15 0 443600548 11086323712 23642 33554432000 4194304 4196468 140729790834896 140304587999216 140305044199396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31420] ppid=31287 vsize=10826488 memory=-7027408097459412384 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31420/stat : 31420 (java) S 31287 31293 31233 0 -1 1077944384 3 13015 0 0 0 0 5 3 20 0 15 0 443600549 11086323712 23642 33554432000 4194304 4196468 140729790834896 140303557020000 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31426] ppid=31287 vsize=10826488 memory=-7457052372387209120 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31426/stat : 31426 (java) S 31287 31293 31233 0 -1 1077944384 1 13015 0 0 0 0 5 3 20 0 15 0 443600552 11086323712 23642 33554432000 4194304 4196468 140729790834896 140304586947632 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 10826488 KiB
Current children cumulated memory: 94500 KiB
[startup+3.11033 s]
/proc/loadavg: 0.52 1.35 1.85 9/228 31427
/proc/meminfo: memFree=29953596/32770624 swapFree=66967420/67108860
[pid=31293] ppid=31287 vsize=10842892 memory=206280 CPUtime=4.98 cores=1,3,5,7
/proc/31293/stat : 31293 (java) S 31287 31293 31233 0 -1 1077944320 31677 13015 0 0 475 15 5 3 20 0 15 0 443600498 11103121408 51570 33554432000 4194304 4196468 140729790834896 140729790817440 140305064484599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
/proc/31293/statm: 2710723 51570 3590 1 0 2672781 0
[pid=31293/tid=31391] ppid=31287 vsize=10842892 memory=5787213827046461545 CPUtime=2.38 cores=1,3,5,7
/proc/31293/task/31391/stat : 31391 (java) R 31287 31293 31233 0 -1 4202560 18453 13015 0 0 222 8 5 3 20 0 15 0 443600540 11103121408 51570 33554432000 4194304 4196468 140729790834896 140305036319408 140305064496534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31402] ppid=31287 vsize=10842892 memory=3620 CPUtime=0.09 cores=1,3,5,7
/proc/31293/task/31402/stat : 31402 (java) S 31287 31293 31233 0 -1 1077944384 361 13015 0 0 1 0 5 3 20 0 15 0 443600543 11103121408 51570 33554432000 4194304 4196468 140729790834896 140305068726800 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31403] ppid=31287 vsize=10842892 memory=46596 CPUtime=0.09 cores=1,3,5,7
/proc/31293/task/31403/stat : 31403 (java) S 31287 31293 31233 0 -1 1077944384 30 13015 0 0 1 0 5 3 20 0 15 0 443600543 11103121408 51570 33554432000 4194304 4196468 140729790834896 140304972929680 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31404] ppid=31287 vsize=10842892 memory=984 CPUtime=0.09 cores=1,3,5,7
################
# More data... #
################
/proc/31293/task/31391/stat : 31391 (java) R 31287 31293 31233 0 -1 4202560 74285 13015 0 0 229511 53 5 3 20 0 15 0 443600540 11109412864 256462 33554432000 4194304 4196468 140729790834896 140305036320912 140304668000811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31402] ppid=31287 vsize=10849036 memory=1025848 CPUtime=12.27 cores=1,3,5,7
/proc/31293/task/31402/stat : 31402 (java) S 31287 31293 31233 0 -1 1077944384 14615 13015 0 0 1165 54 5 3 20 0 15 0 443600543 11109412864 256462 33554432000 4194304 4196468 140729790834896 140305068726800 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31403] ppid=31287 vsize=10849036 memory=1025848 CPUtime=12.3 cores=1,3,5,7
/proc/31293/task/31403/stat : 31403 (java) S 31287 31293 31233 0 -1 1077944384 19042 13015 0 0 1159 63 5 3 20 0 15 0 443600543 11109412864 256462 33554432000 4194304 4196468 140729790834896 140304972929680 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31404] ppid=31287 vsize=10849036 memory=1025848 CPUtime=12.3 cores=1,3,5,7
/proc/31293/task/31404/stat : 31404 (java) S 31287 31293 31233 0 -1 1077944384 13489 13015 0 0 1163 59 5 3 20 0 15 0 443600543 11109412864 256462 33554432000 4194304 4196468 140729790834896 140304637024528 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31405] ppid=31287 vsize=10849036 memory=1025848 CPUtime=12.27 cores=1,3,5,7
/proc/31293/task/31405/stat : 31405 (java) S 31287 31293 31233 0 -1 1077944384 14297 13015 0 0 1160 59 5 3 20 0 15 0 443600543 11109412864 256462 33554432000 4194304 4196468 140729790834896 140304635971984 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31410] ppid=31287 vsize=10849036 memory=1025848 CPUtime=11.03 cores=1,3,5,7
/proc/31293/task/31410/stat : 31410 (java) S 31287 31293 31233 0 -1 1077944384 16522 13015 0 0 1032 63 5 3 20 0 15 0 443600544 11109412864 256462 33554432000 4194304 4196468 140729790834896 140304591158000 140305064495746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31411] ppid=31287 vsize=10849036 memory=1025848 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31411/stat : 31411 (java) S 31287 31293 31233 0 -1 1077944384 14 13015 0 0 0 0 5 3 20 0 15 0 443600544 11109412864 256462 33554432000 4194304 4196468 140729790834896 140304032196384 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31412] ppid=31287 vsize=10849036 memory=1025848 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31412/stat : 31412 (java) S 31287 31293 31233 0 -1 1077944384 11 13015 0 0 0 0 5 3 20 0 15 0 443600545 11109412864 256462 33554432000 4194304 4196468 140729790834896 140303830869248 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31416] ppid=31287 vsize=10849036 memory=178 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31416/stat : 31416 (java) S 31287 31293 31233 0 -1 1077944384 3 13015 0 0 0 0 5 3 20 0 15 0 443600548 11109412864 256462 33554432000 4194304 4196468 140729790834896 140303590578640 140305064503195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31417] ppid=31287 vsize=10849036 memory=1025848 CPUtime=3.27 cores=1,3,5,7
/proc/31293/task/31417/stat : 31417 (java) S 31287 31293 31233 0 -1 1077944384 16819 13015 0 0 315 4 5 3 20 0 15 0 443600548 11109412864 256462 33554432000 4194304 4196468 140729790834896 140304590104816 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31418] ppid=31287 vsize=10849036 memory=3620 CPUtime=3.04 cores=1,3,5,7
/proc/31293/task/31418/stat : 31418 (java) S 31287 31293 31233 0 -1 1077944384 11255 13015 0 0 294 2 5 3 20 0 15 0 443600548 11109412864 256462 33554432000 4194304 4196468 140729790834896 140304589052272 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31419] ppid=31287 vsize=10849036 memory=46656 CPUtime=1.86 cores=1,3,5,7
/proc/31293/task/31419/stat : 31419 (java) S 31287 31293 31233 0 -1 1077944384 8781 13015 0 0 174 4 5 3 20 0 15 0 443600548 11109412864 256462 33554432000 4194304 4196468 140729790834896 140304587999216 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31420] ppid=31287 vsize=10849036 memory=1025848 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31420/stat : 31420 (java) S 31287 31293 31233 0 -1 1077944384 3 13015 0 0 0 0 5 3 20 0 15 0 443600549 11109412864 256462 33554432000 4194304 4196468 140729790834896 140303557020000 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31426] ppid=31287 vsize=10849036 memory=1025848 CPUtime=1.44 cores=1,3,5,7
/proc/31293/task/31426/stat : 31426 (java) S 31287 31293 31233 0 -1 1077944384 976 13015 0 0 63 73 5 3 20 0 15 0 443600552 11109412864 256462 33554432000 4194304 4196468 140729790834896 140304586947632 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
Current children cumulated CPU time: 2364.9 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1025848 KiB
[startup+2382.3 s]
/proc/loadavg: 1.71 1.46 1.42 3/227 31928
/proc/meminfo: memFree=28513860/32770624 swapFree=66967420/67108860
[pid=31293] ppid=31287 vsize=10849036 memory=1027896 CPUtime=2425.81 cores=1,3,5,7
/proc/31293/stat : 31293 (java) S 31287 31293 31233 0 -1 1077944320 194242 13015 0 0 242197 376 5 3 20 0 15 0 443600498 11109412864 256974 33554432000 4194304 4196468 140729790834896 140729790817440 140305064484599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
/proc/31293/statm: 2712259 256974 3627 1 0 2674317 0
[pid=31293/tid=31391] ppid=31287 vsize=10849036 memory=1027896 CPUtime=2355.13 cores=1,3,5,7
/proc/31293/task/31391/stat : 31391 (java) R 31287 31293 31233 0 -1 4202560 75271 13015 0 0 235451 54 5 3 20 0 15 0 443600540 11109412864 256974 33554432000 4194304 4196468 140729790834896 140305036320592 140304666928712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31402] ppid=31287 vsize=10849036 memory=1027896 CPUtime=12.57 cores=1,3,5,7
/proc/31293/task/31402/stat : 31402 (java) S 31287 31293 31233 0 -1 1077944384 14722 13015 0 0 1194 55 5 3 20 0 15 0 443600543 11109412864 256974 33554432000 4194304 4196468 140729790834896 140305068726800 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31403] ppid=31287 vsize=10849036 memory=1025848 CPUtime=12.6 cores=1,3,5,7
/proc/31293/task/31403/stat : 31403 (java) S 31287 31293 31233 0 -1 1077944384 19100 13015 0 0 1188 64 5 3 20 0 15 0 443600543 11109412864 256974 33554432000 4194304 4196468 140729790834896 140304972929680 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31404] ppid=31287 vsize=10849036 memory=1025848 CPUtime=12.61 cores=1,3,5,7
/proc/31293/task/31404/stat : 31404 (java) S 31287 31293 31233 0 -1 1077944384 13906 13015 0 0 1192 61 5 3 20 0 15 0 443600543 11109412864 256974 33554432000 4194304 4196468 140729790834896 140304637024528 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31405] ppid=31287 vsize=10849036 memory=1027896 CPUtime=12.58 cores=1,3,5,7
/proc/31293/task/31405/stat : 31405 (java) S 31287 31293 31233 0 -1 1077944384 14416 13015 0 0 1189 61 5 3 20 0 15 0 443600543 11109412864 256974 33554432000 4194304 4196468 140729790834896 140304635971984 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31410] ppid=31287 vsize=10849036 memory=1027896 CPUtime=11.28 cores=1,3,5,7
/proc/31293/task/31410/stat : 31410 (java) S 31287 31293 31233 0 -1 1077944384 16744 13015 0 0 1055 65 5 3 20 0 15 0 443600544 11109412864 256974 33554432000 4194304 4196468 140729790834896 140304591158000 140305064495746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31411] ppid=31287 vsize=10849036 memory=1027896 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31411/stat : 31411 (java) S 31287 31293 31233 0 -1 1077944384 14 13015 0 0 0 0 5 3 20 0 15 0 443600544 11109412864 256974 33554432000 4194304 4196468 140729790834896 140304032196384 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31412] ppid=31287 vsize=10849036 memory=7812733185983013209 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31412/stat : 31412 (java) S 31287 31293 31233 0 -1 1077944384 11 13015 0 0 0 0 5 3 20 0 15 0 443600545 11109412864 256974 33554432000 4194304 4196468 140729790834896 140303830869248 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31416] ppid=31287 vsize=10849036 memory=-6654736624938269017 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31416/stat : 31416 (java) S 31287 31293 31233 0 -1 1077944384 3 13015 0 0 0 0 5 3 20 0 15 0 443600548 11109412864 256974 33554432000 4194304 4196468 140729790834896 140303590578640 140305064503195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31417] ppid=31287 vsize=10849036 memory=3620 CPUtime=3.27 cores=1,3,5,7
/proc/31293/task/31417/stat : 31417 (java) S 31287 31293 31233 0 -1 1077944384 16821 13015 0 0 315 4 5 3 20 0 15 0 443600548 11109412864 256974 33554432000 4194304 4196468 140729790834896 140304590104816 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31418] ppid=31287 vsize=10849036 memory=46656 CPUtime=3.05 cores=1,3,5,7
/proc/31293/task/31418/stat : 31418 (java) S 31287 31293 31233 0 -1 1077944384 11257 13015 0 0 295 2 5 3 20 0 15 0 443600548 11109412864 256974 33554432000 4194304 4196468 140729790834896 140304589052272 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31419] ppid=31287 vsize=10849036 memory=984 CPUtime=1.86 cores=1,3,5,7
/proc/31293/task/31419/stat : 31419 (java) S 31287 31293 31233 0 -1 1077944384 8783 13015 0 0 174 4 5 3 20 0 15 0 443600548 11109412864 256974 33554432000 4194304 4196468 140729790834896 140304587999216 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31420] ppid=31287 vsize=10849036 memory=2004 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31420/stat : 31420 (java) S 31287 31293 31233 0 -1 1077944384 3 13015 0 0 0 0 5 3 20 0 15 0 443600549 11109412864 256974 33554432000 4194304 4196468 140729790834896 140303557020000 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31426] ppid=31287 vsize=10849036 memory=1027896 CPUtime=1.48 cores=1,3,5,7
/proc/31293/task/31426/stat : 31426 (java) S 31287 31293 31233 0 -1 1077944384 982 13015 0 0 65 75 5 3 20 0 15 0 443600552 11109412864 256974 33554432000 4194304 4196468 140729790834896 140304586947632 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
Current children cumulated CPU time: 2425.81 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1027896 KiB
[startup+2442.3 s]
/proc/loadavg: 1.18 1.35 1.39 3/227 31934
/proc/meminfo: memFree=28518984/32770624 swapFree=66967420/67108860
[pid=31293] ppid=31287 vsize=10849036 memory=1029944 CPUtime=2486.85 cores=1,3,5,7
/proc/31293/stat : 31293 (java) S 31287 31293 31233 0 -1 1077944320 197074 13015 0 0 248291 386 5 3 20 0 15 0 443600498 11109412864 257486 33554432000 4194304 4196468 140729790834896 140729790817440 140305064484599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
/proc/31293/statm: 2712259 257486 3627 1 0 2674317 0
[pid=31293/tid=31391] ppid=31287 vsize=10849036 memory=1029944 CPUtime=2414.46 cores=1,3,5,7
/proc/31293/task/31391/stat : 31391 (java) R 31287 31293 31233 0 -1 4202560 76449 13015 0 0 241383 55 5 3 20 0 15 0 443600540 11109412864 257486 33554432000 4194304 4196468 140729790834896 140305036319632 140304668002232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31402] ppid=31287 vsize=10849036 memory=1027896 CPUtime=12.91 cores=1,3,5,7
/proc/31293/task/31402/stat : 31402 (java) S 31287 31293 31233 0 -1 1077944384 14815 13015 0 0 1227 56 5 3 20 0 15 0 443600543 11109412864 257486 33554432000 4194304 4196468 140729790834896 140305068726800 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31403] ppid=31287 vsize=10849036 memory=1027896 CPUtime=12.95 cores=1,3,5,7
/proc/31293/task/31403/stat : 31403 (java) S 31287 31293 31233 0 -1 1077944384 19673 13015 0 0 1221 66 5 3 20 0 15 0 443600543 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304972929680 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31404] ppid=31287 vsize=10849036 memory=1027896 CPUtime=12.95 cores=1,3,5,7
/proc/31293/task/31404/stat : 31404 (java) S 31287 31293 31233 0 -1 1077944384 14018 13015 0 0 1225 62 5 3 20 0 15 0 443600543 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304637024528 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31405] ppid=31287 vsize=10849036 memory=1027896 CPUtime=12.93 cores=1,3,5,7
/proc/31293/task/31405/stat : 31405 (java) S 31287 31293 31233 0 -1 1077944384 14841 13015 0 0 1222 63 5 3 20 0 15 0 443600543 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304635971984 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31410] ppid=31287 vsize=10849036 memory=1027896 CPUtime=11.57 cores=1,3,5,7
/proc/31293/task/31410/stat : 31410 (java) S 31287 31293 31233 0 -1 1077944384 17151 13015 0 0 1083 66 5 3 20 0 15 0 443600544 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304591158000 140305064495746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31411] ppid=31287 vsize=10849036 memory=1027896 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31411/stat : 31411 (java) S 31287 31293 31233 0 -1 1077944384 14 13015 0 0 0 0 5 3 20 0 15 0 443600544 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304032196384 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31412] ppid=31287 vsize=10849036 memory=1029944 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31412/stat : 31412 (java) S 31287 31293 31233 0 -1 1077944384 11 13015 0 0 0 0 5 3 20 0 15 0 443600545 11109412864 257486 33554432000 4194304 4196468 140729790834896 140303830869248 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31416] ppid=31287 vsize=10849036 memory=1029944 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31416/stat : 31416 (java) S 31287 31293 31233 0 -1 1077944384 3 13015 0 0 0 0 5 3 20 0 15 0 443600548 11109412864 257486 33554432000 4194304 4196468 140729790834896 140303590578640 140305064503195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31417] ppid=31287 vsize=10849036 memory=1029944 CPUtime=3.27 cores=1,3,5,7
/proc/31293/task/31417/stat : 31417 (java) S 31287 31293 31233 0 -1 1077944384 16825 13015 0 0 315 4 5 3 20 0 15 0 443600548 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304590104816 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31418] ppid=31287 vsize=10849036 memory=1029944 CPUtime=3.05 cores=1,3,5,7
/proc/31293/task/31418/stat : 31418 (java) S 31287 31293 31233 0 -1 1077944384 11261 13015 0 0 295 2 5 3 20 0 15 0 443600548 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304589052272 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31419] ppid=31287 vsize=10849036 memory=1027896 CPUtime=1.86 cores=1,3,5,7
/proc/31293/task/31419/stat : 31419 (java) S 31287 31293 31233 0 -1 1077944384 8787 13015 0 0 174 4 5 3 20 0 15 0 443600548 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304587999216 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31420] ppid=31287 vsize=10849036 memory=1520 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31420/stat : 31420 (java) S 31287 31293 31233 0 -1 1077944384 3 13015 0 0 0 0 5 3 20 0 15 0 443600549 11109412864 257486 33554432000 4194304 4196468 140729790834896 140303557020000 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31426] ppid=31287 vsize=10849036 memory=1029944 CPUtime=1.51 cores=1,3,5,7
/proc/31293/task/31426/stat : 31426 (java) S 31287 31293 31233 0 -1 1077944384 1014 13015 0 0 67 76 5 3 20 0 15 0 443600552 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304586947632 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
Current children cumulated CPU time: 2486.85 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1029944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475 s]*
/proc/loadavg: 1.40 1.39 1.40 6/227 31938
/proc/meminfo: memFree=28524492/32770624 swapFree=66967420/67108860
[pid=31293] ppid=31287 vsize=10849036 memory=1029944 CPUtime=2520.1 cores=1,3,5,7
/proc/31293/stat : 31293 (java) S 31287 31293 31233 0 -1 1077944320 197519 13015 0 0 251610 392 5 3 20 0 15 0 443600498 11109412864 257486 33554432000 4194304 4196468 140729790834896 140729790817440 140305064484599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
/proc/31293/statm: 2712259 257486 3627 1 0 2674317 0
[pid=31293/tid=31391] ppid=31287 vsize=10849036 memory=1398720917958146503 CPUtime=2446.82 cores=1,3,5,7
/proc/31293/task/31391/stat : 31391 (java) R 31287 31293 31233 0 -1 4202560 76791 13015 0 0 244618 56 5 3 20 0 15 0 443600540 11109412864 257486 33554432000 4194304 4196468 140729790834896 140305036320448 140304667975888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31402] ppid=31287 vsize=10849036 memory=337 CPUtime=13.09 cores=1,3,5,7
/proc/31293/task/31402/stat : 31402 (java) S 31287 31293 31233 0 -1 1077944384 14826 13015 0 0 1244 57 5 3 20 0 15 0 443600543 11109412864 257486 33554432000 4194304 4196468 140729790834896 140305068726800 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31403] ppid=31287 vsize=10849036 memory=288230583132487972 CPUtime=13.13 cores=1,3,5,7
/proc/31293/task/31403/stat : 31403 (java) S 31287 31293 31233 0 -1 1077944384 19691 13015 0 0 1238 67 5 3 20 0 15 0 443600543 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304972929680 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31404] ppid=31287 vsize=10849036 memory=15537418677782099 CPUtime=13.12 cores=1,3,5,7
/proc/31293/task/31404/stat : 31404 (java) S 31287 31293 31233 0 -1 1077944384 14049 13015 0 0 1241 63 5 3 20 0 15 0 443600543 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304637024528 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31405] ppid=31287 vsize=10849036 memory=1438 CPUtime=13.11 cores=1,3,5,7
/proc/31293/task/31405/stat : 31405 (java) S 31287 31293 31233 0 -1 1077944384 14873 13015 0 0 1239 64 5 3 20 0 15 0 443600543 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304635971984 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31410] ppid=31287 vsize=10849036 memory=0 CPUtime=11.72 cores=1,3,5,7
/proc/31293/task/31410/stat : 31410 (java) S 31287 31293 31233 0 -1 1077944384 17160 13015 0 0 1097 67 5 3 20 0 15 0 443600544 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304591158000 140305064495746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31411] ppid=31287 vsize=10849036 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31411/stat : 31411 (java) S 31287 31293 31233 0 -1 1077944384 14 13015 0 0 0 0 5 3 20 0 15 0 443600544 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304032196384 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31412] ppid=31287 vsize=10849036 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31412/stat : 31412 (java) S 31287 31293 31233 0 -1 1077944384 11 13015 0 0 0 0 5 3 20 0 15 0 443600545 11109412864 257486 33554432000 4194304 4196468 140729790834896 140303830869248 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31416] ppid=31287 vsize=10849036 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31416/stat : 31416 (java) S 31287 31293 31233 0 -1 1077944384 3 13015 0 0 0 0 5 3 20 0 15 0 443600548 11109412864 257486 33554432000 4194304 4196468 140729790834896 140303590578640 140305064503195 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31417] ppid=31287 vsize=10849036 memory=2463 CPUtime=3.27 cores=1,3,5,7
/proc/31293/task/31417/stat : 31417 (java) S 31287 31293 31233 0 -1 1077944384 16825 13015 0 0 315 4 5 3 20 0 15 0 443600548 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304590104816 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31418] ppid=31287 vsize=10849036 memory=0 CPUtime=3.05 cores=1,3,5,7
/proc/31293/task/31418/stat : 31418 (java) S 31287 31293 31233 0 -1 1077944384 11261 13015 0 0 295 2 5 3 20 0 15 0 443600548 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304589052272 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31419] ppid=31287 vsize=10849036 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/31293/task/31419/stat : 31419 (java) S 31287 31293 31233 0 -1 1077944384 8787 13015 0 0 174 4 5 3 20 0 15 0 443600548 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304587999216 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31420] ppid=31287 vsize=10849036 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31293/task/31420/stat : 31420 (java) S 31287 31293 31233 0 -1 1077944384 3 13015 0 0 0 0 5 3 20 0 15 0 443600549 11109412864 257486 33554432000 4194304 4196468 140729790834896 140303557020000 140305064494805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
[pid=31293/tid=31426] ppid=31287 vsize=10849036 memory=0 CPUtime=1.53 cores=1,3,5,7
/proc/31293/task/31426/stat : 31426 (java) S 31287 31293 31233 0 -1 1077944384 1016 13015 0 0 68 77 5 3 20 0 15 0 443600552 11109412864 257486 33554432000 4194304 4196468 140729790834896 140304586947632 140305064495746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29384704 140729790839535 140729790842053 140729790842053 140729790844879 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1029944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.04 s]
# the end of solver process 31293 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.17 s, system=3.96966 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2475.04
CPU time (s): 2520.14
CPU user time (s): 2516.17
CPU system time (s): 3.96966
CPU usage (%): 101.822
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 1029944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.17
system time used= 3.96966
maximum resident set size= 1034152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211557
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 301587
involuntary context switches= 7294
# summary of solver processes directly reported to runsolver:
# pid: 31293
# total CPU time (s): 2520.14
# total CPU user time (s): 2516.17
# total CPU system time (s): 3.96966
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.504 second user time and 23.901 second system time
The end