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 (15334 MiB free)
memory of node 1: 16384 MiB (7786 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262974-1502629888/watcher-4262974-1502629888 -o /tmp/evaluation-result-4262974-1502629888/solver-4262974-1502629888 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502615983-3943 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262974-1502629888.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7430, runsolver pid=7427
[startup+0.109226 s]*
/proc/loadavg: 2.03 2.05 2.14 4/216 7445
/proc/meminfo: memFree=23656280/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=10555400 memory=30092 CPUtime=0.14 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 32402 0 -1 1077944320 6619 0 0 0 12 2 0 0 20 0 15 0 96076500 10808729600 7523 33554432000 4194304 4196468 140729927162176 140729927144720 140621156732663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
/proc/7430/statm: 2638850 7523 2821 1 0 2627263 0
[pid=7430/tid=7432] ppid=7427 vsize=10555400 memory=8326441112148417179 CPUtime=0.1 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) R 7427 7430 32402 0 -1 4202560 4462 0 0 0 9 1 0 0 20 0 15 0 96076501 10808729600 7523 33554432000 4194304 4196468 140729927162176 140621160947744 140621135187184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7433] ppid=7427 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96076502 10808729600 7523 33554432000 4194304 4196468 140729927162176 140620763605392 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7434] ppid=7427 vsize=10555400 memory=140322464372352 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96076502 10808729600 7523 33554432000 4194304 4196468 140729927162176 140620762552592 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7435] ppid=7427 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96076502 10808729600 7523 33554432000 4194304 4196468 140729927162176 140620761500304 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7436] ppid=7427 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96076502 10808729600 7523 33554432000 4194304 4196468 140729927162176 140620760447504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7437] ppid=7427 vsize=10555400 memory=140322464372352 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96076503 10808729600 7523 33554432000 4194304 4196468 140729927162176 140620259637872 140621156743810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7438] ppid=7427 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96076503 10808729600 7523 33554432000 4194304 4196468 140729927162176 140620258583840 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7439] ppid=7427 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96076504 10808729600 7523 33554432000 4194304 4196468 140729927162176 140620257531504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7440] ppid=7427 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96076506 10808729600 7523 33554432000 4194304 4196468 140729927162176 140620256479824 140621156751259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7441] ppid=7427 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 32402 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 96076506 10808729600 7523 33554432000 4194304 4196468 140729927162176 140620255426672 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7442] ppid=7427 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96076506 10808729600 7523 33554432000 4194304 4196468 140729927162176 140620254373872 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7443] ppid=7427 vsize=10555400 memory=140322464372352 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7427 7430 32402 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 96076506 10808729600 7523 33554432000 4194304 4196468 140729927162176 140620253321584 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7444] ppid=7427 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96076506 10808729600 7523 33554432000 4194304 4196468 140729927162176 140620252269024 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7445] ppid=7427 vsize=10555432 memory=140322464372352 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96076506 10808762368 7523 33554432000 4194304 4196468 140729927162176 140620251216816 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30092 KiB
[startup+0.21055 s]*
/proc/loadavg: 2.03 2.05 2.14 3/216 7445
/proc/meminfo: memFree=23649224/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=10555400 memory=37876 CPUtime=0.28 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 32402 0 -1 1077944320 7778 0 0 0 25 3 0 0 20 0 15 0 96076500 10808729600 9469 33554432000 4194304 4196468 140729927162176 140729927144720 140621156732663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
/proc/7430/statm: 2638850 9469 2890 1 0 2627263 0
[pid=7430/tid=7432] ppid=7427 vsize=10555400 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) R 7427 7430 32402 0 -1 4202560 5376 0 0 0 17 2 0 0 20 0 15 0 96076501 10808729600 9469 33554432000 4194304 4196468 140729927162176 140621160967392 140621156754589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7433] ppid=7427 vsize=10555400 memory=339 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96076502 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620763605392 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7434] ppid=7427 vsize=10555400 memory=140322464550868 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96076502 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620762552592 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7435] ppid=7427 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96076502 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620761500304 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7436] ppid=7427 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96076502 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620760447504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7437] ppid=7427 vsize=10555400 memory=140322464372352 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96076503 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620259637872 140621156743810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7438] ppid=7427 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96076503 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620258583840 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7439] ppid=7427 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96076504 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620257531504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7440] ppid=7427 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96076506 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620256479824 140621156751259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7441] ppid=7427 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 32402 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 15 0 96076506 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620255426672 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7442] ppid=7427 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 32402 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 96076506 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620254373872 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7443] ppid=7427 vsize=10555400 memory=140322464372352 CPUtime=0.04 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) R 7427 7430 32402 0 -1 4202560 412 0 0 0 4 0 0 0 20 0 15 0 96076506 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620253321584 140621140813150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7444] ppid=7427 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96076506 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620252269024 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7445] ppid=7427 vsize=10555400 memory=140322464372352 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96076506 10808729600 9469 33554432000 4194304 4196468 140729927162176 140620251216816 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 37876 KiB
[startup+0.311823 s]*
/proc/loadavg: 2.03 2.05 2.14 3/216 7445
/proc/meminfo: memFree=23640704/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=10555476 memory=46440 CPUtime=0.49 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 32402 0 -1 1077944320 8806 0 0 0 45 4 0 0 20 0 15 0 96076500 10808807424 11610 33554432000 4194304 4196468 140729927162176 140729927144720 140621156732663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
/proc/7430/statm: 2638869 11610 3028 1 0 2627263 0
[pid=7430/tid=7432] ppid=7427 vsize=10555476 memory=53476 CPUtime=0.29 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) R 7427 7430 32402 0 -1 4202560 5772 0 0 0 27 2 0 0 20 0 15 0 96076501 10808807424 11610 33554432000 4194304 4196468 140729927162176 140621160960640 140620795332250 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7433] ppid=7427 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96076502 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620763605392 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7434] ppid=7427 vsize=10555476 memory=140322464430368 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96076502 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620762552592 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7435] ppid=7427 vsize=10555476 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96076502 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620761500304 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7436] ppid=7427 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96076502 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620760447504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7437] ppid=7427 vsize=10555476 memory=140322464437280 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96076503 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620259637872 140621156743810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7438] ppid=7427 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96076503 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620258583840 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7439] ppid=7427 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96076504 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620257531504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7440] ppid=7427 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96076506 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620256479824 140621156751259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7441] ppid=7427 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) R 7427 7430 32402 0 -1 1077944384 671 0 0 0 3 0 0 0 20 0 15 0 96076506 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620255426672 140621156743810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7442] ppid=7427 vsize=10555476 memory=140322353040911 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) R 7427 7430 32402 0 -1 4202560 290 0 0 0 2 0 0 0 20 0 15 0 96076506 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620254364256 140621138259752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7443] ppid=7427 vsize=10555476 memory=140322464379601 CPUtime=0.11 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7427 7430 32402 0 -1 1077944384 706 0 0 0 11 0 0 0 20 0 15 0 96076506 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620253321584 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7444] ppid=7427 vsize=10555476 memory=140322353045455 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96076506 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620252269024 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7445] ppid=7427 vsize=10555476 memory=280644817434560 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96076506 10808807424 11610 33554432000 4194304 4196468 140729927162176 140620251216816 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46440 KiB
[startup+0.700848 s]
/proc/loadavg: 2.03 2.05 2.14 5/217 7446
/proc/meminfo: memFree=23591484/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=10622040 memory=96368 CPUtime=1.61 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 32402 0 -1 1077944320 11629 0 0 0 156 5 0 0 20 0 16 0 96076500 10876968960 24092 33554432000 4194304 4196468 140729927162176 140729927144720 140621156732663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
/proc/7430/statm: 2655510 24092 3082 1 0 2643904 0
[pid=7430/tid=7432] ppid=7427 vsize=10622040 memory=16680006 CPUtime=0.68 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) R 7427 7430 32402 0 -1 4202560 5837 0 0 0 65 3 0 0 20 0 16 0 96076501 10876968960 24092 33554432000 4194304 4196468 140729927162176 140621160969368 140620796502857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7433] ppid=7427 vsize=10622040 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620763605392 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7434] ppid=7427 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620762552592 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7435] ppid=7427 vsize=10622040 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620761500304 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7436] ppid=7427 vsize=10622040 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620760447504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7437] ppid=7427 vsize=10622040 memory=15632 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 32402 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 96076503 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620259637872 140621156743810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7438] ppid=7427 vsize=10622040 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 96076503 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620258583840 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7439] ppid=7427 vsize=10622040 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96076504 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620257531504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7440] ppid=7427 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96076506 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620256479824 140621156751259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7441] ppid=7427 vsize=10622040 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 32402 0 -1 1077944384 1928 0 0 0 37 0 0 0 20 0 16 0 96076506 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620255426672 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7442] ppid=7427 vsize=10622040 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 32402 0 -1 1077944384 1601 0 0 0 38 0 0 0 20 0 16 0 96076506 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620254373872 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7443] ppid=7427 vsize=10622040 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7427 7430 32402 0 -1 1077944384 872 0 0 0 15 0 0 0 20 0 16 0 96076506 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620253321584 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7444] ppid=7427 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96076506 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620252269024 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7445] ppid=7427 vsize=10622040 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96076506 10876968960 24092 33554432000 4194304 4196468 140729927162176 140620251216816 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7446] ppid=7427 vsize=10622040 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7446/stat : 7446 (java) S 7427 7430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96076545 10876968960 24092 33554432000 4194304 4196468 140729927162176 140619645183152 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 96368 KiB
[startup+1.50088 s]
/proc/loadavg: 2.03 2.05 2.14 3/217 7446
/proc/meminfo: memFree=23590784/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=10622040 memory=98900 CPUtime=2.59 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 32402 0 -1 1077944320 12480 0 0 0 254 5 0 0 20 0 16 0 96076500 10876968960 24725 33554432000 4194304 4196468 140729927162176 140729927144720 140621156732663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
/proc/7430/statm: 2655510 24725 3083 1 0 2643904 0
[pid=7430/tid=7432] ppid=7427 vsize=10622040 memory=128 CPUtime=1.48 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) R 7427 7430 32402 0 -1 4202560 5881 0 0 0 145 3 0 0 20 0 16 0 96076501 10876968960 24725 33554432000 4194304 4196468 140729927162176 140621160968752 140620796718314 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7433] ppid=7427 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 24725 33554432000 4194304 4196468 140729927162176 140620763605392 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7434] ppid=7427 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 24725 33554432000 4194304 4196468 140729927162176 140620762552592 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7435] ppid=7427 vsize=10622040 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 24725 33554432000 4194304 4196468 140729927162176 140620761500304 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7436] ppid=7427 vsize=10622040 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 24725 33554432000 4194304 4196468 140729927162176 140620760447504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
################
# More data... #
################
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620762552592 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7435] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620761500304 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7436] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620760447504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7437] ppid=7427 vsize=10622040 memory=182244 CPUtime=0.07 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 32402 0 -1 1077944384 681 0 0 0 3 4 0 0 20 0 16 0 96076503 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620259637872 140621156743810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7438] ppid=7427 vsize=10622040 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 96076503 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620258583840 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7439] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96076504 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620257531504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7440] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96076506 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620256479824 140621156751259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7441] ppid=7427 vsize=10622040 memory=1440 CPUtime=0.84 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 32402 0 -1 1077944384 8532 0 0 0 83 1 0 0 20 0 16 0 96076506 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620255426672 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7442] ppid=7427 vsize=10622040 memory=182244 CPUtime=0.81 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 32402 0 -1 1077944384 6263 0 0 0 79 2 0 0 20 0 16 0 96076506 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620254373872 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7443] ppid=7427 vsize=10622040 memory=182244 CPUtime=0.23 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7427 7430 32402 0 -1 1077944384 3424 0 0 0 22 1 0 0 20 0 16 0 96076506 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620253321584 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7444] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96076506 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620252269024 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7445] ppid=7427 vsize=10622040 memory=182244 CPUtime=1.69 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 32402 0 -1 1077944384 1752 0 0 0 85 84 0 0 20 0 16 0 96076506 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620251216816 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7446] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7446/stat : 7446 (java) S 7427 7430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96076545 10876968960 45561 33554432000 4194304 4196468 140729927162176 140619645183152 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
Current children cumulated CPU time: 2505.85 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 182244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.5 s]
/proc/loadavg: 2.00 2.63 2.94 3/217 7851
/proc/meminfo: memFree=28747808/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=10622040 memory=182244 CPUtime=2520.06 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 32402 0 -1 1077944320 34519 0 0 0 251930 76 0 0 20 0 16 0 96076500 10876968960 45561 33554432000 4194304 4196468 140729927162176 140729927144720 140621156732663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
/proc/7430/statm: 2655510 45561 3105 1 0 2643904 0
[pid=7430/tid=7432] ppid=7427 vsize=10622040 memory=182244 CPUtime=2516.36 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) R 7427 7430 32402 0 -1 4202560 12482 0 0 0 251631 5 0 0 20 0 16 0 96076501 10876968960 45561 33554432000 4194304 4196468 140729927162176 140621160971400 140620796718447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7433] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620763605392 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7434] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620762552592 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7435] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620761500304 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7436] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 96076502 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620760447504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7437] ppid=7427 vsize=10622040 memory=1948 CPUtime=0.07 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 32402 0 -1 1077944384 681 0 0 0 3 4 0 0 20 0 16 0 96076503 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620259637872 140621156743810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7438] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 96076503 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620258583840 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7439] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96076504 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620257531504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7440] ppid=7427 vsize=10622040 memory=168 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96076506 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620256479824 140621156751259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7441] ppid=7427 vsize=10622040 memory=182244 CPUtime=0.84 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 32402 0 -1 1077944384 8532 0 0 0 83 1 0 0 20 0 16 0 96076506 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620255426672 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7442] ppid=7427 vsize=10622040 memory=4100 CPUtime=0.81 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 32402 0 -1 1077944384 6263 0 0 0 79 2 0 0 20 0 16 0 96076506 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620254373872 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7443] ppid=7427 vsize=10622040 memory=182244 CPUtime=0.23 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7427 7430 32402 0 -1 1077944384 3424 0 0 0 22 1 0 0 20 0 16 0 96076506 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620253321584 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7444] ppid=7427 vsize=10622040 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96076506 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620252269024 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7445] ppid=7427 vsize=10622040 memory=182244 CPUtime=1.71 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 32402 0 -1 1077944384 1752 0 0 0 86 85 0 0 20 0 16 0 96076506 10876968960 45561 33554432000 4194304 4196468 140729927162176 140620251216816 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7446] ppid=7427 vsize=10622040 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7446/stat : 7446 (java) S 7427 7430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96076545 10876968960 45561 33554432000 4194304 4196468 140729927162176 140619645183152 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 182244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.72 s]
# the end of solver process 7430 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.43 s, system=0.821141 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2516.61 s]
/proc/loadavg: 2.00 2.63 2.94 3/217 7851
/proc/meminfo: memFree=28747808/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=10821732 memory=227720 CPUtime=2520.21 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 32402 0 -1 1077944320 35726 0 0 0 251940 81 0 0 20 0 17 0 96076500 11081453568 56930 33554432000 4194304 4196468 140729927162176 140729927144720 140621156732663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
/proc/7430/statm: 2705433 56930 3127 1 0 2693827 0
[pid=7430/tid=7432] ppid=7427 vsize=10821732 memory=1292 CPUtime=2516.38 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7427 7430 32402 0 -1 1077944384 12519 0 0 0 251633 5 0 0 20 0 17 0 96076501 11081453568 56930 33554432000 4194304 4196468 140729927162176 140621160975536 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7433] ppid=7427 vsize=10821732 memory=2448 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 32402 0 -1 1077944384 205 0 0 0 1 1 0 0 20 0 17 0 96076502 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620763605392 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7434] ppid=7427 vsize=10821732 memory=1732 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 32402 0 -1 1077944384 70 0 0 0 1 1 0 0 20 0 17 0 96076502 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620762552592 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7435] ppid=7427 vsize=10821732 memory=1948 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 32402 0 -1 1077944384 65 0 0 0 1 1 0 0 20 0 17 0 96076502 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620761500304 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7436] ppid=7427 vsize=10821732 memory=800 CPUtime=0.03 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 32402 0 -1 1077944384 151 0 0 0 2 1 0 0 20 0 17 0 96076502 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620760447504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7437] ppid=7427 vsize=10821732 memory=12068 CPUtime=0.07 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 32402 0 -1 1077944384 835 0 0 0 3 4 0 0 20 0 17 0 96076503 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620259637872 140621156743810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7438] ppid=7427 vsize=10821732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 32402 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 17 0 96076503 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620258583840 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7439] ppid=7427 vsize=10821732 memory=55 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 32402 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 96076504 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620257531504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7440] ppid=7427 vsize=10821732 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 32402 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 17 0 96076506 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620256479824 140621156751259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7441] ppid=7427 vsize=10821732 memory=15825482151102897 CPUtime=0.84 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 32402 0 -1 1077944384 8532 0 0 0 83 1 0 0 20 0 17 0 96076506 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620255426672 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7442] ppid=7427 vsize=10821732 memory=1712 CPUtime=0.81 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 32402 0 -1 1077944384 6263 0 0 0 79 2 0 0 20 0 17 0 96076506 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620254373872 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7443] ppid=7427 vsize=10821732 memory=4612 CPUtime=0.23 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7427 7430 32402 0 -1 1077944384 3601 0 0 0 22 1 0 0 20 0 17 0 96076506 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620253321584 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7444] ppid=7427 vsize=10821732 memory=7517191027508797804 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96076506 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620252269024 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7445] ppid=7427 vsize=10821732 memory=7451875651672429664 CPUtime=1.71 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 32402 0 -1 1077944384 1752 0 0 0 86 85 0 0 20 0 17 0 96076506 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620251216816 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
Current children cumulated CPU time: 2520.21 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 227720 KiB
[startup+2516.7 s]
/proc/loadavg: 2.00 2.63 2.94 3/217 7851
/proc/meminfo: memFree=28747808/32770624 swapFree=67108860/67108860
[pid=7430] ppid=7427 vsize=10821732 memory=227720 CPUtime=2520.21 cores=0,2,4,6
/proc/7430/stat : 7430 (java) S 7427 7430 32402 0 -1 1077944320 35726 0 0 0 251940 81 0 0 20 0 17 0 96076500 11081453568 56930 33554432000 4194304 4196468 140729927162176 140729927144720 140621156732663 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
/proc/7430/statm: 2705433 56930 3127 1 0 2693827 0
[pid=7430/tid=7432] ppid=7427 vsize=10821732 memory=1948 CPUtime=2516.38 cores=0,2,4,6
/proc/7430/task/7432/stat : 7432 (java) S 7427 7430 32402 0 -1 1077944384 12519 0 0 0 251633 5 0 0 20 0 17 0 96076501 11081453568 56930 33554432000 4194304 4196468 140729927162176 140621160975536 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7433] ppid=7427 vsize=10821732 memory=182244 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7433/stat : 7433 (java) S 7427 7430 32402 0 -1 1077944384 205 0 0 0 1 1 0 0 20 0 17 0 96076502 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620763605392 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7434] ppid=7427 vsize=10821732 memory=182244 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7434/stat : 7434 (java) S 7427 7430 32402 0 -1 1077944384 70 0 0 0 1 1 0 0 20 0 17 0 96076502 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620762552592 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7435] ppid=7427 vsize=10821732 memory=182244 CPUtime=0.02 cores=0,2,4,6
/proc/7430/task/7435/stat : 7435 (java) S 7427 7430 32402 0 -1 1077944384 65 0 0 0 1 1 0 0 20 0 17 0 96076502 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620761500304 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7436] ppid=7427 vsize=10821732 memory=182244 CPUtime=0.03 cores=0,2,4,6
/proc/7430/task/7436/stat : 7436 (java) S 7427 7430 32402 0 -1 1077944384 151 0 0 0 2 1 0 0 20 0 17 0 96076502 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620760447504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7437] ppid=7427 vsize=10821732 memory=182244 CPUtime=0.07 cores=0,2,4,6
/proc/7430/task/7437/stat : 7437 (java) S 7427 7430 32402 0 -1 1077944384 835 0 0 0 3 4 0 0 20 0 17 0 96076503 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620259637872 140621156743810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7438] ppid=7427 vsize=10821732 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7438/stat : 7438 (java) S 7427 7430 32402 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 17 0 96076503 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620258583840 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7439] ppid=7427 vsize=10821732 memory=168 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7439/stat : 7439 (java) S 7427 7430 32402 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 96076504 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620257531504 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7440] ppid=7427 vsize=10821732 memory=3832 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7440/stat : 7440 (java) S 7427 7430 32402 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 17 0 96076506 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620256479824 140621156751259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7441] ppid=7427 vsize=10821732 memory=6935054825532540783 CPUtime=0.84 cores=0,2,4,6
/proc/7430/task/7441/stat : 7441 (java) S 7427 7430 32402 0 -1 1077944384 8532 0 0 0 83 1 0 0 20 0 17 0 96076506 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620255426672 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7442] ppid=7427 vsize=10821732 memory=182244 CPUtime=0.81 cores=0,2,4,6
/proc/7430/task/7442/stat : 7442 (java) S 7427 7430 32402 0 -1 1077944384 6263 0 0 0 79 2 0 0 20 0 17 0 96076506 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620254373872 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7443] ppid=7427 vsize=10821732 memory=4100 CPUtime=0.23 cores=0,2,4,6
/proc/7430/task/7443/stat : 7443 (java) S 7427 7430 32402 0 -1 1077944384 3601 0 0 0 22 1 0 0 20 0 17 0 96076506 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620253321584 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7444] ppid=7427 vsize=10821732 memory=182244 CPUtime=0 cores=0,2,4,6
/proc/7430/task/7444/stat : 7444 (java) S 7427 7430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96076506 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620252269024 140621156742869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
[pid=7430/tid=7445] ppid=7427 vsize=10821732 memory=182244 CPUtime=1.71 cores=0,2,4,6
/proc/7430/task/7445/stat : 7445 (java) S 7427 7430 32402 0 -1 1077944384 1752 0 0 0 86 85 0 0 20 0 17 0 96076506 11081453568 56930 33554432000 4194304 4196468 140729927162176 140620251216816 140621156743810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17813504 140729927169158 140729927169311 140729927169311 140729927172047 0
Current children cumulated CPU time: 2520.21 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 227720 KiB
Child status: 143
Real time (s): 2516.72
CPU time (s): 2520.25
CPU user time (s): 2519.43
CPU system time (s): 0.821141
CPU usage (%): 100.14
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 227720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.43
system time used= 0.821141
maximum resident set size= 228056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35836
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55755
involuntary context switches= 731
# summary of solver processes directly reported to runsolver:
# pid: 7430
# total CPU time (s): 2520.25
# total CPU user time (s): 2519.43
# total CPU system time (s): 0.821141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6058 second user time and 24.569 second system time
The end