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 (7195 MiB free)
memory of node 1: 16384 MiB (15588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263691-1502635638/watcher-4263691-1502635638 -o /tmp/evaluation-result-4263691-1502635638/solver-4263691-1502635638 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502634224-8215 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263691-1502635638.xml
running on 4 cores: 1,3,5,7
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
solver pid=8430, runsolver pid=8427
Current StackSize limit: 8192 KiB
[startup+0.106324 s]*
/proc/loadavg: 6.38 6.11 4.07 6/216 8445
/proc/meminfo: memFree=23312380/32770624 swapFree=67108860/67108860
[pid=8430] ppid=8427 vsize=10555400 memory=29952 CPUtime=0.13 cores=1,3,5,7
/proc/8430/stat : 8430 (java) S 8427 8430 32402 0 -1 1077944320 6577 0 0 0 12 1 0 0 20 0 15 0 96651468 10808729600 7488 33554432000 4194304 4196468 140732736699568 140732736682112 139644893929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
/proc/8430/statm: 2638850 7488 2808 1 0 2627263 0
[pid=8430/tid=8432] ppid=8427 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/8430/task/8432/stat : 8432 (java) R 8427 8430 32402 0 -1 4202560 4420 0 0 0 9 0 0 0 20 0 15 0 96651468 10808729600 7488 33554432000 4194304 4196468 140732736699568 139644898160224 139644893951133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8433] ppid=8427 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8433/stat : 8433 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651469 10808729600 7488 33554432000 4194304 4196468 140732736699568 139644830620048 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8434] ppid=8427 vsize=10555400 memory=139844450776704 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8434/stat : 8434 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651469 10808729600 7488 33554432000 4194304 4196468 140732736699568 139644829567248 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8435] ppid=8427 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8435/stat : 8435 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651469 10808729600 7488 33554432000 4194304 4196468 140732736699568 139644828514960 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8436] ppid=8427 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8436/stat : 8436 (java) S 8427 8430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96651469 10808729600 7488 33554432000 4194304 4196468 140732736699568 139644827462160 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8437] ppid=8427 vsize=10555400 memory=139844450776704 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8437/stat : 8437 (java) S 8427 8430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96651470 10808729600 7488 33554432000 4194304 4196468 140732736699568 139643996363376 139644893940354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8438] ppid=8427 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8438/stat : 8438 (java) S 8427 8430 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96651471 10808729600 7488 33554432000 4194304 4196468 140732736699568 139643995309344 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8439] ppid=8427 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8439/stat : 8439 (java) S 8427 8430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96651471 10808729600 7488 33554432000 4194304 4196468 140732736699568 139643994257008 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8440] ppid=8427 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8440/stat : 8440 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96651473 10808729600 7488 33554432000 4194304 4196468 140732736699568 139643993205328 139644893947803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8441] ppid=8427 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8441/stat : 8441 (java) S 8427 8430 32402 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 96651473 10808729600 7488 33554432000 4194304 4196468 140732736699568 139643992152176 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8442] ppid=8427 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8442/stat : 8442 (java) S 8427 8430 32402 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 96651473 10808729600 7488 33554432000 4194304 4196468 140732736699568 139643991099376 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8443] ppid=8427 vsize=10555400 memory=139844450776704 CPUtime=0.02 cores=1,3,5,7
/proc/8430/task/8443/stat : 8443 (java) R 8427 8430 32402 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 96651473 10808729600 7488 33554432000 4194304 4196468 140732736699568 139643990047088 139644893950554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8444] ppid=8427 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8444/stat : 8444 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96651474 10808729600 7488 33554432000 4194304 4196468 140732736699568 139643988994528 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8445] ppid=8427 vsize=10555400 memory=139844450776704 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8445/stat : 8445 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651474 10808729600 7488 33554432000 4194304 4196468 140732736699568 139643987942320 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29952 KiB
[startup+0.213462 s]*
/proc/loadavg: 6.38 6.11 4.07 7/216 8445
/proc/meminfo: memFree=23302704/32770624 swapFree=67108860/67108860
[pid=8430] ppid=8427 vsize=10555400 memory=40104 CPUtime=0.32 cores=1,3,5,7
/proc/8430/stat : 8430 (java) S 8427 8430 32402 0 -1 1077944320 8076 0 0 0 30 2 0 0 20 0 15 0 96651468 10808729600 10026 33554432000 4194304 4196468 140732736699568 140732736682112 139644893929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
/proc/8430/statm: 2638850 10026 2964 1 0 2627263 0
[pid=8430/tid=8432] ppid=8427 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/8430/task/8432/stat : 8432 (java) R 8427 8430 32402 0 -1 4202560 5120 0 0 0 19 1 0 0 20 0 15 0 96651468 10808729600 10034 33554432000 4194304 4196468 140732736699568 139644898162864 139644878009694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8433] ppid=8427 vsize=10555400 memory=339 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8433/stat : 8433 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651469 10808729600 10034 33554432000 4194304 4196468 140732736699568 139644830620048 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8434] ppid=8427 vsize=10555400 memory=139844450791713 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8434/stat : 8434 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651469 10808729600 10034 33554432000 4194304 4196468 140732736699568 139644829567248 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8435] ppid=8427 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8435/stat : 8435 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651469 10808729600 10034 33554432000 4194304 4196468 140732736699568 139644828514960 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8436] ppid=8427 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8436/stat : 8436 (java) S 8427 8430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96651469 10808729600 10034 33554432000 4194304 4196468 140732736699568 139644827462160 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8437] ppid=8427 vsize=10555400 memory=139844450776704 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8437/stat : 8437 (java) S 8427 8430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96651470 10808729600 10034 33554432000 4194304 4196468 140732736699568 139643996363376 139644893940354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8438] ppid=8427 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8438/stat : 8438 (java) S 8427 8430 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96651471 10808729600 10034 33554432000 4194304 4196468 140732736699568 139643995309344 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8439] ppid=8427 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8439/stat : 8439 (java) S 8427 8430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96651471 10808729600 10034 33554432000 4194304 4196468 140732736699568 139643994257008 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8440] ppid=8427 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8440/stat : 8440 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96651473 10808729600 10034 33554432000 4194304 4196468 140732736699568 139643993205328 139644893947803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8441] ppid=8427 vsize=10555400 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8430/task/8441/stat : 8441 (java) S 8427 8430 32402 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 15 0 96651473 10808729600 10034 33554432000 4194304 4196468 140732736699568 139643992152176 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8442] ppid=8427 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/8430/task/8442/stat : 8442 (java) S 8427 8430 32402 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 15 0 96651473 10808729600 10034 33554432000 4194304 4196468 140732736699568 139643991099376 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8443] ppid=8427 vsize=10555400 memory=139844450776704 CPUtime=0.07 cores=1,3,5,7
/proc/8430/task/8443/stat : 8443 (java) S 8427 8430 32402 0 -1 1077944384 776 0 0 0 7 0 0 0 20 0 15 0 96651473 10808729600 10034 33554432000 4194304 4196468 140732736699568 139643990047088 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8444] ppid=8427 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8444/stat : 8444 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96651474 10808729600 10034 33554432000 4194304 4196468 140732736699568 139643988994528 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8445] ppid=8427 vsize=10555400 memory=139844450776704 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8445/stat : 8445 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651474 10808729600 10034 33554432000 4194304 4196468 140732736699568 139643987942320 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 40104 KiB
[startup+0.310699 s]*
/proc/loadavg: 6.38 6.11 4.07 8/216 8445
/proc/meminfo: memFree=23296252/32770624 swapFree=67108860/67108860
[pid=8430] ppid=8427 vsize=10555476 memory=46412 CPUtime=0.53 cores=1,3,5,7
/proc/8430/stat : 8430 (java) S 8427 8430 32402 0 -1 1077944320 8747 0 0 0 50 3 0 0 20 0 15 0 96651468 10808807424 11603 33554432000 4194304 4196468 140732736699568 140732736682112 139644893929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
/proc/8430/statm: 2638869 11603 3011 1 0 2627263 0
[pid=8430/tid=8432] ppid=8427 vsize=10555476 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/8430/task/8432/stat : 8432 (java) R 8427 8430 32402 0 -1 4202560 5525 0 0 0 28 2 0 0 20 0 15 0 96651468 10808807424 11603 33554432000 4194304 4196468 140732736699568 139644898164192 139644893941142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8433] ppid=8427 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8433/stat : 8433 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651469 10808807424 11603 33554432000 4194304 4196468 140732736699568 139644830620048 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8434] ppid=8427 vsize=10555476 memory=139844450834720 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8434/stat : 8434 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651469 10808807424 11603 33554432000 4194304 4196468 140732736699568 139644829567248 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8435] ppid=8427 vsize=10555476 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8435/stat : 8435 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651469 10808807424 11603 33554432000 4194304 4196468 140732736699568 139644828514960 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8436] ppid=8427 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8436/stat : 8436 (java) S 8427 8430 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96651469 10808807424 11603 33554432000 4194304 4196468 140732736699568 139644827462160 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8437] ppid=8427 vsize=10555476 memory=139844450841632 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8437/stat : 8437 (java) S 8427 8430 32402 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96651470 10808807424 11603 33554432000 4194304 4196468 140732736699568 139643996363376 139644893940354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8438] ppid=8427 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8438/stat : 8438 (java) S 8427 8430 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96651471 10808807424 11603 33554432000 4194304 4196468 140732736699568 139643995309344 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8439] ppid=8427 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8439/stat : 8439 (java) S 8427 8430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96651471 10808807424 11603 33554432000 4194304 4196468 140732736699568 139643994257008 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8440] ppid=8427 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8440/stat : 8440 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96651473 10808807424 11603 33554432000 4194304 4196468 140732736699568 139643993205328 139644893947803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8441] ppid=8427 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8430/task/8441/stat : 8441 (java) S 8427 8430 32402 0 -1 1077944384 327 0 0 0 4 0 0 0 20 0 15 0 96651473 10808807424 11603 33554432000 4194304 4196468 140732736699568 139643992152176 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8442] ppid=8427 vsize=10555476 memory=139844336602639 CPUtime=0.03 cores=1,3,5,7
/proc/8430/task/8442/stat : 8442 (java) S 8427 8430 32402 0 -1 1077944384 633 0 0 0 3 0 0 0 20 0 15 0 96651473 10808807424 11603 33554432000 4194304 4196468 140732736699568 139643991099376 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8443] ppid=8427 vsize=10555476 memory=139844450785056 CPUtime=0.14 cores=1,3,5,7
/proc/8430/task/8443/stat : 8443 (java) R 8427 8430 32402 0 -1 4202560 896 0 0 0 14 0 0 0 20 0 15 0 96651473 10808807424 11603 33554432000 4194304 4196468 140732736699568 139643990047088 139644893950554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8444] ppid=8427 vsize=10555476 memory=139844336607183 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8444/stat : 8444 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96651474 10808807424 11603 33554432000 4194304 4196468 140732736699568 139643988994528 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8445] ppid=8427 vsize=10555476 memory=279688787400640 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8445/stat : 8445 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651474 10808807424 11603 33554432000 4194304 4196468 140732736699568 139643987942320 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46412 KiB
[startup+0.705492 s]
/proc/loadavg: 6.38 6.11 4.07 8/216 8445
/proc/meminfo: memFree=23255672/32770624 swapFree=67108860/67108860
[pid=8430] ppid=8427 vsize=10555476 memory=205624 CPUtime=1.76 cores=1,3,5,7
/proc/8430/stat : 8430 (java) S 8427 8430 32402 0 -1 1077944320 11351 0 0 0 166 10 0 0 20 0 15 0 96651468 10808807424 51406 33554432000 4194304 4196468 140732736699568 140732736682112 139644893929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
/proc/8430/statm: 2638869 51406 3080 1 0 2627263 0
[pid=8430/tid=8432] ppid=8427 vsize=10555476 memory=2372 CPUtime=0.64 cores=1,3,5,7
/proc/8430/task/8432/stat : 8432 (java) S 8427 8430 32402 0 -1 1077944384 5879 0 0 0 60 4 0 0 20 0 15 0 96651468 10808807424 51406 33554432000 4194304 4196468 140732736699568 139644898166352 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8433] ppid=8427 vsize=10555476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8430/task/8433/stat : 8433 (java) R 8427 8430 32402 0 -1 4202560 19 0 0 0 2 1 0 0 20 0 15 0 96651469 10808807424 51406 33554432000 4194304 4196468 140732736699568 139644830620248 139644878956544 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8434] ppid=8427 vsize=10555476 memory=1200 CPUtime=0.01 cores=1,3,5,7
/proc/8430/task/8434/stat : 8434 (java) R 8427 8430 32402 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 15 0 96651469 10808807424 51406 33554432000 4194304 4196468 140732736699568 139644829567448 139644878956626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8435] ppid=8427 vsize=10555476 memory=15872 CPUtime=0.01 cores=1,3,5,7
/proc/8430/task/8435/stat : 8435 (java) R 8427 8430 32402 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 15 0 96651469 10808807424 51406 33554432000 4194304 4196468 140732736699568 139644828514848 139644878956626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8436] ppid=8427 vsize=10555476 memory=15716 CPUtime=0.03 cores=1,3,5,7
/proc/8430/task/8436/stat : 8436 (java) R 8427 8430 32402 0 -1 4202560 32 0 0 0 2 1 0 0 20 0 15 0 96651469 10808807424 51406 33554432000 4194304 4196468 140732736699568 139644827462160 139644878952910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8437] ppid=8427 vsize=10555476 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8437/stat : 8437 (java) S 8427 8430 32402 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 96651470 10808807424 51406 33554432000 4194304 4196468 140732736699568 139643996361888 139644893939413 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8438] ppid=8427 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8438/stat : 8438 (java) S 8427 8430 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96651471 10808807424 51406 33554432000 4194304 4196468 140732736699568 139643995309344 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8439] ppid=8427 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8439/stat : 8439 (java) S 8427 8430 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96651471 10808807424 51406 33554432000 4194304 4196468 140732736699568 139643994257008 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8440] ppid=8427 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8440/stat : 8440 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96651473 10808807424 51406 33554432000 4194304 4196468 140732736699568 139643993205328 139644893947803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8441] ppid=8427 vsize=10555476 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/8430/task/8441/stat : 8441 (java) S 8427 8430 32402 0 -1 1077944384 1306 0 0 0 35 0 0 0 20 0 15 0 96651473 10808807424 51406 33554432000 4194304 4196468 140732736699568 139643992137168 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8442] ppid=8427 vsize=10555476 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/8430/task/8442/stat : 8442 (java) S 8427 8430 32402 0 -1 1077944384 1384 0 0 0 36 0 0 0 20 0 15 0 96651473 10808807424 51406 33554432000 4194304 4196468 140732736699568 139643991084368 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8443] ppid=8427 vsize=10555476 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/8430/task/8443/stat : 8443 (java) S 8427 8430 32402 0 -1 1077944384 1328 0 0 0 25 0 0 0 20 0 15 0 96651473 10808807424 51406 33554432000 4194304 4196468 140732736699568 139643990047088 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8444] ppid=8427 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8444/stat : 8444 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96651474 10808807424 51406 33554432000 4194304 4196468 140732736699568 139643988994528 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8445] ppid=8427 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8445/stat : 8445 (java) S 8427 8430 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96651474 10808807424 51406 33554432000 4194304 4196468 140732736699568 139643987942320 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 205624 KiB
[startup+1.50148 s]
/proc/loadavg: 6.38 6.11 4.07 6/216 8445
/proc/meminfo: memFree=23019456/32770624 swapFree=67108860/67108860
[pid=8430] ppid=8427 vsize=10555476 memory=593040 CPUtime=3.73 cores=1,3,5,7
/proc/8430/stat : 8430 (java) S 8427 8430 32402 0 -1 1077944320 12515 0 0 0 328 45 0 0 20 0 15 0 96651468 10808807424 148260 33554432000 4194304 4196468 140732736699568 140732736682112 139644893929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
/proc/8430/statm: 2638869 148260 3113 1 0 2627263 0
[pid=8430/tid=8432] ppid=8427 vsize=10555476 memory=3467834613764206657 CPUtime=1.09 cores=1,3,5,7
/proc/8430/task/8432/stat : 8432 (java) S 8427 8430 32402 0 -1 1077944384 5962 0 0 0 103 6 0 0 20 0 15 0 96651468 10808807424 148260 33554432000 4194304 4196468 140732736699568 139644898164944 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8433] ppid=8427 vsize=10555476 memory=244788 CPUtime=0.37 cores=1,3,5,7
/proc/8430/task/8433/stat : 8433 (java) R 8427 8430 32402 0 -1 4202560 230 0 0 0 28 9 0 0 20 0 15 0 96651469 10808807424 148260 33554432000 4194304 4196468 140732736699568 139644830620112 139644893939413 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8434] ppid=8427 vsize=10555476 memory=2241 CPUtime=0.36 cores=1,3,5,7
/proc/8430/task/8434/stat : 8434 (java) S 8427 8430 32402 0 -1 1077944384 226 0 0 0 27 9 0 0 20 0 15 0 96651469 10808807424 148260 33554432000 4194304 4196468 140732736699568 139644829567248 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8435] ppid=8427 vsize=10555476 memory=1200 CPUtime=0.36 cores=1,3,5,7
/proc/8430/task/8435/stat : 8435 (java) S 8427 8430 32402 0 -1 1077944384 202 0 0 0 27 9 0 0 20 0 15 0 96651469 10808807424 148260 33554432000 4194304 4196468 140732736699568 139644828514976 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8436] ppid=8427 vsize=10555476 memory=15872 CPUtime=0.37 cores=1,3,5,7
/proc/8430/task/8436/stat : 8436 (java) S 8427 8430 32402 0 -1 1077944384 267 0 0 0 29 8 0 0 20 0 15 0 96651469 10808807424 148260 33554432000 4194304 4196468 140732736699568 139644827462240 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8437] ppid=8427 vsize=10555476 memory=15716 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8437/stat : 8437 (java) S 8427 8430 32402 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 96651470 10808807424 148260 33554432000 4194304 4196468 140732736699568 139643996361888 139644893939413 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
################
# More data... #
################
[pid=8430/tid=8439] ppid=8427 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8439/stat : 8439 (java) S 8427 8430 32402 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 96651471 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643994257024 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8440] ppid=8427 vsize=10622040 memory=4243552 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8440/stat : 8440 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96651473 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643993205328 139644893947803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8441] ppid=8427 vsize=10622040 memory=4243552 CPUtime=2.18 cores=1,3,5,7
/proc/8430/task/8441/stat : 8441 (java) S 8427 8430 32402 0 -1 1077944384 13480 0 0 0 216 2 0 0 20 0 16 0 96651473 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643992152176 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8442] ppid=8427 vsize=10622040 memory=4243552 CPUtime=1.92 cores=1,3,5,7
/proc/8430/task/8442/stat : 8442 (java) S 8427 8430 32402 0 -1 1077944384 7020 0 0 0 189 3 0 0 20 0 16 0 96651473 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643991099376 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8443] ppid=8427 vsize=10622040 memory=4243552 CPUtime=0.52 cores=1,3,5,7
/proc/8430/task/8443/stat : 8443 (java) S 8427 8430 32402 0 -1 1077944384 4844 0 0 0 50 2 0 0 20 0 16 0 96651473 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643990047088 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8444] ppid=8427 vsize=10622040 memory=4243552 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8444/stat : 8444 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96651474 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643988994528 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8445] ppid=8427 vsize=10622040 memory=4100 CPUtime=1.58 cores=1,3,5,7
/proc/8430/task/8445/stat : 8445 (java) S 8427 8430 32402 0 -1 1077944384 2379 0 0 0 68 90 0 0 20 0 16 0 96651474 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643987942320 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8446] ppid=8427 vsize=10622040 memory=4243552 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8446/stat : 8446 (java) S 8427 8430 32402 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96652910 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643986887856 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
Current children cumulated CPU time: 2431.23 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4243552 KiB
[startup+2442.3 s]
/proc/loadavg: 1.01 1.09 1.38 2/196 8589
/proc/meminfo: memFree=27420172/32770624 swapFree=67108860/67108860
[pid=8430] ppid=8427 vsize=10622040 memory=4243552 CPUtime=2491.25 cores=1,3,5,7
/proc/8430/stat : 8430 (java) S 8427 8430 32402 0 -1 1077944320 278708 0 0 0 248657 468 0 0 20 0 16 0 96651468 10876968960 1060888 33554432000 4194304 4196468 140732736699568 140732736682112 139644893929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
/proc/8430/statm: 2655510 1060888 3164 1 0 2643904 0
[pid=8430/tid=8432] ppid=8427 vsize=10622040 memory=4243552 CPUtime=2422.46 cores=1,3,5,7
/proc/8430/task/8432/stat : 8432 (java) R 8427 8430 32402 0 -1 4202560 193990 0 0 0 242218 28 0 0 20 0 16 0 96651468 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139644898168216 139644504191695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8433] ppid=8427 vsize=10622040 memory=4243552 CPUtime=14.43 cores=1,3,5,7
/proc/8430/task/8433/stat : 8433 (java) S 8427 8430 32402 0 -1 1077944384 11574 0 0 0 1353 90 0 0 20 0 16 0 96651469 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139644830620048 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8434] ppid=8427 vsize=10622040 memory=4243552 CPUtime=14.41 cores=1,3,5,7
/proc/8430/task/8434/stat : 8434 (java) S 8427 8430 32402 0 -1 1077944384 11372 0 0 0 1356 85 0 0 20 0 16 0 96651469 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139644829567248 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8435] ppid=8427 vsize=10622040 memory=4243552 CPUtime=14.44 cores=1,3,5,7
/proc/8430/task/8435/stat : 8435 (java) S 8427 8430 32402 0 -1 1077944384 9260 0 0 0 1358 86 0 0 20 0 16 0 96651469 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139644828514960 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8436] ppid=8427 vsize=10622040 memory=4243552 CPUtime=14.53 cores=1,3,5,7
/proc/8430/task/8436/stat : 8436 (java) S 8427 8430 32402 0 -1 1077944384 11890 0 0 0 1370 83 0 0 20 0 16 0 96651469 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139644827462160 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8437] ppid=8427 vsize=10622040 memory=4243552 CPUtime=4.64 cores=1,3,5,7
/proc/8430/task/8437/stat : 8437 (java) S 8427 8430 32402 0 -1 1077944384 11389 0 0 0 459 5 0 0 20 0 16 0 96651470 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643996363376 139644893940354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8438] ppid=8427 vsize=10622040 memory=4243552 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8438/stat : 8438 (java) S 8427 8430 32402 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 96651471 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643995309408 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8439] ppid=8427 vsize=10622040 memory=4243552 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8439/stat : 8439 (java) S 8427 8430 32402 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 96651471 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643994257024 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8440] ppid=8427 vsize=10622040 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8440/stat : 8440 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96651473 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643993205328 139644893947803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8441] ppid=8427 vsize=10622040 memory=4243552 CPUtime=2.18 cores=1,3,5,7
/proc/8430/task/8441/stat : 8441 (java) S 8427 8430 32402 0 -1 1077944384 13484 0 0 0 216 2 0 0 20 0 16 0 96651473 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643992152176 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8442] ppid=8427 vsize=10622040 memory=4100 CPUtime=1.92 cores=1,3,5,7
/proc/8430/task/8442/stat : 8442 (java) S 8427 8430 32402 0 -1 1077944384 7026 0 0 0 189 3 0 0 20 0 16 0 96651473 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643991099376 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8443] ppid=8427 vsize=10622040 memory=4243552 CPUtime=0.52 cores=1,3,5,7
/proc/8430/task/8443/stat : 8443 (java) S 8427 8430 32402 0 -1 1077944384 4853 0 0 0 50 2 0 0 20 0 16 0 96651473 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643990047088 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8444] ppid=8427 vsize=10622040 memory=4243552 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8444/stat : 8444 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96651474 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643988994528 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8445] ppid=8427 vsize=10622040 memory=4243552 CPUtime=1.63 cores=1,3,5,7
/proc/8430/task/8445/stat : 8445 (java) S 8427 8430 32402 0 -1 1077944384 2420 0 0 0 70 93 0 0 20 0 16 0 96651474 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643987942320 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8446] ppid=8427 vsize=10622040 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8446/stat : 8446 (java) S 8427 8430 32402 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96652910 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643986887856 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
Current children cumulated CPU time: 2491.25 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4243552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.11 s]
/proc/loadavg: 1.00 1.08 1.37 2/196 8589
/proc/meminfo: memFree=27420300/32770624 swapFree=67108860/67108860
[pid=8430] ppid=8427 vsize=10622040 memory=4243552 CPUtime=2520.08 cores=1,3,5,7
/proc/8430/stat : 8430 (java) S 8427 8430 32402 0 -1 1077944320 280843 0 0 0 251538 470 0 0 20 0 16 0 96651468 10876968960 1060888 33554432000 4194304 4196468 140732736699568 140732736682112 139644893929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
/proc/8430/statm: 2655510 1060888 3164 1 0 2643904 0
[pid=8430/tid=8432] ppid=8427 vsize=10622040 memory=4243552 CPUtime=2451.26 cores=1,3,5,7
/proc/8430/task/8432/stat : 8432 (java) R 8427 8430 32402 0 -1 4202560 196057 0 0 0 245097 29 0 0 20 0 16 0 96651468 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139644898168216 139644508480863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8433] ppid=8427 vsize=10622040 memory=4243552 CPUtime=14.43 cores=1,3,5,7
/proc/8430/task/8433/stat : 8433 (java) S 8427 8430 32402 0 -1 1077944384 11574 0 0 0 1353 90 0 0 20 0 16 0 96651469 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139644830620048 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8434] ppid=8427 vsize=10622040 memory=4243552 CPUtime=14.41 cores=1,3,5,7
/proc/8430/task/8434/stat : 8434 (java) S 8427 8430 32402 0 -1 1077944384 11372 0 0 0 1356 85 0 0 20 0 16 0 96651469 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139644829567248 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8435] ppid=8427 vsize=10622040 memory=4243552 CPUtime=14.44 cores=1,3,5,7
/proc/8430/task/8435/stat : 8435 (java) S 8427 8430 32402 0 -1 1077944384 9260 0 0 0 1358 86 0 0 20 0 16 0 96651469 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139644828514960 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8436] ppid=8427 vsize=10622040 memory=4243552 CPUtime=14.53 cores=1,3,5,7
/proc/8430/task/8436/stat : 8436 (java) S 8427 8430 32402 0 -1 1077944384 11890 0 0 0 1370 83 0 0 20 0 16 0 96651469 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139644827462160 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8437] ppid=8427 vsize=10622040 memory=0 CPUtime=4.64 cores=1,3,5,7
/proc/8430/task/8437/stat : 8437 (java) S 8427 8430 32402 0 -1 1077944384 11399 0 0 0 459 5 0 0 20 0 16 0 96651470 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643996363376 139644893940354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8438] ppid=8427 vsize=10622040 memory=4243552 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8438/stat : 8438 (java) S 8427 8430 32402 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 96651471 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643995309408 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8439] ppid=8427 vsize=10622040 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8439/stat : 8439 (java) S 8427 8430 32402 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 96651471 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643994257024 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8440] ppid=8427 vsize=10622040 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8440/stat : 8440 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96651473 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643993205328 139644893947803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8441] ppid=8427 vsize=10622040 memory=6944656592455097440 CPUtime=2.18 cores=1,3,5,7
/proc/8430/task/8441/stat : 8441 (java) S 8427 8430 32402 0 -1 1077944384 13487 0 0 0 216 2 0 0 20 0 16 0 96651473 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643992152176 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8442] ppid=8427 vsize=10622040 memory=8112282956445269571 CPUtime=1.92 cores=1,3,5,7
/proc/8430/task/8442/stat : 8442 (java) S 8427 8430 32402 0 -1 1077944384 7036 0 0 0 189 3 0 0 20 0 16 0 96651473 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643991099376 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8443] ppid=8427 vsize=10622040 memory=1004 CPUtime=0.52 cores=1,3,5,7
/proc/8430/task/8443/stat : 8443 (java) S 8427 8430 32402 0 -1 1077944384 4859 0 0 0 50 2 0 0 20 0 16 0 96651473 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643990047088 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8444] ppid=8427 vsize=10622040 memory=4243552 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8444/stat : 8444 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96651474 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643988994528 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8445] ppid=8427 vsize=10622040 memory=4243552 CPUtime=1.65 cores=1,3,5,7
/proc/8430/task/8445/stat : 8445 (java) S 8427 8430 32402 0 -1 1077944384 2459 0 0 0 71 94 0 0 20 0 16 0 96651474 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643987942320 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8446] ppid=8427 vsize=10622040 memory=4243552 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8446/stat : 8446 (java) S 8427 8430 32402 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96652910 10876968960 1060888 33554432000 4194304 4196468 140732736699568 139643986887856 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4243552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.42 s]
# the end of solver process 8430 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.51 s, system=4.7304 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.21 s]
/proc/loadavg: 1.00 1.08 1.37 2/196 8589
/proc/meminfo: memFree=27420300/32770624 swapFree=67108860/67108860
[pid=8430] ppid=8427 vsize=10821732 memory=4243884 CPUtime=2520.09 cores=1,3,5,7
/proc/8430/stat : 8430 (java) S 8427 8430 32402 0 -1 1077944320 281650 0 0 0 251539 470 0 0 20 0 17 0 96651468 11081453568 1060971 33554432000 4194304 4196468 140732736699568 140732736682112 139644893929207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
/proc/8430/statm: 2705433 1060971 3167 1 0 2693827 0
[pid=8430/tid=8432] ppid=8427 vsize=10821732 memory=8112282956445269571 CPUtime=2451.27 cores=1,3,5,7
/proc/8430/task/8432/stat : 8432 (java) S 8427 8430 32402 0 -1 1077944384 196126 0 0 0 245098 29 0 0 20 0 17 0 96651468 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139644898172080 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8433] ppid=8427 vsize=10821732 memory=27824 CPUtime=14.43 cores=1,3,5,7
/proc/8430/task/8433/stat : 8433 (java) S 8427 8430 32402 0 -1 1077944384 11574 0 0 0 1353 90 0 0 20 0 17 0 96651469 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139644830620048 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8434] ppid=8427 vsize=10821732 memory=1292 CPUtime=14.41 cores=1,3,5,7
/proc/8430/task/8434/stat : 8434 (java) S 8427 8430 32402 0 -1 1077944384 11372 0 0 0 1356 85 0 0 20 0 17 0 96651469 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139644829567248 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8435] ppid=8427 vsize=10821732 memory=4243552 CPUtime=14.44 cores=1,3,5,7
/proc/8430/task/8435/stat : 8435 (java) S 8427 8430 32402 0 -1 1077944384 9260 0 0 0 1358 86 0 0 20 0 17 0 96651469 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139644828514960 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8436] ppid=8427 vsize=10821732 memory=4243552 CPUtime=14.53 cores=1,3,5,7
/proc/8430/task/8436/stat : 8436 (java) S 8427 8430 32402 0 -1 1077944384 11890 0 0 0 1370 83 0 0 20 0 17 0 96651469 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139644827462160 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8437] ppid=8427 vsize=10821732 memory=1712 CPUtime=4.64 cores=1,3,5,7
/proc/8430/task/8437/stat : 8437 (java) S 8427 8430 32402 0 -1 1077944384 11442 0 0 0 459 5 0 0 20 0 17 0 96651470 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139643996363376 139644893940354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8438] ppid=8427 vsize=10821732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8438/stat : 8438 (java) S 8427 8430 32402 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 96651471 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139643995309408 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8439] ppid=8427 vsize=10821732 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8439/stat : 8439 (java) S 8427 8430 32402 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 17 0 96651471 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139643994257024 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8440] ppid=8427 vsize=10821732 memory=4243552 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8440/stat : 8440 (java) S 8427 8430 32402 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 17 0 96651473 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139643993205328 139644893947803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8441] ppid=8427 vsize=10821732 memory=1224 CPUtime=2.18 cores=1,3,5,7
/proc/8430/task/8441/stat : 8441 (java) S 8427 8430 32402 0 -1 1077944384 13487 0 0 0 216 2 0 0 20 0 17 0 96651473 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139643992152176 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8442] ppid=8427 vsize=10821732 memory=4243552 CPUtime=1.92 cores=1,3,5,7
/proc/8430/task/8442/stat : 8442 (java) S 8427 8430 32402 0 -1 1077944384 7036 0 0 0 189 3 0 0 20 0 17 0 96651473 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139643991099376 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8443] ppid=8427 vsize=10821732 memory=4243552 CPUtime=0.52 cores=1,3,5,7
/proc/8430/task/8443/stat : 8443 (java) S 8427 8430 32402 0 -1 1077944384 4948 0 0 0 50 2 0 0 20 0 17 0 96651473 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139643990047088 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8444] ppid=8427 vsize=10821732 memory=4243552 CPUtime=0 cores=1,3,5,7
/proc/8430/task/8444/stat : 8444 (java) S 8427 8430 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96651474 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139643988994528 139644893939413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
[pid=8430/tid=8445] ppid=8427 vsize=10821732 memory=2448 CPUtime=1.65 cores=1,3,5,7
/proc/8430/task/8445/stat : 8445 (java) S 8427 8430 32402 0 -1 1077944384 2459 0 0 0 71 94 0 0 20 0 17 0 96651474 11081453568 1060971 33554432000 4194304 4196468 140732736699568 139643987942320 139644893940354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37867520 140732736705670 140732736705823 140732736705823 140732736708559 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 4243884 KiB
[startup+2471.4 s]*
/proc/loadavg: 1.00 1.08 1.37 2/182 8592
/proc/meminfo: memFree=28897692/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2471.42
CPU time (s): 2520.24
CPU user time (s): 2515.51
CPU system time (s): 4.7304
CPU usage (%): 101.976
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 4243884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.51
system time used= 4.7304
maximum resident set size= 4244236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57078
involuntary context switches= 2734
# summary of solver processes directly reported to runsolver:
# pid: 8430
# total CPU time (s): 2520.24
# total CPU user time (s): 2515.51
# total CPU system time (s): 4.7304
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3617 second user time and 24.8294 second system time
The end