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 (8552 MiB free)
memory of node 1: 16384 MiB (9213 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290145-1532212199/watcher-4290145-1532212199 -o /tmp/evaluation-result-4290145-1532212199/solver-4290145-1532212199 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532209720-26949 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290145-1532212199.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
solver pid=27450, runsolver pid=27447
[startup+0.100129 s]*
/proc/loadavg: 1.95 2.02 1.99 3/216 27465
/proc/meminfo: memFree=18174748/32770624 swapFree=67108860/67108860
[pid=27450] ppid=27447 vsize=10659012 memory=30188 CPUtime=0.13 cores=1,3,5,7
/proc/27450/stat : 27450 (java) S 27447 27450 24561 0 -1 1077944320 6628 0 0 0 11 2 0 0 20 0 15 0 38783073 10914828288 7547 33554432000 4194304 4196468 140730802007680 140730801990224 140233676406519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
/proc/27450/statm: 2664753 7547 2823 1 0 2627263 0
[pid=27450/tid=27452] ppid=27447 vsize=10659012 memory=-8773748148830243970 CPUtime=0.09 cores=1,3,5,7
/proc/27450/task/27452/stat : 27452 (java) R 27447 27450 24561 0 -1 4202560 4456 0 0 0 8 1 0 0 20 0 15 0 38783073 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233680627648 140233660487006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27453] ppid=27447 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27453/stat : 27453 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783074 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233283546000 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27454] ppid=27447 vsize=10659012 memory=140147657918080 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27454/stat : 27454 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783074 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233282493200 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27455] ppid=27447 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27455/stat : 27455 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783074 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233281440912 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27456] ppid=27447 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27456/stat : 27456 (java) S 27447 27450 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38783074 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233280388112 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27457] ppid=27447 vsize=10659012 memory=140147657918080 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27457/stat : 27457 (java) S 27447 27450 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38783075 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233236113520 140233676417666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27458] ppid=27447 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27458/stat : 27458 (java) S 27447 27450 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38783076 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233235059488 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27459] ppid=27447 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27459/stat : 27459 (java) S 27447 27450 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38783076 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233234007152 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27460] ppid=27447 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27460/stat : 27460 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38783078 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233165236304 140233676425115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27461] ppid=27447 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27461/stat : 27461 (java) S 27447 27450 24561 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 38783078 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233164184176 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27462] ppid=27447 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27462/stat : 27462 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783078 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233163131376 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27463] ppid=27447 vsize=10659012 memory=140147657918080 CPUtime=0.02 cores=1,3,5,7
/proc/27450/task/27463/stat : 27463 (java) S 27447 27450 24561 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 38783078 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233162079088 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27464] ppid=27447 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27464/stat : 27464 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38783078 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233161026528 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27465] ppid=27447 vsize=10659012 memory=140147657918080 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27465/stat : 27465 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783078 10914828288 7547 33554432000 4194304 4196468 140730802007680 140233159973296 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30188 KiB
[startup+0.210648 s]*
/proc/loadavg: 1.95 2.02 1.99 4/216 27465
/proc/meminfo: memFree=18163480/32770624 swapFree=67108860/67108860
[pid=27450] ppid=27447 vsize=10659012 memory=41884 CPUtime=0.34 cores=1,3,5,7
/proc/27450/stat : 27450 (java) S 27447 27450 24561 0 -1 1077944320 8127 0 0 0 32 2 0 0 20 0 15 0 38783073 10914828288 10471 33554432000 4194304 4196468 140730802007680 140730801990224 140233676406519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
/proc/27450/statm: 2664753 10471 3003 1 0 2627263 0
[pid=27450/tid=27452] ppid=27447 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27450/task/27452/stat : 27452 (java) R 27447 27450 24561 0 -1 4202560 5043 0 0 0 19 1 0 0 20 0 15 0 38783073 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233680642784 140233660487006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27453] ppid=27447 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27453/stat : 27453 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783074 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233283546000 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27454] ppid=27447 vsize=10659012 memory=288370523809629824 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27454/stat : 27454 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783074 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233282493200 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27455] ppid=27447 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27455/stat : 27455 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783074 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233281440912 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27456] ppid=27447 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27456/stat : 27456 (java) S 27447 27450 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38783074 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233280388112 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27457] ppid=27447 vsize=10659012 memory=140147657918080 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27457/stat : 27457 (java) S 27447 27450 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38783075 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233236113520 140233676417666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27458] ppid=27447 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27458/stat : 27458 (java) S 27447 27450 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38783076 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233235059488 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27459] ppid=27447 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27459/stat : 27459 (java) S 27447 27450 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38783076 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233234007152 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27460] ppid=27447 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27460/stat : 27460 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38783078 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233165236304 140233676425115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27461] ppid=27447 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27450/task/27461/stat : 27461 (java) S 27447 27450 24561 0 -1 1077944384 766 0 0 0 2 0 0 0 20 0 15 0 38783078 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233164184176 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27462] ppid=27447 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27450/task/27462/stat : 27462 (java) S 27447 27450 24561 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 15 0 38783078 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233163131376 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27463] ppid=27447 vsize=10659012 memory=140147657918080 CPUtime=0.08 cores=1,3,5,7
/proc/27450/task/27463/stat : 27463 (java) R 27447 27450 24561 0 -1 4202560 712 0 0 0 8 0 0 0 20 0 15 0 38783078 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233162079088 140233660571762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27464] ppid=27447 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27464/stat : 27464 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38783078 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233161026528 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27465] ppid=27447 vsize=10659012 memory=140147657918080 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27465/stat : 27465 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783078 10914828288 10471 33554432000 4194304 4196468 140730802007680 140233159973296 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41884 KiB
[startup+0.310587 s]*
/proc/loadavg: 1.95 2.02 1.99 4/216 27465
/proc/meminfo: memFree=18156408/32770624 swapFree=67108860/67108860
[pid=27450] ppid=27447 vsize=10659088 memory=47524 CPUtime=0.53 cores=1,3,5,7
/proc/27450/stat : 27450 (java) S 27447 27450 24561 0 -1 1077944320 8966 0 0 0 51 2 0 0 20 0 15 0 38783073 10914906112 11881 33554432000 4194304 4196468 140730802007680 140730801990224 140233676406519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
/proc/27450/statm: 2664772 11881 3046 1 0 2627263 0
[pid=27450/tid=27452] ppid=27447 vsize=10659088 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/27450/task/27452/stat : 27452 (java) R 27447 27450 24561 0 -1 4202560 5669 0 0 0 28 1 0 0 20 0 15 0 38783073 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233680642352 140233676418454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27453] ppid=27447 vsize=10659088 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27453/stat : 27453 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783074 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233283546000 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27454] ppid=27447 vsize=10659088 memory=288370523809629824 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27454/stat : 27454 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783074 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233282493200 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27455] ppid=27447 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27455/stat : 27455 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783074 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233281440912 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27456] ppid=27447 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27456/stat : 27456 (java) S 27447 27450 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38783074 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233280388112 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27457] ppid=27447 vsize=10659088 memory=140147657918080 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27457/stat : 27457 (java) S 27447 27450 24561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38783075 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233236113520 140233676417666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27458] ppid=27447 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27458/stat : 27458 (java) S 27447 27450 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38783076 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233235059488 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27459] ppid=27447 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27459/stat : 27459 (java) S 27447 27450 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38783076 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233234007152 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27460] ppid=27447 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27460/stat : 27460 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38783078 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233165236304 140233676425115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27461] ppid=27447 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27450/task/27461/stat : 27461 (java) S 27447 27450 24561 0 -1 1077944384 785 0 0 0 4 0 0 0 20 0 15 0 38783078 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233164184176 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27462] ppid=27447 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/27450/task/27462/stat : 27462 (java) S 27447 27450 24561 0 -1 1077944384 356 0 0 0 4 0 0 0 20 0 15 0 38783078 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233163131376 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27463] ppid=27447 vsize=10659088 memory=140147657918080 CPUtime=0.13 cores=1,3,5,7
/proc/27450/task/27463/stat : 27463 (java) R 27447 27450 24561 0 -1 4202560 790 0 0 0 13 0 0 0 20 0 15 0 38783078 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233162079088 140233654772908 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27464] ppid=27447 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27464/stat : 27464 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38783078 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233161026528 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27465] ppid=27447 vsize=10659088 memory=140147657918080 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27465/stat : 27465 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783078 10914906112 11881 33554432000 4194304 4196468 140730802007680 140233159973296 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47524 KiB
[startup+0.700841 s]
/proc/loadavg: 1.95 2.02 1.99 5/216 27465
/proc/meminfo: memFree=18123896/32770624 swapFree=67108860/67108860
[pid=27450] ppid=27447 vsize=10661136 memory=219692 CPUtime=1.7 cores=1,3,5,7
/proc/27450/stat : 27450 (java) S 27447 27450 24561 0 -1 1077944320 11290 0 0 0 161 9 0 0 20 0 15 0 38783073 10917003264 54411 33554432000 4194304 4196468 140730802007680 140730801990224 140233676406519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
/proc/27450/statm: 2665284 54923 3108 1 0 2627775 0
[pid=27450/tid=27452] ppid=27447 vsize=10661136 memory=1728 CPUtime=0.63 cores=1,3,5,7
/proc/27450/task/27452/stat : 27452 (java) S 27447 27450 24561 0 -1 1077944384 6113 0 0 0 59 4 0 0 20 0 15 0 38783073 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233680642352 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27453] ppid=27447 vsize=10661136 memory=1004 CPUtime=0.04 cores=1,3,5,7
/proc/27450/task/27453/stat : 27453 (java) R 27447 27450 24561 0 -1 4202560 36 0 0 0 3 1 0 0 20 0 15 0 38783074 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233283546000 140233661434393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27454] ppid=27447 vsize=10661136 memory=11956 CPUtime=0.03 cores=1,3,5,7
/proc/27450/task/27454/stat : 27454 (java) R 27447 27450 24561 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 15 0 38783074 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233282493400 140233661434393 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27455] ppid=27447 vsize=10661136 memory=5520 CPUtime=0.03 cores=1,3,5,7
/proc/27450/task/27455/stat : 27455 (java) R 27447 27450 24561 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 15 0 38783074 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233281440800 140233661434393 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27456] ppid=27447 vsize=10661136 memory=792 CPUtime=0.02 cores=1,3,5,7
/proc/27450/task/27456/stat : 27456 (java) R 27447 27450 24561 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 15 0 38783074 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233280385920 140233661434393 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27457] ppid=27447 vsize=10661136 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27457/stat : 27457 (java) S 27447 27450 24561 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 38783075 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233236112032 140233676416725 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27458] ppid=27447 vsize=10661136 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27458/stat : 27458 (java) S 27447 27450 24561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38783076 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233235059488 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27459] ppid=27447 vsize=10661136 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27459/stat : 27459 (java) S 27447 27450 24561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38783076 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233234007152 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27460] ppid=27447 vsize=10661136 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27460/stat : 27460 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38783078 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233165236304 140233676425115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27461] ppid=27447 vsize=10661136 memory=7163631965283378496 CPUtime=0.29 cores=1,3,5,7
/proc/27450/task/27461/stat : 27461 (java) S 27447 27450 24561 0 -1 1077944384 1346 0 0 0 29 0 0 0 20 0 15 0 38783078 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233164169168 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27462] ppid=27447 vsize=10661136 memory=6083353102074538087 CPUtime=0.31 cores=1,3,5,7
/proc/27450/task/27462/stat : 27462 (java) S 27447 27450 24561 0 -1 1077944384 1003 0 0 0 31 0 0 0 20 0 15 0 38783078 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233163116368 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27463] ppid=27447 vsize=10661136 memory=7295946094789283920 CPUtime=0.28 cores=1,3,5,7
/proc/27450/task/27463/stat : 27463 (java) S 27447 27450 24561 0 -1 1077944384 1353 0 0 0 28 0 0 0 20 0 15 0 38783078 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233162079088 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27464] ppid=27447 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27464/stat : 27464 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38783078 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233161026528 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27465] ppid=27447 vsize=10661136 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27465/stat : 27465 (java) S 27447 27450 24561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38783078 10917003264 54923 33554432000 4194304 4196468 140730802007680 140233159973296 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 219692 KiB
[startup+1.50083 s]
/proc/loadavg: 1.95 2.02 1.99 3/216 27465
/proc/meminfo: memFree=17877704/32770624 swapFree=67108860/67108860
[pid=27450] ppid=27447 vsize=10661136 memory=615904 CPUtime=3.64 cores=1,3,5,7
/proc/27450/stat : 27450 (java) S 27447 27450 24561 0 -1 1077944320 12958 0 0 0 324 40 0 0 20 0 15 0 38783073 10917003264 153976 33554432000 4194304 4196468 140730802007680 140730801990224 140233676406519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
/proc/27450/statm: 2665284 153976 3142 1 0 2627775 0
[pid=27450/tid=27452] ppid=27447 vsize=10661136 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/27450/task/27452/stat : 27452 (java) S 27447 27450 24561 0 -1 1077944384 6180 0 0 0 100 5 0 0 20 0 15 0 38783073 10917003264 153976 33554432000 4194304 4196468 140730802007680 140233680641104 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27453] ppid=27447 vsize=10661136 memory=-6951259422114956437 CPUtime=0.41 cores=1,3,5,7
/proc/27450/task/27453/stat : 27453 (java) R 27447 27450 24561 0 -1 4202560 468 0 0 0 33 8 0 0 20 0 15 0 38783074 10917003264 153976 33554432000 4194304 4196468 140730802007680 140233283546000 140233661391815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27454] ppid=27447 vsize=10661136 memory=-6509546260019855295 CPUtime=0.41 cores=1,3,5,7
/proc/27450/task/27454/stat : 27454 (java) R 27447 27450 24561 0 -1 4202560 401 0 0 0 33 8 0 0 20 0 15 0 38783074 10917003264 153976 33554432000 4194304 4196468 140730802007680 140233282493400 140233658003272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27455] ppid=27447 vsize=10661136 memory=-7390251449858225344 CPUtime=0.41 cores=1,3,5,7
/proc/27450/task/27455/stat : 27455 (java) R 27447 27450 24561 0 -1 4202560 349 0 0 0 33 8 0 0 20 0 15 0 38783074 10917003264 153976 33554432000 4194304 4196468 140730802007680 140233281440800 140233658003046 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27456] ppid=27447 vsize=10661136 memory=-7096649868621430206 CPUtime=0.39 cores=1,3,5,7
/proc/27450/task/27456/stat : 27456 (java) R 27447 27450 24561 0 -1 4202560 259 0 0 0 32 7 0 0 20 0 15 0 38783074 10917003264 153976 33554432000 4194304 4196468 140730802007680 140233280388312 140233657960144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27457] ppid=27447 vsize=10661136 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27457/stat : 27457 (java) S 27447 27450 24561 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 38783075 10917003264 153976 33554432000 4194304 4196468 140730802007680 140233236111840 140233676416725 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
################
# More data... #
################
/proc/27450/task/27458/stat : 27458 (java) S 27447 27450 24561 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 38783076 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233235059552 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27459] ppid=27447 vsize=10727700 memory=5369724 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27459/stat : 27459 (java) S 27447 27450 24561 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 38783076 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233234007168 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27460] ppid=27447 vsize=10727700 memory=5369724 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27460/stat : 27460 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38783078 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233165236304 140233676425115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27461] ppid=27447 vsize=10727700 memory=5369724 CPUtime=1.75 cores=1,3,5,7
/proc/27450/task/27461/stat : 27461 (java) S 27447 27450 24561 0 -1 1077944384 13030 0 0 0 174 1 0 0 20 0 16 0 38783078 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233164184176 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27462] ppid=27447 vsize=10727700 memory=4028 CPUtime=1.15 cores=1,3,5,7
/proc/27450/task/27462/stat : 27462 (java) S 27447 27450 24561 0 -1 1077944384 6565 0 0 0 114 1 0 0 20 0 16 0 38783078 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233163131376 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27463] ppid=27447 vsize=10727700 memory=916 CPUtime=0.41 cores=1,3,5,7
/proc/27450/task/27463/stat : 27463 (java) S 27447 27450 24561 0 -1 1077944384 4431 0 0 0 40 1 0 0 20 0 16 0 38783078 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233162079088 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27464] ppid=27447 vsize=10727700 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27464/stat : 27464 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38783078 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233161026528 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27465] ppid=27447 vsize=10727700 memory=5369724 CPUtime=1.35 cores=1,3,5,7
/proc/27450/task/27465/stat : 27465 (java) S 27447 27450 24561 0 -1 1077944384 2168 0 0 0 56 79 0 0 20 0 16 0 38783078 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233159973296 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27474] ppid=27447 vsize=10727700 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27474/stat : 27474 (java) S 27447 27450 24561 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 38784582 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233156821680 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
Current children cumulated CPU time: 2378.39 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 5369724 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2343.9 s]
/proc/loadavg: 2.00 1.99 2.00 3/217 27649
/proc/meminfo: memFree=15018136/32770624 swapFree=67108860/67108860
[pid=27450] ppid=27447 vsize=10727700 memory=5369724 CPUtime=2400.01 cores=1,3,5,7
/proc/27450/stat : 27450 (java) S 27447 27450 24561 0 -1 1077944320 330989 0 0 0 239461 540 0 0 20 0 16 0 38783073 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140730801990224 140233676406519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
/proc/27450/statm: 2681925 1342431 3180 1 0 2644416 0
[pid=27450/tid=27452] ppid=27447 vsize=10727700 memory=5369724 CPUtime=2320.59 cores=1,3,5,7
/proc/27450/task/27452/stat : 27452 (java) R 27447 27450 24561 0 -1 4202560 237774 0 0 0 232026 33 0 0 20 0 16 0 38783073 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233680645472 140233315164947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27453] ppid=27447 vsize=10727700 memory=5369724 CPUtime=17.21 cores=1,3,5,7
/proc/27450/task/27453/stat : 27453 (java) S 27447 27450 24561 0 -1 1077944384 14322 0 0 0 1612 109 0 0 20 0 16 0 38783074 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233283546000 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27454] ppid=27447 vsize=10727700 memory=5369724 CPUtime=17.29 cores=1,3,5,7
/proc/27450/task/27454/stat : 27454 (java) S 27447 27450 24561 0 -1 1077944384 8795 0 0 0 1624 105 0 0 20 0 16 0 38783074 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233282493200 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27455] ppid=27447 vsize=10727700 memory=5369724 CPUtime=17.12 cores=1,3,5,7
/proc/27450/task/27455/stat : 27455 (java) S 27447 27450 24561 0 -1 1077944384 14276 0 0 0 1606 106 0 0 20 0 16 0 38783074 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233281440912 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27456] ppid=27447 vsize=10727700 memory=5369724 CPUtime=17.28 cores=1,3,5,7
/proc/27450/task/27456/stat : 27456 (java) S 27447 27450 24561 0 -1 1077944384 13813 0 0 0 1619 109 0 0 20 0 16 0 38783074 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233280388112 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27457] ppid=27447 vsize=10727700 memory=5369724 CPUtime=5.76 cores=1,3,5,7
/proc/27450/task/27457/stat : 27457 (java) S 27447 27450 24561 0 -1 1077944384 14395 0 0 0 572 4 0 0 20 0 16 0 38783075 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233236113520 140233676417666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27458] ppid=27447 vsize=10727700 memory=5369724 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27458/stat : 27458 (java) S 27447 27450 24561 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 38783076 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233235059552 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27459] ppid=27447 vsize=10727700 memory=5369724 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27459/stat : 27459 (java) S 27447 27450 24561 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 38783076 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233234007168 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27460] ppid=27447 vsize=10727700 memory=5369724 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27460/stat : 27460 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38783078 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233165236304 140233676425115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27461] ppid=27447 vsize=10727700 memory=1424 CPUtime=1.75 cores=1,3,5,7
/proc/27450/task/27461/stat : 27461 (java) S 27447 27450 24561 0 -1 1077944384 13030 0 0 0 174 1 0 0 20 0 16 0 38783078 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233164184176 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27462] ppid=27447 vsize=10727700 memory=4612 CPUtime=1.15 cores=1,3,5,7
/proc/27450/task/27462/stat : 27462 (java) S 27447 27450 24561 0 -1 1077944384 6565 0 0 0 114 1 0 0 20 0 16 0 38783078 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233163131376 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27463] ppid=27447 vsize=10727700 memory=6791534058613427641 CPUtime=0.41 cores=1,3,5,7
/proc/27450/task/27463/stat : 27463 (java) S 27447 27450 24561 0 -1 1077944384 4431 0 0 0 40 1 0 0 20 0 16 0 38783078 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233162079088 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27464] ppid=27447 vsize=10727700 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27464/stat : 27464 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38783078 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233161026528 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27465] ppid=27447 vsize=10727700 memory=5369724 CPUtime=1.36 cores=1,3,5,7
/proc/27450/task/27465/stat : 27465 (java) S 27447 27450 24561 0 -1 1077944384 2168 0 0 0 57 79 0 0 20 0 16 0 38783078 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233159973296 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27474] ppid=27447 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27474/stat : 27474 (java) S 27447 27450 24561 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 38784582 10985164800 1342431 33554432000 4194304 4196468 140730802007680 140233156821680 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 5369724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2344.18 s]
# the end of solver process 27450 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2394.68 s, system=5.42734 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2344.01 s]*
/proc/loadavg: 2.00 1.99 2.00 2/218 27652
/proc/meminfo: memFree=15015824/32770624 swapFree=67108860/67108860
[pid=27450] ppid=27447 vsize=10927392 memory=5370056 CPUtime=2400.02 cores=1,3,5,7
/proc/27450/stat : 27450 (java) S 27447 27450 24561 0 -1 1077944320 331842 0 0 0 239462 540 0 0 20 0 17 0 38783073 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140730801990224 140233676406519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
/proc/27450/statm: 2731848 1342514 3182 1 0 2694339 0
[pid=27450/tid=27452] ppid=27447 vsize=10927392 memory=6791534058613427641 CPUtime=2320.6 cores=1,3,5,7
/proc/27450/task/27452/stat : 27452 (java) S 27447 27450 24561 0 -1 1077944384 237836 0 0 0 232027 33 0 0 20 0 17 0 38783073 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233680649392 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27453] ppid=27447 vsize=10927392 memory=13840 CPUtime=17.21 cores=1,3,5,7
/proc/27450/task/27453/stat : 27453 (java) S 27447 27450 24561 0 -1 1077944384 14322 0 0 0 1612 109 0 0 20 0 17 0 38783074 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233283546000 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27454] ppid=27447 vsize=10927392 memory=1296 CPUtime=17.29 cores=1,3,5,7
/proc/27450/task/27454/stat : 27454 (java) S 27447 27450 24561 0 -1 1077944384 8795 0 0 0 1624 105 0 0 20 0 17 0 38783074 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233282493200 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27455] ppid=27447 vsize=10927392 memory=2428 CPUtime=17.12 cores=1,3,5,7
/proc/27450/task/27455/stat : 27455 (java) S 27447 27450 24561 0 -1 1077944384 14276 0 0 0 1606 106 0 0 20 0 17 0 38783074 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233281440912 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27456] ppid=27447 vsize=10927392 memory=5369724 CPUtime=17.28 cores=1,3,5,7
/proc/27450/task/27456/stat : 27456 (java) S 27447 27450 24561 0 -1 1077944384 13813 0 0 0 1619 109 0 0 20 0 17 0 38783074 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233280388112 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27457] ppid=27447 vsize=10927392 memory=1004 CPUtime=5.76 cores=1,3,5,7
/proc/27450/task/27457/stat : 27457 (java) S 27447 27450 24561 0 -1 1077944384 14433 0 0 0 572 4 0 0 20 0 17 0 38783075 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233236113520 140233676417666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27458] ppid=27447 vsize=10927392 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27458/stat : 27458 (java) S 27447 27450 24561 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 38783076 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233235059552 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27459] ppid=27447 vsize=10927392 memory=11956 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27459/stat : 27459 (java) S 27447 27450 24561 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 17 0 38783076 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233234007168 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27460] ppid=27447 vsize=10927392 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27460/stat : 27460 (java) S 27447 27450 24561 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 17 0 38783078 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233165236304 140233676425115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27461] ppid=27447 vsize=10927392 memory=792 CPUtime=1.75 cores=1,3,5,7
/proc/27450/task/27461/stat : 27461 (java) S 27447 27450 24561 0 -1 1077944384 13030 0 0 0 174 1 0 0 20 0 17 0 38783078 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233164184176 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27462] ppid=27447 vsize=10927392 memory=1228 CPUtime=1.15 cores=1,3,5,7
/proc/27450/task/27462/stat : 27462 (java) S 27447 27450 24561 0 -1 1077944384 6565 0 0 0 114 1 0 0 20 0 17 0 38783078 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233163131376 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27463] ppid=27447 vsize=10927392 memory=6791534058613427641 CPUtime=0.41 cores=1,3,5,7
/proc/27450/task/27463/stat : 27463 (java) S 27447 27450 24561 0 -1 1077944384 4535 0 0 0 40 1 0 0 20 0 17 0 38783078 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233162079088 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27464] ppid=27447 vsize=10927392 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27464/stat : 27464 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38783078 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233161026528 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27465] ppid=27447 vsize=10927392 memory=2428 CPUtime=1.36 cores=1,3,5,7
/proc/27450/task/27465/stat : 27465 (java) S 27447 27450 24561 0 -1 1077944384 2168 0 0 0 57 79 0 0 20 0 17 0 38783078 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233159973296 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27650] ppid=27447 vsize=10927392 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27650/stat : 27650 (java) S 27447 27450 24561 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 17 0 39017463 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233155768688 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27651] ppid=27447 vsize=10927392 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27651/stat : 27651 (java) S 27447 27450 24561 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 17 0 39017463 11189649408 1342514 33554432000 4194304 4196468 140730802007680 140233154716816 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 5370056 KiB
[startup+2344.11 s]
/proc/loadavg: 2.00 1.99 2.00 2/218 27652
/proc/meminfo: memFree=15015824/32770624 swapFree=67108860/67108860
[pid=27450] ppid=27447 vsize=10927392 memory=5370072 CPUtime=2400.03 cores=1,3,5,7
/proc/27450/stat : 27450 (java) S 27447 27450 24561 0 -1 1077944320 332364 0 0 0 239463 540 0 0 20 0 17 0 38783073 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140730801990224 140233676406519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
/proc/27450/statm: 2731848 1342518 3183 1 0 2694339 0
[pid=27450/tid=27452] ppid=27447 vsize=10927392 memory=5369724 CPUtime=2320.6 cores=1,3,5,7
/proc/27450/task/27452/stat : 27452 (java) S 27447 27450 24561 0 -1 1077944384 237836 0 0 0 232027 33 0 0 20 0 17 0 38783073 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233680649392 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27453] ppid=27447 vsize=10927392 memory=5369724 CPUtime=17.21 cores=1,3,5,7
/proc/27450/task/27453/stat : 27453 (java) S 27447 27450 24561 0 -1 1077944384 14322 0 0 0 1612 109 0 0 20 0 17 0 38783074 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233283546000 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27454] ppid=27447 vsize=10927392 memory=5369724 CPUtime=17.29 cores=1,3,5,7
/proc/27450/task/27454/stat : 27454 (java) S 27447 27450 24561 0 -1 1077944384 8795 0 0 0 1624 105 0 0 20 0 17 0 38783074 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233282493200 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27455] ppid=27447 vsize=10927392 memory=5369724 CPUtime=17.12 cores=1,3,5,7
/proc/27450/task/27455/stat : 27455 (java) S 27447 27450 24561 0 -1 1077944384 14276 0 0 0 1606 106 0 0 20 0 17 0 38783074 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233281440912 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27456] ppid=27447 vsize=10927392 memory=5369724 CPUtime=17.28 cores=1,3,5,7
/proc/27450/task/27456/stat : 27456 (java) S 27447 27450 24561 0 -1 1077944384 13813 0 0 0 1619 109 0 0 20 0 17 0 38783074 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233280388112 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27457] ppid=27447 vsize=10927392 memory=5369724 CPUtime=5.76 cores=1,3,5,7
/proc/27450/task/27457/stat : 27457 (java) S 27447 27450 24561 0 -1 1077944384 14433 0 0 0 572 4 0 0 20 0 17 0 38783075 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233236113520 140233676417666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27458] ppid=27447 vsize=10927392 memory=5369724 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27458/stat : 27458 (java) S 27447 27450 24561 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 38783076 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233235059552 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27459] ppid=27447 vsize=10927392 memory=5369724 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27459/stat : 27459 (java) S 27447 27450 24561 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 17 0 38783076 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233234007168 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27460] ppid=27447 vsize=10927392 memory=5369724 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27460/stat : 27460 (java) S 27447 27450 24561 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 17 0 38783078 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233165236304 140233676425115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27461] ppid=27447 vsize=10927392 memory=6791534058613427641 CPUtime=1.75 cores=1,3,5,7
/proc/27450/task/27461/stat : 27461 (java) S 27447 27450 24561 0 -1 1077944384 13209 0 0 0 174 1 0 0 20 0 17 0 38783078 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233164184176 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27462] ppid=27447 vsize=10927392 memory=5520 CPUtime=1.15 cores=1,3,5,7
/proc/27450/task/27462/stat : 27462 (java) S 27447 27450 24561 0 -1 1077944384 6565 0 0 0 114 1 0 0 20 0 17 0 38783078 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233163131376 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27463] ppid=27447 vsize=10927392 memory=5369724 CPUtime=0.41 cores=1,3,5,7
/proc/27450/task/27463/stat : 27463 (java) R 27447 27450 24561 0 -1 4202560 4749 0 0 0 40 1 0 0 20 0 17 0 38783078 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233162079216 140233660729856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27464] ppid=27447 vsize=10927392 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27464/stat : 27464 (java) S 27447 27450 24561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38783078 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233161026528 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27465] ppid=27447 vsize=10927392 memory=1424 CPUtime=1.36 cores=1,3,5,7
/proc/27450/task/27465/stat : 27465 (java) S 27447 27450 24561 0 -1 1077944384 2168 0 0 0 57 79 0 0 20 0 17 0 38783078 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233159973296 140233676417666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27650] ppid=27447 vsize=10927392 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27650/stat : 27650 (java) S 27447 27450 24561 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 17 0 39017463 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233155768688 140233676416725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
[pid=27450/tid=27651] ppid=27447 vsize=10927392 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/27450/task/27651/stat : 27651 (java) R 27447 27450 24561 0 -1 4202560 311 0 0 0 0 0 0 0 20 0 17 0 39017463 11189649408 1342518 33554432000 4194304 4196468 140730802007680 140233154716816 140233314168522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9465856 140730802009201 140730802009353 140730802009353 140730802012111 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 5370072 KiB
Child status: 143
Real time (s): 2344.18
CPU time (s): 2400.11
CPU user time (s): 2394.68
CPU system time (s): 5.42734
CPU usage (%): 102.386
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 5370072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.68
system time used= 5.42734
maximum resident set size= 5370388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54131
involuntary context switches= 1466
# summary of solver processes directly reported to runsolver:
# pid: 27450
# total CPU time (s): 2400.11
# total CPU user time (s): 2394.68
# total CPU system time (s): 5.42734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1148 second user time and 18.105 second system time
The end