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 (6256 MiB free)
memory of node 1: 16384 MiB (14172 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258232-1502637075/watcher-4258232-1502637075 -o /tmp/evaluation-result-4258232-1502637075/solver-4258232-1502637075 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502635870-2901 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258232-1502637075.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
Current StackSize limit: 8192 KiB
solver pid=3481, runsolver pid=3478
[startup+0.100113 s]*
/proc/loadavg: 4.69 3.56 2.56 7/215 3496
/proc/meminfo: memFree=20900536/32770624 swapFree=67108860/67108860
[pid=3481] ppid=3478 vsize=10555400 memory=30244 CPUtime=0.12 cores=1,3,5,7
/proc/3481/stat : 3481 (java) S 3478 3481 31794 0 -1 1077944320 6673 0 0 0 11 1 0 0 20 0 15 0 96795625 10808729600 7561 33554432000 4194304 4196468 140726750171856 140726750154400 139775880548087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
/proc/3481/statm: 2638850 7561 2787 1 0 2627263 0
[pid=3481/tid=3483] ppid=3478 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/3481/task/3483/stat : 3483 (java) R 3478 3481 31794 0 -1 4202560 4535 0 0 0 8 1 0 0 20 0 15 0 96795625 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775884736432 139775864628574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3484] ppid=3478 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3484/stat : 3484 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795626 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775822552080 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3485] ppid=3478 vsize=10555400 memory=139661962258048 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3485/stat : 3485 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795626 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775821499536 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3486] ppid=3478 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3486/stat : 3486 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795626 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775820446480 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3487] ppid=3478 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3487/stat : 3487 (java) S 3478 3481 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96795626 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775819393936 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3488] ppid=3478 vsize=10555400 memory=139661962258048 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3488/stat : 3488 (java) S 3478 3481 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96795627 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775373150448 139775880559234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3489] ppid=3478 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3489/stat : 3489 (java) S 3478 3481 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96795628 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775372096672 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3490] ppid=3478 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3490/stat : 3490 (java) S 3478 3481 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96795628 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775371043568 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3491] ppid=3478 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3491/stat : 3491 (java) S 3478 3481 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96795630 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775369992144 139775880566683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3492] ppid=3478 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3492/stat : 3492 (java) S 3478 3481 31794 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 96795630 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775368940272 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3493] ppid=3478 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3493/stat : 3493 (java) S 3478 3481 31794 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 96795630 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775367887728 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3494] ppid=3478 vsize=10555400 memory=139661962258048 CPUtime=0.02 cores=1,3,5,7
/proc/3481/task/3494/stat : 3494 (java) S 3478 3481 31794 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 15 0 96795630 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775366834672 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3495] ppid=3478 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3495/stat : 3495 (java) S 3478 3481 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96795630 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775365782368 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3496] ppid=3478 vsize=10555400 memory=139661962258048 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3496/stat : 3496 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795631 10808729600 7561 33554432000 4194304 4196468 140726750171856 139775364729392 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30244 KiB
[startup+0.210591 s]*
/proc/loadavg: 4.69 3.56 2.56 6/215 3496
/proc/meminfo: memFree=20891356/32770624 swapFree=67108860/67108860
[pid=3481] ppid=3478 vsize=10555400 memory=39864 CPUtime=0.3 cores=1,3,5,7
/proc/3481/stat : 3481 (java) S 3478 3481 31794 0 -1 1077944320 8134 0 0 0 28 2 0 0 20 0 15 0 96795625 10808729600 9966 33554432000 4194304 4196468 140726750171856 140726750154400 139775880548087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
/proc/3481/statm: 2638850 9966 2953 1 0 2627263 0
[pid=3481/tid=3483] ppid=3478 vsize=10555400 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/3481/task/3483/stat : 3483 (java) R 3478 3481 31794 0 -1 4202560 5316 0 0 0 18 1 0 0 20 0 15 0 96795625 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775884782784 139775864628574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3484] ppid=3478 vsize=10555400 memory=331 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3484/stat : 3484 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795626 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775822552080 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3485] ppid=3478 vsize=10555400 memory=139661962272122 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3485/stat : 3485 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795626 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775821499536 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3486] ppid=3478 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3486/stat : 3486 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795626 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775820446480 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3487] ppid=3478 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3487/stat : 3487 (java) S 3478 3481 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96795626 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775819393936 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3488] ppid=3478 vsize=10555400 memory=139661962258048 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3488/stat : 3488 (java) S 3478 3481 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96795627 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775373150448 139775880559234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3489] ppid=3478 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3489/stat : 3489 (java) S 3478 3481 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96795628 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775372096672 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3490] ppid=3478 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3490/stat : 3490 (java) S 3478 3481 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96795628 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775371043568 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3491] ppid=3478 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3491/stat : 3491 (java) S 3478 3481 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96795630 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775369992144 139775880566683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3492] ppid=3478 vsize=10555400 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3481/task/3492/stat : 3492 (java) S 3478 3481 31794 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 15 0 96795630 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775368940272 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3493] ppid=3478 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3481/task/3493/stat : 3493 (java) S 3478 3481 31794 0 -1 1077944384 271 0 0 0 1 0 0 0 20 0 15 0 96795630 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775367887728 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3494] ppid=3478 vsize=10555400 memory=139661962258048 CPUtime=0.06 cores=1,3,5,7
/proc/3481/task/3494/stat : 3494 (java) S 3478 3481 31794 0 -1 1077944384 801 0 0 0 6 0 0 0 20 0 15 0 96795630 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775366834672 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3495] ppid=3478 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3495/stat : 3495 (java) S 3478 3481 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96795630 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775365782368 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3496] ppid=3478 vsize=10555400 memory=139661962258048 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3496/stat : 3496 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795631 10808729600 9966 33554432000 4194304 4196468 140726750171856 139775364729392 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39864 KiB
[startup+0.310252 s]*
/proc/loadavg: 4.69 3.56 2.56 7/215 3496
/proc/meminfo: memFree=20884904/32770624 swapFree=67108860/67108860
[pid=3481] ppid=3478 vsize=10555476 memory=46712 CPUtime=0.51 cores=1,3,5,7
/proc/3481/stat : 3481 (java) S 3478 3481 31794 0 -1 1077944320 8857 0 0 0 49 2 0 0 20 0 15 0 96795625 10808807424 11678 33554432000 4194304 4196468 140726750171856 140726750154400 139775880548087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
/proc/3481/statm: 2638869 11678 3028 1 0 2627263 0
[pid=3481/tid=3483] ppid=3478 vsize=10555476 memory=53476 CPUtime=0.29 cores=1,3,5,7
/proc/3481/task/3483/stat : 3483 (java) R 3478 3481 31794 0 -1 4202560 5684 0 0 0 28 1 0 0 20 0 15 0 96795625 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775884784528 139775864628574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3484] ppid=3478 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3484/stat : 3484 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795626 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775822552080 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3485] ppid=3478 vsize=10555476 memory=139661962316064 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3485/stat : 3485 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795626 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775821499536 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3486] ppid=3478 vsize=10555476 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3486/stat : 3486 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795626 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775820446480 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3487] ppid=3478 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3487/stat : 3487 (java) S 3478 3481 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96795626 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775819393936 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3488] ppid=3478 vsize=10555476 memory=139661962322976 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3488/stat : 3488 (java) S 3478 3481 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96795627 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775373150448 139775880559234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3489] ppid=3478 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3489/stat : 3489 (java) S 3478 3481 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96795628 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775372096672 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3490] ppid=3478 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3490/stat : 3490 (java) S 3478 3481 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96795628 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775371043568 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3491] ppid=3478 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3491/stat : 3491 (java) S 3478 3481 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96795630 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775369992144 139775880566683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3492] ppid=3478 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3481/task/3492/stat : 3492 (java) S 3478 3481 31794 0 -1 1077944384 483 0 0 0 4 0 0 0 20 0 15 0 96795630 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775368940272 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3493] ppid=3478 vsize=10555476 memory=139661800492559 CPUtime=0.03 cores=1,3,5,7
/proc/3481/task/3493/stat : 3493 (java) S 3478 3481 31794 0 -1 1077944384 398 0 0 0 3 0 0 0 20 0 15 0 96795630 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775367887728 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3494] ppid=3478 vsize=10555476 memory=139661962261452 CPUtime=0.13 cores=1,3,5,7
/proc/3481/task/3494/stat : 3494 (java) R 3478 3481 31794 0 -1 4202560 929 0 0 0 13 0 0 0 20 0 15 0 96795630 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775366831040 139775859181947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3495] ppid=3478 vsize=10555476 memory=139661800497103 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3495/stat : 3495 (java) S 3478 3481 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96795630 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775365782368 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3496] ppid=3478 vsize=10555476 memory=279323762771904 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3496/stat : 3496 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795631 10808807424 11678 33554432000 4194304 4196468 140726750171856 139775364729392 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46712 KiB
[startup+0.700744 s]
/proc/loadavg: 4.69 3.56 2.56 6/215 3496
/proc/meminfo: memFree=20724116/32770624 swapFree=67108860/67108860
[pid=3481] ppid=3478 vsize=10555476 memory=405448 CPUtime=1.53 cores=1,3,5,7
/proc/3481/stat : 3481 (java) S 3478 3481 31794 0 -1 1077944320 10317 0 0 0 135 18 0 0 20 0 15 0 96795625 10808807424 101362 33554432000 4194304 4196468 140726750171856 140726750154400 139775880548087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
/proc/3481/statm: 2638869 101362 3098 1 0 2627263 0
[pid=3481/tid=3483] ppid=3478 vsize=10555476 memory=2372 CPUtime=0.54 cores=1,3,5,7
/proc/3481/task/3483/stat : 3483 (java) R 3478 3481 31794 0 -1 4202560 5864 0 0 0 49 5 0 0 20 0 15 0 96795625 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775884784928 139775864863324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3484] ppid=3478 vsize=10555476 memory=6872598998417432672 CPUtime=0.1 cores=1,3,5,7
/proc/3481/task/3484/stat : 3484 (java) S 3478 3481 31794 0 -1 1077944384 152 0 0 0 8 2 0 0 20 0 15 0 96795626 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775822552080 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3485] ppid=3478 vsize=10555476 memory=4612 CPUtime=0.13 cores=1,3,5,7
/proc/3481/task/3485/stat : 3485 (java) S 3478 3481 31794 0 -1 1077944384 157 0 0 0 10 3 0 0 20 0 15 0 96795626 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775821499536 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3486] ppid=3478 vsize=10555476 memory=15872 CPUtime=0.11 cores=1,3,5,7
/proc/3481/task/3486/stat : 3486 (java) S 3478 3481 31794 0 -1 1077944384 164 0 0 0 9 2 0 0 20 0 15 0 96795626 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775820446480 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3487] ppid=3478 vsize=10555476 memory=18448 CPUtime=0.1 cores=1,3,5,7
/proc/3481/task/3487/stat : 3487 (java) S 3478 3481 31794 0 -1 1077944384 72 0 0 0 8 2 0 0 20 0 15 0 96795626 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775819393936 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3488] ppid=3478 vsize=10555476 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3488/stat : 3488 (java) S 3478 3481 31794 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 96795627 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775373150448 139775880559234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3489] ppid=3478 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3489/stat : 3489 (java) S 3478 3481 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96795628 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775372096672 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3490] ppid=3478 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3490/stat : 3490 (java) S 3478 3481 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96795628 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775371043568 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3491] ppid=3478 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3491/stat : 3491 (java) S 3478 3481 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96795630 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775369992144 139775880566683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3492] ppid=3478 vsize=10555476 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/3481/task/3492/stat : 3492 (java) S 3478 3481 31794 0 -1 1077944384 746 0 0 0 16 0 0 0 20 0 15 0 96795630 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775368940272 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3493] ppid=3478 vsize=10555476 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3481/task/3493/stat : 3493 (java) S 3478 3481 31794 0 -1 1077944384 522 0 0 0 12 0 0 0 20 0 15 0 96795630 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775367887728 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3494] ppid=3478 vsize=10555476 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/3481/task/3494/stat : 3494 (java) S 3478 3481 31794 0 -1 1077944384 1071 0 0 0 19 0 0 0 20 0 15 0 96795630 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775366834672 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3495] ppid=3478 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3495/stat : 3495 (java) S 3478 3481 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96795630 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775365782368 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3496] ppid=3478 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3496/stat : 3496 (java) S 3478 3481 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96795631 10808807424 101362 33554432000 4194304 4196468 140726750171856 139775364729392 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 405448 KiB
[startup+1.50112 s]
/proc/loadavg: 4.69 3.56 2.56 6/215 3496
/proc/meminfo: memFree=20199152/32770624 swapFree=67108860/67108860
[pid=3481] ppid=3478 vsize=10555476 memory=908752 CPUtime=3.36 cores=1,3,5,7
/proc/3481/stat : 3481 (java) S 3478 3481 31794 0 -1 1077944320 15310 0 0 0 296 40 0 0 20 0 15 0 96795625 10808807424 227188 33554432000 4194304 4196468 140726750171856 140726750154400 139775880548087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
/proc/3481/statm: 2638869 227188 3111 1 0 2627263 0
[pid=3481/tid=3483] ppid=3478 vsize=10555476 memory=2320821876021541728 CPUtime=1.17 cores=1,3,5,7
/proc/3481/task/3483/stat : 3483 (java) R 3478 3481 31794 0 -1 4202560 6718 0 0 0 107 10 0 0 20 0 15 0 96795625 10808807424 227188 33554432000 4194304 4196468 140726750171856 139775884779240 139775502677928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3484] ppid=3478 vsize=10555476 memory=646972 CPUtime=0.26 cores=1,3,5,7
/proc/3481/task/3484/stat : 3484 (java) S 3478 3481 31794 0 -1 1077944384 227 0 0 0 20 6 0 0 20 0 15 0 96795626 10808807424 227188 33554432000 4194304 4196468 140726750171856 139775822552080 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3485] ppid=3478 vsize=10555476 memory=2241 CPUtime=0.29 cores=1,3,5,7
/proc/3481/task/3485/stat : 3485 (java) S 3478 3481 31794 0 -1 1077944384 478 0 0 0 23 6 0 0 20 0 15 0 96795626 10808807424 227188 33554432000 4194304 4196468 140726750171856 139775821499536 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3486] ppid=3478 vsize=10555476 memory=4612 CPUtime=0.27 cores=1,3,5,7
/proc/3481/task/3486/stat : 3486 (java) S 3478 3481 31794 0 -1 1077944384 331 0 0 0 20 7 0 0 20 0 15 0 96795626 10808807424 227188 33554432000 4194304 4196468 140726750171856 139775820446480 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3487] ppid=3478 vsize=10555476 memory=15872 CPUtime=0.27 cores=1,3,5,7
/proc/3481/task/3487/stat : 3487 (java) S 3478 3481 31794 0 -1 1077944384 301 0 0 0 21 6 0 0 20 0 15 0 96795626 10808807424 227188 33554432000 4194304 4196468 140726750171856 139775819393936 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3488] ppid=3478 vsize=10555476 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3488/stat : 3488 (java) S 3478 3481 31794 0 -1 1077944384 504 0 0 0 0 0 0 0 20 0 15 0 96795627 10808807424 227188 33554432000 4194304 4196468 140726750171856 139775373150448 139775880559234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
################
# More data... #
################
[startup+85.5566 s]
# the end of solver process 3481 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.363 s, system=5.92679 s
Solver just ended.
Dumping a history of the last processes samples
[startup+84.8011 s]
/proc/loadavg: 5.42 4.14 2.86 8/215 3573
/proc/meminfo: memFree=12610164/32770624 swapFree=67108860/67108860
[pid=3481] ppid=3478 vsize=10555476 memory=8310232 CPUtime=257.45 cores=1,3,5,7
/proc/3481/stat : 3481 (java) S 3478 3481 31794 0 -1 1077944320 399342 0 0 0 25158 587 0 0 20 0 15 0 96795625 10808807424 2077558 33554432000 4194304 4196468 140726750171856 140726750154400 139775880548087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
/proc/3481/statm: 2638869 2077558 3137 1 0 2627263 0
[pid=3481/tid=3483] ppid=3478 vsize=10555476 memory=956 CPUtime=14.62 cores=1,3,5,7
/proc/3481/task/3483/stat : 3483 (java) S 3478 3481 31794 0 -1 1077944384 21550 0 0 0 1438 24 0 0 20 0 15 0 96795625 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775884783456 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3484] ppid=3478 vsize=10555476 memory=2340 CPUtime=57.47 cores=1,3,5,7
/proc/3481/task/3484/stat : 3484 (java) R 3478 3481 31794 0 -1 4202560 82275 0 0 0 5604 143 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775822551664 139775873176295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3485] ppid=3478 vsize=10555476 memory=8112282956445269571 CPUtime=57.24 cores=1,3,5,7
/proc/3481/task/3485/stat : 3485 (java) R 3478 3481 31794 0 -1 4202560 96144 0 0 0 5587 137 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775821499120 139775873176295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3486] ppid=3478 vsize=10555476 memory=1572 CPUtime=57.26 cores=1,3,5,7
/proc/3481/task/3486/stat : 3486 (java) R 3478 3481 31794 0 -1 4202560 75619 0 0 0 5584 142 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775820446680 139775865245726 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3487] ppid=3478 vsize=10555476 memory=8310232 CPUtime=57.62 cores=1,3,5,7
/proc/3481/task/3487/stat : 3487 (java) R 3478 3481 31794 0 -1 4202560 85832 0 0 0 5627 135 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775819394136 139775865245784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3488] ppid=3478 vsize=10555476 memory=2200 CPUtime=11.85 cores=1,3,5,7
/proc/3481/task/3488/stat : 3488 (java) S 3478 3481 31794 0 -1 1077944384 26807 0 0 0 1184 1 0 0 20 0 15 0 96795627 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775373148768 139775880558293 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3489] ppid=3478 vsize=10555476 memory=6504 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3489/stat : 3489 (java) S 3478 3481 31794 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 96795628 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775372096736 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3490] ppid=3478 vsize=10555476 memory=840 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3490/stat : 3490 (java) S 3478 3481 31794 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 96795628 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775371043584 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3491] ppid=3478 vsize=10555476 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3491/stat : 3491 (java) S 3478 3481 31794 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775369991792 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3492] ppid=3478 vsize=10555476 memory=2536 CPUtime=0.54 cores=1,3,5,7
/proc/3481/task/3492/stat : 3492 (java) S 3478 3481 31794 0 -1 1077944384 3037 0 0 0 54 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775368940272 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3493] ppid=3478 vsize=10555476 memory=8310232 CPUtime=0.5 cores=1,3,5,7
/proc/3481/task/3493/stat : 3493 (java) S 3478 3481 31794 0 -1 1077944384 3907 0 0 0 50 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775367887728 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3494] ppid=3478 vsize=10555476 memory=1196 CPUtime=0.24 cores=1,3,5,7
/proc/3481/task/3494/stat : 3494 (java) S 3478 3481 31794 0 -1 1077944384 2342 0 0 0 24 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775366834672 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3495] ppid=3478 vsize=10555476 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3495/stat : 3495 (java) S 3478 3481 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775365782368 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3496] ppid=3478 vsize=10555476 memory=15872 CPUtime=0.03 cores=1,3,5,7
/proc/3481/task/3496/stat : 3496 (java) S 3478 3481 31794 0 -1 1077944384 387 0 0 0 2 1 0 0 20 0 15 0 96795631 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775364729392 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
Current children cumulated CPU time: 257.45 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8310232 KiB
[startup+85.2011 s]
/proc/loadavg: 5.42 4.14 2.86 9/215 3573
/proc/meminfo: memFree=12610164/32770624 swapFree=67108860/67108860
[pid=3481] ppid=3478 vsize=10555476 memory=8310232 CPUtime=259.01 cores=1,3,5,7
/proc/3481/stat : 3481 (java) S 3478 3481 31794 0 -1 1077944320 399447 0 0 0 25314 587 0 0 20 0 15 0 96795625 10808807424 2077558 33554432000 4194304 4196468 140726750171856 140726750154400 139775880548087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
/proc/3481/statm: 2638869 2077558 3137 1 0 2627263 0
[pid=3481/tid=3483] ppid=3478 vsize=10555476 memory=7391413433648273289 CPUtime=14.62 cores=1,3,5,7
/proc/3481/task/3483/stat : 3483 (java) S 3478 3481 31794 0 -1 1077944384 21550 0 0 0 1438 24 0 0 20 0 15 0 96795625 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775884783456 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3484] ppid=3478 vsize=10555476 memory=6152568441792848480 CPUtime=57.86 cores=1,3,5,7
/proc/3481/task/3484/stat : 3484 (java) R 3478 3481 31794 0 -1 4202560 82275 0 0 0 5643 143 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775822551664 139775873176295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3485] ppid=3478 vsize=10555476 memory=6152568441792848480 CPUtime=57.63 cores=1,3,5,7
/proc/3481/task/3485/stat : 3485 (java) R 3478 3481 31794 0 -1 4202560 96144 0 0 0 5626 137 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775821499120 139775873176295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3486] ppid=3478 vsize=10555476 memory=6152568441792848480 CPUtime=57.65 cores=1,3,5,7
/proc/3481/task/3486/stat : 3486 (java) R 3478 3481 31794 0 -1 4202560 75619 0 0 0 5623 142 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775820446680 139775862144006 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3487] ppid=3478 vsize=10555476 memory=6152568441792848480 CPUtime=58.02 cores=1,3,5,7
/proc/3481/task/3487/stat : 3487 (java) R 3478 3481 31794 0 -1 4202560 85937 0 0 0 5667 135 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775819394136 139775865245679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3488] ppid=3478 vsize=10555476 memory=6442213880769241696 CPUtime=11.85 cores=1,3,5,7
/proc/3481/task/3488/stat : 3488 (java) S 3478 3481 31794 0 -1 1077944384 26807 0 0 0 1184 1 0 0 20 0 15 0 96795627 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775373148768 139775880558293 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3489] ppid=3478 vsize=10555476 memory=6442213880769241696 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3489/stat : 3489 (java) S 3478 3481 31794 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 96795628 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775372096736 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3490] ppid=3478 vsize=10555476 memory=6442213880769241696 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3490/stat : 3490 (java) S 3478 3481 31794 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 96795628 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775371043584 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3491] ppid=3478 vsize=10555476 memory=6442213880769241696 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3491/stat : 3491 (java) S 3478 3481 31794 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775369991792 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3492] ppid=3478 vsize=10555476 memory=6442213880769241696 CPUtime=0.54 cores=1,3,5,7
/proc/3481/task/3492/stat : 3492 (java) S 3478 3481 31794 0 -1 1077944384 3037 0 0 0 54 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775368940272 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3493] ppid=3478 vsize=10555476 memory=6442213880769241696 CPUtime=0.5 cores=1,3,5,7
/proc/3481/task/3493/stat : 3493 (java) S 3478 3481 31794 0 -1 1077944384 3907 0 0 0 50 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775367887728 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3494] ppid=3478 vsize=10555476 memory=6442213880769241696 CPUtime=0.24 cores=1,3,5,7
/proc/3481/task/3494/stat : 3494 (java) S 3478 3481 31794 0 -1 1077944384 2342 0 0 0 24 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775366834672 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3495] ppid=3478 vsize=10555476 memory=6442213880769241696 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3495/stat : 3495 (java) S 3478 3481 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775365782368 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3496] ppid=3478 vsize=10555476 memory=6442213880769241696 CPUtime=0.03 cores=1,3,5,7
/proc/3481/task/3496/stat : 3496 (java) S 3478 3481 31794 0 -1 1077944384 387 0 0 0 2 1 0 0 20 0 15 0 96795631 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775364729392 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
Current children cumulated CPU time: 259.01 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8310232 KiB
[startup+85.4011 s]
/proc/loadavg: 5.42 4.14 2.86 9/215 3573
/proc/meminfo: memFree=12610164/32770624 swapFree=67108860/67108860
[pid=3481] ppid=3478 vsize=10555476 memory=8310232 CPUtime=259.8 cores=1,3,5,7
/proc/3481/stat : 3481 (java) S 3478 3481 31794 0 -1 1077944320 399447 0 0 0 25392 588 0 0 20 0 15 0 96795625 10808807424 2077558 33554432000 4194304 4196468 140726750171856 140726750154400 139775880548087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
/proc/3481/statm: 2638869 2077558 3137 1 0 2627263 0
[pid=3481/tid=3483] ppid=3478 vsize=10555476 memory=297237803929174353 CPUtime=14.62 cores=1,3,5,7
/proc/3481/task/3483/stat : 3483 (java) S 3478 3481 31794 0 -1 1077944384 21550 0 0 0 1438 24 0 0 20 0 15 0 96795625 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775884783456 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3484] ppid=3478 vsize=10555476 memory=13854070704180985 CPUtime=58.05 cores=1,3,5,7
/proc/3481/task/3484/stat : 3484 (java) R 3478 3481 31794 0 -1 4202560 82275 0 0 0 5662 143 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775822551664 139775873176295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3485] ppid=3478 vsize=10555476 memory=-6860787125238664386 CPUtime=57.82 cores=1,3,5,7
/proc/3481/task/3485/stat : 3485 (java) R 3478 3481 31794 0 -1 4202560 96144 0 0 0 5645 137 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775821499120 139775873176295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3486] ppid=3478 vsize=10555476 memory=-7812736537705029536 CPUtime=57.85 cores=1,3,5,7
/proc/3481/task/3486/stat : 3486 (java) R 3478 3481 31794 0 -1 4202560 75619 0 0 0 5643 142 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775820446680 139775862144735 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3487] ppid=3478 vsize=10555476 memory=-7814691523512926820 CPUtime=58.22 cores=1,3,5,7
/proc/3481/task/3487/stat : 3487 (java) R 3478 3481 31794 0 -1 4202560 85937 0 0 0 5687 135 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775819394136 139775865245862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3488] ppid=3478 vsize=10555476 memory=6655300316396806240 CPUtime=11.85 cores=1,3,5,7
/proc/3481/task/3488/stat : 3488 (java) S 3478 3481 31794 0 -1 1077944384 26807 0 0 0 1184 1 0 0 20 0 15 0 96795627 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775373148768 139775880558293 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3489] ppid=3478 vsize=10555476 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3489/stat : 3489 (java) S 3478 3481 31794 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 96795628 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775372096736 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3490] ppid=3478 vsize=10555476 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3490/stat : 3490 (java) S 3478 3481 31794 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 96795628 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775371043584 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3491] ppid=3478 vsize=10555476 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3491/stat : 3491 (java) S 3478 3481 31794 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775369991792 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3492] ppid=3478 vsize=10555476 memory=-5628408999910123566 CPUtime=0.54 cores=1,3,5,7
/proc/3481/task/3492/stat : 3492 (java) S 3478 3481 31794 0 -1 1077944384 3037 0 0 0 54 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775368940272 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3493] ppid=3478 vsize=10555476 memory=-7234867236275901549 CPUtime=0.5 cores=1,3,5,7
/proc/3481/task/3493/stat : 3493 (java) S 3478 3481 31794 0 -1 1077944384 3907 0 0 0 50 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775367887728 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3494] ppid=3478 vsize=10555476 memory=7156871081302911591 CPUtime=0.24 cores=1,3,5,7
/proc/3481/task/3494/stat : 3494 (java) S 3478 3481 31794 0 -1 1077944384 2342 0 0 0 24 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775366834672 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3495] ppid=3478 vsize=10555476 memory=4639622840845554788 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3495/stat : 3495 (java) S 3478 3481 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775365782368 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3496] ppid=3478 vsize=10555476 memory=139661801287711 CPUtime=0.03 cores=1,3,5,7
/proc/3481/task/3496/stat : 3496 (java) S 3478 3481 31794 0 -1 1077944384 387 0 0 0 2 1 0 0 20 0 15 0 96795631 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775364729392 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
Current children cumulated CPU time: 259.8 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8310232 KiB
[startup+85.5011 s]
/proc/loadavg: 5.42 4.14 2.86 9/215 3573
/proc/meminfo: memFree=12610164/32770624 swapFree=67108860/67108860
[pid=3481] ppid=3478 vsize=10555476 memory=8310232 CPUtime=260.19 cores=1,3,5,7
/proc/3481/stat : 3481 (java) S 3478 3481 31794 0 -1 1077944320 399447 0 0 0 25431 588 0 0 20 0 15 0 96795625 10808807424 2077558 33554432000 4194304 4196468 140726750171856 140726750154400 139775880548087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
/proc/3481/statm: 2638869 2077558 3137 1 0 2627263 0
[pid=3481/tid=3483] ppid=3478 vsize=10555476 memory=8310232 CPUtime=14.62 cores=1,3,5,7
/proc/3481/task/3483/stat : 3483 (java) S 3478 3481 31794 0 -1 1077944384 21550 0 0 0 1438 24 0 0 20 0 15 0 96795625 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775884783456 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3484] ppid=3478 vsize=10555476 memory=8304088 CPUtime=58.14 cores=1,3,5,7
/proc/3481/task/3484/stat : 3484 (java) R 3478 3481 31794 0 -1 4202560 82275 0 0 0 5671 143 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775822551664 139775873176295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3485] ppid=3478 vsize=10555476 memory=8310232 CPUtime=57.91 cores=1,3,5,7
/proc/3481/task/3485/stat : 3485 (java) R 3478 3481 31794 0 -1 4202560 96144 0 0 0 5654 137 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775821499120 139775873176295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3486] ppid=3478 vsize=10555476 memory=8310232 CPUtime=57.95 cores=1,3,5,7
/proc/3481/task/3486/stat : 3486 (java) R 3478 3481 31794 0 -1 4202560 75619 0 0 0 5653 142 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775820446680 139775865499098 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3487] ppid=3478 vsize=10555476 memory=8310232 CPUtime=58.32 cores=1,3,5,7
/proc/3481/task/3487/stat : 3487 (java) R 3478 3481 31794 0 -1 4202560 85937 0 0 0 5697 135 0 0 20 0 15 0 96795626 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775819394136 139775865533383 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3488] ppid=3478 vsize=10555476 memory=8310232 CPUtime=11.85 cores=1,3,5,7
/proc/3481/task/3488/stat : 3488 (java) S 3478 3481 31794 0 -1 1077944384 26807 0 0 0 1184 1 0 0 20 0 15 0 96795627 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775373148768 139775880558293 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3489] ppid=3478 vsize=10555476 memory=8310232 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3489/stat : 3489 (java) S 3478 3481 31794 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 96795628 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775372096736 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3490] ppid=3478 vsize=10555476 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3490/stat : 3490 (java) S 3478 3481 31794 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 96795628 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775371043584 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3491] ppid=3478 vsize=10555476 memory=8304088 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3491/stat : 3491 (java) S 3478 3481 31794 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775369991792 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3492] ppid=3478 vsize=10555476 memory=5198424 CPUtime=0.54 cores=1,3,5,7
/proc/3481/task/3492/stat : 3492 (java) S 3478 3481 31794 0 -1 1077944384 3037 0 0 0 54 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775368940272 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3493] ppid=3478 vsize=10555476 memory=3818032 CPUtime=0.5 cores=1,3,5,7
/proc/3481/task/3493/stat : 3493 (java) S 3478 3481 31794 0 -1 1077944384 3907 0 0 0 50 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775367887728 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3494] ppid=3478 vsize=10555476 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/3481/task/3494/stat : 3494 (java) S 3478 3481 31794 0 -1 1077944384 2342 0 0 0 24 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775366834672 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3495] ppid=3478 vsize=10555476 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/3481/task/3495/stat : 3495 (java) S 3478 3481 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96795630 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775365782368 139775880558293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
[pid=3481/tid=3496] ppid=3478 vsize=10555476 memory=4140 CPUtime=0.03 cores=1,3,5,7
/proc/3481/task/3496/stat : 3496 (java) S 3478 3481 31794 0 -1 1077944384 387 0 0 0 2 1 0 0 20 0 15 0 96795631 10808807424 2077558 33554432000 4194304 4196468 140726750171856 139775364729392 139775880559234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14327808 140726750180491 140726750180644 140726750180644 140726750183375 0
Current children cumulated CPU time: 260.19 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8310232 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 85.5566
CPU time (s): 260.29
CPU user time (s): 254.363
CPU system time (s): 5.92679
CPU usage (%): 304.231
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8310232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.363
system time used= 5.92679
maximum resident set size= 8310380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399451
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6716
involuntary context switches= 4054
# summary of solver processes directly reported to runsolver:
# pid: 3481
# total CPU time (s): 260.29
# total CPU user time (s): 254.363
# total CPU system time (s): 5.92679
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.557557 second user time and 0.840658 second system time
The end