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 (7773 MiB free)
memory of node 1: 16384 MiB (12109 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291620-1532292729/watcher-4291620-1532292729 -o /tmp/evaluation-result-4291620-1532292729/solver-4291620-1532292729 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32666 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 2135370028 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291620-1532292729.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=4421, runsolver pid=4418
[startup+0.100132 s]*
/proc/loadavg: 1.68 1.76 1.82 5/219 4436
/proc/meminfo: memFree=20342168/32770624 swapFree=67108860/67108860
[pid=4421] ppid=4418 vsize=14082740 memory=33604 CPUtime=0.12 cores=1,3,5,7
/proc/4421/stat : 4421 (java) S 4418 4421 32634 0 -1 1077944320 7325 0 0 0 10 2 0 0 20 0 15 0 46836122 14420725760 8401 33554432000 4194304 4196468 140733873980672 140733873963216 140639924264695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
/proc/4421/statm: 3520685 8401 3144 1 0 3482761 0
[pid=4421/tid=4423] ppid=4418 vsize=14082740 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/4421/task/4423/stat : 4423 (java) R 4418 4421 32634 0 -1 4202560 5406 0 0 0 8 1 0 0 20 0 15 0 46836123 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639928485904 140639526323680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4424] ppid=4418 vsize=14082740 memory=5792869726567804975 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836124 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639854352912 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4425] ppid=4418 vsize=14082740 memory=140085136385664 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836124 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639853300368 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4426] ppid=4418 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4426/stat : 4426 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836124 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639852247312 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4427] ppid=4418 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4427/stat : 4427 (java) S 4418 4421 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46836124 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639851194768 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4428] ppid=4418 vsize=14082740 memory=140085136385664 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4428/stat : 4428 (java) S 4418 4421 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46836125 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639397698288 140639924275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4429] ppid=4418 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4429/stat : 4429 (java) S 4418 4421 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46836125 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639396644512 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4430] ppid=4418 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4430/stat : 4430 (java) S 4418 4421 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46836126 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639395591408 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4431] ppid=4418 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4431/stat : 4431 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639394539984 140639924283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4432] ppid=4418 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4432/stat : 4432 (java) S 4418 4421 32634 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 46836128 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639393487088 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4433] ppid=4418 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4433/stat : 4433 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639392434544 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4434] ppid=4418 vsize=14082740 memory=140085136385664 CPUtime=0.01 cores=1,3,5,7
/proc/4421/task/4434/stat : 4434 (java) R 4418 4421 32634 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 15 0 46836128 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639391381488 140639902964896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4435] ppid=4418 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4435/stat : 4435 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639390329184 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4436] ppid=4418 vsize=14082740 memory=140085136385664 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4436/stat : 4436 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836128 14420725760 8401 33554432000 4194304 4196468 140733873980672 140639389277232 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33604 KiB
[startup+0.217549 s]*
/proc/loadavg: 1.68 1.76 1.82 4/219 4436
/proc/meminfo: memFree=20326904/32770624 swapFree=67108860/67108860
[pid=4421] ppid=4418 vsize=14082740 memory=47276 CPUtime=0.33 cores=1,3,5,7
/proc/4421/stat : 4421 (java) S 4418 4421 32634 0 -1 1077944320 10414 0 0 0 30 3 0 0 20 0 15 0 46836122 14420725760 11819 33554432000 4194304 4196468 140733873980672 140733873963216 140639924264695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
/proc/4421/statm: 3520685 11819 3375 1 0 3482761 0
[pid=4421/tid=4423] ppid=4418 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/4421/task/4423/stat : 4423 (java) R 4418 4421 32634 0 -1 4202560 8150 0 0 0 18 2 0 0 20 0 15 0 46836123 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639928494672 140639916501822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4424] ppid=4418 vsize=14082740 memory=4294967661 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836124 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639854352912 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4425] ppid=4418 vsize=14082740 memory=4123246224131155616 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836124 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639853300368 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4426] ppid=4418 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4426/stat : 4426 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836124 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639852247312 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4427] ppid=4418 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4427/stat : 4427 (java) S 4418 4421 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46836124 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639851194768 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4428] ppid=4418 vsize=14082740 memory=140085136385664 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4428/stat : 4428 (java) S 4418 4421 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46836125 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639397698288 140639924275842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4429] ppid=4418 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4429/stat : 4429 (java) S 4418 4421 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46836125 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639396644512 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4430] ppid=4418 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4430/stat : 4430 (java) S 4418 4421 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46836126 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639395591408 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4431] ppid=4418 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4431/stat : 4431 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639394539984 140639924283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4432] ppid=4418 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4421/task/4432/stat : 4432 (java) S 4418 4421 32634 0 -1 1077944384 575 0 0 0 2 0 0 0 20 0 15 0 46836128 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639393487088 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4433] ppid=4418 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4421/task/4433/stat : 4433 (java) S 4418 4421 32634 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 46836128 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639392434544 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4434] ppid=4418 vsize=14082740 memory=140085136385664 CPUtime=0.07 cores=1,3,5,7
/proc/4421/task/4434/stat : 4434 (java) R 4418 4421 32634 0 -1 4202560 286 0 0 0 7 0 0 0 20 0 15 0 46836128 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639391381488 140639924286042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4435] ppid=4418 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4435/stat : 4435 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639390329184 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4436] ppid=4418 vsize=14082740 memory=140085136385664 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4436/stat : 4436 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836128 14420725760 11819 33554432000 4194304 4196468 140733873980672 140639389277232 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47276 KiB
[startup+0.310534 s]*
/proc/loadavg: 1.68 1.76 1.82 3/219 4436
/proc/meminfo: memFree=20324064/32770624 swapFree=67108860/67108860
[pid=4421] ppid=4418 vsize=14082740 memory=50224 CPUtime=0.43 cores=1,3,5,7
/proc/4421/stat : 4421 (java) S 4418 4421 32634 0 -1 1077944320 10720 0 0 0 40 3 0 0 20 0 15 0 46836122 14420725760 12556 33554432000 4194304 4196468 140733873980672 140733873963216 140639924264695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
/proc/4421/statm: 3520685 12556 3376 1 0 3482761 0
[pid=4421/tid=4423] ppid=4418 vsize=14082740 memory=7302696001386991697 CPUtime=0.29 cores=1,3,5,7
/proc/4421/task/4423/stat : 4423 (java) R 4418 4421 32634 0 -1 4202560 8449 0 0 0 27 2 0 0 20 0 15 0 46836123 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639928426432 140639905828224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4424] ppid=4418 vsize=14082740 memory=4294967331 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836124 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639854352912 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4425] ppid=4418 vsize=14082740 memory=140085136436768 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836124 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639853300368 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4426] ppid=4418 vsize=14082740 memory=53476 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4426/stat : 4426 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836124 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639852247312 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4427] ppid=4418 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4427/stat : 4427 (java) S 4418 4421 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46836124 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639851194768 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4428] ppid=4418 vsize=14082740 memory=140085136443680 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4428/stat : 4428 (java) S 4418 4421 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46836125 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639397698288 140639924275842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4429] ppid=4418 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4429/stat : 4429 (java) S 4418 4421 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46836125 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639396644512 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4430] ppid=4418 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4430/stat : 4430 (java) S 4418 4421 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46836126 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639395591408 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4431] ppid=4418 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4431/stat : 4431 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639394539984 140639924283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4432] ppid=4418 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4421/task/4432/stat : 4432 (java) S 4418 4421 32634 0 -1 1077944384 575 0 0 0 2 0 0 0 20 0 15 0 46836128 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639393487088 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4433] ppid=4418 vsize=14082740 memory=140084988982031 CPUtime=0.01 cores=1,3,5,7
/proc/4421/task/4433/stat : 4433 (java) S 4418 4421 32634 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 15 0 46836128 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639392434544 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4434] ppid=4418 vsize=14082740 memory=140085136389934 CPUtime=0.08 cores=1,3,5,7
/proc/4421/task/4434/stat : 4434 (java) S 4418 4421 32634 0 -1 1077944384 291 0 0 0 8 0 0 0 20 0 15 0 46836128 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639391381488 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4435] ppid=4418 vsize=14082740 memory=140084989010255 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4435/stat : 4435 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639390329184 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4436] ppid=4418 vsize=14082740 memory=280170125393632 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4436/stat : 4436 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836128 14420725760 12621 33554432000 4194304 4196468 140733873980672 140639389277232 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50224 KiB
[startup+0.700757 s]
/proc/loadavg: 1.68 1.76 1.82 3/219 4436
/proc/meminfo: memFree=20284948/32770624 swapFree=67108860/67108860
[pid=4421] ppid=4418 vsize=14084808 memory=88992 CPUtime=1 cores=1,3,5,7
/proc/4421/stat : 4421 (java) S 4418 4421 32634 0 -1 1077944320 17593 0 0 0 95 5 0 0 20 0 15 0 46836122 14422843392 22248 33554432000 4194304 4196468 140733873980672 140733873963216 140639924264695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
/proc/4421/statm: 3521202 22248 3503 1 0 3483273 0
[pid=4421/tid=4423] ppid=4418 vsize=14084808 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4421/task/4423/stat : 4423 (java) R 4418 4421 32634 0 -1 4202560 14888 0 0 0 63 4 0 0 20 0 15 0 46836123 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639928488752 140639908345212 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4424] ppid=4418 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836124 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639854352912 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4425] ppid=4418 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836124 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639853300368 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4426] ppid=4418 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4426/stat : 4426 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836124 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639852247312 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4427] ppid=4418 vsize=14084808 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4427/stat : 4427 (java) S 4418 4421 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46836124 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639851194768 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4428] ppid=4418 vsize=14084808 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4428/stat : 4428 (java) S 4418 4421 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46836125 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639397698288 140639924275842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4429] ppid=4418 vsize=14084808 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4429/stat : 4429 (java) S 4418 4421 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46836125 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639396644512 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4430] ppid=4418 vsize=14084808 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4430/stat : 4430 (java) S 4418 4421 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46836126 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639395591408 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4431] ppid=4418 vsize=14084808 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4431/stat : 4431 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639394539984 140639924283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4432] ppid=4418 vsize=14084808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4421/task/4432/stat : 4432 (java) S 4418 4421 32634 0 -1 1077944384 732 0 0 0 8 0 0 0 20 0 15 0 46836128 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639393487088 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4433] ppid=4418 vsize=14084808 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4421/task/4433/stat : 4433 (java) S 4418 4421 32634 0 -1 1077944384 200 0 0 0 6 0 0 0 20 0 15 0 46836128 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639392434544 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4434] ppid=4418 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/4421/task/4434/stat : 4434 (java) S 4418 4421 32634 0 -1 1077944384 392 0 0 0 15 0 0 0 20 0 15 0 46836128 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639391381488 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4435] ppid=4418 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4435/stat : 4435 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639390329184 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4436] ppid=4418 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4436/stat : 4436 (java) S 4418 4421 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46836128 14422843392 22248 33554432000 4194304 4196468 140733873980672 140639389277232 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88992 KiB
[startup+1.50087 s]
/proc/loadavg: 1.68 1.76 1.82 5/219 4436
/proc/meminfo: memFree=20231404/32770624 swapFree=67108860/67108860
[pid=4421] ppid=4418 vsize=14086856 memory=240136 CPUtime=3.65 cores=1,3,5,7
/proc/4421/stat : 4421 (java) S 4418 4421 32634 0 -1 1077944320 25013 0 0 0 354 11 0 0 20 0 15 0 46836122 14424940544 60034 33554432000 4194304 4196468 140733873980672 140733873963216 140639924264695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
/proc/4421/statm: 3521714 60034 3573 1 0 3483785 0
[pid=4421/tid=4423] ppid=4418 vsize=14086856 memory=5937503940876124257 CPUtime=1.44 cores=1,3,5,7
/proc/4421/task/4423/stat : 4423 (java) R 4418 4421 32634 0 -1 4202560 16176 0 0 0 137 7 0 0 20 0 15 0 46836123 14424940544 60034 33554432000 4194304 4196468 140733873980672 140639928499792 140639526330069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4424] ppid=4418 vsize=14086856 memory=5937503940875731041 CPUtime=0.02 cores=1,3,5,7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4421 32634 0 -1 1077944384 575 0 0 0 2 0 0 0 20 0 15 0 46836124 14424940544 60034 33554432000 4194304 4196468 140733873980672 140639854352912 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4425] ppid=4418 vsize=14086856 memory=130148 CPUtime=0.01 cores=1,3,5,7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4421 32634 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 46836124 14424940544 60034 33554432000 4194304 4196468 140733873980672 140639853300368 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4426] ppid=4418 vsize=14086856 memory=2241 CPUtime=0.01 cores=1,3,5,7
/proc/4421/task/4426/stat : 4426 (java) S 4418 4421 32634 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 46836124 14424940544 60034 33554432000 4194304 4196468 140733873980672 140639852247312 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4427] ppid=4418 vsize=14086856 memory=2244 CPUtime=0.01 cores=1,3,5,7
/proc/4421/task/4427/stat : 4427 (java) S 4418 4421 32634 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 46836124 14424940544 60034 33554432000 4194304 4196468 140733873980672 140639851194768 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4428] ppid=4418 vsize=14086856 memory=280169977986272 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4428/stat : 4428 (java) S 4418 4421 32634 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 15 0 46836125 14424940544 60034 33554432000 4194304 4196468 140733873980672 140639397698288 140639924275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
################
# More data... #
################
/proc/4421/task/4423/stat : 4423 (java) R 4418 4421 32634 0 -1 4202560 113366 0 0 0 232101 79 0 0 20 0 15 0 46836123 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639928502816 140639534612513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4424] ppid=4418 vsize=14093000 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4421 32634 0 -1 1077944384 11766 0 0 0 27 8 0 0 20 0 15 0 46836124 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639854352912 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4425] ppid=4418 vsize=14093000 memory=3437852 CPUtime=0.34 cores=1,3,5,7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4421 32634 0 -1 1077944384 11850 0 0 0 25 9 0 0 20 0 15 0 46836124 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639853300368 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4426] ppid=4418 vsize=14093000 memory=3442944 CPUtime=0.35 cores=1,3,5,7
/proc/4421/task/4426/stat : 4426 (java) S 4418 4421 32634 0 -1 1077944384 13234 0 0 0 26 9 0 0 20 0 15 0 46836124 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639852247312 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4427] ppid=4418 vsize=14093000 memory=3442944 CPUtime=0.38 cores=1,3,5,7
/proc/4421/task/4427/stat : 4427 (java) S 4418 4421 32634 0 -1 1077944384 12070 0 0 0 29 9 0 0 20 0 15 0 46836124 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639851194768 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4428] ppid=4418 vsize=14093000 memory=3442944 CPUtime=0.12 cores=1,3,5,7
/proc/4421/task/4428/stat : 4428 (java) S 4418 4421 32634 0 -1 1077944384 13832 0 0 0 7 5 0 0 20 0 15 0 46836125 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639397698288 140639924275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4429] ppid=4418 vsize=14093000 memory=3441072 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4429/stat : 4429 (java) S 4418 4421 32634 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 46836125 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639396644576 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4430] ppid=4418 vsize=14093000 memory=3441072 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4430/stat : 4430 (java) S 4418 4421 32634 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 46836126 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639395591424 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4431] ppid=4418 vsize=14093000 memory=3442944 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4431/stat : 4431 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639394539984 140639924283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4432] ppid=4418 vsize=14093000 memory=0 CPUtime=5.04 cores=1,3,5,7
/proc/4421/task/4432/stat : 4432 (java) S 4418 4421 32634 0 -1 1077944384 13091 0 0 0 501 3 0 0 20 0 15 0 46836128 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639393487088 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4433] ppid=4418 vsize=14093000 memory=2196 CPUtime=4.84 cores=1,3,5,7
/proc/4421/task/4433/stat : 4433 (java) S 4418 4421 32634 0 -1 1077944384 13365 0 0 0 481 3 0 0 20 0 15 0 46836128 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639392434544 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4434] ppid=4418 vsize=14093000 memory=72705 CPUtime=1.45 cores=1,3,5,7
/proc/4421/task/4434/stat : 4434 (java) S 4418 4421 32634 0 -1 1077944384 14534 0 0 0 142 3 0 0 20 0 15 0 46836128 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639391381488 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4435] ppid=4418 vsize=14093000 memory=3441072 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4435/stat : 4435 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639390329184 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4436] ppid=4418 vsize=14093000 memory=3441072 CPUtime=1.25 cores=1,3,5,7
/proc/4421/task/4436/stat : 4436 (java) S 4418 4421 32634 0 -1 1077944384 1730 0 0 0 54 71 0 0 20 0 15 0 46836128 14431232000 860268 33554432000 4194304 4196468 140733873980672 140639389277232 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
Current children cumulated CPU time: 2336.02 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 3441072 KiB
[startup+2382.3 s]
/proc/loadavg: 1.66 1.71 1.75 3/218 4612
/proc/meminfo: memFree=19733604/32770624 swapFree=67108860/67108860
[pid=4421] ppid=4418 vsize=14093000 memory=3437484 CPUtime=2396.07 cores=1,3,5,7
/proc/4421/stat : 4421 (java) S 4418 4421 32634 0 -1 1077944320 223697 0 0 0 239423 184 0 0 20 0 15 0 46836122 14431232000 859371 33554432000 4194304 4196468 140733873980672 140733873963216 140639924264695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
/proc/4421/statm: 3523250 859371 3612 1 0 3485321 0
[pid=4421/tid=4423] ppid=4418 vsize=14093000 memory=3437484 CPUtime=2381.8 cores=1,3,5,7
/proc/4421/task/4423/stat : 4423 (java) R 4418 4421 32634 0 -1 4202560 114969 0 0 0 238100 80 0 0 20 0 15 0 46836123 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639928502816 140639532556907 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4424] ppid=4418 vsize=14093000 memory=3439020 CPUtime=0.35 cores=1,3,5,7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4421 32634 0 -1 1077944384 12110 0 0 0 27 8 0 0 20 0 15 0 46836124 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639854352912 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4425] ppid=4418 vsize=14093000 memory=3441072 CPUtime=0.35 cores=1,3,5,7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4421 32634 0 -1 1077944384 12402 0 0 0 26 9 0 0 20 0 15 0 46836124 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639853300368 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4426] ppid=4418 vsize=14093000 memory=38 CPUtime=0.35 cores=1,3,5,7
/proc/4421/task/4426/stat : 4426 (java) S 4418 4421 32634 0 -1 1077944384 13253 0 0 0 26 9 0 0 20 0 15 0 46836124 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639852247312 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4427] ppid=4418 vsize=14093000 memory=3441072 CPUtime=0.38 cores=1,3,5,7
/proc/4421/task/4427/stat : 4427 (java) S 4418 4421 32634 0 -1 1077944384 12383 0 0 0 29 9 0 0 20 0 15 0 46836124 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639851194768 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4428] ppid=4418 vsize=14093000 memory=3437484 CPUtime=0.12 cores=1,3,5,7
/proc/4421/task/4428/stat : 4428 (java) S 4418 4421 32634 0 -1 1077944384 14358 0 0 0 7 5 0 0 20 0 15 0 46836125 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639397698288 140639924275842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4429] ppid=4418 vsize=14093000 memory=3437484 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4429/stat : 4429 (java) S 4418 4421 32634 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 46836125 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639396644576 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4430] ppid=4418 vsize=14093000 memory=15668 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4430/stat : 4430 (java) S 4418 4421 32634 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 46836126 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639395591424 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4431] ppid=4418 vsize=14093000 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4431/stat : 4431 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639394539984 140639924283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4432] ppid=4418 vsize=14093000 memory=3437484 CPUtime=5.04 cores=1,3,5,7
/proc/4421/task/4432/stat : 4432 (java) S 4418 4421 32634 0 -1 1077944384 13097 0 0 0 501 3 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639393487088 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4433] ppid=4418 vsize=14093000 memory=3437484 CPUtime=4.84 cores=1,3,5,7
/proc/4421/task/4433/stat : 4433 (java) S 4418 4421 32634 0 -1 1077944384 13371 0 0 0 481 3 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639392434544 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4434] ppid=4418 vsize=14093000 memory=3437484 CPUtime=1.45 cores=1,3,5,7
/proc/4421/task/4434/stat : 4434 (java) S 4418 4421 32634 0 -1 1077944384 14543 0 0 0 142 3 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639391381488 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4435] ppid=4418 vsize=14093000 memory=3437484 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4435/stat : 4435 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639390329184 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4436] ppid=4418 vsize=14093000 memory=3828 CPUtime=1.29 cores=1,3,5,7
/proc/4421/task/4436/stat : 4436 (java) S 4418 4421 32634 0 -1 1077944384 1766 0 0 0 56 73 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639389277232 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
Current children cumulated CPU time: 2396.07 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 3437484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2386.3 s]
/proc/loadavg: 1.69 1.71 1.75 3/218 4612
/proc/meminfo: memFree=19733604/32770624 swapFree=67108860/67108860
[pid=4421] ppid=4418 vsize=14093000 memory=3437484 CPUtime=2400.07 cores=1,3,5,7
/proc/4421/stat : 4421 (java) S 4418 4421 32634 0 -1 1077944320 224012 0 0 0 239823 184 0 0 20 0 15 0 46836122 14431232000 859371 33554432000 4194304 4196468 140733873980672 140733873963216 140639924264695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
/proc/4421/statm: 3523250 859371 3612 1 0 3485321 0
[pid=4421/tid=4423] ppid=4418 vsize=14093000 memory=3437484 CPUtime=2385.8 cores=1,3,5,7
/proc/4421/task/4423/stat : 4423 (java) R 4418 4421 32634 0 -1 4202560 115261 0 0 0 238500 80 0 0 20 0 15 0 46836123 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639928502816 140639538643623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4424] ppid=4418 vsize=14093000 memory=3437484 CPUtime=0.35 cores=1,3,5,7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4421 32634 0 -1 1077944384 12110 0 0 0 27 8 0 0 20 0 15 0 46836124 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639854352912 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4425] ppid=4418 vsize=14093000 memory=3437484 CPUtime=0.35 cores=1,3,5,7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4421 32634 0 -1 1077944384 12402 0 0 0 26 9 0 0 20 0 15 0 46836124 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639853300368 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4426] ppid=4418 vsize=14093000 memory=3439020 CPUtime=0.35 cores=1,3,5,7
/proc/4421/task/4426/stat : 4426 (java) S 4418 4421 32634 0 -1 1077944384 13253 0 0 0 26 9 0 0 20 0 15 0 46836124 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639852247312 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4427] ppid=4418 vsize=14093000 memory=3441072 CPUtime=0.38 cores=1,3,5,7
/proc/4421/task/4427/stat : 4427 (java) S 4418 4421 32634 0 -1 1077944384 12384 0 0 0 29 9 0 0 20 0 15 0 46836124 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639851194768 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4428] ppid=4418 vsize=14093000 memory=38 CPUtime=0.12 cores=1,3,5,7
/proc/4421/task/4428/stat : 4428 (java) S 4418 4421 32634 0 -1 1077944384 14360 0 0 0 7 5 0 0 20 0 15 0 46836125 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639397698288 140639924275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4429] ppid=4418 vsize=14093000 memory=3441072 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4429/stat : 4429 (java) S 4418 4421 32634 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 46836125 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639396644576 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4430] ppid=4418 vsize=14093000 memory=3437484 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4430/stat : 4430 (java) S 4418 4421 32634 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 46836126 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639395591424 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4431] ppid=4418 vsize=14093000 memory=3437484 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4431/stat : 4431 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639394539984 140639924283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4432] ppid=4418 vsize=14093000 memory=3437484 CPUtime=5.04 cores=1,3,5,7
/proc/4421/task/4432/stat : 4432 (java) S 4418 4421 32634 0 -1 1077944384 13105 0 0 0 501 3 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639393487088 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4433] ppid=4418 vsize=14093000 memory=3437484 CPUtime=4.84 cores=1,3,5,7
/proc/4421/task/4433/stat : 4433 (java) S 4418 4421 32634 0 -1 1077944384 13371 0 0 0 481 3 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639392434544 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4434] ppid=4418 vsize=14093000 memory=3437484 CPUtime=1.45 cores=1,3,5,7
/proc/4421/task/4434/stat : 4434 (java) S 4418 4421 32634 0 -1 1077944384 14543 0 0 0 142 3 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639391381488 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4435] ppid=4418 vsize=14093000 memory=280169978192544 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4435/stat : 4435 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639390329184 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4436] ppid=4418 vsize=14093000 memory=3437484 CPUtime=1.29 cores=1,3,5,7
/proc/4421/task/4436/stat : 4436 (java) S 4418 4421 32634 0 -1 1077944384 1778 0 0 0 56 73 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639389277232 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 3437484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2386.32 s]
# the end of solver process 4421 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.25 s, system=1.85844 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2386.3 s]
/proc/loadavg: 1.69 1.71 1.75 3/218 4612
/proc/meminfo: memFree=19733604/32770624 swapFree=67108860/67108860
[pid=4421] ppid=4418 vsize=14093000 memory=3437484 CPUtime=2400.07 cores=1,3,5,7
/proc/4421/stat : 4421 (java) S 4418 4421 32634 0 -1 1077944320 224012 0 0 0 239823 184 0 0 20 0 15 0 46836122 14431232000 859371 33554432000 4194304 4196468 140733873980672 140733873963216 140639924264695 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
/proc/4421/statm: 3523250 859371 3612 1 0 3485321 0
[pid=4421/tid=4423] ppid=4418 vsize=14093000 memory=3437484 CPUtime=2385.8 cores=1,3,5,7
/proc/4421/task/4423/stat : 4423 (java) R 4418 4421 32634 0 -1 4202560 115261 0 0 0 238500 80 0 0 20 0 15 0 46836123 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639928502816 140639538643623 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4424] ppid=4418 vsize=14093000 memory=3437484 CPUtime=0.35 cores=1,3,5,7
/proc/4421/task/4424/stat : 4424 (java) S 4418 4421 32634 0 -1 1077944384 12110 0 0 0 27 8 0 0 20 0 15 0 46836124 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639854352912 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4425] ppid=4418 vsize=14093000 memory=3437484 CPUtime=0.35 cores=1,3,5,7
/proc/4421/task/4425/stat : 4425 (java) S 4418 4421 32634 0 -1 1077944384 12402 0 0 0 26 9 0 0 20 0 15 0 46836124 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639853300368 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4426] ppid=4418 vsize=14093000 memory=3439020 CPUtime=0.35 cores=1,3,5,7
/proc/4421/task/4426/stat : 4426 (java) S 4418 4421 32634 0 -1 1077944384 13253 0 0 0 26 9 0 0 20 0 15 0 46836124 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639852247312 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4427] ppid=4418 vsize=14093000 memory=3441072 CPUtime=0.38 cores=1,3,5,7
/proc/4421/task/4427/stat : 4427 (java) S 4418 4421 32634 0 -1 1077944384 12384 0 0 0 29 9 0 0 20 0 15 0 46836124 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639851194768 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4428] ppid=4418 vsize=14093000 memory=38 CPUtime=0.12 cores=1,3,5,7
/proc/4421/task/4428/stat : 4428 (java) S 4418 4421 32634 0 -1 1077944384 14360 0 0 0 7 5 0 0 20 0 15 0 46836125 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639397698288 140639924275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4429] ppid=4418 vsize=14093000 memory=3441072 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4429/stat : 4429 (java) S 4418 4421 32634 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 46836125 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639396644576 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4430] ppid=4418 vsize=14093000 memory=3437484 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4430/stat : 4430 (java) S 4418 4421 32634 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 46836126 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639395591424 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4431] ppid=4418 vsize=14093000 memory=3437484 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4431/stat : 4431 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639394539984 140639924283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4432] ppid=4418 vsize=14093000 memory=3437484 CPUtime=5.04 cores=1,3,5,7
/proc/4421/task/4432/stat : 4432 (java) S 4418 4421 32634 0 -1 1077944384 13105 0 0 0 501 3 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639393487088 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4433] ppid=4418 vsize=14093000 memory=3437484 CPUtime=4.84 cores=1,3,5,7
/proc/4421/task/4433/stat : 4433 (java) S 4418 4421 32634 0 -1 1077944384 13371 0 0 0 481 3 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639392434544 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4434] ppid=4418 vsize=14093000 memory=3437484 CPUtime=1.45 cores=1,3,5,7
/proc/4421/task/4434/stat : 4434 (java) S 4418 4421 32634 0 -1 1077944384 14543 0 0 0 142 3 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639391381488 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4435] ppid=4418 vsize=14093000 memory=280169978192544 CPUtime=0 cores=1,3,5,7
/proc/4421/task/4435/stat : 4435 (java) S 4418 4421 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639390329184 140639924274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
[pid=4421/tid=4436] ppid=4418 vsize=14093000 memory=3437484 CPUtime=1.29 cores=1,3,5,7
/proc/4421/task/4436/stat : 4436 (java) S 4418 4421 32634 0 -1 1077944384 1778 0 0 0 56 73 0 0 20 0 15 0 46836128 14431232000 859371 33554432000 4194304 4196468 140733873980672 140639389277232 140639924275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140733873984596 140733873984777 140733873984777 140733873987535 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 3437484 KiB
Child status: 143
Real time (s): 2386.32
CPU time (s): 2400.11
CPU user time (s): 2398.25
CPU system time (s): 1.85844
CPU usage (%): 100.578
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 3575316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.25
system time used= 1.85844
maximum resident set size= 3606036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56662
involuntary context switches= 1580
# summary of solver processes directly reported to runsolver:
# pid: 4421
# total CPU time (s): 2400.11
# total CPU user time (s): 2398.25
# total CPU system time (s): 1.85844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.04994 second user time and 27.5128 second system time
The end