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 (9074 MiB free)
memory of node 1: 16384 MiB (12147 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290347-1532285774/watcher-4290347-1532285774 -o /tmp/evaluation-result-4290347-1532285774/solver-4290347-1532285774 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532271385-3551 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1601325348 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290347-1532285774.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
solver pid=5308, runsolver pid=5305
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.24 1.31 1.37 3/215 5323
/proc/meminfo: memFree=21712732/32770624 swapFree=67108860/67108860
[pid=5308] ppid=5305 vsize=14082740 memory=31472 CPUtime=0.12 cores=1,3,5,7
/proc/5308/stat : 5308 (java) S 5305 5308 2046 0 -1 1077944320 6775 0 0 0 11 1 0 0 20 0 15 0 46140597 14420725760 7868 33554432000 4194304 4196468 140731454578288 140731454560832 139971453746935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
/proc/5308/statm: 3520685 7868 3155 1 0 3482761 0
[pid=5308/tid=5310] ppid=5305 vsize=14082740 memory=-8824344392633251008 CPUtime=0.09 cores=1,3,5,7
/proc/5308/task/5310/stat : 5310 (java) R 5305 5308 2046 0 -1 4202560 4826 0 0 0 8 1 0 0 20 0 15 0 46140597 14420725760 7868 33554432000 4194304 4196468 140731454578288 139971457969728 139971445997525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5311] ppid=5305 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5311/stat : 5311 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14420725760 7868 33554432000 4194304 4196468 140731454578288 139971383835280 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5312] ppid=5305 vsize=14082740 memory=140082469697152 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5312/stat : 5312 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14420725760 7868 33554432000 4194304 4196468 140731454578288 139971382782480 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5313] ppid=5305 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5313/stat : 5313 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14420725760 7868 33554432000 4194304 4196468 140731454578288 139971381729680 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5314] ppid=5305 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5314/stat : 5314 (java) S 5305 5308 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46140598 14420725760 7868 33554432000 4194304 4196468 140731454578288 139971380676880 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5315] ppid=5305 vsize=14082740 memory=140082469697152 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5315/stat : 5315 (java) S 5305 5308 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46140599 14420725760 7868 33554432000 4194304 4196468 140731454578288 139970927356784 139971453758082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5316] ppid=5305 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5316/stat : 5316 (java) S 5305 5308 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46140600 14420725760 7868 33554432000 4194304 4196468 140731454578288 139970926302752 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5317] ppid=5305 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5317/stat : 5317 (java) S 5305 5308 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46140600 14420725760 7868 33554432000 4194304 4196468 140731454578288 139970925249904 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5318] ppid=5305 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5318/stat : 5318 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14420725760 7868 33554432000 4194304 4196468 140731454578288 139970924198224 139971453765531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5319] ppid=5305 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5319/stat : 5319 (java) S 5305 5308 2046 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 46140602 14420725760 7868 33554432000 4194304 4196468 140731454578288 139970923145584 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5320] ppid=5305 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5320/stat : 5320 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14420725760 7868 33554432000 4194304 4196468 140731454578288 139970922092784 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5321] ppid=5305 vsize=14082740 memory=140082469697152 CPUtime=0.01 cores=1,3,5,7
/proc/5308/task/5321/stat : 5321 (java) S 5305 5308 2046 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 46140602 14420725760 7868 33554432000 4194304 4196468 140731454578288 139970921039984 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5322] ppid=5305 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5322/stat : 5322 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14420725760 7868 33554432000 4194304 4196468 140731454578288 139970919987424 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5323] ppid=5305 vsize=14082740 memory=140082469697152 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5323/stat : 5323 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140603 14420725760 7868 33554432000 4194304 4196468 140731454578288 139970918935728 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31472 KiB
[startup+0.210871 s]*
/proc/loadavg: 1.24 1.31 1.37 6/215 5323
/proc/meminfo: memFree=21697352/32770624 swapFree=67108860/67108860
[pid=5308] ppid=5305 vsize=14082740 memory=47264 CPUtime=0.31 cores=1,3,5,7
/proc/5308/stat : 5308 (java) S 5305 5308 2046 0 -1 1077944320 10436 0 0 0 28 3 0 0 20 0 15 0 46140597 14420725760 11816 33554432000 4194304 4196468 140731454578288 140731454560832 139971453746935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
/proc/5308/statm: 3520685 11816 3371 1 0 3482761 0
[pid=5308/tid=5310] ppid=5305 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/5308/task/5310/stat : 5310 (java) R 5305 5308 2046 0 -1 4202560 8149 0 0 0 18 2 0 0 20 0 15 0 46140597 14420725760 11816 33554432000 4194304 4196468 140731454578288 139971457975808 139971445984062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5311] ppid=5305 vsize=14082740 memory=343 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5311/stat : 5311 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14420725760 11816 33554432000 4194304 4196468 140731454578288 139971383835280 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5312] ppid=5305 vsize=14082740 memory=140082469721276 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5312/stat : 5312 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14420725760 11816 33554432000 4194304 4196468 140731454578288 139971382782480 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5313] ppid=5305 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5313/stat : 5313 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14420725760 11816 33554432000 4194304 4196468 140731454578288 139971381729680 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5314] ppid=5305 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5314/stat : 5314 (java) S 5305 5308 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46140598 14420725760 11816 33554432000 4194304 4196468 140731454578288 139971380676880 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5315] ppid=5305 vsize=14082740 memory=140082469697152 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5315/stat : 5315 (java) S 5305 5308 2046 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46140599 14420725760 11816 33554432000 4194304 4196468 140731454578288 139970927356784 139971453758082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5316] ppid=5305 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5316/stat : 5316 (java) S 5305 5308 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46140600 14420725760 11816 33554432000 4194304 4196468 140731454578288 139970926302752 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5317] ppid=5305 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5317/stat : 5317 (java) S 5305 5308 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46140600 14420725760 11816 33554432000 4194304 4196468 140731454578288 139970925249904 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5318] ppid=5305 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5318/stat : 5318 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14420725760 11816 33554432000 4194304 4196468 140731454578288 139970924198224 139971453765531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5319] ppid=5305 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5308/task/5319/stat : 5319 (java) S 5305 5308 2046 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 46140602 14420725760 11816 33554432000 4194304 4196468 140731454578288 139970923145584 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5320] ppid=5305 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5308/task/5320/stat : 5320 (java) S 5305 5308 2046 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 46140602 14420725760 11816 33554432000 4194304 4196468 140731454578288 139970922092784 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5321] ppid=5305 vsize=14082740 memory=140082469697152 CPUtime=0.05 cores=1,3,5,7
/proc/5308/task/5321/stat : 5321 (java) R 5305 5308 2046 0 -1 4202560 301 0 0 0 5 0 0 0 20 0 15 0 46140602 14420725760 11816 33554432000 4194304 4196468 140731454578288 139970921037944 139971432702192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5322] ppid=5305 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5322/stat : 5322 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14420725760 11816 33554432000 4194304 4196468 140731454578288 139970919987424 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5323] ppid=5305 vsize=14082740 memory=140082469697152 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5323/stat : 5323 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140603 14420725760 11816 33554432000 4194304 4196468 140731454578288 139970918935728 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47264 KiB
[startup+0.310513 s]*
/proc/loadavg: 1.24 1.31 1.37 3/215 5323
/proc/meminfo: memFree=21693916/32770624 swapFree=67108860/67108860
[pid=5308] ppid=5305 vsize=14082740 memory=50856 CPUtime=0.44 cores=1,3,5,7
/proc/5308/stat : 5308 (java) S 5305 5308 2046 0 -1 1077944320 10801 0 0 0 41 3 0 0 20 0 15 0 46140597 14420725760 12714 33554432000 4194304 4196468 140731454578288 140731454560832 139971453746935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
/proc/5308/statm: 3520685 12714 3413 1 0 3482761 0
[pid=5308/tid=5310] ppid=5305 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/5308/task/5310/stat : 5310 (java) R 5305 5308 2046 0 -1 4202560 8480 0 0 0 28 2 0 0 20 0 15 0 46140597 14420725760 12714 33554432000 4194304 4196468 140731454578288 139971457958448 139971453760784 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5311] ppid=5305 vsize=14082740 memory=290763879498383383 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5311/stat : 5311 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14420725760 12714 33554432000 4194304 4196468 140731454578288 139971383835280 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5312] ppid=5305 vsize=14082740 memory=15111252726281880 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5312/stat : 5312 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14420725760 12714 33554432000 4194304 4196468 140731454578288 139971382782480 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5313] ppid=5305 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5313/stat : 5313 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14420725760 12714 33554432000 4194304 4196468 140731454578288 139971381729680 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5314] ppid=5305 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5314/stat : 5314 (java) S 5305 5308 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46140598 14420725760 12714 33554432000 4194304 4196468 140731454578288 139971380676880 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5315] ppid=5305 vsize=14082740 memory=140082469697152 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5315/stat : 5315 (java) S 5305 5308 2046 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46140599 14420725760 12714 33554432000 4194304 4196468 140731454578288 139970927356784 139971453758082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5316] ppid=5305 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5316/stat : 5316 (java) S 5305 5308 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46140600 14420725760 12714 33554432000 4194304 4196468 140731454578288 139970926302752 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5317] ppid=5305 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5317/stat : 5317 (java) S 5305 5308 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46140600 14420725760 12714 33554432000 4194304 4196468 140731454578288 139970925249904 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5318] ppid=5305 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5318/stat : 5318 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14420725760 12714 33554432000 4194304 4196468 140731454578288 139970924198224 139971453765531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5319] ppid=5305 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5308/task/5319/stat : 5319 (java) S 5305 5308 2046 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 46140602 14420725760 12714 33554432000 4194304 4196468 140731454578288 139970923145584 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5320] ppid=5305 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5308/task/5320/stat : 5320 (java) S 5305 5308 2046 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 15 0 46140602 14420725760 12714 33554432000 4194304 4196468 140731454578288 139970922092784 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5321] ppid=5305 vsize=14082740 memory=140082469697152 CPUtime=0.07 cores=1,3,5,7
/proc/5308/task/5321/stat : 5321 (java) S 5305 5308 2046 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 15 0 46140602 14420725760 12714 33554432000 4194304 4196468 140731454578288 139970921039984 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5322] ppid=5305 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5322/stat : 5322 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14420725760 12714 33554432000 4194304 4196468 140731454578288 139970919987424 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5323] ppid=5305 vsize=14082740 memory=140082469697152 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5323/stat : 5323 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140603 14420725760 12714 33554432000 4194304 4196468 140731454578288 139970918935728 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50856 KiB
[startup+0.700733 s]
/proc/loadavg: 1.24 1.31 1.37 5/215 5323
/proc/meminfo: memFree=21669360/32770624 swapFree=67108860/67108860
[pid=5308] ppid=5305 vsize=14084808 memory=88948 CPUtime=0.99 cores=1,3,5,7
/proc/5308/stat : 5308 (java) S 5305 5308 2046 0 -1 1077944320 17630 0 0 0 94 5 0 0 20 0 15 0 46140597 14422843392 22237 33554432000 4194304 4196468 140731454578288 140731454560832 139971453746935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
/proc/5308/statm: 3521202 22237 3500 1 0 3483273 0
[pid=5308/tid=5310] ppid=5305 vsize=14084808 memory=1724 CPUtime=0.67 cores=1,3,5,7
/proc/5308/task/5310/stat : 5310 (java) R 5305 5308 2046 0 -1 4202560 14934 0 0 0 63 4 0 0 20 0 15 0 46140597 14422843392 22237 33554432000 4194304 4196468 140731454578288 139971457970304 139971453768861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5311] ppid=5305 vsize=14084808 memory=10928 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5311/stat : 5311 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14422843392 22237 33554432000 4194304 4196468 140731454578288 139971383835280 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5312] ppid=5305 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5312/stat : 5312 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14422843392 22237 33554432000 4194304 4196468 140731454578288 139971382782480 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5313] ppid=5305 vsize=14084808 memory=796 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5313/stat : 5313 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14422843392 22237 33554432000 4194304 4196468 140731454578288 139971381729680 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5314] ppid=5305 vsize=14084808 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5314/stat : 5314 (java) S 5305 5308 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46140598 14422843392 22237 33554432000 4194304 4196468 140731454578288 139971380676880 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5315] ppid=5305 vsize=14084808 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5315/stat : 5315 (java) S 5305 5308 2046 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46140599 14422843392 22237 33554432000 4194304 4196468 140731454578288 139970927356784 139971453758082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5316] ppid=5305 vsize=14084808 memory=5672 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5316/stat : 5316 (java) S 5305 5308 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46140600 14422843392 22237 33554432000 4194304 4196468 140731454578288 139970926302752 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5317] ppid=5305 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5317/stat : 5317 (java) S 5305 5308 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46140600 14422843392 22237 33554432000 4194304 4196468 140731454578288 139970925249904 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5318] ppid=5305 vsize=14084808 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5318/stat : 5318 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14422843392 22237 33554432000 4194304 4196468 140731454578288 139970924198224 139971453765531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5319] ppid=5305 vsize=14084808 memory=4639098309541129069 CPUtime=0.06 cores=1,3,5,7
/proc/5308/task/5319/stat : 5319 (java) S 5305 5308 2046 0 -1 1077944384 511 0 0 0 6 0 0 0 20 0 15 0 46140602 14422843392 22237 33554432000 4194304 4196468 140731454578288 139970923145584 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5320] ppid=5305 vsize=14084808 memory=7380106142448643183 CPUtime=0.08 cores=1,3,5,7
/proc/5308/task/5320/stat : 5320 (java) S 5305 5308 2046 0 -1 1077944384 411 0 0 0 8 0 0 0 20 0 15 0 46140602 14422843392 22237 33554432000 4194304 4196468 140731454578288 139970922092784 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5321] ppid=5305 vsize=14084808 memory=7810487918915055718 CPUtime=0.14 cores=1,3,5,7
/proc/5308/task/5321/stat : 5321 (java) S 5305 5308 2046 0 -1 1077944384 393 0 0 0 14 0 0 0 20 0 15 0 46140602 14422843392 22237 33554432000 4194304 4196468 140731454578288 139970921039984 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5322] ppid=5305 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5322/stat : 5322 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14422843392 22237 33554432000 4194304 4196468 140731454578288 139970919987424 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5323] ppid=5305 vsize=14084808 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5323/stat : 5323 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140603 14422843392 22237 33554432000 4194304 4196468 140731454578288 139970918935728 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88948 KiB
[startup+1.50087 s]
/proc/loadavg: 1.24 1.31 1.37 3/215 5323
/proc/meminfo: memFree=21637416/32770624 swapFree=67108860/67108860
[pid=5308] ppid=5305 vsize=14090952 memory=145388 CPUtime=2.94 cores=1,3,5,7
/proc/5308/stat : 5308 (java) S 5305 5308 2046 0 -1 1077944320 28247 0 0 0 286 8 0 0 20 0 15 0 46140597 14429134848 36347 33554432000 4194304 4196468 140731454578288 140731454560832 139971453746935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
/proc/5308/statm: 3522738 36347 3544 1 0 3484809 0
[pid=5308/tid=5310] ppid=5305 vsize=14090952 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/5308/task/5310/stat : 5310 (java) R 5305 5308 2046 0 -1 4202560 22162 0 0 0 141 6 0 0 20 0 15 0 46140597 14429134848 36347 33554432000 4194304 4196468 140731454578288 139971457976080 139971060575580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5311] ppid=5305 vsize=14090952 memory=-8253362664378451598 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5311/stat : 5311 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14429134848 36347 33554432000 4194304 4196468 140731454578288 139971383835280 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5312] ppid=5305 vsize=14090952 memory=7245577299922993209 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5312/stat : 5312 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14429134848 36347 33554432000 4194304 4196468 140731454578288 139971382782480 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5313] ppid=5305 vsize=14090952 memory=-8412660957079705459 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5313/stat : 5313 (java) S 5305 5308 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46140598 14429134848 36347 33554432000 4194304 4196468 140731454578288 139971381729680 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5314] ppid=5305 vsize=14090952 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5314/stat : 5314 (java) S 5305 5308 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46140598 14429134848 36347 33554432000 4194304 4196468 140731454578288 139971380676880 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5315] ppid=5305 vsize=14090952 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5315/stat : 5315 (java) S 5305 5308 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46140599 14429134848 36347 33554432000 4194304 4196468 140731454578288 139970927356784 139971453758082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
################
# More data... #
################
/proc/5308/task/5310/stat : 5310 (java) R 5305 5308 2046 0 -1 4202560 62398 0 0 0 223472 69 0 0 20 0 15 0 46140597 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971457985584 139971062375200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5311] ppid=5305 vsize=14090952 memory=1060836 CPUtime=10.01 cores=1,3,5,7
/proc/5308/task/5311/stat : 5311 (java) S 5305 5308 2046 0 -1 1077944384 8079 0 0 0 894 107 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971383835280 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5312] ppid=5305 vsize=14090952 memory=1060836 CPUtime=9.97 cores=1,3,5,7
/proc/5308/task/5312/stat : 5312 (java) S 5305 5308 2046 0 -1 1077944384 7562 0 0 0 891 106 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971382782480 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5313] ppid=5305 vsize=14090952 memory=1060844 CPUtime=9.98 cores=1,3,5,7
/proc/5308/task/5313/stat : 5313 (java) S 5305 5308 2046 0 -1 1077944384 6538 0 0 0 900 98 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971381729680 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5314] ppid=5305 vsize=14090952 memory=928 CPUtime=9.95 cores=1,3,5,7
/proc/5308/task/5314/stat : 5314 (java) S 5305 5308 2046 0 -1 1077944384 6468 0 0 0 890 105 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971380676880 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5315] ppid=5305 vsize=14090952 memory=1060844 CPUtime=13.01 cores=1,3,5,7
/proc/5308/task/5315/stat : 5315 (java) S 5305 5308 2046 0 -1 1077944384 10404 0 0 0 1207 94 0 0 20 0 15 0 46140599 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970927356784 139971453758082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5316] ppid=5305 vsize=14090952 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5316/stat : 5316 (java) S 5305 5308 2046 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46140600 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970926302752 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5317] ppid=5305 vsize=14090952 memory=15512 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5317/stat : 5317 (java) S 5305 5308 2046 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 46140600 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970925249920 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5318] ppid=5305 vsize=14090952 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5318/stat : 5318 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970924198224 139971453765531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5319] ppid=5305 vsize=14090952 memory=1060844 CPUtime=1.55 cores=1,3,5,7
/proc/5308/task/5319/stat : 5319 (java) S 5305 5308 2046 0 -1 1077944384 6001 0 0 0 154 1 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970923145584 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5320] ppid=5305 vsize=14090952 memory=8112282956445269571 CPUtime=1.7 cores=1,3,5,7
/proc/5308/task/5320/stat : 5320 (java) S 5305 5308 2046 0 -1 1077944384 5826 0 0 0 169 1 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970922092784 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5321] ppid=5305 vsize=14090952 memory=2580 CPUtime=0.71 cores=1,3,5,7
/proc/5308/task/5321/stat : 5321 (java) S 5305 5308 2046 0 -1 1077944384 3294 0 0 0 70 1 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970921039984 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5322] ppid=5305 vsize=14090952 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5322/stat : 5322 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970919987424 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5323] ppid=5305 vsize=14090952 memory=3276 CPUtime=1.32 cores=1,3,5,7
/proc/5308/task/5323/stat : 5323 (java) S 5305 5308 2046 0 -1 1077944384 797 0 0 0 57 75 0 0 20 0 15 0 46140603 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970918935728 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
Current children cumulated CPU time: 2293.72 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1060844 KiB
[startup+2322.3 s]
/proc/loadavg: 1.38 1.41 1.35 3/216 5495
/proc/meminfo: memFree=21544996/32770624 swapFree=67108860/67108860
[pid=5308] ppid=5305 vsize=14090952 memory=1060844 CPUtime=2354.5 cores=1,3,5,7
/proc/5308/stat : 5308 (java) S 5305 5308 2046 0 -1 1077944320 120144 0 0 0 234960 490 0 0 20 0 15 0 46140597 14429134848 265211 33554432000 4194304 4196468 140731454578288 140731454560832 139971453746935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
/proc/5308/statm: 3522738 265211 3592 1 0 3484809 0
[pid=5308/tid=5310] ppid=5305 vsize=14090952 memory=1060844 CPUtime=2294.7 cores=1,3,5,7
/proc/5308/task/5310/stat : 5310 (java) R 5305 5308 2046 0 -1 4202560 63390 0 0 0 229400 70 0 0 20 0 15 0 46140597 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971457985392 140731454756780 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5311] ppid=5305 vsize=14090952 memory=1060844 CPUtime=10.28 cores=1,3,5,7
/proc/5308/task/5311/stat : 5311 (java) S 5305 5308 2046 0 -1 1077944384 8097 0 0 0 918 110 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971383835280 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5312] ppid=5305 vsize=14090952 memory=1060844 CPUtime=10.25 cores=1,3,5,7
/proc/5308/task/5312/stat : 5312 (java) S 5305 5308 2046 0 -1 1077944384 7698 0 0 0 917 108 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971382782480 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5313] ppid=5305 vsize=14090952 memory=1060844 CPUtime=10.26 cores=1,3,5,7
/proc/5308/task/5313/stat : 5313 (java) S 5305 5308 2046 0 -1 1077944384 6546 0 0 0 925 101 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971381729680 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5314] ppid=5305 vsize=14090952 memory=1060844 CPUtime=10.21 cores=1,3,5,7
/proc/5308/task/5314/stat : 5314 (java) S 5305 5308 2046 0 -1 1077944384 6475 0 0 0 914 107 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971380676880 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5315] ppid=5305 vsize=14090952 memory=1060844 CPUtime=13.38 cores=1,3,5,7
/proc/5308/task/5315/stat : 5315 (java) S 5305 5308 2046 0 -1 1077944384 10581 0 0 0 1241 97 0 0 20 0 15 0 46140599 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970927356784 139971453758082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5316] ppid=5305 vsize=14090952 memory=1060844 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5316/stat : 5316 (java) S 5305 5308 2046 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46140600 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970926302752 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5317] ppid=5305 vsize=14090952 memory=5672 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5317/stat : 5317 (java) S 5305 5308 2046 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 46140600 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970925249920 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5318] ppid=5305 vsize=14090952 memory=1060844 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5318/stat : 5318 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970924198224 139971453765531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5319] ppid=5305 vsize=14090952 memory=1060844 CPUtime=1.55 cores=1,3,5,7
/proc/5308/task/5319/stat : 5319 (java) S 5305 5308 2046 0 -1 1077944384 6003 0 0 0 154 1 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970923145584 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5320] ppid=5305 vsize=14090952 memory=1060844 CPUtime=1.7 cores=1,3,5,7
/proc/5308/task/5320/stat : 5320 (java) S 5305 5308 2046 0 -1 1077944384 5828 0 0 0 169 1 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970922092784 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5321] ppid=5305 vsize=14090952 memory=7451033417091797088 CPUtime=0.71 cores=1,3,5,7
/proc/5308/task/5321/stat : 5321 (java) S 5305 5308 2046 0 -1 1077944384 3296 0 0 0 70 1 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970921039984 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5322] ppid=5305 vsize=14090952 memory=1060844 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5322/stat : 5322 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970919987424 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5323] ppid=5305 vsize=14090952 memory=1060844 CPUtime=1.35 cores=1,3,5,7
/proc/5308/task/5323/stat : 5323 (java) S 5305 5308 2046 0 -1 1077944384 810 0 0 0 58 77 0 0 20 0 15 0 46140603 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970918935728 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
Current children cumulated CPU time: 2354.5 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1060844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2367.3 s]
/proc/loadavg: 1.34 1.40 1.35 3/215 5495
/proc/meminfo: memFree=21571068/32770624 swapFree=67108860/67108860
[pid=5308] ppid=5305 vsize=14090952 memory=1060844 CPUtime=2400.08 cores=1,3,5,7
/proc/5308/stat : 5308 (java) S 5305 5308 2046 0 -1 1077944320 121304 0 0 0 239510 498 0 0 20 0 15 0 46140597 14429134848 265211 33554432000 4194304 4196468 140731454578288 140731454560832 139971453746935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
/proc/5308/statm: 3522738 265211 3592 1 0 3484809 0
[pid=5308/tid=5310] ppid=5305 vsize=14090952 memory=4140 CPUtime=2339.18 cores=1,3,5,7
/proc/5308/task/5310/stat : 5310 (java) R 5305 5308 2046 0 -1 4202560 64177 0 0 0 233847 71 0 0 20 0 15 0 46140597 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971457985552 139971061971232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5311] ppid=5305 vsize=14090952 memory=1060844 CPUtime=10.48 cores=1,3,5,7
/proc/5308/task/5311/stat : 5311 (java) S 5305 5308 2046 0 -1 1077944384 8118 0 0 0 936 112 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971383835280 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5312] ppid=5305 vsize=14090952 memory=1060844 CPUtime=10.45 cores=1,3,5,7
/proc/5308/task/5312/stat : 5312 (java) S 5305 5308 2046 0 -1 1077944384 7719 0 0 0 935 110 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971382782480 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5313] ppid=5305 vsize=14090952 memory=1060844 CPUtime=10.46 cores=1,3,5,7
/proc/5308/task/5313/stat : 5313 (java) S 5305 5308 2046 0 -1 1077944384 6670 0 0 0 942 104 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971381729680 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5314] ppid=5305 vsize=14090952 memory=1060844 CPUtime=10.42 cores=1,3,5,7
/proc/5308/task/5314/stat : 5314 (java) S 5305 5308 2046 0 -1 1077944384 6485 0 0 0 933 109 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971380676880 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5315] ppid=5305 vsize=14090952 memory=1060844 CPUtime=13.64 cores=1,3,5,7
/proc/5308/task/5315/stat : 5315 (java) S 5305 5308 2046 0 -1 1077944384 10757 0 0 0 1266 98 0 0 20 0 15 0 46140599 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970927356784 139971453758082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5316] ppid=5305 vsize=14090952 memory=1060844 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5316/stat : 5316 (java) S 5305 5308 2046 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46140600 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970926302752 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5317] ppid=5305 vsize=14090952 memory=7163647362473159266 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5317/stat : 5317 (java) S 5305 5308 2046 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 46140600 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970925249920 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5318] ppid=5305 vsize=14090952 memory=1060844 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5318/stat : 5318 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970924198224 139971453765531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5319] ppid=5305 vsize=14090952 memory=1060844 CPUtime=1.55 cores=1,3,5,7
/proc/5308/task/5319/stat : 5319 (java) S 5305 5308 2046 0 -1 1077944384 6005 0 0 0 154 1 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970923145584 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5320] ppid=5305 vsize=14090952 memory=1060844 CPUtime=1.7 cores=1,3,5,7
/proc/5308/task/5320/stat : 5320 (java) S 5305 5308 2046 0 -1 1077944384 5830 0 0 0 169 1 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970922092784 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5321] ppid=5305 vsize=14090952 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/5308/task/5321/stat : 5321 (java) S 5305 5308 2046 0 -1 1077944384 3298 0 0 0 70 1 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970921039984 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5322] ppid=5305 vsize=14090952 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5322/stat : 5322 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970919987424 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5323] ppid=5305 vsize=14090952 memory=1060844 CPUtime=1.39 cores=1,3,5,7
/proc/5308/task/5323/stat : 5323 (java) S 5305 5308 2046 0 -1 1077944384 825 0 0 0 60 79 0 0 20 0 15 0 46140603 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970918935728 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1060844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2367.32 s]
# the end of solver process 5308 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.12 s, system=4.99051 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2367.3 s]
/proc/loadavg: 1.34 1.40 1.35 3/215 5495
/proc/meminfo: memFree=21571068/32770624 swapFree=67108860/67108860
[pid=5308] ppid=5305 vsize=14090952 memory=1060844 CPUtime=2400.08 cores=1,3,5,7
/proc/5308/stat : 5308 (java) S 5305 5308 2046 0 -1 1077944320 121304 0 0 0 239510 498 0 0 20 0 15 0 46140597 14429134848 265211 33554432000 4194304 4196468 140731454578288 140731454560832 139971453746935 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
/proc/5308/statm: 3522738 265211 3592 1 0 3484809 0
[pid=5308/tid=5310] ppid=5305 vsize=14090952 memory=4140 CPUtime=2339.18 cores=1,3,5,7
/proc/5308/task/5310/stat : 5310 (java) R 5305 5308 2046 0 -1 4202560 64177 0 0 0 233847 71 0 0 20 0 15 0 46140597 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971457985552 139971061971232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5311] ppid=5305 vsize=14090952 memory=1060844 CPUtime=10.48 cores=1,3,5,7
/proc/5308/task/5311/stat : 5311 (java) S 5305 5308 2046 0 -1 1077944384 8118 0 0 0 936 112 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971383835280 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5312] ppid=5305 vsize=14090952 memory=1060844 CPUtime=10.45 cores=1,3,5,7
/proc/5308/task/5312/stat : 5312 (java) S 5305 5308 2046 0 -1 1077944384 7719 0 0 0 935 110 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971382782480 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5313] ppid=5305 vsize=14090952 memory=1060844 CPUtime=10.46 cores=1,3,5,7
/proc/5308/task/5313/stat : 5313 (java) S 5305 5308 2046 0 -1 1077944384 6670 0 0 0 942 104 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971381729680 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5314] ppid=5305 vsize=14090952 memory=1060844 CPUtime=10.42 cores=1,3,5,7
/proc/5308/task/5314/stat : 5314 (java) S 5305 5308 2046 0 -1 1077944384 6485 0 0 0 933 109 0 0 20 0 15 0 46140598 14429134848 265211 33554432000 4194304 4196468 140731454578288 139971380676880 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5315] ppid=5305 vsize=14090952 memory=1060844 CPUtime=13.64 cores=1,3,5,7
/proc/5308/task/5315/stat : 5315 (java) S 5305 5308 2046 0 -1 1077944384 10757 0 0 0 1266 98 0 0 20 0 15 0 46140599 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970927356784 139971453758082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5316] ppid=5305 vsize=14090952 memory=1060844 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5316/stat : 5316 (java) S 5305 5308 2046 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46140600 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970926302752 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5317] ppid=5305 vsize=14090952 memory=7163647362473159266 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5317/stat : 5317 (java) S 5305 5308 2046 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 46140600 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970925249920 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5318] ppid=5305 vsize=14090952 memory=1060844 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5318/stat : 5318 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970924198224 139971453765531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5319] ppid=5305 vsize=14090952 memory=1060844 CPUtime=1.55 cores=1,3,5,7
/proc/5308/task/5319/stat : 5319 (java) S 5305 5308 2046 0 -1 1077944384 6005 0 0 0 154 1 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970923145584 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 45 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5320] ppid=5305 vsize=14090952 memory=1060844 CPUtime=1.7 cores=1,3,5,7
/proc/5308/task/5320/stat : 5320 (java) S 5305 5308 2046 0 -1 1077944384 5830 0 0 0 169 1 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970922092784 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5321] ppid=5305 vsize=14090952 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/5308/task/5321/stat : 5321 (java) S 5305 5308 2046 0 -1 1077944384 3298 0 0 0 70 1 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970921039984 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5322] ppid=5305 vsize=14090952 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/5308/task/5322/stat : 5322 (java) S 5305 5308 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46140602 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970919987424 139971453757141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
[pid=5308/tid=5323] ppid=5305 vsize=14090952 memory=1060844 CPUtime=1.39 cores=1,3,5,7
/proc/5308/task/5323/stat : 5323 (java) S 5305 5308 2046 0 -1 1077944384 825 0 0 0 60 79 0 0 20 0 15 0 46140603 14429134848 265211 33554432000 4194304 4196468 140731454578288 139970918935728 139971453758082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22630400 140731454583880 140731454584073 140731454584073 140731454586831 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 1060844 KiB
Child status: 143
Real time (s): 2367.32
CPU time (s): 2400.11
CPU user time (s): 2395.12
CPU system time (s): 4.99051
CPU usage (%): 101.385
Max. virtual memory (cumulated for all children) (KiB): 14092660
Max. memory (cumulated for all children) (KiB): 1127544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.12
system time used= 4.99051
maximum resident set size= 1129592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121599
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 426879
involuntary context switches= 6413
# summary of solver processes directly reported to runsolver:
# pid: 5308
# total CPU time (s): 2400.11
# total CPU user time (s): 2395.12
# total CPU system time (s): 4.99051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2286 second user time and 25.9336 second system time
The end