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 (10495 MiB free)
memory of node 1: 16384 MiB (13279 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301397-1532879711/watcher-4301397-1532879711 -o /tmp/evaluation-result-4301397-1532879711/solver-4301397-1532879711 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22036 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301397-1532879711.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=24286, runsolver pid=24283
Current StackSize limit: 8192 KiB
[startup+0.101245 s]*
/proc/loadavg: 2.66 2.49 2.24 4/215 24301
/proc/meminfo: memFree=24327968/32770624 swapFree=67108860/67108860
[pid=24286] ppid=24283 vsize=10659012 memory=30488 CPUtime=0.12 cores=1,3,5,7
/proc/24286/stat : 24286 (java) S 24283 24286 22004 0 -1 1077944320 6682 0 0 0 11 1 0 0 20 0 15 0 105534257 10914828288 7622 33554432000 4194304 4196468 140735343762752 140735343745296 140266727751415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
/proc/24286/statm: 2664753 7622 2818 1 0 2627263 0
[pid=24286/tid=24288] ppid=24283 vsize=10659012 memory=-8773748148830243967 CPUtime=0.09 cores=1,3,5,7
/proc/24286/task/24288/stat : 24288 (java) R 24283 24286 22004 0 -1 4202560 4519 0 0 0 8 1 0 0 20 0 15 0 105534257 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266731956080 140266711831902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24289] ppid=24283 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24289/stat : 24289 (java) S 24283 24286 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105534258 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266653825424 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24290] ppid=24283 vsize=10659012 memory=139703890871936 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24290/stat : 24290 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534258 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266333792528 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24291] ppid=24283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24291/stat : 24291 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534258 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266332740240 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24292] ppid=24283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24292/stat : 24292 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534258 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266331687440 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24293] ppid=24283 vsize=10659012 memory=139703890871936 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24293/stat : 24293 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534260 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266220296816 140266727762562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24294] ppid=24283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24294/stat : 24294 (java) S 24283 24286 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105534260 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266219242784 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24295] ppid=24283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24295/stat : 24295 (java) S 24283 24286 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105534260 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266218190448 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24296] ppid=24283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24296/stat : 24296 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266217138768 140266727770011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24297] ppid=24283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24297/stat : 24297 (java) S 24283 24286 22004 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 15 0 105534263 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266216085616 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24298] ppid=24283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24298/stat : 24298 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266215032816 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24299] ppid=24283 vsize=10659012 memory=139703890871936 CPUtime=0.02 cores=1,3,5,7
/proc/24286/task/24299/stat : 24299 (java) R 24283 24286 22004 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 105534263 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266213980528 140266706554639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24300] ppid=24283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24300/stat : 24300 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266212927968 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24301] ppid=24283 vsize=10659012 memory=139703890871936 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24301/stat : 24301 (java) S 24283 24286 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105534263 10914828288 7622 33554432000 4194304 4196468 140735343762752 140266211875760 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30488 KiB
[startup+0.210374 s]*
/proc/loadavg: 2.66 2.49 2.24 4/215 24301
/proc/meminfo: memFree=24317092/32770624 swapFree=67108860/67108860
[pid=24286] ppid=24283 vsize=10659012 memory=41860 CPUtime=0.32 cores=1,3,5,7
/proc/24286/stat : 24286 (java) S 24283 24286 22004 0 -1 1077944320 8084 0 0 0 30 2 0 0 20 0 15 0 105534257 10914828288 10465 33554432000 4194304 4196468 140735343762752 140735343745296 140266727751415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
/proc/24286/statm: 2664753 10465 3006 1 0 2627263 0
[pid=24286/tid=24288] ppid=24283 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/24286/task/24288/stat : 24288 (java) R 24283 24286 22004 0 -1 4202560 5020 0 0 0 18 1 0 0 20 0 15 0 105534257 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266731986688 140266711795045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24289] ppid=24283 vsize=10659012 memory=364 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24289/stat : 24289 (java) S 24283 24286 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105534258 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266653825424 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24290] ppid=24283 vsize=10659012 memory=288370080042583680 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24290/stat : 24290 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534258 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266333792528 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24291] ppid=24283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24291/stat : 24291 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534258 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266332740240 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24292] ppid=24283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24292/stat : 24292 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534258 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266331687440 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24293] ppid=24283 vsize=10659012 memory=139703890871936 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24293/stat : 24293 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534260 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266220296816 140266727762562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24294] ppid=24283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24294/stat : 24294 (java) S 24283 24286 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105534260 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266219242784 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24295] ppid=24283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24295/stat : 24295 (java) S 24283 24286 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105534260 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266218190448 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24296] ppid=24283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24296/stat : 24296 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266217138768 140266727770011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24297] ppid=24283 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24286/task/24297/stat : 24297 (java) S 24283 24286 22004 0 -1 1077944384 712 0 0 0 2 0 0 0 20 0 15 0 105534263 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266216085616 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24298] ppid=24283 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24286/task/24298/stat : 24298 (java) S 24283 24286 22004 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 15 0 105534263 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266215032816 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24299] ppid=24283 vsize=10659012 memory=139703890871936 CPUtime=0.07 cores=1,3,5,7
/proc/24286/task/24299/stat : 24299 (java) R 24283 24286 22004 0 -1 4202560 642 0 0 0 7 0 0 0 20 0 15 0 105534263 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266213980528 140266727763350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24300] ppid=24283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24300/stat : 24300 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266212927968 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24301] ppid=24283 vsize=10659012 memory=139703890871936 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24301/stat : 24301 (java) S 24283 24286 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105534263 10914828288 10465 33554432000 4194304 4196468 140735343762752 140266211875760 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41860 KiB
[startup+0.311041 s]*
/proc/loadavg: 2.66 2.49 2.24 4/215 24301
/proc/meminfo: memFree=24304128/32770624 swapFree=67108860/67108860
[pid=24286] ppid=24283 vsize=10659012 memory=53104 CPUtime=0.58 cores=1,3,5,7
/proc/24286/stat : 24286 (java) S 24283 24286 22004 0 -1 1077944320 10056 0 0 0 55 3 0 0 20 0 15 0 105534257 10914828288 13276 33554432000 4194304 4196468 140735343762752 140735343745296 140266727751415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
/proc/24286/statm: 2664753 13276 3046 1 0 2627263 0
[pid=24286/tid=24288] ppid=24283 vsize=10659012 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/24286/task/24288/stat : 24288 (java) R 24283 24286 22004 0 -1 4202560 5568 0 0 0 28 1 0 0 20 0 15 0 105534257 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266731989104 140266335426495 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24289] ppid=24283 vsize=10659012 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24289/stat : 24289 (java) S 24283 24286 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105534258 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266653825424 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24290] ppid=24283 vsize=10659012 memory=288370080042583680 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24290/stat : 24290 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534258 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266333792528 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24291] ppid=24283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24291/stat : 24291 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534258 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266332740240 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24292] ppid=24283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24292/stat : 24292 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534258 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266331687440 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24293] ppid=24283 vsize=10659012 memory=139703890871936 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24293/stat : 24293 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534260 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266220296816 140266727762562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24294] ppid=24283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24294/stat : 24294 (java) S 24283 24286 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105534260 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266219242784 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24295] ppid=24283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24295/stat : 24295 (java) S 24283 24286 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105534260 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266218190448 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24296] ppid=24283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24296/stat : 24296 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266217138768 140266727770011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24297] ppid=24283 vsize=10659012 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/24286/task/24297/stat : 24297 (java) R 24283 24286 22004 0 -1 4202560 1300 0 0 0 6 0 0 0 20 0 15 0 105534263 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266216066632 140266711237643 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24298] ppid=24283 vsize=10659012 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24286/task/24298/stat : 24298 (java) R 24283 24286 22004 0 -1 4202560 715 0 0 0 7 0 0 0 20 0 15 0 105534263 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266215013832 140266712911780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24299] ppid=24283 vsize=10659012 memory=139703890871936 CPUtime=0.13 cores=1,3,5,7
/proc/24286/task/24299/stat : 24299 (java) R 24283 24286 22004 0 -1 1077944384 1103 0 0 0 13 0 0 0 20 0 15 0 105534263 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266213980528 140266727762562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24300] ppid=24283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24300/stat : 24300 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266212927968 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24301] ppid=24283 vsize=10659012 memory=139703890871936 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24301/stat : 24301 (java) S 24283 24286 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105534263 10914828288 13276 33554432000 4194304 4196468 140735343762752 140266211875760 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 53104 KiB
[startup+0.701668 s]
/proc/loadavg: 2.66 2.49 2.24 5/215 24301
/proc/meminfo: memFree=24278440/32770624 swapFree=67108860/67108860
[pid=24286] ppid=24283 vsize=10659088 memory=127608 CPUtime=1.84 cores=1,3,5,7
/proc/24286/stat : 24286 (java) S 24283 24286 22004 0 -1 1077944320 11691 0 0 0 180 4 0 0 20 0 15 0 105534257 10914906112 31902 33554432000 4194304 4196468 140735343762752 140735343745296 140266727751415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
/proc/24286/statm: 2664772 31902 3108 1 0 2627263 0
[pid=24286/tid=24288] ppid=24283 vsize=10659088 memory=1840 CPUtime=0.68 cores=1,3,5,7
/proc/24286/task/24288/stat : 24288 (java) R 24283 24286 22004 0 -1 4202560 5912 0 0 0 65 3 0 0 20 0 15 0 105534257 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266731987848 140266337565960 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24289] ppid=24283 vsize=10659088 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24289/stat : 24289 (java) S 24283 24286 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105534258 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266653825424 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24290] ppid=24283 vsize=10659088 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24290/stat : 24290 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534258 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266333792528 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24291] ppid=24283 vsize=10659088 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24291/stat : 24291 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534258 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266332740240 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24292] ppid=24283 vsize=10659088 memory=792 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24292/stat : 24292 (java) S 24283 24286 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105534258 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266331687440 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24293] ppid=24283 vsize=10659088 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24293/stat : 24293 (java) S 24283 24286 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105534260 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266220296816 140266727762562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24294] ppid=24283 vsize=10659088 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24294/stat : 24294 (java) S 24283 24286 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105534260 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266219242784 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24295] ppid=24283 vsize=10659088 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24295/stat : 24295 (java) S 24283 24286 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105534260 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266218190448 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24296] ppid=24283 vsize=10659088 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24296/stat : 24296 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266217138768 140266727770011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24297] ppid=24283 vsize=10659088 memory=7163631965283378496 CPUtime=0.42 cores=1,3,5,7
/proc/24286/task/24297/stat : 24297 (java) R 24283 24286 22004 0 -1 4202560 1613 0 0 0 42 0 0 0 20 0 15 0 105534263 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266216063488 140266711162208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24298] ppid=24283 vsize=10659088 memory=7667213801450137426 CPUtime=0.42 cores=1,3,5,7
/proc/24286/task/24298/stat : 24298 (java) R 24283 24286 22004 0 -1 4202560 1176 0 0 0 42 0 0 0 20 0 15 0 105534263 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266215032816 140266711282880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24299] ppid=24283 vsize=10659088 memory=7295946094789283920 CPUtime=0.3 cores=1,3,5,7
/proc/24286/task/24299/stat : 24299 (java) S 24283 24286 22004 0 -1 1077944384 1617 0 0 0 30 0 0 0 20 0 15 0 105534263 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266213980528 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24300] ppid=24283 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24300/stat : 24300 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266212927968 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24301] ppid=24283 vsize=10659088 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24301/stat : 24301 (java) S 24283 24286 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105534263 10914906112 31902 33554432000 4194304 4196468 140735343762752 140266211875760 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 127608 KiB
[startup+1.50166 s]
/proc/loadavg: 2.66 2.49 2.24 4/215 24301
/proc/meminfo: memFree=23944688/32770624 swapFree=67108860/67108860
[pid=24286] ppid=24283 vsize=10659088 memory=1119928 CPUtime=3.7 cores=1,3,5,7
/proc/24286/stat : 24286 (java) S 24283 24286 22004 0 -1 1077944320 15412 0 0 0 334 36 0 0 20 0 15 0 105534257 10914906112 279982 33554432000 4194304 4196468 140735343762752 140735343745296 140266727751415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
/proc/24286/statm: 2664772 279982 3138 1 0 2627263 0
[pid=24286/tid=24288] ppid=24283 vsize=10659088 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/24286/task/24288/stat : 24288 (java) R 24283 24286 22004 0 -1 4202560 7023 0 0 0 113 14 0 0 20 0 15 0 105534257 10914906112 279982 33554432000 4194304 4196468 140735343762752 140266731984992 140266727763350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24289] ppid=24283 vsize=10659088 memory=-8253362762724047225 CPUtime=0.15 cores=1,3,5,7
/proc/24286/task/24289/stat : 24289 (java) S 24283 24286 22004 0 -1 1077944384 240 0 0 0 12 3 0 0 20 0 15 0 105534258 10914906112 279982 33554432000 4194304 4196468 140735343762752 140266653825424 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24290] ppid=24283 vsize=10659088 memory=-8609294068986781045 CPUtime=0.15 cores=1,3,5,7
/proc/24286/task/24290/stat : 24290 (java) S 24283 24286 22004 0 -1 1077944384 192 0 0 0 11 4 0 0 20 0 15 0 105534258 10914906112 279982 33554432000 4194304 4196468 140735343762752 140266333792528 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24291] ppid=24283 vsize=10659088 memory=-6517102902069810590 CPUtime=0.15 cores=1,3,5,7
/proc/24286/task/24291/stat : 24291 (java) S 24283 24286 22004 0 -1 1077944384 258 0 0 0 11 4 0 0 20 0 15 0 105534258 10914906112 279982 33554432000 4194304 4196468 140735343762752 140266332740240 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24292] ppid=24283 vsize=10659088 memory=4134692831991786133 CPUtime=0.18 cores=1,3,5,7
/proc/24286/task/24292/stat : 24292 (java) S 24283 24286 22004 0 -1 1077944384 267 0 0 0 13 5 0 0 20 0 15 0 105534258 10914906112 279982 33554432000 4194304 4196468 140735343762752 140266331687440 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24293] ppid=24283 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24293/stat : 24293 (java) S 24283 24286 22004 0 -1 1077944384 486 0 0 0 0 0 0 0 20 0 15 0 105534260 10914906112 279982 33554432000 4194304 4196468 140735343762752 140266220296816 140266727762562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
################
# More data... #
################
/proc/24286/statm: 2664772 2075509 3163 1 0 2627263 0
[pid=24286/tid=24288] ppid=24283 vsize=10659088 memory=288230583166042426 CPUtime=13.93 cores=1,3,5,7
/proc/24286/task/24288/stat : 24288 (java) S 24283 24286 22004 0 -1 1077944384 42329 0 0 0 1366 27 0 0 20 0 15 0 105534257 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266731988384 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24289] ppid=24283 vsize=10659088 memory=15252670952770856 CPUtime=53.99 cores=1,3,5,7
/proc/24286/task/24289/stat : 24289 (java) R 24283 24286 22004 0 -1 4202560 192020 0 0 0 5267 132 0 0 20 0 15 0 105534258 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266653825424 140266712747924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24290] ppid=24283 vsize=10659088 memory=7236248137064671083 CPUtime=54.03 cores=1,3,5,7
/proc/24286/task/24290/stat : 24290 (java) R 24283 24286 22004 0 -1 4202560 150112 0 0 0 5265 138 0 0 20 0 15 0 105534258 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266333792528 140266712209018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24291] ppid=24283 vsize=10659088 memory=8099279071866868837 CPUtime=53.9 cores=1,3,5,7
/proc/24286/task/24291/stat : 24291 (java) R 24283 24286 22004 0 -1 4202560 168621 0 0 0 5269 121 0 0 20 0 15 0 105534258 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266332740440 140266712747760 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24292] ppid=24283 vsize=10659088 memory=8302036 CPUtime=53.83 cores=1,3,5,7
/proc/24286/task/24292/stat : 24292 (java) R 24283 24286 22004 0 -1 4202560 182375 0 0 0 5251 132 0 0 20 0 15 0 105534258 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266331687328 140266712209048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24293] ppid=24283 vsize=10659088 memory=3848 CPUtime=20.02 cores=1,3,5,7
/proc/24286/task/24293/stat : 24293 (java) S 24283 24286 22004 0 -1 1077944384 26400 0 0 0 2000 2 0 0 20 0 15 0 105534260 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266220295360 140266727761621 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24294] ppid=24283 vsize=10659088 memory=2692 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24294/stat : 24294 (java) S 24283 24286 22004 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 105534260 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266219242848 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24295] ppid=24283 vsize=10659088 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24295/stat : 24295 (java) S 24283 24286 22004 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 105534260 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266218190464 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24296] ppid=24283 vsize=10659088 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24296/stat : 24296 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266217138768 140266727770011 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24297] ppid=24283 vsize=10659088 memory=2948 CPUtime=1.07 cores=1,3,5,7
/proc/24286/task/24297/stat : 24297 (java) S 24283 24286 22004 0 -1 1077944384 3842 0 0 0 107 0 0 0 20 0 15 0 105534263 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266216085616 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24298] ppid=24283 vsize=10659088 memory=8302036 CPUtime=1.01 cores=1,3,5,7
/proc/24286/task/24298/stat : 24298 (java) S 24283 24286 22004 0 -1 1077944384 2693 0 0 0 100 1 0 0 20 0 15 0 105534263 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266215032816 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24299] ppid=24283 vsize=10659088 memory=1408 CPUtime=0.43 cores=1,3,5,7
/proc/24286/task/24299/stat : 24299 (java) S 24283 24286 22004 0 -1 1077944384 4698 0 0 0 43 0 0 0 20 0 15 0 105534263 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266213980528 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24300] ppid=24283 vsize=10659088 memory=2680 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24300/stat : 24300 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266212927968 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24301] ppid=24283 vsize=10659088 memory=4481352 CPUtime=0.04 cores=1,3,5,7
/proc/24286/task/24301/stat : 24301 (java) S 24283 24286 22004 0 -1 1077944384 579 0 0 0 2 2 0 0 20 0 15 0 105534263 10914906112 2075509 33554432000 4194304 4196468 140735343762752 140266211875760 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
Current children cumulated CPU time: 252.35 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8302036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+90.476 s]
# the end of solver process 24286 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.499 s, system=5.66487 s
Solver just ended.
Dumping a history of the last processes samples
[startup+89.6016 s]
/proc/loadavg: 4.24 3.16 2.51 9/215 24377
/proc/meminfo: memFree=15112580/32770624 swapFree=67108860/67108860
[pid=24286] ppid=24283 vsize=10659088 memory=8302040 CPUtime=257.13 cores=1,3,5,7
/proc/24286/stat : 24286 (java) S 24283 24286 22004 0 -1 1077944320 775192 0 0 0 25154 559 0 0 20 0 15 0 105534257 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140735343745296 140266727751415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
/proc/24286/statm: 2664772 2075510 3163 1 0 2627263 0
[pid=24286/tid=24288] ppid=24283 vsize=10659088 memory=1296 CPUtime=13.93 cores=1,3,5,7
/proc/24286/task/24288/stat : 24288 (java) S 24283 24286 22004 0 -1 1077944384 42329 0 0 0 1366 27 0 0 20 0 15 0 105534257 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266731988384 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24289] ppid=24283 vsize=10659088 memory=8302024 CPUtime=55.19 cores=1,3,5,7
/proc/24286/task/24289/stat : 24289 (java) R 24283 24286 22004 0 -1 4202560 192021 0 0 0 5387 132 0 0 20 0 15 0 105534258 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266653825624 140266709304656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24290] ppid=24283 vsize=10659088 memory=8301144 CPUtime=55.23 cores=1,3,5,7
/proc/24286/task/24290/stat : 24290 (java) R 24283 24286 22004 0 -1 4202560 150117 0 0 0 5385 138 0 0 20 0 15 0 105534258 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266333792728 140266709361030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24291] ppid=24283 vsize=10659088 memory=4028 CPUtime=55.08 cores=1,3,5,7
/proc/24286/task/24291/stat : 24291 (java) R 24283 24286 22004 0 -1 4202560 168685 0 0 0 5387 121 0 0 20 0 15 0 105534258 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266332740440 140266712452103 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24292] ppid=24283 vsize=10659088 memory=30116 CPUtime=55.03 cores=1,3,5,7
/proc/24286/task/24292/stat : 24292 (java) R 24283 24286 22004 0 -1 4202560 182382 0 0 0 5371 132 0 0 20 0 15 0 105534258 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266331687328 140266712747796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24293] ppid=24283 vsize=10659088 memory=1296 CPUtime=20.02 cores=1,3,5,7
/proc/24286/task/24293/stat : 24293 (java) S 24283 24286 22004 0 -1 1077944384 26400 0 0 0 2000 2 0 0 20 0 15 0 105534260 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266220295360 140266727761621 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24294] ppid=24283 vsize=10659088 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24294/stat : 24294 (java) S 24283 24286 22004 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 105534260 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266219242848 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24295] ppid=24283 vsize=10659088 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24295/stat : 24295 (java) S 24283 24286 22004 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 105534260 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266218190464 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24296] ppid=24283 vsize=10659088 memory=30116 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24296/stat : 24296 (java) S 24283 24286 22004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266217138416 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24297] ppid=24283 vsize=10659088 memory=1296 CPUtime=1.07 cores=1,3,5,7
/proc/24286/task/24297/stat : 24297 (java) S 24283 24286 22004 0 -1 1077944384 3842 0 0 0 107 0 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266216085616 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24298] ppid=24283 vsize=10659088 memory=2424 CPUtime=1.01 cores=1,3,5,7
/proc/24286/task/24298/stat : 24298 (java) S 24283 24286 22004 0 -1 1077944384 2693 0 0 0 100 1 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266215032816 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24299] ppid=24283 vsize=10659088 memory=6791534058613427641 CPUtime=0.43 cores=1,3,5,7
/proc/24286/task/24299/stat : 24299 (java) S 24283 24286 22004 0 -1 1077944384 4698 0 0 0 43 0 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266213980528 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24300] ppid=24283 vsize=10659088 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24300/stat : 24300 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266212927968 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24301] ppid=24283 vsize=10659088 memory=1416 CPUtime=0.04 cores=1,3,5,7
/proc/24286/task/24301/stat : 24301 (java) S 24283 24286 22004 0 -1 1077944384 579 0 0 0 2 2 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266211875760 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
Current children cumulated CPU time: 257.13 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8302040 KiB
[startup+90.0007 s]*
/proc/loadavg: 4.24 3.16 2.51 6/215 24377
/proc/meminfo: memFree=15112580/32770624 swapFree=67108860/67108860
[pid=24286] ppid=24283 vsize=10659088 memory=8302040 CPUtime=258.72 cores=1,3,5,7
/proc/24286/stat : 24286 (java) S 24283 24286 22004 0 -1 1077944320 775192 0 0 0 25313 559 0 0 20 0 15 0 105534257 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140735343745296 140266727751415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
/proc/24286/statm: 2664772 2075510 3163 1 0 2627263 0
[pid=24286/tid=24288] ppid=24283 vsize=10659088 memory=6791534058613427641 CPUtime=13.93 cores=1,3,5,7
/proc/24286/task/24288/stat : 24288 (java) S 24283 24286 22004 0 -1 1077944384 42329 0 0 0 1366 27 0 0 20 0 15 0 105534257 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266731988384 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24289] ppid=24283 vsize=10659088 memory=4872558044660077418 CPUtime=55.59 cores=1,3,5,7
/proc/24286/task/24289/stat : 24289 (java) R 24283 24286 22004 0 -1 4202560 192021 0 0 0 5427 132 0 0 20 0 15 0 105534258 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266653825544 140266720379623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24290] ppid=24283 vsize=10659088 memory=5788 CPUtime=55.62 cores=1,3,5,7
/proc/24286/task/24290/stat : 24290 (java) R 24283 24286 22004 0 -1 4202560 150117 0 0 0 5424 138 0 0 20 0 15 0 105534258 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266333792648 140266720379623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24291] ppid=24283 vsize=10659088 memory=792 CPUtime=55.48 cores=1,3,5,7
/proc/24286/task/24291/stat : 24291 (java) R 24283 24286 22004 0 -1 4202560 168685 0 0 0 5427 121 0 0 20 0 15 0 105534258 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266332740360 140266720379623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24292] ppid=24283 vsize=10659088 memory=1228 CPUtime=55.44 cores=1,3,5,7
/proc/24286/task/24292/stat : 24292 (java) R 24283 24286 22004 0 -1 4202560 182382 0 0 0 5412 132 0 0 20 0 15 0 105534258 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266331687328 140266712747825 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24293] ppid=24283 vsize=10659088 memory=8302036 CPUtime=20.02 cores=1,3,5,7
/proc/24286/task/24293/stat : 24293 (java) S 24283 24286 22004 0 -1 1077944384 26400 0 0 0 2000 2 0 0 20 0 15 0 105534260 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266220295360 140266727761621 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24294] ppid=24283 vsize=10659088 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24294/stat : 24294 (java) S 24283 24286 22004 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 105534260 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266219242848 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24295] ppid=24283 vsize=10659088 memory=2692 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24295/stat : 24295 (java) S 24283 24286 22004 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 105534260 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266218190464 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24296] ppid=24283 vsize=10659088 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24296/stat : 24296 (java) S 24283 24286 22004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266217138416 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24297] ppid=24283 vsize=10659088 memory=1408 CPUtime=1.07 cores=1,3,5,7
/proc/24286/task/24297/stat : 24297 (java) S 24283 24286 22004 0 -1 1077944384 3842 0 0 0 107 0 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266216085376 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24298] ppid=24283 vsize=10659088 memory=2948 CPUtime=1.01 cores=1,3,5,7
/proc/24286/task/24298/stat : 24298 (java) S 24283 24286 22004 0 -1 1077944384 2693 0 0 0 100 1 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266215032864 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24299] ppid=24283 vsize=10659088 memory=8302036 CPUtime=0.43 cores=1,3,5,7
/proc/24286/task/24299/stat : 24299 (java) S 24283 24286 22004 0 -1 1077944384 4698 0 0 0 43 0 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266213980576 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24300] ppid=24283 vsize=10659088 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24300/stat : 24300 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266212927968 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24301] ppid=24283 vsize=10659088 memory=2680 CPUtime=0.04 cores=1,3,5,7
/proc/24286/task/24301/stat : 24301 (java) S 24283 24286 22004 0 -1 1077944384 579 0 0 0 2 2 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266211875760 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
Current children cumulated CPU time: 258.72 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8302040 KiB
[startup+90.4007 s]
/proc/loadavg: 4.24 3.16 2.51 6/215 24377
/proc/meminfo: memFree=15112580/32770624 swapFree=67108860/67108860
[pid=24286] ppid=24283 vsize=10659088 memory=8302040 CPUtime=260.08 cores=1,3,5,7
/proc/24286/stat : 24286 (java) S 24283 24286 22004 0 -1 1077944320 775213 0 0 0 25448 560 0 0 20 0 15 0 105534257 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140735343745296 140266727751415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
/proc/24286/statm: 2664772 2075510 3163 1 0 2627263 0
[pid=24286/tid=24288] ppid=24283 vsize=10659088 memory=6791534058613427641 CPUtime=13.93 cores=1,3,5,7
/proc/24286/task/24288/stat : 24288 (java) S 24283 24286 22004 0 -1 1077944384 42329 0 0 0 1366 27 0 0 20 0 15 0 105534257 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266731988384 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24289] ppid=24283 vsize=10659088 memory=1630 CPUtime=55.91 cores=1,3,5,7
/proc/24286/task/24289/stat : 24289 (java) S 24283 24286 22004 0 -1 1077944384 192021 0 0 0 5459 132 0 0 20 0 15 0 105534258 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266653825424 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24290] ppid=24283 vsize=10659088 memory=0 CPUtime=55.95 cores=1,3,5,7
/proc/24286/task/24290/stat : 24290 (java) S 24283 24286 22004 0 -1 1077944384 150117 0 0 0 5456 139 0 0 20 0 15 0 105534258 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266333792528 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24291] ppid=24283 vsize=10659088 memory=0 CPUtime=55.79 cores=1,3,5,7
/proc/24286/task/24291/stat : 24291 (java) S 24283 24286 22004 0 -1 1077944384 168685 0 0 0 5458 121 0 0 20 0 15 0 105534258 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266332740240 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24292] ppid=24283 vsize=10659088 memory=1840 CPUtime=55.78 cores=1,3,5,7
/proc/24286/task/24292/stat : 24292 (java) S 24283 24286 22004 0 -1 1077944384 182382 0 0 0 5446 132 0 0 20 0 15 0 105534258 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266331687440 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24293] ppid=24283 vsize=10659088 memory=1004 CPUtime=20.07 cores=1,3,5,7
/proc/24286/task/24293/stat : 24293 (java) R 24283 24286 22004 0 -1 4202560 26419 0 0 0 2005 2 0 0 20 0 15 0 105534260 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266220295248 140266706121595 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24294] ppid=24283 vsize=10659088 memory=12060 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24294/stat : 24294 (java) S 24283 24286 22004 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 105534260 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266219242848 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24295] ppid=24283 vsize=10659088 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24295/stat : 24295 (java) S 24283 24286 22004 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 105534260 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266218190464 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24296] ppid=24283 vsize=10659088 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24296/stat : 24296 (java) S 24283 24286 22004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266217138416 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24297] ppid=24283 vsize=10659088 memory=8508 CPUtime=1.07 cores=1,3,5,7
/proc/24286/task/24297/stat : 24297 (java) S 24283 24286 22004 0 -1 1077944384 3842 0 0 0 107 0 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266216085376 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24298] ppid=24283 vsize=10659088 memory=1624 CPUtime=1.01 cores=1,3,5,7
/proc/24286/task/24298/stat : 24298 (java) S 24283 24286 22004 0 -1 1077944384 2693 0 0 0 100 1 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266215032864 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24299] ppid=24283 vsize=10659088 memory=1200 CPUtime=0.43 cores=1,3,5,7
/proc/24286/task/24299/stat : 24299 (java) S 24283 24286 22004 0 -1 1077944384 4698 0 0 0 43 0 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266213980576 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24300] ppid=24283 vsize=10659088 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/24286/task/24300/stat : 24300 (java) S 24283 24286 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266212927968 140266727761621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
[pid=24286/tid=24301] ppid=24283 vsize=10659088 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/24286/task/24301/stat : 24301 (java) S 24283 24286 22004 0 -1 1077944384 581 0 0 0 2 2 0 0 20 0 15 0 105534263 10914906112 2075510 33554432000 4194304 4196468 140735343762752 140266211875760 140266727762562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12509184 140735343764598 140735343764750 140735343764750 140735343767503 0
Current children cumulated CPU time: 260.08 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8302040 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 90.4761
CPU time (s): 260.164
CPU user time (s): 254.499
CPU system time (s): 5.66487
CPU usage (%): 287.55
Max. virtual memory (cumulated for all children) (KiB): 10659088
Max. memory (cumulated for all children) (KiB): 8302040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.499
system time used= 5.66487
maximum resident set size= 8302296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 775219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6471
involuntary context switches= 3853
# summary of solver processes directly reported to runsolver:
# pid: 24286
# total CPU time (s): 260.164
# total CPU user time (s): 254.499
# total CPU system time (s): 5.66487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.542047 second user time and 0.930459 second system time
The end