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 (12164 MiB free)
memory of node 1: 16384 MiB (15834 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301382-1532879536/watcher-4301382-1532879536 -o /tmp/evaluation-result-4301382-1532879536/solver-4301382-1532879536 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301382-1532879536.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13565, runsolver pid=13562
[startup+0.100265 s]*
/proc/loadavg: 1.37 1.28 1.33 3/198 13580
/proc/meminfo: memFree=28633344/32770624 swapFree=67108860/67108860
[pid=13565] ppid=13562 vsize=10659044 memory=30120 CPUtime=0.12 cores=1,3,5,7
/proc/13565/stat : 13565 (java) S 13562 13565 13514 0 -1 1077944320 6577 0 0 0 11 1 0 0 20 0 15 0 105516762 10914861056 7530 33554432000 4194304 4196468 140728004518288 140728004500832 139899355668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
/proc/13565/statm: 2664761 7530 2821 1 0 2627271 0
[pid=13565/tid=13567] ppid=13562 vsize=10659012 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/13565/task/13567/stat : 13567 (java) R 13562 13565 13514 0 -1 4202560 4411 0 0 0 8 1 0 0 20 0 15 0 105516763 10914828288 7530 33554432000 4194304 4196468 140728004518288 139899359872880 139899355691805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13568] ppid=13562 vsize=10659012 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13568/stat : 13568 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516764 10914828288 7530 33554432000 4194304 4196468 140728004518288 139899308288528 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13569] ppid=13562 vsize=10659012 memory=139862077118080 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13569/stat : 13569 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516764 10914828288 7530 33554432000 4194304 4196468 140728004518288 139899307235984 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13570] ppid=13562 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13570/stat : 13570 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516764 10914828288 7530 33554432000 4194304 4196468 140728004518288 139899306182928 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13571] ppid=13562 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13571/stat : 13571 (java) S 13562 13565 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516764 10914828288 7530 33554432000 4194304 4196468 140728004518288 139899305130384 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13572] ppid=13562 vsize=10659012 memory=139862077118080 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13572/stat : 13572 (java) S 13562 13565 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516765 10914828288 7530 33554432000 4194304 4196468 140728004518288 139898915326704 139899355679362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13573] ppid=13562 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13573/stat : 13573 (java) S 13562 13565 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105516766 10914828288 7530 33554432000 4194304 4196468 140728004518288 139898914272928 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13574] ppid=13562 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13574/stat : 13574 (java) S 13562 13565 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105516766 10914828288 7530 33554432000 4194304 4196468 140728004518288 139898913219824 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13575] ppid=13562 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13575/stat : 13575 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516768 10914828288 7530 33554432000 4194304 4196468 140728004518288 139898912168400 139899355686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13576] ppid=13562 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13576/stat : 13576 (java) S 13562 13565 13514 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 15 0 105516768 10914828288 7530 33554432000 4194304 4196468 140728004518288 139898911115504 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13577] ppid=13562 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13577/stat : 13577 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516768 10914828288 7530 33554432000 4194304 4196468 140728004518288 139898910062960 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13578] ppid=13562 vsize=10659012 memory=139862077118080 CPUtime=0.01 cores=1,3,5,7
/proc/13565/task/13578/stat : 13578 (java) S 13562 13565 13514 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 15 0 105516768 10914828288 7530 33554432000 4194304 4196468 140728004518288 139898909009904 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13579] ppid=13562 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13579/stat : 13579 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516769 10914828288 7530 33554432000 4194304 4196468 140728004518288 139898907957600 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13580] ppid=13562 vsize=10659012 memory=139862077118080 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13580/stat : 13580 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516769 10914828288 7530 33554432000 4194304 4196468 140728004518288 139898906905648 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659044 KiB
Current children cumulated memory: 30120 KiB
[startup+0.210668 s]*
/proc/loadavg: 1.37 1.28 1.33 5/199 13585
/proc/meminfo: memFree=28626076/32770624 swapFree=67108860/67108860
[pid=13565] ppid=13562 vsize=10659012 memory=36852 CPUtime=0.26 cores=1,3,5,7
/proc/13565/stat : 13565 (java) S 13562 13565 13514 0 -1 1077944320 7261 0 0 0 24 2 0 0 20 0 15 0 105516762 10914828288 9213 33554432000 4194304 4196468 140728004518288 140728004500832 139899355668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
/proc/13565/statm: 2664753 9213 2925 1 0 2627263 0
[pid=13565/tid=13567] ppid=13562 vsize=10659012 memory=8318255677412212789 CPUtime=0.17 cores=1,3,5,7
/proc/13565/task/13567/stat : 13567 (java) R 13562 13565 13514 0 -1 4202560 4908 0 0 0 16 1 0 0 20 0 15 0 105516763 10914828288 9213 33554432000 4194304 4196468 140728004518288 139899359884480 139898981319623 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13568] ppid=13562 vsize=10659012 memory=327 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13568/stat : 13568 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516764 10914828288 9213 33554432000 4194304 4196468 140728004518288 139899308288528 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13569] ppid=13562 vsize=10659012 memory=139862077743085 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13569/stat : 13569 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516764 10914828288 9213 33554432000 4194304 4196468 140728004518288 139899307235984 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13570] ppid=13562 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13570/stat : 13570 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516764 10914828288 9213 33554432000 4194304 4196468 140728004518288 139899306182928 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13571] ppid=13562 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13571/stat : 13571 (java) S 13562 13565 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516764 10914828288 9213 33554432000 4194304 4196468 140728004518288 139899305130384 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13572] ppid=13562 vsize=10659012 memory=139862077118080 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13572/stat : 13572 (java) S 13562 13565 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516765 10914828288 9213 33554432000 4194304 4196468 140728004518288 139898915326704 139899355679362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13573] ppid=13562 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13573/stat : 13573 (java) S 13562 13565 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105516766 10914828288 9213 33554432000 4194304 4196468 140728004518288 139898914272928 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13574] ppid=13562 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13574/stat : 13574 (java) S 13562 13565 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105516766 10914828288 9213 33554432000 4194304 4196468 140728004518288 139898913219824 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13575] ppid=13562 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13575/stat : 13575 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516768 10914828288 9213 33554432000 4194304 4196468 140728004518288 139898912168400 139899355686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13576] ppid=13562 vsize=10659012 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13565/task/13576/stat : 13576 (java) R 13562 13565 13514 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 15 0 105516768 10914828288 9213 33554432000 4194304 4196468 140728004518288 139898911115504 139899355679362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13577] ppid=13562 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13565/task/13577/stat : 13577 (java) R 13562 13565 13514 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 15 0 105516768 10914828288 9213 33554432000 4194304 4196468 140728004518288 139898910062960 139899336368512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13578] ppid=13562 vsize=10659012 memory=139862077118080 CPUtime=0.05 cores=1,3,5,7
/proc/13565/task/13578/stat : 13578 (java) R 13562 13565 13514 0 -1 4202560 439 0 0 0 5 0 0 0 20 0 15 0 105516768 10914828288 9213 33554432000 4194304 4196468 140728004518288 139898909009904 139899334299617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13579] ppid=13562 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13579/stat : 13579 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516769 10914828288 9213 33554432000 4194304 4196468 140728004518288 139898907957600 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13580] ppid=13562 vsize=10659012 memory=139862077118080 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13580/stat : 13580 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516769 10914828288 9213 33554432000 4194304 4196468 140728004518288 139898906905648 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 36852 KiB
[startup+0.310116 s]*
/proc/loadavg: 1.37 1.28 1.33 5/216 13605
/proc/meminfo: memFree=28603628/32770624 swapFree=67108860/67108860
[pid=13565] ppid=13562 vsize=10659088 memory=43840 CPUtime=0.46 cores=1,3,5,7
/proc/13565/stat : 13565 (java) S 13562 13565 13514 0 -1 1077944320 8618 0 0 0 43 3 0 0 20 0 15 0 105516762 10914906112 10960 33554432000 4194304 4196468 140728004518288 140728004500832 139899355668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
/proc/13565/statm: 2664772 10960 3023 1 0 2627263 0
[pid=13565/tid=13567] ppid=13562 vsize=10659088 memory=7022364594140610616 CPUtime=0.27 cores=1,3,5,7
/proc/13565/task/13567/stat : 13567 (java) R 13562 13565 13514 0 -1 4202560 5528 0 0 0 25 2 0 0 20 0 15 0 105516763 10914906112 10960 33554432000 4194304 4196468 140728004518288 139899359899848 139899339748732 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13568] ppid=13562 vsize=10659088 memory=331 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13568/stat : 13568 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516764 10914906112 10960 33554432000 4194304 4196468 140728004518288 139899308288528 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13569] ppid=13562 vsize=10659088 memory=139862077425481 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13569/stat : 13569 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516764 10914906112 10960 33554432000 4194304 4196468 140728004518288 139899307235984 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13570] ppid=13562 vsize=10659088 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13570/stat : 13570 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516764 10914906112 10960 33554432000 4194304 4196468 140728004518288 139899306182928 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13571] ppid=13562 vsize=10659088 memory=3472328296160571439 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13571/stat : 13571 (java) S 13562 13565 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516764 10914906112 10960 33554432000 4194304 4196468 140728004518288 139899305130384 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13572] ppid=13562 vsize=10659088 memory=7307339609122539999 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13572/stat : 13572 (java) S 13562 13565 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516765 10914906112 10960 33554432000 4194304 4196468 140728004518288 139898915326704 139899355679362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13573] ppid=13562 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13573/stat : 13573 (java) S 13562 13565 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105516766 10914906112 10960 33554432000 4194304 4196468 140728004518288 139898914272928 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13574] ppid=13562 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13574/stat : 13574 (java) S 13562 13565 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105516766 10914906112 10960 33554432000 4194304 4196468 140728004518288 139898913219824 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13575] ppid=13562 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13575/stat : 13575 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516768 10914906112 10960 33554432000 4194304 4196468 140728004518288 139898912168400 139899355686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13576] ppid=13562 vsize=10659088 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13565/task/13576/stat : 13576 (java) S 13562 13565 13514 0 -1 1077944384 631 0 0 0 3 0 0 0 20 0 15 0 105516768 10914906112 10960 33554432000 4194304 4196468 140728004518288 139898911115504 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13577] ppid=13562 vsize=10659088 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13565/task/13577/stat : 13577 (java) S 13562 13565 13514 0 -1 1077944384 321 0 0 0 3 0 0 0 20 0 15 0 105516768 10914906112 10960 33554432000 4194304 4196468 140728004518288 139898910062960 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13578] ppid=13562 vsize=10659088 memory=139862077118080 CPUtime=0.11 cores=1,3,5,7
/proc/13565/task/13578/stat : 13578 (java) S 13562 13565 13514 0 -1 1077944384 778 0 0 0 11 0 0 0 20 0 15 0 105516768 10914906112 10960 33554432000 4194304 4196468 140728004518288 139898909009904 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13579] ppid=13562 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13579/stat : 13579 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516769 10914906112 10960 33554432000 4194304 4196468 140728004518288 139898907957600 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13580] ppid=13562 vsize=10659088 memory=139862077118080 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13580/stat : 13580 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516769 10914906112 10960 33554432000 4194304 4196468 140728004518288 139898906905648 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 43840 KiB
[startup+0.700766 s]
/proc/loadavg: 1.37 1.28 1.33 5/216 13605
/proc/meminfo: memFree=28534904/32770624 swapFree=67108860/67108860
[pid=13565] ppid=13562 vsize=10659088 memory=147876 CPUtime=1.49 cores=1,3,5,7
/proc/13565/stat : 13565 (java) S 13562 13565 13514 0 -1 1077944320 11792 0 0 0 144 5 0 0 20 0 15 0 105516762 10914906112 36969 33554432000 4194304 4196468 140728004518288 140728004500832 139899355668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
/proc/13565/statm: 2664772 36969 3102 1 0 2627263 0
[pid=13565/tid=13567] ppid=13562 vsize=10659088 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/13565/task/13567/stat : 13567 (java) R 13562 13565 13514 0 -1 4202560 6132 0 0 0 61 3 0 0 20 0 15 0 105516763 10914906112 36969 33554432000 4194304 4196468 140728004518288 139899359897248 139898983310106 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13568] ppid=13562 vsize=10659088 memory=1 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13568/stat : 13568 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516764 10914906112 36969 33554432000 4194304 4196468 140728004518288 139899308288528 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13569] ppid=13562 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13569/stat : 13569 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516764 10914906112 36969 33554432000 4194304 4196468 140728004518288 139899307235984 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13570] ppid=13562 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13570/stat : 13570 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516764 10914906112 36969 33554432000 4194304 4196468 140728004518288 139899306182928 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13571] ppid=13562 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13571/stat : 13571 (java) S 13562 13565 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105516764 10914906112 36969 33554432000 4194304 4196468 140728004518288 139899305130384 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13572] ppid=13562 vsize=10659088 memory=6297253189022865253 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13572/stat : 13572 (java) S 13562 13565 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105516765 10914906112 36969 33554432000 4194304 4196468 140728004518288 139898915326704 139899355679362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13573] ppid=13562 vsize=10659088 memory=7380106142448641904 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13573/stat : 13573 (java) S 13562 13565 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105516766 10914906112 36969 33554432000 4194304 4196468 140728004518288 139898914272928 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13574] ppid=13562 vsize=10659088 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13574/stat : 13574 (java) S 13562 13565 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105516766 10914906112 36969 33554432000 4194304 4196468 140728004518288 139898913219824 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13575] ppid=13562 vsize=10659088 memory=-7098080424032564416 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13575/stat : 13575 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516768 10914906112 36969 33554432000 4194304 4196468 140728004518288 139898912168400 139899355686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13576] ppid=13562 vsize=10659088 memory=-7668917182949848256 CPUtime=0.27 cores=1,3,5,7
/proc/13565/task/13576/stat : 13576 (java) R 13562 13565 13514 0 -1 4202560 1559 0 0 0 27 0 0 0 20 0 15 0 105516768 10914906112 36969 33554432000 4194304 4196468 140728004518288 139898911101528 139899337212800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13577] ppid=13562 vsize=10659088 memory=-9181546050914066336 CPUtime=0.25 cores=1,3,5,7
/proc/13565/task/13577/stat : 13577 (java) R 13562 13565 13514 0 -1 4202560 1324 0 0 0 25 0 0 0 20 0 15 0 105516768 10914906112 36969 33554432000 4194304 4196468 140728004518288 139898910043976 139899337190141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13578] ppid=13562 vsize=10659088 memory=-7522837415797432223 CPUtime=0.29 cores=1,3,5,7
/proc/13565/task/13578/stat : 13578 (java) S 13562 13565 13514 0 -1 1077944384 1407 0 0 0 29 0 0 0 20 0 15 0 105516768 10914906112 36969 33554432000 4194304 4196468 140728004518288 139898909009904 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13579] ppid=13562 vsize=10659088 memory=7682475212697334586 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13579/stat : 13579 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105516769 10914906112 36969 33554432000 4194304 4196468 140728004518288 139898907957600 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13580] ppid=13562 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13580/stat : 13580 (java) S 13562 13565 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105516769 10914906112 36969 33554432000 4194304 4196468 140728004518288 139898906905648 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 147876 KiB
[startup+1.50151 s]
/proc/loadavg: 1.37 1.28 1.33 6/216 13605
/proc/meminfo: memFree=28119796/32770624 swapFree=67108860/67108860
[pid=13565] ppid=13562 vsize=10659088 memory=533264 CPUtime=3.44 cores=1,3,5,7
/proc/13565/stat : 13565 (java) S 13562 13565 13514 0 -1 1077944320 12940 0 0 0 306 38 0 0 20 0 15 0 105516762 10914906112 133316 33554432000 4194304 4196468 140728004518288 140728004500832 139899355668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
/proc/13565/statm: 2664772 133316 3137 1 0 2627263 0
[pid=13565/tid=13567] ppid=13562 vsize=10659088 memory=279723838155776 CPUtime=1.15 cores=1,3,5,7
/proc/13565/task/13567/stat : 13567 (java) S 13562 13565 13514 0 -1 1077944384 6239 0 0 0 110 5 0 0 20 0 15 0 105516763 10914906112 133316 33554432000 4194304 4196468 140728004518288 139899359904896 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13568] ppid=13562 vsize=10659088 memory=7233437841076806998 CPUtime=0.26 cores=1,3,5,7
/proc/13565/task/13568/stat : 13568 (java) R 13562 13565 13514 0 -1 4202560 208 0 0 0 19 7 0 0 20 0 15 0 105516764 10914906112 133316 33554432000 4194304 4196468 140728004518288 139899308288728 139899340695497 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13569] ppid=13562 vsize=10659088 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/13565/task/13569/stat : 13569 (java) R 13562 13565 13514 0 -1 4202560 180 0 0 0 20 7 0 0 20 0 15 0 105516764 10914906112 133316 33554432000 4194304 4196468 140728004518288 139899307235872 139899340695634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13570] ppid=13562 vsize=10659088 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/13565/task/13570/stat : 13570 (java) R 13562 13565 13514 0 -1 4202560 189 0 0 0 20 7 0 0 20 0 15 0 105516764 10914906112 133316 33554432000 4194304 4196468 140728004518288 139899306183128 139899337294145 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13571] ppid=13562 vsize=10659088 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/13565/task/13571/stat : 13571 (java) R 13562 13565 13514 0 -1 4202560 196 0 0 0 20 7 0 0 20 0 15 0 105516764 10914906112 133316 33554432000 4194304 4196468 140728004518288 139899305130384 139899340695634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13572] ppid=13562 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13572/stat : 13572 (java) S 13562 13565 13514 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 105516765 10914906112 133316 33554432000 4194304 4196468 140728004518288 139898915325216 139899355678421 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
################
# More data... #
################
/proc/13565/task/13570/stat : 13570 (java) S 13562 13565 13514 0 -1 1077944384 3891 0 0 0 702 72 0 0 20 0 16 0 105516764 10985164800 829101 33554432000 4194304 4196468 140728004518288 139899306182928 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13571] ppid=13562 vsize=10727700 memory=3316404 CPUtime=7.84 cores=1,3,5,7
/proc/13565/task/13571/stat : 13571 (java) S 13562 13565 13514 0 -1 1077944384 3309 0 0 0 714 70 0 0 20 0 16 0 105516764 10985164800 829101 33554432000 4194304 4196468 140728004518288 139899305130384 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13572] ppid=13562 vsize=10727700 memory=3316404 CPUtime=2.29 cores=1,3,5,7
/proc/13565/task/13572/stat : 13572 (java) S 13562 13565 13514 0 -1 1077944384 5708 0 0 0 229 0 0 0 20 0 16 0 105516765 10985164800 829101 33554432000 4194304 4196468 140728004518288 139898915326704 139899355679362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13573] ppid=13562 vsize=10727700 memory=3316404 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13573/stat : 13573 (java) S 13562 13565 13514 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 105516766 10985164800 829101 33554432000 4194304 4196468 140728004518288 139898914272992 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13574] ppid=13562 vsize=10727700 memory=3316404 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13574/stat : 13574 (java) S 13562 13565 13514 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 105516766 10985164800 829101 33554432000 4194304 4196468 140728004518288 139898913219840 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13575] ppid=13562 vsize=10727700 memory=3316404 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13575/stat : 13575 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105516768 10985164800 829101 33554432000 4194304 4196468 140728004518288 139898912168400 139899355686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13576] ppid=13562 vsize=10727700 memory=3316404 CPUtime=1.83 cores=1,3,5,7
/proc/13565/task/13576/stat : 13576 (java) S 13562 13565 13514 0 -1 1077944384 8482 0 0 0 182 1 0 0 20 0 16 0 105516768 10985164800 829101 33554432000 4194304 4196468 140728004518288 139898911115504 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13577] ppid=13562 vsize=10727700 memory=4140 CPUtime=1.65 cores=1,3,5,7
/proc/13565/task/13577/stat : 13577 (java) S 13562 13565 13514 0 -1 1077944384 8665 0 0 0 164 1 0 0 20 0 16 0 105516768 10985164800 829101 33554432000 4194304 4196468 140728004518288 139898910062960 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13578] ppid=13562 vsize=10727700 memory=916 CPUtime=0.55 cores=1,3,5,7
/proc/13565/task/13578/stat : 13578 (java) S 13562 13565 13514 0 -1 1077944384 4397 0 0 0 54 1 0 0 20 0 16 0 105516768 10985164800 829101 33554432000 4194304 4196468 140728004518288 139898909009904 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13579] ppid=13562 vsize=10727700 memory=3316404 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13579/stat : 13579 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105516769 10985164800 829101 33554432000 4194304 4196468 140728004518288 139898907957600 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13580] ppid=13562 vsize=10727700 memory=3316404 CPUtime=0.1 cores=1,3,5,7
/proc/13565/task/13580/stat : 13580 (java) S 13562 13565 13514 0 -1 1077944384 623 0 0 0 4 6 0 0 20 0 16 0 105516769 10985164800 829101 33554432000 4194304 4196468 140728004518288 139898906905648 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13606] ppid=13562 vsize=10727700 memory=3316404 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13606/stat : 13606 (java) S 13562 13565 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105518120 10985164800 829101 33554432000 4194304 4196468 140728004518288 139898903754288 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
Current children cumulated CPU time: 189.74 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3316404 KiB
[startup+222.301 s]
/proc/loadavg: 2.22 2.01 1.63 5/216 13687
/proc/meminfo: memFree=17604356/32770624 swapFree=67108860/67108860
[pid=13565] ppid=13562 vsize=10727700 memory=3566832 CPUtime=251.32 cores=1,3,5,7
/proc/13565/stat : 13565 (java) S 13562 13565 13514 0 -1 1077944320 86259 0 0 0 24809 323 0 0 20 0 16 0 105516762 10985164800 891708 33554432000 4194304 4196468 140728004518288 140728004500832 139899355668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
/proc/13565/statm: 2681925 891708 3178 1 0 2644416 0
[pid=13565/tid=13567] ppid=13562 vsize=10727700 memory=756 CPUtime=211.56 cores=1,3,5,7
/proc/13565/task/13567/stat : 13567 (java) R 13562 13565 13514 0 -1 4202560 26351 0 0 0 21145 11 0 0 20 0 16 0 105516763 10985164800 891708 33554432000 4194304 4196468 140728004518288 139899359899792 139898986364875 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13568] ppid=13562 vsize=10727700 memory=3566832 CPUtime=8.26 cores=1,3,5,7
/proc/13565/task/13568/stat : 13568 (java) S 13562 13565 13514 0 -1 1077944384 15974 0 0 0 761 65 0 0 20 0 16 0 105516764 10985164800 891708 33554432000 4194304 4196468 140728004518288 139899308288528 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13569] ppid=13562 vsize=10727700 memory=1572 CPUtime=8.32 cores=1,3,5,7
/proc/13565/task/13569/stat : 13569 (java) S 13562 13565 13514 0 -1 1077944384 4755 0 0 0 756 76 0 0 20 0 16 0 105516764 10985164800 891708 33554432000 4194304 4196468 140728004518288 139899307235984 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13570] ppid=13562 vsize=10727700 memory=3566832 CPUtime=8.24 cores=1,3,5,7
/proc/13565/task/13570/stat : 13570 (java) S 13562 13565 13514 0 -1 1077944384 4848 0 0 0 745 79 0 0 20 0 16 0 105516764 10985164800 891708 33554432000 4194304 4196468 140728004518288 139899306182928 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13571] ppid=13562 vsize=10727700 memory=3566832 CPUtime=8.34 cores=1,3,5,7
/proc/13565/task/13571/stat : 13571 (java) S 13562 13565 13514 0 -1 1077944384 3742 0 0 0 757 77 0 0 20 0 16 0 105516764 10985164800 891708 33554432000 4194304 4196468 140728004518288 139899305130384 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13572] ppid=13562 vsize=10727700 memory=3566832 CPUtime=2.29 cores=1,3,5,7
/proc/13565/task/13572/stat : 13572 (java) S 13562 13565 13514 0 -1 1077944384 5892 0 0 0 229 0 0 0 20 0 16 0 105516765 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898915326704 139899355679362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13573] ppid=13562 vsize=10727700 memory=3566832 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13573/stat : 13573 (java) S 13562 13565 13514 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 105516766 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898914272992 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13574] ppid=13562 vsize=10727700 memory=3566832 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13574/stat : 13574 (java) S 13562 13565 13514 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 105516766 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898913219840 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13575] ppid=13562 vsize=10727700 memory=3566832 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13575/stat : 13575 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105516768 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898912168400 139899355686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13576] ppid=13562 vsize=10727700 memory=5794003397684390245 CPUtime=1.86 cores=1,3,5,7
/proc/13565/task/13576/stat : 13576 (java) S 13562 13565 13514 0 -1 1077944384 9245 0 0 0 185 1 0 0 20 0 16 0 105516768 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898911115504 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13577] ppid=13562 vsize=10727700 memory=30124 CPUtime=1.65 cores=1,3,5,7
/proc/13565/task/13577/stat : 13577 (java) S 13562 13565 13514 0 -1 1077944384 8768 0 0 0 164 1 0 0 20 0 16 0 105516768 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898910062960 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13578] ppid=13562 vsize=10727700 memory=3566832 CPUtime=0.55 cores=1,3,5,7
/proc/13565/task/13578/stat : 13578 (java) S 13562 13565 13514 0 -1 1077944384 4576 0 0 0 54 1 0 0 20 0 16 0 105516768 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898909009904 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13579] ppid=13562 vsize=10727700 memory=3566832 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13579/stat : 13579 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105516769 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898907957600 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13580] ppid=13562 vsize=10727700 memory=3566832 CPUtime=0.13 cores=1,3,5,7
/proc/13565/task/13580/stat : 13580 (java) S 13562 13565 13514 0 -1 1077944384 664 0 0 0 6 7 0 0 20 0 16 0 105516769 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898906905648 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13606] ppid=13562 vsize=10727700 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13606/stat : 13606 (java) S 13562 13565 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105518120 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898903754288 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
Current children cumulated CPU time: 251.32 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3566832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+223.001 s]*
/proc/loadavg: 2.22 2.01 1.63 6/216 13687
/proc/meminfo: memFree=17604356/32770624 swapFree=67108860/67108860
[pid=13565] ppid=13562 vsize=10727700 memory=3566832 CPUtime=252.03 cores=1,3,5,7
/proc/13565/stat : 13565 (java) S 13562 13565 13514 0 -1 1077944320 86260 0 0 0 24880 323 0 0 20 0 16 0 105516762 10985164800 891708 33554432000 4194304 4196468 140728004518288 140728004500832 139899355668215 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
/proc/13565/statm: 2681925 891708 3178 1 0 2644416 0
[pid=13565/tid=13567] ppid=13562 vsize=10727700 memory=6791534058613427641 CPUtime=212.27 cores=1,3,5,7
/proc/13565/task/13567/stat : 13567 (java) R 13562 13565 13514 0 -1 4202560 26352 0 0 0 21216 11 0 0 20 0 16 0 105516763 10985164800 891708 33554432000 4194304 4196468 140728004518288 139899359899792 139898985550868 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13568] ppid=13562 vsize=10727700 memory=4126316290023845779 CPUtime=8.26 cores=1,3,5,7
/proc/13565/task/13568/stat : 13568 (java) S 13562 13565 13514 0 -1 1077944384 15974 0 0 0 761 65 0 0 20 0 16 0 105516764 10985164800 891708 33554432000 4194304 4196468 140728004518288 139899308288528 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13569] ppid=13562 vsize=10727700 memory=4126316290023845779 CPUtime=8.32 cores=1,3,5,7
/proc/13565/task/13569/stat : 13569 (java) S 13562 13565 13514 0 -1 1077944384 4755 0 0 0 756 76 0 0 20 0 16 0 105516764 10985164800 891708 33554432000 4194304 4196468 140728004518288 139899307235984 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13570] ppid=13562 vsize=10727700 memory=-9178176116494409632 CPUtime=8.24 cores=1,3,5,7
/proc/13565/task/13570/stat : 13570 (java) S 13562 13565 13514 0 -1 1077944384 4848 0 0 0 745 79 0 0 20 0 16 0 105516764 10985164800 891708 33554432000 4194304 4196468 140728004518288 139899306182928 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13571] ppid=13562 vsize=10727700 memory=4137287014106042739 CPUtime=8.34 cores=1,3,5,7
/proc/13565/task/13571/stat : 13571 (java) S 13562 13565 13514 0 -1 1077944384 3742 0 0 0 757 77 0 0 20 0 16 0 105516764 10985164800 891708 33554432000 4194304 4196468 140728004518288 139899305130384 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13572] ppid=13562 vsize=10727700 memory=6945782492362334265 CPUtime=2.29 cores=1,3,5,7
/proc/13565/task/13572/stat : 13572 (java) S 13562 13565 13514 0 -1 1077944384 5892 0 0 0 229 0 0 0 20 0 16 0 105516765 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898915326704 139899355679362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13573] ppid=13562 vsize=10727700 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13573/stat : 13573 (java) S 13562 13565 13514 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 105516766 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898914272992 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13574] ppid=13562 vsize=10727700 memory=7682475212697334586 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13574/stat : 13574 (java) S 13562 13565 13514 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 105516766 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898913219840 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13575] ppid=13562 vsize=10727700 memory=8764164798296004766 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13575/stat : 13575 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105516768 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898912168400 139899355686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13576] ppid=13562 vsize=10727700 memory=8764446273926488160 CPUtime=1.86 cores=1,3,5,7
/proc/13565/task/13576/stat : 13576 (java) S 13562 13565 13514 0 -1 1077944384 9245 0 0 0 185 1 0 0 20 0 16 0 105516768 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898911115504 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13577] ppid=13562 vsize=10727700 memory=-7965959121690140575 CPUtime=1.65 cores=1,3,5,7
/proc/13565/task/13577/stat : 13577 (java) S 13562 13565 13514 0 -1 1077944384 8768 0 0 0 164 1 0 0 20 0 16 0 105516768 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898910062960 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13578] ppid=13562 vsize=10727700 memory=4783210246294233184 CPUtime=0.55 cores=1,3,5,7
/proc/13565/task/13578/stat : 13578 (java) S 13562 13565 13514 0 -1 1077944384 4576 0 0 0 54 1 0 0 20 0 16 0 105516768 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898909009904 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13579] ppid=13562 vsize=10727700 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13579/stat : 13579 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105516769 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898907957600 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13580] ppid=13562 vsize=10727700 memory=-7965959130280075168 CPUtime=0.13 cores=1,3,5,7
/proc/13565/task/13580/stat : 13580 (java) S 13562 13565 13514 0 -1 1077944384 664 0 0 0 6 7 0 0 20 0 16 0 105516769 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898906905648 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13606] ppid=13562 vsize=10727700 memory=65 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13606/stat : 13606 (java) S 13562 13565 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105518120 10985164800 891708 33554432000 4194304 4196468 140728004518288 139898903754288 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3566832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+223.239 s]
# the end of solver process 13565 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.842 s, system=3.25135 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+223.201 s]
/proc/loadavg: 2.22 2.01 1.63 6/216 13687
/proc/meminfo: memFree=17604356/32770624 swapFree=67108860/67108860
[pid=13565] ppid=13562 vsize=10927392 memory=3567044 CPUtime=252.06 cores=1,3,5,7
/proc/13565/stat : 13565 (java) S 13562 13565 13514 0 -1 1077944320 86756 0 0 0 24883 323 0 0 20 0 17 0 105516762 11189649408 891761 33554432000 4194304 4196468 140728004518288 140728004500832 139899355668215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
/proc/13565/statm: 2731848 891761 3180 1 0 2694339 0
[pid=13565/tid=13567] ppid=13562 vsize=10927392 memory=30124 CPUtime=212.29 cores=1,3,5,7
/proc/13565/task/13567/stat : 13567 (java) S 13562 13565 13514 0 -1 1077944384 26471 0 0 0 21218 11 0 0 20 0 17 0 105516763 11189649408 891761 33554432000 4194304 4196468 140728004518288 139899359911088 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13568] ppid=13562 vsize=10927392 memory=2204 CPUtime=8.26 cores=1,3,5,7
/proc/13565/task/13568/stat : 13568 (java) S 13562 13565 13514 0 -1 1077944384 15974 0 0 0 761 65 0 0 20 0 17 0 105516764 11189649408 891761 33554432000 4194304 4196468 140728004518288 139899308288528 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13569] ppid=13562 vsize=10927392 memory=1240 CPUtime=8.32 cores=1,3,5,7
/proc/13565/task/13569/stat : 13569 (java) S 13562 13565 13514 0 -1 1077944384 4755 0 0 0 756 76 0 0 20 0 17 0 105516764 11189649408 891761 33554432000 4194304 4196468 140728004518288 139899307235984 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13570] ppid=13562 vsize=10927392 memory=3566832 CPUtime=8.24 cores=1,3,5,7
/proc/13565/task/13570/stat : 13570 (java) S 13562 13565 13514 0 -1 1077944384 4848 0 0 0 745 79 0 0 20 0 17 0 105516764 11189649408 891761 33554432000 4194304 4196468 140728004518288 139899306182928 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13571] ppid=13562 vsize=10927392 memory=924 CPUtime=8.34 cores=1,3,5,7
/proc/13565/task/13571/stat : 13571 (java) S 13562 13565 13514 0 -1 1077944384 3742 0 0 0 757 77 0 0 20 0 17 0 105516764 11189649408 891761 33554432000 4194304 4196468 140728004518288 139899305130384 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13572] ppid=13562 vsize=10927392 memory=1992 CPUtime=2.29 cores=1,3,5,7
/proc/13565/task/13572/stat : 13572 (java) S 13562 13565 13514 0 -1 1077944384 5893 0 0 0 229 0 0 0 20 0 17 0 105516765 11189649408 891761 33554432000 4194304 4196468 140728004518288 139898915326704 139899355679362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13573] ppid=13562 vsize=10927392 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13573/stat : 13573 (java) S 13562 13565 13514 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 105516766 11189649408 891761 33554432000 4194304 4196468 140728004518288 139898914272992 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13574] ppid=13562 vsize=10927392 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13574/stat : 13574 (java) S 13562 13565 13514 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 17 0 105516766 11189649408 891761 33554432000 4194304 4196468 140728004518288 139898913219840 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13575] ppid=13562 vsize=10927392 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13575/stat : 13575 (java) S 13562 13565 13514 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 17 0 105516768 11189649408 891761 33554432000 4194304 4196468 140728004518288 139898912168400 139899355686811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13576] ppid=13562 vsize=10927392 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7
/proc/13565/task/13576/stat : 13576 (java) S 13562 13565 13514 0 -1 1077944384 9247 0 0 0 185 1 0 0 20 0 17 0 105516768 11189649408 891761 33554432000 4194304 4196468 140728004518288 139898911115504 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13577] ppid=13562 vsize=10927392 memory=1256 CPUtime=1.65 cores=1,3,5,7
/proc/13565/task/13577/stat : 13577 (java) S 13562 13565 13514 0 -1 1077944384 8777 0 0 0 164 1 0 0 20 0 17 0 105516768 11189649408 891761 33554432000 4194304 4196468 140728004518288 139898910062960 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13578] ppid=13562 vsize=10927392 memory=10368 CPUtime=0.55 cores=1,3,5,7
/proc/13565/task/13578/stat : 13578 (java) S 13562 13565 13514 0 -1 1077944384 4578 0 0 0 54 1 0 0 20 0 17 0 105516768 11189649408 891761 33554432000 4194304 4196468 140728004518288 139898909009904 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13579] ppid=13562 vsize=10927392 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/13565/task/13579/stat : 13579 (java) S 13562 13565 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105516769 11189649408 891761 33554432000 4194304 4196468 140728004518288 139898907957600 139899355678421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
[pid=13565/tid=13580] ppid=13562 vsize=10927392 memory=1172 CPUtime=0.13 cores=1,3,5,7
/proc/13565/task/13580/stat : 13580 (java) S 13562 13565 13514 0 -1 1077944384 664 0 0 0 6 7 0 0 20 0 17 0 105516769 11189649408 891761 33554432000 4194304 4196468 140728004518288 139898906905648 139899355679362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 35856384 140728004523126 140728004523278 140728004523278 140728004526031 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3567044 KiB
Child status: 143
Real time (s): 223.239
CPU time (s): 252.094
CPU user time (s): 248.842
CPU system time (s): 3.25135
CPU usage (%): 112.926
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 3567044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.842
system time used= 3.25135
maximum resident set size= 3567396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87371
page faults= 0
swaps= 0
block input operations= 24
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8109
involuntary context switches= 538
# summary of solver processes directly reported to runsolver:
# pid: 13565
# total CPU time (s): 252.094
# total CPU user time (s): 248.842
# total CPU system time (s): 3.25135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42487 second user time and 2.22588 second system time
The end