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 (8176 MiB free)
memory of node 1: 16384 MiB (12392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394283-1568333772/watcher-4394283-1568333772 -o /tmp/evaluation-result-4394283-1568333772/solver-4394283-1568333772 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19560 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1658418115 HOME/instance-4394283-1568333772.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=30830, runsolver pid=30827
[startup+0.100058 s]*
/proc/loadavg: 8.36 8.46 8.30 7/233 30846
/proc/meminfo: memFree=21045260/32770624 swapFree=66939828/67108860
[pid=30830] ppid=30827 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30830/stat : 30830 (xcsp3-exec) S 30827 30830 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409292159 115843072 362 33554432000 4194304 5098028 140732687186880 140732687184984 140061115376252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25722880 140732687192954 140732687193197 140732687193197 140732687196106 0
/proc/30830/statm: 28282 362 304 221 0 87 0
[pid=30832] ppid=30830 vsize=15144768 memory=29616 CPUtime=0.13 cores=1,3,5,7
/proc/30832/stat : 30832 (java) S 30830 30830 19528 0 -1 1077944320 5843 0 0 0 12 1 0 0 20 0 15 0 409292159 15508242432 7404 33554432000 4194304 4196468 140731721549840 140731721532384 140244355124983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
/proc/30832/statm: 3786192 7404 3183 1 0 3748377 0
[pid=30832/tid=30833] ppid=30830 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/30832/task/30833/stat : 30833 (java) R 30830 30830 19528 0 -1 4202560 3715 0 0 0 8 1 0 0 20 0 15 0 409292160 15508242432 7404 33554432000 4194304 4196468 140731721549840 140244359359352 140244355146909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30834] ppid=30830 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30834/stat : 30834 (java) S 30830 30830 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409292160 15508242432 7404 33554432000 4194304 4196468 140731721549840 140244307745936 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30835] ppid=30830 vsize=15144768 memory=140643599353472 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30835/stat : 30835 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409292160 15508242432 7404 33554432000 4194304 4196468 140731721549840 140244306693136 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30836] ppid=30830 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30836/stat : 30836 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409292160 15508242432 7404 33554432000 4194304 4196468 140731721549840 140243945577360 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30837] ppid=30830 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30837/stat : 30837 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409292160 15508242432 7404 33554432000 4194304 4196468 140731721549840 140243944524560 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30838] ppid=30830 vsize=15144768 memory=140643599353472 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30838/stat : 30838 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409292162 15508242432 7404 33554432000 4194304 4196468 140731721549840 140243823696240 140244355136130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30839] ppid=30830 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30839/stat : 30839 (java) S 30830 30830 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409292162 15508242432 7404 33554432000 4194304 4196468 140731721549840 140243822642208 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30840] ppid=30830 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30840/stat : 30840 (java) S 30830 30830 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409292162 15508242432 7404 33554432000 4194304 4196468 140731721549840 140243821589360 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30841] ppid=30830 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30841/stat : 30841 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409292165 15508242432 7404 33554432000 4194304 4196468 140731721549840 140243820537680 140244355143579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30842] ppid=30830 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30842/stat : 30842 (java) R 30830 30830 19528 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 409292165 15508242432 7404 33554432000 4194304 4196468 140731721549840 140243819486064 140244355136130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30843] ppid=30830 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30843/stat : 30843 (java) R 30830 30830 19528 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 15 0 409292165 15508242432 7404 33554432000 4194304 4196468 140731721549840 140243818433264 140244332957840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30844] ppid=30830 vsize=15144768 memory=140643599353472 CPUtime=0.02 cores=1,3,5,7
/proc/30832/task/30844/stat : 30844 (java) R 30830 30830 19528 0 -1 4202560 379 0 0 0 2 0 0 0 20 0 15 0 409292165 15508242432 7404 33554432000 4194304 4196468 140731721549840 140243817380464 140244333616209 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30845] ppid=30830 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30845/stat : 30845 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409292165 15508242432 7404 33554432000 4194304 4196468 140731721549840 140243816327904 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30846] ppid=30830 vsize=15144768 memory=140643599353472 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30846/stat : 30846 (java) S 30830 30830 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409292165 15508242432 7404 33554432000 4194304 4196468 140731721549840 140243815275184 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31064 KiB
[startup+0.210842 s]*
/proc/loadavg: 8.36 8.46 8.30 7/233 30846
/proc/meminfo: memFree=21032200/32770624 swapFree=66939828/67108860
[pid=30830] ppid=30827 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30830/stat : 30830 (xcsp3-exec) S 30827 30830 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409292159 115843072 362 33554432000 4194304 5098028 140732687186880 140732687184984 140061115376252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25722880 140732687192954 140732687193197 140732687193197 140732687196106 0
/proc/30830/statm: 28282 362 304 221 0 87 0
[pid=30832] ppid=30830 vsize=15144768 memory=41116 CPUtime=0.34 cores=1,3,5,7
/proc/30832/stat : 30832 (java) S 30830 30830 19528 0 -1 1077944320 9489 0 0 0 31 3 0 0 20 0 15 0 409292159 15508242432 10279 33554432000 4194304 4196468 140731721549840 140731721532384 140244355124983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
/proc/30832/statm: 3786192 10279 3316 1 0 3748377 0
[pid=30832/tid=30833] ppid=30830 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/30832/task/30833/stat : 30833 (java) R 30830 30830 19528 0 -1 4202560 6619 0 0 0 18 2 0 0 20 0 15 0 409292160 15508242432 10279 33554432000 4194304 4196468 140731721549840 140244359363984 140244347802997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30834] ppid=30830 vsize=15144768 memory=10535 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30834/stat : 30834 (java) S 30830 30830 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409292160 15508242432 10279 33554432000 4194304 4196468 140731721549840 140244307745936 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30835] ppid=30830 vsize=15144768 memory=140643602339300 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30835/stat : 30835 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409292160 15508242432 10279 33554432000 4194304 4196468 140731721549840 140244306693136 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30836] ppid=30830 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30836/stat : 30836 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409292160 15508242432 10279 33554432000 4194304 4196468 140731721549840 140243945577360 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30837] ppid=30830 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30837/stat : 30837 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409292160 15508242432 10279 33554432000 4194304 4196468 140731721549840 140243944524560 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30838] ppid=30830 vsize=15144768 memory=140643599353472 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30838/stat : 30838 (java) S 30830 30830 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409292162 15508242432 10279 33554432000 4194304 4196468 140731721549840 140243823696240 140244355136130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30839] ppid=30830 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30839/stat : 30839 (java) S 30830 30830 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409292162 15508242432 10279 33554432000 4194304 4196468 140731721549840 140243822642208 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30840] ppid=30830 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30840/stat : 30840 (java) S 30830 30830 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409292162 15508242432 10279 33554432000 4194304 4196468 140731721549840 140243821589360 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30841] ppid=30830 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30841/stat : 30841 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409292165 15508242432 10279 33554432000 4194304 4196468 140731721549840 140243820537680 140244355143579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30842] ppid=30830 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30842/stat : 30842 (java) S 30830 30830 19528 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 409292165 15508242432 10279 33554432000 4194304 4196468 140731721549840 140243819486064 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30843] ppid=30830 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30832/task/30843/stat : 30843 (java) S 30830 30830 19528 0 -1 1077944384 451 0 0 0 3 0 0 0 20 0 15 0 409292165 15508242432 10279 33554432000 4194304 4196468 140731721549840 140243818433264 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30844] ppid=30830 vsize=15144768 memory=140643599353472 CPUtime=0.08 cores=1,3,5,7
/proc/30832/task/30844/stat : 30844 (java) R 30830 30830 19528 0 -1 4202560 767 0 0 0 8 0 0 0 20 0 15 0 409292165 15508242432 10279 33554432000 4194304 4196468 140731721549840 140243817380464 140244355146330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30845] ppid=30830 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30845/stat : 30845 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409292165 15508242432 10279 33554432000 4194304 4196468 140731721549840 140243816327904 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30846] ppid=30830 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30846/stat : 30846 (java) S 30830 30830 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409292165 15508242432 10279 33554432000 4194304 4196468 140731721549840 140243815275184 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42564 KiB
[startup+0.320615 s]*
/proc/loadavg: 8.36 8.46 8.30 7/233 30846
/proc/meminfo: memFree=21024916/32770624 swapFree=66939828/67108860
[pid=30830] ppid=30827 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30830/stat : 30830 (xcsp3-exec) S 30827 30830 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409292159 115843072 362 33554432000 4194304 5098028 140732687186880 140732687184984 140061115376252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25722880 140732687192954 140732687193197 140732687193197 140732687196106 0
/proc/30830/statm: 28282 362 304 221 0 87 0
[pid=30832] ppid=30830 vsize=15149024 memory=50680 CPUtime=0.55 cores=1,3,5,7
/proc/30832/stat : 30832 (java) S 30830 30830 19528 0 -1 1077944320 11037 0 0 0 50 5 0 0 20 0 15 0 409292159 15512600576 12670 33554432000 4194304 4196468 140731721549840 140731721532384 140244355124983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
/proc/30832/statm: 3787256 12670 3359 1 0 3748377 0
[pid=30832/tid=30833] ppid=30830 vsize=15149024 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/30832/task/30833/stat : 30833 (java) R 30830 30830 19528 0 -1 4202560 7940 0 0 0 27 4 0 0 20 0 15 0 409292160 15512600576 12670 33554432000 4194304 4196468 140731721549840 140244359356096 140244355136918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30834] ppid=30830 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30834/stat : 30834 (java) S 30830 30830 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409292160 15512600576 12670 33554432000 4194304 4196468 140731721549840 140244307745936 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30835] ppid=30830 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30835/stat : 30835 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409292160 15512600576 12670 33554432000 4194304 4196468 140731721549840 140244306693136 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30836] ppid=30830 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30836/stat : 30836 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409292160 15512600576 12670 33554432000 4194304 4196468 140731721549840 140243945577360 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30837] ppid=30830 vsize=15149024 memory=-7377628852694597791 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30837/stat : 30837 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409292160 15512600576 12670 33554432000 4194304 4196468 140731721549840 140243944524560 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30838] ppid=30830 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30838/stat : 30838 (java) S 30830 30830 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409292162 15512600576 12670 33554432000 4194304 4196468 140731721549840 140243823696240 140244355136130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30839] ppid=30830 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30839/stat : 30839 (java) S 30830 30830 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409292162 15512600576 12670 33554432000 4194304 4196468 140731721549840 140243822642208 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30840] ppid=30830 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30840/stat : 30840 (java) S 30830 30830 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409292162 15512600576 12670 33554432000 4194304 4196468 140731721549840 140243821589360 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30841] ppid=30830 vsize=15149024 memory=-7828588039587137883 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30841/stat : 30841 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409292165 15512600576 12670 33554432000 4194304 4196468 140731721549840 140243820537680 140244355143579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30842] ppid=30830 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/30832/task/30842/stat : 30842 (java) S 30830 30830 19528 0 -1 1077944384 472 0 0 0 4 0 0 0 20 0 15 0 409292165 15512600576 12670 33554432000 4194304 4196468 140731721549840 140243819486064 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30843] ppid=30830 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30832/task/30843/stat : 30843 (java) S 30830 30830 19528 0 -1 1077944384 469 0 0 0 4 0 0 0 20 0 15 0 409292165 15512600576 12670 33554432000 4194304 4196468 140731721549840 140243818433264 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30844] ppid=30830 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30832/task/30844/stat : 30844 (java) R 30830 30830 19528 0 -1 4202560 849 0 0 0 12 0 0 0 20 0 15 0 409292165 15512600576 12670 33554432000 4194304 4196468 140731721549840 140243817380464 140244339205470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30845] ppid=30830 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30845/stat : 30845 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409292165 15512600576 12670 33554432000 4194304 4196468 140731721549840 140243816327904 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30846] ppid=30830 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30846/stat : 30846 (java) S 30830 30830 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409292165 15512600576 12670 33554432000 4194304 4196468 140731721549840 140243815275184 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52128 KiB
[startup+0.709527 s]
/proc/loadavg: 8.36 8.46 8.30 9/233 30846
/proc/meminfo: memFree=21022500/32770624 swapFree=66939828/67108860
[pid=30830] ppid=30827 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30830/stat : 30830 (xcsp3-exec) S 30827 30830 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409292159 115843072 362 33554432000 4194304 5098028 140732687186880 140732687184984 140061115376252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25722880 140732687192954 140732687193197 140732687193197 140732687196106 0
/proc/30830/statm: 28282 362 304 221 0 87 0
[pid=30832] ppid=30830 vsize=15417404 memory=79236 CPUtime=1.65 cores=1,3,5,7
/proc/30832/stat : 30832 (java) S 30830 30830 19528 0 -1 1077944320 14115 0 0 0 159 6 0 0 20 0 19 0 409292159 15787421696 19809 33554432000 4194304 4196468 140731721549840 140731721532384 140244355124983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
/proc/30832/statm: 3854351 19809 3452 1 0 3815453 0
[pid=30832/tid=30833] ppid=30830 vsize=15417404 memory=1436 CPUtime=0.56 cores=1,3,5,7
/proc/30832/task/30833/stat : 30833 (java) S 30830 30830 19528 0 -1 1077944384 9208 0 0 0 52 4 0 0 20 0 19 0 409292160 15787421696 19809 33554432000 4194304 4196468 140731721549840 140244359365760 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30834] ppid=30830 vsize=15417404 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30834/stat : 30834 (java) S 30830 30830 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409292160 15787421696 19809 33554432000 4194304 4196468 140731721549840 140244307745936 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30835] ppid=30830 vsize=15417404 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30835/stat : 30835 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409292160 15787421696 19809 33554432000 4194304 4196468 140731721549840 140244306693136 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30836] ppid=30830 vsize=15417404 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30836/stat : 30836 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409292160 15787421696 19809 33554432000 4194304 4196468 140731721549840 140243945577360 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30837] ppid=30830 vsize=15417404 memory=7980 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30837/stat : 30837 (java) S 30830 30830 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409292160 15787421696 19809 33554432000 4194304 4196468 140731721549840 140243944524560 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30838] ppid=30830 vsize=15417404 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30838/stat : 30838 (java) S 30830 30830 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 409292162 15787421696 19809 33554432000 4194304 4196468 140731721549840 140243823696240 140244355136130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30839] ppid=30830 vsize=15417404 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30839/stat : 30839 (java) S 30830 30830 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409292162 15787421696 19809 33554432000 4194304 4196468 140731721549840 140243822642208 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30840] ppid=30830 vsize=15417404 memory=776 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30840/stat : 30840 (java) S 30830 30830 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409292162 15787421696 19809 33554432000 4194304 4196468 140731721549840 140243821589360 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30841] ppid=30830 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30841/stat : 30841 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 19809 33554432000 4194304 4196468 140731721549840 140243820537680 140244355143579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30842] ppid=30830 vsize=15417404 memory=668 CPUtime=0.21 cores=1,3,5,7
/proc/30832/task/30842/stat : 30842 (java) R 30830 30830 19528 0 -1 4202560 846 0 0 0 21 0 0 0 20 0 19 0 409292165 15787421696 19809 33554432000 4194304 4196468 140731721549840 140243819465912 140244334357584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30843] ppid=30830 vsize=15417404 memory=1232 CPUtime=0.24 cores=1,3,5,7
/proc/30832/task/30843/stat : 30843 (java) R 30830 30830 19528 0 -1 4202560 925 0 0 0 24 0 0 0 20 0 19 0 409292165 15787421696 19809 33554432000 4194304 4196468 140731721549840 140243818419144 140244338624141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30844] ppid=30830 vsize=15417404 memory=1064 CPUtime=0.36 cores=1,3,5,7
/proc/30832/task/30844/stat : 30844 (java) R 30830 30830 19528 0 -1 1077944384 1635 0 0 0 36 0 0 0 20 0 19 0 409292165 15787421696 19809 33554432000 4194304 4196468 140731721549840 140243817378256 140244355135189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30845] ppid=30830 vsize=15417404 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30845/stat : 30845 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 19809 33554432000 4194304 4196468 140731721549840 140243816327904 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30846] ppid=30830 vsize=15417404 memory=21196 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30846/stat : 30846 (java) S 30830 30830 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 19809 33554432000 4194304 4196468 140731721549840 140243815275184 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 80684 KiB
[startup+1.50089 s]
/proc/loadavg: 8.36 8.46 8.30 12/237 30850
/proc/meminfo: memFree=20999484/32770624 swapFree=66939828/67108860
[pid=30830] ppid=30827 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30830/stat : 30830 (xcsp3-exec) S 30827 30830 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409292159 115843072 362 33554432000 4194304 5098028 140732687186880 140732687184984 140061115376252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25722880 140732687192954 140732687193197 140732687193197 140732687196106 0
/proc/30830/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/30832/task/30846/stat : 30846 (java) S 30830 30830 19528 0 -1 1077944384 522 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243815275184 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30861] ppid=30830 vsize=15417404 memory=14008 CPUtime=14.95 cores=1,3,5,7
/proc/30832/task/30861/stat : 30861 (java) R 30830 30830 19528 0 -1 4202560 313 0 0 0 1495 0 0 0 20 0 19 0 409292439 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243806063712 140243990622690 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30862] ppid=30830 vsize=15417404 memory=21196 CPUtime=14.78 cores=1,3,5,7
/proc/30832/task/30862/stat : 30862 (java) R 30830 30830 19528 0 -1 4202560 907 0 0 0 1478 0 0 0 20 0 19 0 409292439 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243803961912 140243992385131 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30863] ppid=30830 vsize=15417404 memory=14056 CPUtime=15.16 cores=1,3,5,7
/proc/30832/task/30863/stat : 30863 (java) R 30830 30830 19528 0 -1 4202560 1098 0 0 0 1516 0 0 0 20 0 19 0 409292439 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243802906712 140243992385735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30864] ppid=30830 vsize=15417404 memory=2116 CPUtime=14.88 cores=1,3,5,7
/proc/30832/task/30864/stat : 30864 (java) R 30830 30830 19528 0 -1 4202560 538 0 0 0 1488 0 0 0 20 0 19 0 409292440 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243805012392 140243992385547 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
Current children cumulated CPU time: 72 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 228456 KiB
[startup+19.2015 s]
/proc/loadavg: 8.59 8.51 8.32 10/237 30864
/proc/meminfo: memFree=20885932/32770624 swapFree=66939828/67108860
[pid=30830] ppid=30827 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30830/stat : 30830 (xcsp3-exec) S 30827 30830 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409292159 115843072 362 33554432000 4194304 5098028 140732687186880 140732687184984 140061115376252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25722880 140732687192954 140732687193197 140732687193197 140732687196106 0
/proc/30830/statm: 28282 362 304 221 0 87 0
[pid=30832] ppid=30830 vsize=15417404 memory=227008 CPUtime=75.18 cores=1,3,5,7
/proc/30832/stat : 30832 (java) S 30830 30830 19528 0 -1 1077944320 44910 0 0 0 7504 14 0 0 20 0 19 0 409292159 15787421696 56752 33554432000 4194304 4196468 140731721549840 140731721532384 140244355124983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
/proc/30832/statm: 3854351 56752 3537 1 0 3815453 0
[pid=30832/tid=30833] ppid=30830 vsize=15417404 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/30832/task/30833/stat : 30833 (java) S 30830 30830 19528 0 -1 1077944384 9395 0 0 0 53 4 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140244359365760 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30834] ppid=30830 vsize=15417404 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30834/stat : 30834 (java) S 30830 30830 19528 0 -1 1077944384 814 0 0 0 1 0 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140244307745936 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30835] ppid=30830 vsize=15417404 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30835/stat : 30835 (java) S 30830 30830 19528 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140244306693136 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30836] ppid=30830 vsize=15417404 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30836/stat : 30836 (java) S 30830 30830 19528 0 -1 1077944384 911 0 0 0 1 0 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243945577360 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30837] ppid=30830 vsize=15417404 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30837/stat : 30837 (java) S 30830 30830 19528 0 -1 1077944384 600 0 0 0 1 0 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243944524560 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30838] ppid=30830 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30838/stat : 30838 (java) S 30830 30830 19528 0 -1 1077944384 754 0 0 0 0 0 0 0 20 0 19 0 409292162 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243823696240 140244355136130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30839] ppid=30830 vsize=15417404 memory=3054156605268465310 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30839/stat : 30839 (java) S 30830 30830 19528 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 409292162 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243822642272 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30840] ppid=30830 vsize=15417404 memory=-8341965534556230502 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30840/stat : 30840 (java) S 30830 30830 19528 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 19 0 409292162 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243821589376 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30841] ppid=30830 vsize=15417404 memory=-3395018481880488025 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30841/stat : 30841 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243820537680 140244355143579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30842] ppid=30830 vsize=15417404 memory=-5921431000321636112 CPUtime=2.4 cores=1,3,5,7
/proc/30832/task/30842/stat : 30842 (java) S 30830 30830 19528 0 -1 1077944384 12997 0 0 0 239 1 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243819486064 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30843] ppid=30830 vsize=15417404 memory=3504 CPUtime=2.59 cores=1,3,5,7
/proc/30832/task/30843/stat : 30843 (java) S 30830 30830 19528 0 -1 1077944384 9160 0 0 0 258 1 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243818433264 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30844] ppid=30830 vsize=15417404 memory=38356 CPUtime=0.57 cores=1,3,5,7
/proc/30832/task/30844/stat : 30844 (java) S 30830 30830 19528 0 -1 1077944384 3964 0 0 0 57 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243817380464 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30845] ppid=30830 vsize=15417404 memory=988 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30845/stat : 30845 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243816327904 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30846] ppid=30830 vsize=15417404 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30846/stat : 30846 (java) S 30830 30830 19528 0 -1 1077944384 522 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243815275184 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30861] ppid=30830 vsize=15417404 memory=1436 CPUtime=15.74 cores=1,3,5,7
/proc/30832/task/30861/stat : 30861 (java) R 30830 30830 19528 0 -1 4202560 331 0 0 0 1574 0 0 0 20 0 19 0 409292439 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243806063712 140243990990652 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30862] ppid=30830 vsize=15417404 memory=4164 CPUtime=15.58 cores=1,3,5,7
/proc/30832/task/30862/stat : 30862 (java) R 30830 30830 19528 0 -1 4202560 908 0 0 0 1558 0 0 0 20 0 19 0 409292439 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243803962216 140243992385765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30863] ppid=30830 vsize=15417404 memory=0 CPUtime=15.96 cores=1,3,5,7
/proc/30832/task/30863/stat : 30863 (java) R 30830 30830 19528 0 -1 4202560 1098 0 0 0 1596 0 0 0 20 0 19 0 409292439 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243802906712 140243990623225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30864] ppid=30830 vsize=15417404 memory=0 CPUtime=15.68 cores=1,3,5,7
/proc/30832/task/30864/stat : 30864 (java) R 30830 30830 19528 0 -1 4202560 538 0 0 0 1568 0 0 0 20 0 19 0 409292440 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243805012392 140243992385387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
Current children cumulated CPU time: 75.18 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 228456 KiB
[startup+19.6015 s]
/proc/loadavg: 8.59 8.51 8.32 10/237 30864
/proc/meminfo: memFree=20885932/32770624 swapFree=66939828/67108860
[pid=30830] ppid=30827 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30830/stat : 30830 (xcsp3-exec) S 30827 30830 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409292159 115843072 362 33554432000 4194304 5098028 140732687186880 140732687184984 140061115376252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25722880 140732687192954 140732687193197 140732687193197 140732687196106 0
/proc/30830/statm: 28282 362 304 221 0 87 0
[pid=30832] ppid=30830 vsize=15417404 memory=227008 CPUtime=76.78 cores=1,3,5,7
/proc/30832/stat : 30832 (java) S 30830 30830 19528 0 -1 1077944320 45198 0 0 0 7664 14 0 0 20 0 19 0 409292159 15787421696 56752 33554432000 4194304 4196468 140731721549840 140731721532384 140244355124983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
/proc/30832/statm: 3854351 56752 3537 1 0 3815453 0
[pid=30832/tid=30833] ppid=30830 vsize=15417404 memory=236 CPUtime=0.57 cores=1,3,5,7
/proc/30832/task/30833/stat : 30833 (java) S 30830 30830 19528 0 -1 1077944384 9395 0 0 0 53 4 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140244359365760 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30834] ppid=30830 vsize=15417404 memory=254 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30834/stat : 30834 (java) S 30830 30830 19528 0 -1 1077944384 814 0 0 0 1 0 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140244307745936 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30835] ppid=30830 vsize=15417404 memory=281286938365888 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30835/stat : 30835 (java) S 30830 30830 19528 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140244306693136 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30836] ppid=30830 vsize=15417404 memory=6933690305039933585 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30836/stat : 30836 (java) S 30830 30830 19528 0 -1 1077944384 911 0 0 0 1 0 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243945577360 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30837] ppid=30830 vsize=15417404 memory=-7523660553960122769 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30837/stat : 30837 (java) S 30830 30830 19528 0 -1 1077944384 600 0 0 0 1 0 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243944524560 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30838] ppid=30830 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30838/stat : 30838 (java) S 30830 30830 19528 0 -1 1077944384 754 0 0 0 0 0 0 0 20 0 19 0 409292162 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243823696240 140244355136130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30839] ppid=30830 vsize=15417404 memory=226968 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30839/stat : 30839 (java) S 30830 30830 19528 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 409292162 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243822642272 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30840] ppid=30830 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30840/stat : 30840 (java) S 30830 30830 19528 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 19 0 409292162 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243821589376 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30841] ppid=30830 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30841/stat : 30841 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243820537680 140244355143579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30842] ppid=30830 vsize=15417404 memory=2832 CPUtime=2.4 cores=1,3,5,7
/proc/30832/task/30842/stat : 30842 (java) S 30830 30830 19528 0 -1 1077944384 12997 0 0 0 239 1 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243819486064 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30843] ppid=30830 vsize=15417404 memory=668 CPUtime=2.59 cores=1,3,5,7
/proc/30832/task/30843/stat : 30843 (java) S 30830 30830 19528 0 -1 1077944384 9160 0 0 0 258 1 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243818433264 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30844] ppid=30830 vsize=15417404 memory=1232 CPUtime=0.57 cores=1,3,5,7
/proc/30832/task/30844/stat : 30844 (java) S 30830 30830 19528 0 -1 1077944384 3964 0 0 0 57 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243817380464 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30845] ppid=30830 vsize=15417404 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30845/stat : 30845 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243816327904 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30846] ppid=30830 vsize=15417404 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30846/stat : 30846 (java) S 30830 30830 19528 0 -1 1077944384 541 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243815275184 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30861] ppid=30830 vsize=15417404 memory=21196 CPUtime=16.13 cores=1,3,5,7
/proc/30832/task/30861/stat : 30861 (java) R 30830 30830 19528 0 -1 4202560 392 0 0 0 1613 0 0 0 20 0 19 0 409292439 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243806063712 140243992123701 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30862] ppid=30830 vsize=15417404 memory=14056 CPUtime=15.98 cores=1,3,5,7
/proc/30832/task/30862/stat : 30862 (java) R 30830 30830 19528 0 -1 4202560 976 0 0 0 1598 0 0 0 20 0 19 0 409292439 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243803962216 140243990865583 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30863] ppid=30830 vsize=15417404 memory=2116 CPUtime=16.36 cores=1,3,5,7
/proc/30832/task/30863/stat : 30863 (java) R 30830 30830 19528 0 -1 4202560 1197 0 0 0 1636 0 0 0 20 0 19 0 409292439 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243802906712 140243992385507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30864] ppid=30830 vsize=15417404 memory=520 CPUtime=16.08 cores=1,3,5,7
/proc/30832/task/30864/stat : 30864 (java) R 30830 30830 19528 0 -1 4202560 579 0 0 0 1608 0 0 0 20 0 19 0 409292440 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243805012392 140243992385813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
Current children cumulated CPU time: 76.78 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 228456 KiB
[startup+19.7015 s]
/proc/loadavg: 8.59 8.51 8.32 10/237 30864
/proc/meminfo: memFree=20885932/32770624 swapFree=66939828/67108860
[pid=30830] ppid=30827 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/30830/stat : 30830 (xcsp3-exec) S 30827 30830 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409292159 115843072 362 33554432000 4194304 5098028 140732687186880 140732687184984 140061115376252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25722880 140732687192954 140732687193197 140732687193197 140732687196106 0
/proc/30830/statm: 28282 362 304 221 0 87 0
[pid=30832] ppid=30830 vsize=15417404 memory=227008 CPUtime=77.18 cores=1,3,5,7
/proc/30832/stat : 30832 (java) S 30830 30830 19528 0 -1 1077944320 45625 0 0 0 7704 14 0 0 20 0 19 0 409292159 15787421696 56752 33554432000 4194304 4196468 140731721549840 140731721532384 140244355124983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
/proc/30832/statm: 3854351 56752 3537 1 0 3815453 0
[pid=30832/tid=30833] ppid=30830 vsize=15417404 memory=-6612034964095132262 CPUtime=0.57 cores=1,3,5,7
/proc/30832/task/30833/stat : 30833 (java) S 30830 30830 19528 0 -1 1077944384 9395 0 0 0 53 4 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140244359365760 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30834] ppid=30830 vsize=15417404 memory=2319693777108024020 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30834/stat : 30834 (java) S 30830 30830 19528 0 -1 1077944384 814 0 0 0 1 0 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140244307745936 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30835] ppid=30830 vsize=15417404 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30835/stat : 30835 (java) S 30830 30830 19528 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140244306693136 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30836] ppid=30830 vsize=15417404 memory=954 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30836/stat : 30836 (java) S 30830 30830 19528 0 -1 1077944384 911 0 0 0 1 0 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243945577360 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30837] ppid=30830 vsize=15417404 memory=1302 CPUtime=0.01 cores=1,3,5,7
/proc/30832/task/30837/stat : 30837 (java) S 30830 30830 19528 0 -1 1077944384 600 0 0 0 1 0 0 0 20 0 19 0 409292160 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243944524560 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30838] ppid=30830 vsize=15417404 memory=14920 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30838/stat : 30838 (java) S 30830 30830 19528 0 -1 1077944384 754 0 0 0 0 0 0 0 20 0 19 0 409292162 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243823696240 140244355136130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30839] ppid=30830 vsize=15417404 memory=227008 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30839/stat : 30839 (java) S 30830 30830 19528 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 409292162 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243822642272 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30840] ppid=30830 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30840/stat : 30840 (java) S 30830 30830 19528 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 19 0 409292162 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243821589376 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30841] ppid=30830 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30841/stat : 30841 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243820537680 140244355143579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30842] ppid=30830 vsize=15417404 memory=240 CPUtime=2.4 cores=1,3,5,7
/proc/30832/task/30842/stat : 30842 (java) S 30830 30830 19528 0 -1 1077944384 12998 0 0 0 239 1 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243819486064 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30843] ppid=30830 vsize=15417404 memory=1448 CPUtime=2.59 cores=1,3,5,7
/proc/30832/task/30843/stat : 30843 (java) S 30830 30830 19528 0 -1 1077944384 9161 0 0 0 258 1 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243818433264 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30844] ppid=30830 vsize=15417404 memory=1448 CPUtime=0.57 cores=1,3,5,7
/proc/30832/task/30844/stat : 30844 (java) S 30830 30830 19528 0 -1 1077944384 4318 0 0 0 57 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243817380464 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30845] ppid=30830 vsize=15417404 memory=226968 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30845/stat : 30845 (java) S 30830 30830 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243816327904 140244355135189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30846] ppid=30830 vsize=15417404 memory=612 CPUtime=0 cores=1,3,5,7
/proc/30832/task/30846/stat : 30846 (java) S 30830 30830 19528 0 -1 1077944384 541 0 0 0 0 0 0 0 20 0 19 0 409292165 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243815275184 140244355136130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30861] ppid=30830 vsize=15417404 memory=1448 CPUtime=16.23 cores=1,3,5,7
/proc/30832/task/30861/stat : 30861 (java) R 30830 30830 19528 0 -1 4202560 392 0 0 0 1623 0 0 0 20 0 19 0 409292439 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243806063712 140243990622743 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30862] ppid=30830 vsize=15417404 memory=226968 CPUtime=16.08 cores=1,3,5,7
/proc/30832/task/30862/stat : 30862 (java) R 30830 30830 19528 0 -1 4202560 976 0 0 0 1608 0 0 0 20 0 19 0 409292439 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243803962216 140243992385304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30863] ppid=30830 vsize=15417404 memory=988 CPUtime=16.46 cores=1,3,5,7
/proc/30832/task/30863/stat : 30863 (java) R 30830 30830 19528 0 -1 4202560 1209 0 0 0 1646 0 0 0 20 0 19 0 409292439 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243802909224 140243991118157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
[pid=30832/tid=30864] ppid=30830 vsize=15417404 memory=2008 CPUtime=16.18 cores=1,3,5,7
/proc/30832/task/30864/stat : 30864 (java) R 30830 30830 19528 0 -1 4202560 638 0 0 0 1618 0 0 0 20 0 19 0 409292440 15787421696 56752 33554432000 4194304 4196468 140731721549840 140243805013112 140243992385299 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38354944 140731721552879 140731721553050 140731721553050 140731721555919 0
Current children cumulated CPU time: 77.18 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 228456 KiB
Child status: 0
Real time (s): 19.7369
CPU time (s): 77.3013
CPU user time (s): 77.1522
CPU system time (s): 0.149075
CPU usage (%): 391.659
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 228456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.1522
system time used= 0.149075
maximum resident set size= 227008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3051
involuntary context switches= 2543
# summary of solver processes directly reported to runsolver:
# pid: 30830
# total CPU time (s): 77.3013
# total CPU user time (s): 77.1522
# total CPU system time (s): 0.149075
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.143783 second user time and 0.264907 second system time
The end