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 (12161 MiB free)
memory of node 1: 16384 MiB (10172 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302075-1532887094/watcher-4302075-1532887094 -o /tmp/evaluation-result-4302075-1532887094/solver-4302075-1532887094 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13546 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4302075-1532887094.xml
running on 4 cores: 0,2,4,6
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=20396, runsolver pid=20393
[startup+0.100058 s]*
/proc/loadavg: 2.30 2.25 2.35 4/216 20411
/proc/meminfo: memFree=22852844/32770624 swapFree=67108860/67108860
[pid=20396] ppid=20393 vsize=10659012 memory=31176 CPUtime=0.12 cores=0,2,4,6
/proc/20396/stat : 20396 (java) S 20393 20396 13514 0 -1 1077944320 6344 0 0 0 11 1 0 0 20 0 15 0 106272561 10914828288 7794 33554432000 4194304 4196468 140726692491648 140726692474192 139952942575351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
/proc/20396/statm: 2664753 7794 2841 1 0 2627263 0
[pid=20396/tid=20398] ppid=20393 vsize=10659012 memory=-8701690554792447362 CPUtime=0.08 cores=0,2,4,6
/proc/20396/task/20398/stat : 20398 (java) R 20393 20396 13514 0 -1 4202560 4188 0 0 0 8 0 0 0 20 0 15 0 106272562 10914828288 7794 33554432000 4194304 4196468 140726692491648 139952946780016 139952942587286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20399] ppid=20393 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20399/stat : 20399 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272563 10914828288 7794 33554432000 4194304 4196468 140726692491648 139952868649616 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20400] ppid=20393 vsize=10659012 memory=140014290720384 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20400/stat : 20400 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272563 10914828288 7794 33554432000 4194304 4196468 140726692491648 139952867596816 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20401] ppid=20393 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20401/stat : 20401 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272563 10914828288 7794 33554432000 4194304 4196468 140726692491648 139952866544016 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20402] ppid=20393 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20402/stat : 20402 (java) S 20393 20396 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272563 10914828288 7794 33554432000 4194304 4196468 140726692491648 139952865491216 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20403] ppid=20393 vsize=10659012 memory=140014290720384 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20403/stat : 20403 (java) S 20393 20396 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272564 10914828288 7794 33554432000 4194304 4196468 140726692491648 139951978044272 139952942586498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20404] ppid=20393 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20404/stat : 20404 (java) S 20393 20396 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106272564 10914828288 7794 33554432000 4194304 4196468 140726692491648 139951976990240 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20405] ppid=20393 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20405/stat : 20405 (java) S 20393 20396 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106272565 10914828288 7794 33554432000 4194304 4196468 140726692491648 139951975937392 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20406] ppid=20393 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20406/stat : 20406 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272567 10914828288 7794 33554432000 4194304 4196468 140726692491648 139951974885712 139952942593947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20407] ppid=20393 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20407/stat : 20407 (java) S 20393 20396 13514 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 106272567 10914828288 7794 33554432000 4194304 4196468 140726692491648 139951973833072 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20408] ppid=20393 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20408/stat : 20408 (java) S 20393 20396 13514 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 106272567 10914828288 7794 33554432000 4194304 4196468 140726692491648 139951972780272 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20409] ppid=20393 vsize=10659012 memory=140014290720384 CPUtime=0.02 cores=0,2,4,6
/proc/20396/task/20409/stat : 20409 (java) R 20393 20396 13514 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 106272567 10914828288 7794 33554432000 4194304 4196468 140726692491648 139951971727472 139952934812478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20410] ppid=20393 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20410/stat : 20410 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272567 10914828288 7794 33554432000 4194304 4196468 140726692491648 139951970674912 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20411] ppid=20393 vsize=10659012 memory=140014290720384 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20411/stat : 20411 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272567 10914828288 7794 33554432000 4194304 4196468 140726692491648 139951969623216 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31176 KiB
[startup+0.210633 s]*
/proc/loadavg: 2.30 2.25 2.35 3/216 20411
/proc/meminfo: memFree=22843168/32770624 swapFree=67108860/67108860
[pid=20396] ppid=20393 vsize=10659012 memory=41692 CPUtime=0.33 cores=0,2,4,6
/proc/20396/stat : 20396 (java) S 20393 20396 13514 0 -1 1077944320 7556 0 0 0 31 2 0 0 20 0 15 0 106272561 10914828288 10423 33554432000 4194304 4196468 140726692491648 140726692474192 139952942575351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
/proc/20396/statm: 2664753 10423 3004 1 0 2627263 0
[pid=20396/tid=20398] ppid=20393 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/20396/task/20398/stat : 20398 (java) R 20393 20396 13514 0 -1 4202560 4538 0 0 0 19 1 0 0 20 0 15 0 106272562 10914828288 10423 33554432000 4194304 4196468 140726692491648 139952946811632 139952532882896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20399] ppid=20393 vsize=10659012 memory=339 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20399/stat : 20399 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272563 10914828288 10423 33554432000 4194304 4196468 140726692491648 139952868649616 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20400] ppid=20393 vsize=10659012 memory=288370390442432128 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20400/stat : 20400 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272563 10914828288 10423 33554432000 4194304 4196468 140726692491648 139952867596816 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20401] ppid=20393 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20401/stat : 20401 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272563 10914828288 10423 33554432000 4194304 4196468 140726692491648 139952866544016 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20402] ppid=20393 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20402/stat : 20402 (java) S 20393 20396 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272563 10914828288 10423 33554432000 4194304 4196468 140726692491648 139952865491216 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20403] ppid=20393 vsize=10659012 memory=140014290720384 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20403/stat : 20403 (java) S 20393 20396 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272564 10914828288 10423 33554432000 4194304 4196468 140726692491648 139951978044272 139952942586498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20404] ppid=20393 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20404/stat : 20404 (java) S 20393 20396 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106272564 10914828288 10423 33554432000 4194304 4196468 140726692491648 139951976990240 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20405] ppid=20393 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20405/stat : 20405 (java) S 20393 20396 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106272565 10914828288 10423 33554432000 4194304 4196468 140726692491648 139951975937392 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20406] ppid=20393 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20406/stat : 20406 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272567 10914828288 10423 33554432000 4194304 4196468 140726692491648 139951974885712 139952942593947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20407] ppid=20393 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20396/task/20407/stat : 20407 (java) S 20393 20396 13514 0 -1 1077944384 635 0 0 0 2 0 0 0 20 0 15 0 106272567 10914828288 10423 33554432000 4194304 4196468 140726692491648 139951973833072 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20408] ppid=20393 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20396/task/20408/stat : 20408 (java) S 20393 20396 13514 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 15 0 106272567 10914828288 10423 33554432000 4194304 4196468 140726692491648 139951972780272 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20409] ppid=20393 vsize=10659012 memory=140014290720384 CPUtime=0.07 cores=0,2,4,6
/proc/20396/task/20409/stat : 20409 (java) R 20393 20396 13514 0 -1 4202560 655 0 0 0 7 0 0 0 20 0 15 0 106272567 10914828288 10423 33554432000 4194304 4196468 140726692491648 139951971727472 139952928899705 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20410] ppid=20393 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20410/stat : 20410 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272567 10914828288 10423 33554432000 4194304 4196468 140726692491648 139951970674912 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20411] ppid=20393 vsize=10659012 memory=140014290720384 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20411/stat : 20411 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272567 10914828288 10423 33554432000 4194304 4196468 140726692491648 139951969623216 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41692 KiB
[startup+0.316347 s]*
/proc/loadavg: 2.30 2.25 2.35 7/216 20411
/proc/meminfo: memFree=22835352/32770624 swapFree=67108860/67108860
[pid=20396] ppid=20393 vsize=10659088 memory=47312 CPUtime=0.56 cores=0,2,4,6
/proc/20396/stat : 20396 (java) S 20393 20396 13514 0 -1 1077944320 8536 0 0 0 53 3 0 0 20 0 15 0 106272561 10914906112 11828 33554432000 4194304 4196468 140726692491648 140726692474192 139952942575351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
/proc/20396/statm: 2664772 11828 3064 1 0 2627263 0
[pid=20396/tid=20398] ppid=20393 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/20396/task/20398/stat : 20398 (java) R 20393 20396 13514 0 -1 4202560 5259 0 0 0 28 2 0 0 20 0 15 0 106272562 10914906112 11828 33554432000 4194304 4196468 140726692491648 139952946809024 139952926655838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20399] ppid=20393 vsize=10659088 memory=4294977826 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20399/stat : 20399 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272563 10914906112 11828 33554432000 4194304 4196468 140726692491648 139952868649616 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20400] ppid=20393 vsize=10659088 memory=288370390442432128 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20400/stat : 20400 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272563 10914906112 11828 33554432000 4194304 4196468 140726692491648 139952867596816 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20401] ppid=20393 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20401/stat : 20401 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272563 10914906112 11828 33554432000 4194304 4196468 140726692491648 139952866544016 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20402] ppid=20393 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20402/stat : 20402 (java) S 20393 20396 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272563 10914906112 11828 33554432000 4194304 4196468 140726692491648 139952865491216 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20403] ppid=20393 vsize=10659088 memory=140014290720384 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20403/stat : 20403 (java) S 20393 20396 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272564 10914906112 11828 33554432000 4194304 4196468 140726692491648 139951978044272 139952942586498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20404] ppid=20393 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20404/stat : 20404 (java) S 20393 20396 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106272564 10914906112 11828 33554432000 4194304 4196468 140726692491648 139951976990240 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20405] ppid=20393 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20405/stat : 20405 (java) S 20393 20396 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106272565 10914906112 11828 33554432000 4194304 4196468 140726692491648 139951975937392 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20406] ppid=20393 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20406/stat : 20406 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272567 10914906112 11828 33554432000 4194304 4196468 140726692491648 139951974885712 139952942593947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20407] ppid=20393 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20396/task/20407/stat : 20407 (java) R 20393 20396 13514 0 -1 4202560 671 0 0 0 4 0 0 0 20 0 15 0 106272567 10914906112 11828 33554432000 4194304 4196468 140726692491648 139951973826264 139952926075664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20408] ppid=20393 vsize=10659088 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/20396/task/20408/stat : 20408 (java) S 20393 20396 13514 0 -1 1077944384 480 0 0 0 5 0 0 0 20 0 15 0 106272567 10914906112 11828 33554432000 4194304 4196468 140726692491648 139951972780272 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20409] ppid=20393 vsize=10659088 memory=140014290720384 CPUtime=0.13 cores=0,2,4,6
/proc/20396/task/20409/stat : 20409 (java) S 20393 20396 13514 0 -1 1077944384 760 0 0 0 13 0 0 0 20 0 15 0 106272567 10914906112 11828 33554432000 4194304 4196468 140726692491648 139951971727472 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20410] ppid=20393 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20410/stat : 20410 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272567 10914906112 11828 33554432000 4194304 4196468 140726692491648 139951970674912 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20411] ppid=20393 vsize=10659088 memory=140014290720384 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20411/stat : 20411 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272567 10914906112 11828 33554432000 4194304 4196468 140726692491648 139951969623216 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47312 KiB
[startup+0.701389 s]
/proc/loadavg: 2.30 2.25 2.35 6/216 20411
/proc/meminfo: memFree=22817048/32770624 swapFree=67108860/67108860
[pid=20396] ppid=20393 vsize=10661136 memory=108212 CPUtime=1.75 cores=0,2,4,6
/proc/20396/stat : 20396 (java) S 20393 20396 13514 0 -1 1077944320 11483 0 0 0 170 5 0 0 20 0 15 0 106272561 10917003264 27053 33554432000 4194304 4196468 140726692491648 140726692474192 139952942575351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
/proc/20396/statm: 2665284 27053 3108 1 0 2627775 0
[pid=20396/tid=20398] ppid=20393 vsize=10661136 memory=227644406784786 CPUtime=0.67 cores=0,2,4,6
/proc/20396/task/20398/stat : 20398 (java) R 20393 20396 13514 0 -1 4202560 5616 0 0 0 64 3 0 0 20 0 15 0 106272562 10917003264 27053 33554432000 4194304 4196468 140726692491648 139952946812736 139952537151166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20399] ppid=20393 vsize=10661136 memory=605488 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20399/stat : 20399 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272563 10917003264 27053 33554432000 4194304 4196468 140726692491648 139952868649616 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20400] ppid=20393 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20400/stat : 20400 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272563 10917003264 27053 33554432000 4194304 4196468 140726692491648 139952867596816 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20401] ppid=20393 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20401/stat : 20401 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272563 10917003264 27053 33554432000 4194304 4196468 140726692491648 139952866544016 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20402] ppid=20393 vsize=10661136 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20402/stat : 20402 (java) S 20393 20396 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106272563 10917003264 27053 33554432000 4194304 4196468 140726692491648 139952865491216 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20403] ppid=20393 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20403/stat : 20403 (java) S 20393 20396 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106272564 10917003264 27053 33554432000 4194304 4196468 140726692491648 139951978044272 139952942586498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20404] ppid=20393 vsize=10661136 memory=-3535359994705171299 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20404/stat : 20404 (java) S 20393 20396 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106272564 10917003264 27053 33554432000 4194304 4196468 140726692491648 139951976990240 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20405] ppid=20393 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20405/stat : 20405 (java) S 20393 20396 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106272565 10917003264 27053 33554432000 4194304 4196468 140726692491648 139951975937392 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20406] ppid=20393 vsize=10661136 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20406/stat : 20406 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272567 10917003264 27053 33554432000 4194304 4196468 140726692491648 139951974885712 139952942593947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20407] ppid=20393 vsize=10661136 memory=6656426216303648864 CPUtime=0.33 cores=0,2,4,6
/proc/20396/task/20407/stat : 20407 (java) R 20393 20396 13514 0 -1 4202560 1549 0 0 0 33 0 0 0 20 0 15 0 106272567 10917003264 27053 33554432000 4194304 4196468 140726692491648 139951973818976 139952928590896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20408] ppid=20393 vsize=10661136 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/20396/task/20408/stat : 20408 (java) R 20393 20396 13514 0 -1 4202560 1180 0 0 0 32 0 0 0 20 0 15 0 106272567 10917003264 27053 33554432000 4194304 4196468 140726692491648 139951972766240 139952927497152 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20409] ppid=20393 vsize=10661136 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/20396/task/20409/stat : 20409 (java) R 20393 20396 13514 0 -1 4202560 1769 0 0 0 40 0 0 0 20 0 15 0 106272567 10917003264 27053 33554432000 4194304 4196468 140726692491648 139951971723200 139952935672187 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20410] ppid=20393 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20410/stat : 20410 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106272567 10917003264 27053 33554432000 4194304 4196468 140726692491648 139951970674912 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20411] ppid=20393 vsize=10661136 memory=12708 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20411/stat : 20411 (java) S 20393 20396 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106272567 10917003264 27053 33554432000 4194304 4196468 140726692491648 139951969623216 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 108212 KiB
[startup+1.50135 s]
/proc/loadavg: 2.30 2.25 2.35 5/216 20411
/proc/meminfo: memFree=22670608/32770624 swapFree=67108860/67108860
[pid=20396] ppid=20393 vsize=10727700 memory=258444 CPUtime=4.25 cores=0,2,4,6
/proc/20396/stat : 20396 (java) S 20393 20396 13514 0 -1 1077944320 20148 0 0 0 415 10 0 0 20 0 16 0 106272561 10985164800 64611 33554432000 4194304 4196468 140726692491648 140726692474192 139952942575351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
/proc/20396/statm: 2681925 64611 3153 1 0 2644416 0
[pid=20396/tid=20398] ppid=20393 vsize=10727700 memory=10757 CPUtime=1.41 cores=0,2,4,6
/proc/20396/task/20398/stat : 20398 (java) R 20393 20396 13514 0 -1 4202560 5760 0 0 0 137 4 0 0 20 0 16 0 106272562 10985164800 64611 33554432000 4194304 4196468 140726692491648 139952946815136 139952942587286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20399] ppid=20393 vsize=10727700 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/20396/task/20399/stat : 20399 (java) S 20393 20396 13514 0 -1 1077944384 74 0 0 0 4 0 0 0 20 0 16 0 106272563 10985164800 64611 33554432000 4194304 4196468 140726692491648 139952868649616 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20400] ppid=20393 vsize=10727700 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20396/task/20400/stat : 20400 (java) S 20393 20396 13514 0 -1 1077944384 60 0 0 0 3 0 0 0 20 0 16 0 106272563 10985164800 64611 33554432000 4194304 4196468 140726692491648 139952867596816 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20401] ppid=20393 vsize=10727700 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20396/task/20401/stat : 20401 (java) S 20393 20396 13514 0 -1 1077944384 66 0 0 0 3 0 0 0 20 0 16 0 106272563 10985164800 64611 33554432000 4194304 4196468 140726692491648 139952866544016 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20402] ppid=20393 vsize=10727700 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20396/task/20402/stat : 20402 (java) S 20393 20396 13514 0 -1 1077944384 171 0 0 0 2 0 0 0 20 0 16 0 106272563 10985164800 64611 33554432000 4194304 4196468 140726692491648 139952865491216 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20403] ppid=20393 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20403/stat : 20403 (java) S 20393 20396 13514 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 106272564 10985164800 64611 33554432000 4194304 4196468 140726692491648 139951978044272 139952942586498 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
################
# More data... #
################
/proc/20396/task/20401/stat : 20401 (java) S 20393 20396 13514 0 -1 1077944384 797 0 0 0 11 6 0 0 20 0 16 0 106272563 10985164800 135834 33554432000 4194304 4196468 140726692491648 139952866544016 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20402] ppid=20393 vsize=10727700 memory=543336 CPUtime=0.16 cores=0,2,4,6
/proc/20396/task/20402/stat : 20402 (java) S 20393 20396 13514 0 -1 1077944384 1132 0 0 0 10 6 0 0 20 0 16 0 106272563 10985164800 135834 33554432000 4194304 4196468 140726692491648 139952865491216 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20403] ppid=20393 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20403/stat : 20403 (java) S 20393 20396 13514 0 -1 1077944384 844 0 0 0 0 0 0 0 20 0 16 0 106272564 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951978044272 139952942586498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20404] ppid=20393 vsize=10727700 memory=543336 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20404/stat : 20404 (java) S 20393 20396 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 106272564 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951976990304 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20405] ppid=20393 vsize=10727700 memory=543336 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20405/stat : 20405 (java) S 20393 20396 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106272565 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951975937392 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20406] ppid=20393 vsize=10727700 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20406/stat : 20406 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106272567 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951974885712 139952942593947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20407] ppid=20393 vsize=10727700 memory=543336 CPUtime=2.47 cores=0,2,4,6
/proc/20396/task/20407/stat : 20407 (java) S 20393 20396 13514 0 -1 1077944384 11339 0 0 0 245 2 0 0 20 0 16 0 106272567 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951973833072 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20408] ppid=20393 vsize=10727700 memory=543336 CPUtime=2.31 cores=0,2,4,6
/proc/20396/task/20408/stat : 20408 (java) S 20393 20396 13514 0 -1 1077944384 9824 0 0 0 230 1 0 0 20 0 16 0 106272567 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951972780272 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20409] ppid=20393 vsize=10727700 memory=30276 CPUtime=0.6 cores=0,2,4,6
/proc/20396/task/20409/stat : 20409 (java) S 20393 20396 13514 0 -1 1077944384 4544 0 0 0 60 0 0 0 20 0 16 0 106272567 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951971727472 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20410] ppid=20393 vsize=10727700 memory=2204 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20410/stat : 20410 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106272567 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951970674912 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20411] ppid=20393 vsize=10727700 memory=10368 CPUtime=0.09 cores=0,2,4,6
/proc/20396/task/20411/stat : 20411 (java) S 20393 20396 13514 0 -1 1077944384 876 0 0 0 5 4 0 0 20 0 16 0 106272567 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951969623216 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20412] ppid=20393 vsize=10727700 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20412/stat : 20412 (java) S 20393 20396 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106272711 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951966471600 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
Current children cumulated CPU time: 168.32 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 543336 KiB
[startup+222.301 s]
/proc/loadavg: 2.07 2.17 2.30 3/218 20605
/proc/meminfo: memFree=24183996/32770624 swapFree=67108860/67108860
[pid=20396] ppid=20393 vsize=10727700 memory=543336 CPUtime=228.36 cores=0,2,4,6
/proc/20396/stat : 20396 (java) S 20393 20396 13514 0 -1 1077944320 41727 0 0 0 22794 42 0 0 20 0 16 0 106272561 10985164800 135834 33554432000 4194304 4196468 140726692491648 140726692474192 139952942575351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
/proc/20396/statm: 2681925 135834 3175 1 0 2644416 0
[pid=20396/tid=20398] ppid=20393 vsize=10727700 memory=543336 CPUtime=222.05 cores=0,2,4,6
/proc/20396/task/20398/stat : 20398 (java) R 20393 20396 13514 0 -1 4202560 10114 0 0 0 22200 5 0 0 20 0 16 0 106272562 10985164800 135834 33554432000 4194304 4196468 140726692491648 139952946813992 139952538572472 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20399] ppid=20393 vsize=10727700 memory=543336 CPUtime=0.19 cores=0,2,4,6
/proc/20396/task/20399/stat : 20399 (java) S 20393 20396 13514 0 -1 1077944384 367 0 0 0 13 6 0 0 20 0 16 0 106272563 10985164800 135834 33554432000 4194304 4196468 140726692491648 139952868649616 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20400] ppid=20393 vsize=10727700 memory=543336 CPUtime=0.17 cores=0,2,4,6
/proc/20396/task/20400/stat : 20400 (java) S 20393 20396 13514 0 -1 1077944384 367 0 0 0 11 6 0 0 20 0 16 0 106272563 10985164800 135834 33554432000 4194304 4196468 140726692491648 139952867596816 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20401] ppid=20393 vsize=10727700 memory=543336 CPUtime=0.17 cores=0,2,4,6
/proc/20396/task/20401/stat : 20401 (java) S 20393 20396 13514 0 -1 1077944384 797 0 0 0 11 6 0 0 20 0 16 0 106272563 10985164800 135834 33554432000 4194304 4196468 140726692491648 139952866544016 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20402] ppid=20393 vsize=10727700 memory=22656 CPUtime=0.16 cores=0,2,4,6
/proc/20396/task/20402/stat : 20402 (java) S 20393 20396 13514 0 -1 1077944384 1132 0 0 0 10 6 0 0 20 0 16 0 106272563 10985164800 135834 33554432000 4194304 4196468 140726692491648 139952865491216 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20403] ppid=20393 vsize=10727700 memory=543336 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20403/stat : 20403 (java) S 20393 20396 13514 0 -1 1077944384 844 0 0 0 0 0 0 0 20 0 16 0 106272564 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951978044272 139952942586498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20404] ppid=20393 vsize=10727700 memory=543336 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20404/stat : 20404 (java) S 20393 20396 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 106272564 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951976990304 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20405] ppid=20393 vsize=10727700 memory=1315 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20405/stat : 20405 (java) S 20393 20396 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106272565 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951975937392 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20406] ppid=20393 vsize=10727700 memory=543336 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20406/stat : 20406 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106272567 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951974885712 139952942593947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20407] ppid=20393 vsize=10727700 memory=543336 CPUtime=2.47 cores=0,2,4,6
/proc/20396/task/20407/stat : 20407 (java) S 20393 20396 13514 0 -1 1077944384 11339 0 0 0 245 2 0 0 20 0 16 0 106272567 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951973833072 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20408] ppid=20393 vsize=10727700 memory=0 CPUtime=2.31 cores=0,2,4,6
/proc/20396/task/20408/stat : 20408 (java) S 20393 20396 13514 0 -1 1077944384 9824 0 0 0 230 1 0 0 20 0 16 0 106272567 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951972780272 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20409] ppid=20393 vsize=10727700 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/20396/task/20409/stat : 20409 (java) S 20393 20396 13514 0 -1 1077944384 4677 0 0 0 60 0 0 0 20 0 16 0 106272567 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951971727472 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20410] ppid=20393 vsize=10727700 memory=543336 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20410/stat : 20410 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106272567 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951970674912 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20411] ppid=20393 vsize=10727700 memory=2324 CPUtime=0.13 cores=0,2,4,6
/proc/20396/task/20411/stat : 20411 (java) S 20393 20396 13514 0 -1 1077944384 880 0 0 0 7 6 0 0 20 0 16 0 106272567 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951969623216 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20412] ppid=20393 vsize=10727700 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20412/stat : 20412 (java) S 20393 20396 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106272711 10985164800 135834 33554432000 4194304 4196468 140726692491648 139951966471600 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
Current children cumulated CPU time: 228.36 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 543336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+246.001 s]*
/proc/loadavg: 2.05 2.16 2.29 3/218 20606
/proc/meminfo: memFree=24183920/32770624 swapFree=67108860/67108860
[pid=20396] ppid=20393 vsize=10727700 memory=543340 CPUtime=252.08 cores=0,2,4,6
/proc/20396/stat : 20396 (java) S 20393 20396 13514 0 -1 1077944320 42532 0 0 0 25165 43 0 0 20 0 16 0 106272561 10985164800 135835 33554432000 4194304 4196468 140726692491648 140726692474192 139952942575351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
/proc/20396/statm: 2681925 135835 3175 1 0 2644416 0
[pid=20396/tid=20398] ppid=20393 vsize=10727700 memory=1398720917958146503 CPUtime=245.76 cores=0,2,4,6
/proc/20396/task/20398/stat : 20398 (java) R 20393 20396 13514 0 -1 4202560 10728 0 0 0 24571 5 0 0 20 0 16 0 106272562 10985164800 135835 33554432000 4194304 4196468 140726692491648 139952946813992 139952539675670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20399] ppid=20393 vsize=10727700 memory=4126316290023845779 CPUtime=0.19 cores=0,2,4,6
/proc/20396/task/20399/stat : 20399 (java) S 20393 20396 13514 0 -1 1077944384 367 0 0 0 13 6 0 0 20 0 16 0 106272563 10985164800 135835 33554432000 4194304 4196468 140726692491648 139952868649616 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20400] ppid=20393 vsize=10727700 memory=8514726395714825349 CPUtime=0.17 cores=0,2,4,6
/proc/20396/task/20400/stat : 20400 (java) S 20393 20396 13514 0 -1 1077944384 367 0 0 0 11 6 0 0 20 0 16 0 106272563 10985164800 135835 33554432000 4194304 4196468 140726692491648 139952867596816 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20401] ppid=20393 vsize=10727700 memory=4427205132082312746 CPUtime=0.17 cores=0,2,4,6
/proc/20396/task/20401/stat : 20401 (java) S 20393 20396 13514 0 -1 1077944384 797 0 0 0 11 6 0 0 20 0 16 0 106272563 10985164800 135835 33554432000 4194304 4196468 140726692491648 139952866544016 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20402] ppid=20393 vsize=10727700 memory=-8486080722631693414 CPUtime=0.16 cores=0,2,4,6
/proc/20396/task/20402/stat : 20402 (java) S 20393 20396 13514 0 -1 1077944384 1132 0 0 0 10 6 0 0 20 0 16 0 106272563 10985164800 135835 33554432000 4194304 4196468 140726692491648 139952865491216 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20403] ppid=20393 vsize=10727700 memory=-8412652152092201843 CPUtime=0.01 cores=0,2,4,6
/proc/20396/task/20403/stat : 20403 (java) S 20393 20396 13514 0 -1 1077944384 853 0 0 0 1 0 0 0 20 0 16 0 106272564 10985164800 135835 33554432000 4194304 4196468 140726692491648 139951978044272 139952942586498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20404] ppid=20393 vsize=10727700 memory=-7023579799431922829 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20404/stat : 20404 (java) S 20393 20396 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 106272564 10985164800 135835 33554432000 4194304 4196468 140726692491648 139951976990304 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20405] ppid=20393 vsize=10727700 memory=3047711553219693942 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20405/stat : 20405 (java) S 20393 20396 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106272565 10985164800 135835 33554432000 4194304 4196468 140726692491648 139951975937392 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20406] ppid=20393 vsize=10727700 memory=4426639978525455914 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20406/stat : 20406 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106272567 10985164800 135835 33554432000 4194304 4196468 140726692491648 139951974885712 139952942593947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20407] ppid=20393 vsize=10727700 memory=8098708403369829481 CPUtime=2.47 cores=0,2,4,6
/proc/20396/task/20407/stat : 20407 (java) S 20393 20396 13514 0 -1 1077944384 11342 0 0 0 245 2 0 0 20 0 16 0 106272567 10985164800 135835 33554432000 4194304 4196468 140726692491648 139951973833072 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20408] ppid=20393 vsize=10727700 memory=7233434473925798760 CPUtime=2.31 cores=0,2,4,6
/proc/20396/task/20408/stat : 20408 (java) S 20393 20396 13514 0 -1 1077944384 9838 0 0 0 230 1 0 0 20 0 16 0 106272567 10985164800 135835 33554432000 4194304 4196468 140726692491648 139951972780272 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20409] ppid=20393 vsize=10727700 memory=7234015007206566251 CPUtime=0.61 cores=0,2,4,6
/proc/20396/task/20409/stat : 20409 (java) S 20393 20396 13514 0 -1 1077944384 4805 0 0 0 60 1 0 0 20 0 16 0 106272567 10985164800 135835 33554432000 4194304 4196468 140726692491648 139951971727472 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20410] ppid=20393 vsize=10727700 memory=7234015007206566251 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20410/stat : 20410 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106272567 10985164800 135835 33554432000 4194304 4196468 140726692491648 139951970674912 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20411] ppid=20393 vsize=10727700 memory=302022878516478280 CPUtime=0.14 cores=0,2,4,6
/proc/20396/task/20411/stat : 20411 (java) S 20393 20396 13514 0 -1 1077944384 917 0 0 0 7 7 0 0 20 0 16 0 106272567 10985164800 135835 33554432000 4194304 4196468 140726692491648 139951969623216 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20412] ppid=20393 vsize=10727700 memory=6220993253238723945 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20412/stat : 20412 (java) S 20393 20396 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106272711 10985164800 135835 33554432000 4194304 4196468 140726692491648 139951966471600 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 543340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+246.229 s]
# the end of solver process 20396 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.715 s, system=0.449166 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+246.201 s]
/proc/loadavg: 2.05 2.16 2.29 3/218 20606
/proc/meminfo: memFree=24183920/32770624 swapFree=67108860/67108860
[pid=20396] ppid=20393 vsize=10927392 memory=543576 CPUtime=252.15 cores=0,2,4,6
/proc/20396/stat : 20396 (java) S 20393 20396 13514 0 -1 1077944320 43640 0 0 0 25171 44 0 0 20 0 17 0 106272561 11189649408 135894 33554432000 4194304 4196468 140726692491648 140726692474192 139952942575351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
/proc/20396/statm: 2731848 135894 3177 1 0 2694339 0
[pid=20396/tid=20398] ppid=20393 vsize=10927392 memory=7528 CPUtime=245.8 cores=0,2,4,6
/proc/20396/task/20398/stat : 20398 (java) S 20393 20396 13514 0 -1 1077944384 10929 0 0 0 24575 5 0 0 20 0 17 0 106272562 11189649408 135894 33554432000 4194304 4196468 140726692491648 139952946818224 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20399] ppid=20393 vsize=10927392 memory=2241 CPUtime=0.19 cores=0,2,4,6
/proc/20396/task/20399/stat : 20399 (java) S 20393 20396 13514 0 -1 1077944384 367 0 0 0 13 6 0 0 20 0 17 0 106272563 11189649408 135894 33554432000 4194304 4196468 140726692491648 139952868649616 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20400] ppid=20393 vsize=10927392 memory=2244 CPUtime=0.17 cores=0,2,4,6
/proc/20396/task/20400/stat : 20400 (java) S 20393 20396 13514 0 -1 1077944384 367 0 0 0 11 6 0 0 20 0 17 0 106272563 11189649408 135894 33554432000 4194304 4196468 140726692491648 139952867596816 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20401] ppid=20393 vsize=10927392 memory=7234015007206566251 CPUtime=0.17 cores=0,2,4,6
/proc/20396/task/20401/stat : 20401 (java) S 20393 20396 13514 0 -1 1077944384 797 0 0 0 11 6 0 0 20 0 17 0 106272563 11189649408 135894 33554432000 4194304 4196468 140726692491648 139952866544016 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20402] ppid=20393 vsize=10927392 memory=7234015007206566251 CPUtime=0.16 cores=0,2,4,6
/proc/20396/task/20402/stat : 20402 (java) S 20393 20396 13514 0 -1 1077944384 1132 0 0 0 10 6 0 0 20 0 17 0 106272563 11189649408 135894 33554432000 4194304 4196468 140726692491648 139952865491216 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20403] ppid=20393 vsize=10927392 memory=8098708403369829481 CPUtime=0.01 cores=0,2,4,6
/proc/20396/task/20403/stat : 20403 (java) S 20393 20396 13514 0 -1 1077944384 853 0 0 0 1 0 0 0 20 0 17 0 106272564 11189649408 135894 33554432000 4194304 4196468 140726692491648 139951978044272 139952942586498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20404] ppid=20393 vsize=10927392 memory=7235432372536305728 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20404/stat : 20404 (java) S 20393 20396 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 106272564 11189649408 135894 33554432000 4194304 4196468 140726692491648 139951976990304 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20405] ppid=20393 vsize=10927392 memory=6081101306891166568 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20405/stat : 20405 (java) S 20393 20396 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 106272565 11189649408 135894 33554432000 4194304 4196468 140726692491648 139951975937392 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20406] ppid=20393 vsize=10927392 memory=-6584359997799305314 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20406/stat : 20406 (java) S 20393 20396 13514 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 17 0 106272567 11189649408 135894 33554432000 4194304 4196468 140726692491648 139951974885712 139952942593947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20407] ppid=20393 vsize=10927392 memory=8098708403369829481 CPUtime=2.48 cores=0,2,4,6
/proc/20396/task/20407/stat : 20407 (java) S 20393 20396 13514 0 -1 1077944384 11591 0 0 0 246 2 0 0 20 0 17 0 106272567 11189649408 135894 33554432000 4194304 4196468 140726692491648 139951973833072 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20408] ppid=20393 vsize=10927392 memory=140014189506657 CPUtime=2.31 cores=0,2,4,6
/proc/20396/task/20408/stat : 20408 (java) S 20393 20396 13514 0 -1 1077944384 9915 0 0 0 230 1 0 0 20 0 17 0 106272567 11189649408 135894 33554432000 4194304 4196468 140726692491648 139951972780272 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20409] ppid=20393 vsize=10927392 memory=288230574492221466 CPUtime=0.61 cores=0,2,4,6
/proc/20396/task/20409/stat : 20409 (java) S 20393 20396 13514 0 -1 1077944384 4897 0 0 0 60 1 0 0 20 0 17 0 106272567 11189649408 135894 33554432000 4194304 4196468 140726692491648 139951971727472 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20410] ppid=20393 vsize=10927392 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/20396/task/20410/stat : 20410 (java) S 20393 20396 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106272567 11189649408 135894 33554432000 4194304 4196468 140726692491648 139951970674912 139952942585557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
[pid=20396/tid=20411] ppid=20393 vsize=10927392 memory=13847486485760432 CPUtime=0.14 cores=0,2,4,6
/proc/20396/task/20411/stat : 20411 (java) S 20393 20396 13514 0 -1 1077944384 917 0 0 0 7 7 0 0 20 0 17 0 106272567 11189649408 135894 33554432000 4194304 4196468 140726692491648 139951969623216 139952942586498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21049344 140726692500598 140726692500750 140726692500750 140726692503503 0
Current children cumulated CPU time: 252.15 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 543576 KiB
Child status: 143
Real time (s): 246.229
CPU time (s): 252.165
CPU user time (s): 251.715
CPU system time (s): 0.449166
CPU usage (%): 102.411
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 543576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.715
system time used= 0.449166
maximum resident set size= 543984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44540
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7981
involuntary context switches= 317
# summary of solver processes directly reported to runsolver:
# pid: 20396
# total CPU time (s): 252.165
# total CPU user time (s): 251.715
# total CPU system time (s): 0.449166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.65147 second user time and 2.30728 second system time
The end