0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407077-1569355913.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4407077-1569355913.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
1.06/0.56 c solve instance...
1.56/0.65 o 231
1.56/0.65 o 198
1.56/0.65 o 196
1.56/0.66 o 185
1.56/0.67 o 180
1.56/0.69 o 117
1.98/0.70 o 112
1.98/0.72 o 111
1.98/0.73 o 110
1.98/0.74 o 108
1.98/0.75 o 106
6.60/1.33 o 105
10.57/1.88 o 104
1248.09/157.43 s OPTIMUM FOUND
1248.09/157.43 v <instantiation>
1248.09/157.43 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] </list>
1248.09/157.43 v <values>9 7 5 2 3 0 1 4 6 8 14 12 11 13 10 3 8 7 8 8 1 11 6 10 12 9 7 4 6 4 </values>
1248.09/157.43 v </instantiation>
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 (9652 MiB free)
memory of node 1: 16384 MiB (14987 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407077-1569355913/watcher-4407077-1569355913 -o /tmp/evaluation-result-4407077-1569355913/solver-4407077-1569355913 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569347186-6094 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 192471875 HOME/instance-4407077-1569355913.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6735, runsolver pid=6732
Current StackSize limit: 8192 KiB
[startup+0.10013 s]*
/proc/loadavg: 8.19 8.28 8.27 2/211 6756
/proc/meminfo: memFree=25215292/32770624 swapFree=66999784/67108860
[pid=6735] ppid=6732 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 6067 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511845259 115843072 364 33554432000 4194304 5098028 140720883779984 140720883778088 140071215895164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35352576 140720883786614 140720883786857 140720883786857 140720883789770 0
/proc/6735/statm: 28282 364 305 221 0 87 0
[pid=6737] ppid=6735 vsize=28227396 memory=28800 CPUtime=0.12 cores=0-7
/proc/6737/stat : 6737 (java) S 6735 6735 6067 0 -1 1077944320 5675 0 0 0 11 1 0 0 20 0 20 0 511845259 28904853504 7200 33554432000 4194304 4196468 140721991076912 140721991059456 140127255240439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
/proc/6737/statm: 7056849 7200 3128 1 0 7019032 0
[pid=6737/tid=6738] ppid=6735 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/6737/task/6738/stat : 6738 (java) R 6735 6735 6067 0 -1 4202560 3623 0 0 0 8 0 0 0 20 0 20 0 511845259 28904853504 7200 33554432000 4194304 4196468 140721991076912 140127259474976 140127255252374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6739] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 7200 33554432000 4194304 4196468 140721991076912 140127207861264 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6740] ppid=6735 vsize=28227396 memory=15114715777947288 CPUtime=0 cores=0-7
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 7200 33554432000 4194304 4196468 140721991076912 140127206808720 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6741] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 7200 33554432000 4194304 4196468 140721991076912 140127205755664 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6742] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 7200 33554432000 4194304 4196468 140721991076912 140127204703120 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6743] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 7200 33554432000 4194304 4196468 140721991076912 140127203650064 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6744] ppid=6735 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 7200 33554432000 4194304 4196468 140721991076912 140127202597520 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6745] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 7200 33554432000 4194304 4196468 140721991076912 140127201544464 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6746] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 7200 33554432000 4194304 4196468 140721991076912 140126799649168 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6747] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511845262 28904853504 7200 33554432000 4194304 4196468 140721991076912 140125768542960 140127255251586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6748] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 6067 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511845262 28904853504 7200 33554432000 4194304 4196468 140721991076912 140125767489184 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6749] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 6067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511845262 28904853504 7200 33554432000 4194304 4196468 140721991076912 140125766436080 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6750] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845265 28904853504 7200 33554432000 4194304 4196468 140721991076912 140125765384656 140127255259035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6751] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 6067 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 511845265 28904853504 7200 33554432000 4194304 4196468 140721991076912 140125764331760 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6752] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6752/stat : 6752 (java) R 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845265 28904853504 7200 33554432000 4194304 4196468 140721991076912 140125763279216 140127255251586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6753] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6753/stat : 6753 (java) S 6735 6735 6067 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 511845265 28904853504 7200 33554432000 4194304 4196468 140721991076912 140125762226160 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6754] ppid=6735 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/6737/task/6754/stat : 6754 (java) R 6735 6735 6067 0 -1 4202560 318 0 0 0 1 0 0 0 20 0 20 0 511845265 28904853504 7200 33554432000 4194304 4196468 140721991076912 140125761173616 140127255261786 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6755] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6755/stat : 6755 (java) S 6735 6735 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511845265 28904853504 7200 33554432000 4194304 4196468 140721991076912 140125760121824 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6756] ppid=6735 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6737/task/6756/stat : 6756 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845265 28904853504 7200 33554432000 4194304 4196468 140721991076912 140125759069360 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30256 KiB
[startup+0.210676 s]*
/proc/loadavg: 8.19 8.28 8.27 3/211 6756
/proc/meminfo: memFree=25202544/32770624 swapFree=66999784/67108860
[pid=6735] ppid=6732 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 6067 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511845259 115843072 364 33554432000 4194304 5098028 140720883779984 140720883778088 140071215895164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35352576 140720883786614 140720883786857 140720883786857 140720883789770 0
/proc/6735/statm: 28282 364 305 221 0 87 0
[pid=6737] ppid=6735 vsize=28227396 memory=40780 CPUtime=0.34 cores=0-7
/proc/6737/stat : 6737 (java) S 6735 6735 6067 0 -1 1077944320 9512 0 0 0 31 3 0 0 20 0 20 0 511845259 28904853504 10195 33554432000 4194304 4196468 140721991076912 140721991059456 140127255240439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
/proc/6737/statm: 7056849 10195 3261 1 0 7019032 0
[pid=6737/tid=6738] ppid=6735 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/6737/task/6738/stat : 6738 (java) R 6735 6735 6067 0 -1 4202560 6636 0 0 0 17 2 0 0 20 0 20 0 511845259 28904853504 10195 33554432000 4194304 4196468 140721991076912 140127259471424 140127255252374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6739] ppid=6735 vsize=28227396 memory=288230596118053219 CPUtime=0 cores=0-7
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 10195 33554432000 4194304 4196468 140721991076912 140127207861264 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6740] ppid=6735 vsize=28227396 memory=3904814098848896672 CPUtime=0 cores=0-7
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 10195 33554432000 4194304 4196468 140721991076912 140127206808720 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6741] ppid=6735 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 10195 33554432000 4194304 4196468 140721991076912 140127205755664 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6742] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 10195 33554432000 4194304 4196468 140721991076912 140127204703120 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6743] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 10195 33554432000 4194304 4196468 140721991076912 140127203650064 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6744] ppid=6735 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 10195 33554432000 4194304 4196468 140721991076912 140127202597520 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6745] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 10195 33554432000 4194304 4196468 140721991076912 140127201544464 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6746] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28904853504 10195 33554432000 4194304 4196468 140721991076912 140126799649168 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6747] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 6067 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511845262 28904853504 10195 33554432000 4194304 4196468 140721991076912 140125768542960 140127255251586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6748] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 6067 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511845262 28904853504 10195 33554432000 4194304 4196468 140721991076912 140125767489184 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6749] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 6067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511845262 28904853504 10195 33554432000 4194304 4196468 140721991076912 140125766436080 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6750] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845265 28904853504 10195 33554432000 4194304 4196468 140721991076912 140125765384656 140127255259035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6751] ppid=6735 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 6067 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 20 0 511845265 28904853504 10195 33554432000 4194304 4196468 140721991076912 140125764331760 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6752] ppid=6735 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/6737/task/6752/stat : 6752 (java) S 6735 6735 6067 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 511845265 28904853504 10195 33554432000 4194304 4196468 140721991076912 140125763279216 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6753] ppid=6735 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/6737/task/6753/stat : 6753 (java) S 6735 6735 6067 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 20 0 511845265 28904853504 10195 33554432000 4194304 4196468 140721991076912 140125762226160 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6754] ppid=6735 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/6737/task/6754/stat : 6754 (java) R 6735 6735 6067 0 -1 4202560 766 0 0 0 8 0 0 0 20 0 20 0 511845265 28904853504 10195 33554432000 4194304 4196468 140721991076912 140125761173616 140127233730145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6755] ppid=6735 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6755/stat : 6755 (java) S 6735 6735 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511845265 28904853504 10195 33554432000 4194304 4196468 140721991076912 140125760121824 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6756] ppid=6735 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6737/task/6756/stat : 6756 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845265 28904853504 10195 33554432000 4194304 4196468 140721991076912 140125759069360 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42236 KiB
[startup+0.310435 s]*
/proc/loadavg: 8.19 8.28 8.27 3/211 6756
/proc/meminfo: memFree=25195656/32770624 swapFree=66999784/67108860
[pid=6735] ppid=6732 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 6067 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511845259 115843072 364 33554432000 4194304 5098028 140720883779984 140720883778088 140071215895164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35352576 140720883786614 140720883786857 140720883786857 140720883789770 0
/proc/6735/statm: 28282 364 305 221 0 87 0
[pid=6737] ppid=6735 vsize=28231652 memory=50024 CPUtime=0.53 cores=0-7
/proc/6737/stat : 6737 (java) S 6735 6735 6067 0 -1 1077944320 10915 0 0 0 49 4 0 0 20 0 20 0 511845259 28909211648 12506 33554432000 4194304 4196468 140721991076912 140721991059456 140127255240439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
/proc/6737/statm: 7057913 12506 3355 1 0 7019032 0
[pid=6737/tid=6738] ppid=6735 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/6737/task/6738/stat : 6738 (java) R 6735 6735 6067 0 -1 4202560 7797 0 0 0 26 3 0 0 20 0 20 0 511845259 28909211648 12506 33554432000 4194304 4196468 140721991076912 140127259471552 140127239320926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6739] ppid=6735 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28909211648 12506 33554432000 4194304 4196468 140721991076912 140127207861264 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6740] ppid=6735 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511845260 28909211648 12506 33554432000 4194304 4196468 140721991076912 140127206808720 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6741] ppid=6735 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28909211648 12506 33554432000 4194304 4196468 140721991076912 140127205755664 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6742] ppid=6735 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511845260 28909211648 12506 33554432000 4194304 4196468 140721991076912 140127204703120 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6743] ppid=6735 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28909211648 12506 33554432000 4194304 4196468 140721991076912 140127203650064 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6744] ppid=6735 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511845260 28909211648 12506 33554432000 4194304 4196468 140721991076912 140127202597520 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6745] ppid=6735 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28909211648 12506 33554432000 4194304 4196468 140721991076912 140127201544464 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6746] ppid=6735 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845260 28909211648 12506 33554432000 4194304 4196468 140721991076912 140126799649168 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6747] ppid=6735 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 6067 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511845262 28909211648 12506 33554432000 4194304 4196468 140721991076912 140125768542960 140127255251586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6748] ppid=6735 vsize=28231652 memory=280459351367040 CPUtime=0 cores=0-7
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 6067 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511845262 28909211648 12506 33554432000 4194304 4196468 140721991076912 140125767489184 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6749] ppid=6735 vsize=28231652 memory=280459351371648 CPUtime=0 cores=0-7
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 6067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511845262 28909211648 12506 33554432000 4194304 4196468 140721991076912 140125766436080 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6750] ppid=6735 vsize=28231652 memory=280459351376256 CPUtime=0 cores=0-7
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845265 28909211648 12506 33554432000 4194304 4196468 140721991076912 140125765384656 140127255259035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6751] ppid=6735 vsize=28231652 memory=280459351380864 CPUtime=0.02 cores=0-7
/proc/6737/task/6751/stat : 6751 (java) R 6735 6735 6067 0 -1 4202560 437 0 0 0 2 0 0 0 20 0 20 0 511845265 28909211648 12506 33554432000 4194304 4196468 140721991076912 140125764312776 140127240350005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6752] ppid=6735 vsize=28231652 memory=280459351385472 CPUtime=0.02 cores=0-7
/proc/6737/task/6752/stat : 6752 (java) S 6735 6735 6067 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 20 0 511845265 28909211648 12506 33554432000 4194304 4196468 140721991076912 140125763279216 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6753] ppid=6735 vsize=28231652 memory=280459351390080 CPUtime=0.04 cores=0-7
/proc/6737/task/6753/stat : 6753 (java) S 6735 6735 6067 0 -1 1077944384 400 0 0 0 4 0 0 0 20 0 20 0 511845265 28909211648 12506 33554432000 4194304 4196468 140721991076912 140125762226160 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6754] ppid=6735 vsize=28231652 memory=280459351394688 CPUtime=0.12 cores=0-7
/proc/6737/task/6754/stat : 6754 (java) S 6735 6735 6067 0 -1 1077944384 855 0 0 0 12 0 0 0 20 0 20 0 511845265 28909211648 12506 33554432000 4194304 4196468 140721991076912 140125761173616 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6755] ppid=6735 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6755/stat : 6755 (java) S 6735 6735 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511845265 28909211648 12506 33554432000 4194304 4196468 140721991076912 140125760121824 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6756] ppid=6735 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/6737/task/6756/stat : 6756 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511845265 28909211648 12506 33554432000 4194304 4196468 140721991076912 140125759069360 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51480 KiB
[startup+0.70132 s]
/proc/loadavg: 8.19 8.28 8.27 6/211 6756
/proc/meminfo: memFree=25179364/32770624 swapFree=66999784/67108860
[pid=6735] ppid=6732 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 6067 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511845259 115843072 364 33554432000 4194304 5098028 140720883779984 140720883778088 140071215895164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35352576 140720883786614 140720883786857 140720883786857 140720883789770 0
/proc/6735/statm: 28282 364 305 221 0 87 0
[pid=6737] ppid=6735 vsize=28766288 memory=166416 CPUtime=1.98 cores=0-7
/proc/6737/stat : 6737 (java) S 6735 6735 6067 0 -1 1077944320 16316 0 0 0 189 9 0 0 20 0 28 0 511845259 29456678912 41604 33554432000 4194304 4196468 140721991076912 140721991059456 140127255240439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
/proc/6737/statm: 7191572 41604 3476 1 0 7152672 0
[pid=6737/tid=6738] ppid=6735 vsize=28766288 memory=4580 CPUtime=0.55 cores=0-7
/proc/6737/task/6738/stat : 6738 (java) S 6735 6735 6067 0 -1 1077944384 9113 0 0 0 52 3 0 0 20 0 28 0 511845259 29456678912 41604 33554432000 4194304 4196468 140721991076912 140127259481216 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6739] ppid=6735 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 6067 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 511845260 29456678912 41604 33554432000 4194304 4196468 140721991076912 140127207861264 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6740] ppid=6735 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511845260 29456678912 41604 33554432000 4194304 4196468 140721991076912 140127206808720 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6741] ppid=6735 vsize=28766288 memory=3648 CPUtime=0 cores=0-7
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511845260 29456678912 41604 33554432000 4194304 4196468 140721991076912 140127205755664 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
################
# More data... #
################
[pid=6737/tid=6754] ppid=6735 vsize=28767316 memory=500 CPUtime=0.64 cores=0-7
/proc/6737/task/6754/stat : 6754 (java) S 6735 6735 6067 0 -1 1077944384 6073 0 0 0 62 2 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125761173616 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6755] ppid=6735 vsize=28767316 memory=984 CPUtime=0 cores=0-7
/proc/6737/task/6755/stat : 6755 (java) S 6735 6735 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125760121824 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6756] ppid=6735 vsize=28767316 memory=2024 CPUtime=0.02 cores=0-7
/proc/6737/task/6756/stat : 6756 (java) S 6735 6735 6067 0 -1 1077944384 1701 0 0 0 1 1 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125759069360 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6861] ppid=6735 vsize=28767316 memory=1376 CPUtime=153.15 cores=0-7
/proc/6737/task/6861/stat : 6861 (java) R 6735 6735 6067 0 -1 4202560 2853 0 0 0 15315 0 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125745638984 140126886209272 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6862] ppid=6735 vsize=28767316 memory=1128 CPUtime=153.35 cores=0-7
/proc/6737/task/6862/stat : 6862 (java) R 6735 6735 6067 0 -1 4202560 965 0 0 0 15333 2 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125744587416 140126887117494 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6863] ppid=6735 vsize=28767316 memory=772 CPUtime=153.37 cores=0-7
/proc/6737/task/6863/stat : 6863 (java) R 6735 6735 6067 0 -1 4202560 2944 0 0 0 15337 0 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125749850256 140126886208893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6864] ppid=6735 vsize=28767316 memory=3648 CPUtime=153.85 cores=0-7
/proc/6737/task/6864/stat : 6864 (java) R 6735 6735 6067 0 -1 4202560 2709 0 0 0 15383 2 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125742480992 140126888560263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6865] ppid=6735 vsize=28767316 memory=276412 CPUtime=153.53 cores=0-7
/proc/6737/task/6865/stat : 6865 (java) R 6735 6735 6067 0 -1 4202560 928 0 0 0 15353 0 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125748797080 140126887098493 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6866] ppid=6735 vsize=28767316 memory=301881628870679560 CPUtime=153.15 cores=0-7
/proc/6737/task/6866/stat : 6866 (java) R 6735 6735 6067 0 -1 4202560 1578 0 0 0 15314 1 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125743533528 140126888267619 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6867] ppid=6735 vsize=28767316 memory=13988798493727784 CPUtime=153.79 cores=0-7
/proc/6737/task/6867/stat : 6867 (java) S 6735 6735 6067 0 -1 1077944384 2059 0 0 0 15378 1 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125747748048 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6868] ppid=6735 vsize=28767316 memory=1456 CPUtime=153.53 cores=0-7
/proc/6737/task/6868/stat : 6868 (java) R 6735 6735 6067 0 -1 4194368 1616 0 0 0 15352 1 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125746695104 140127239818704 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
Current children cumulated CPU time: 1243.42 s
Current children cumulated vsize: 28880444 KiB
Current children cumulated memory: 286168 KiB
[startup+157.205 s]
/proc/loadavg: 8.79 8.48 8.35 9/219 6878
/proc/meminfo: memFree=24962120/32770624 swapFree=66999784/67108860
[pid=6735] ppid=6732 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 6067 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511845259 115843072 364 33554432000 4194304 5098028 140720883779984 140720883778088 140071215895164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35352576 140720883786614 140720883786857 140720883786857 140720883789770 0
/proc/6735/statm: 28282 364 305 221 0 87 0
[pid=6737] ppid=6735 vsize=28767316 memory=284712 CPUtime=1246.52 cores=0-7
/proc/6737/stat : 6737 (java) S 6735 6735 6067 0 -1 1077944320 85104 0 0 0 124589 63 0 0 20 0 28 0 511845259 29457731584 71178 33554432000 4194304 4196468 140721991076912 140721991059456 140127255240439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
/proc/6737/statm: 7191829 71178 3521 1 0 7152929 0
[pid=6737/tid=6738] ppid=6735 vsize=28767316 memory=274260 CPUtime=0.55 cores=0-7
/proc/6737/task/6738/stat : 6738 (java) S 6735 6735 6067 0 -1 1077944384 9115 0 0 0 52 3 0 0 20 0 28 0 511845259 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127259481216 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6739] ppid=6735 vsize=28767316 memory=500 CPUtime=0.18 cores=0-7
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 6067 0 -1 1077944384 1766 0 0 0 14 4 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127207861264 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6740] ppid=6735 vsize=28767316 memory=928 CPUtime=0.18 cores=0-7
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 6067 0 -1 1077944384 1413 0 0 0 14 4 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127206808720 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6741] ppid=6735 vsize=28767316 memory=1728 CPUtime=0.18 cores=0-7
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 6067 0 -1 1077944384 1767 0 0 0 14 4 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127205755664 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6742] ppid=6735 vsize=28767316 memory=1448 CPUtime=0.19 cores=0-7
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 6067 0 -1 1077944384 2906 0 0 0 15 4 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127204703120 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6743] ppid=6735 vsize=28767316 memory=860 CPUtime=0.19 cores=0-7
/proc/6737/task/6743/stat : 6743 (java) R 6735 6735 6067 0 -1 1077944384 1466 0 0 0 14 5 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127203650064 140127255250645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6744] ppid=6735 vsize=28767316 memory=1980 CPUtime=0.18 cores=0-7
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 6067 0 -1 1077944384 1328 0 0 0 14 4 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127202597520 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6745] ppid=6735 vsize=28767316 memory=2552 CPUtime=0.19 cores=0-7
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 6067 0 -1 1077944384 1705 0 0 0 14 5 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127201544464 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6746] ppid=6735 vsize=28767316 memory=1760 CPUtime=0.18 cores=0-7
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 6067 0 -1 1077944384 854 0 0 0 14 4 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140126799649168 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6747] ppid=6735 vsize=28767316 memory=1456 CPUtime=0.2 cores=0-7
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 6067 0 -1 1077944384 5307 0 0 0 17 3 0 0 20 0 28 0 511845262 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125768542960 140127255251586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6748] ppid=6735 vsize=28767316 memory=284712 CPUtime=0 cores=0-7
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 6067 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511845262 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125767489248 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6749] ppid=6735 vsize=28767316 memory=628 CPUtime=0 cores=0-7
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 6067 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511845262 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125766436096 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6750] ppid=6735 vsize=28767316 memory=1056 CPUtime=0 cores=0-7
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125765384656 140127255259035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6751] ppid=6735 vsize=28767316 memory=1716 CPUtime=1.65 cores=0-7
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 6067 0 -1 1077944384 9325 0 0 0 163 2 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125764331760 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6752] ppid=6735 vsize=28767316 memory=6168 CPUtime=1.71 cores=0-7
/proc/6737/task/6752/stat : 6752 (java) S 6735 6735 6067 0 -1 1077944384 9275 0 0 0 170 1 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125763279216 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6753] ppid=6735 vsize=28767316 memory=14012 CPUtime=1.7 cores=0-7
/proc/6737/task/6753/stat : 6753 (java) S 6735 6735 6067 0 -1 1077944384 12057 0 0 0 168 2 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125762226160 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6754] ppid=6735 vsize=28767316 memory=2116 CPUtime=0.64 cores=0-7
/proc/6737/task/6754/stat : 6754 (java) S 6735 6735 6067 0 -1 1077944384 6073 0 0 0 62 2 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125761173616 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6755] ppid=6735 vsize=28767316 memory=24176 CPUtime=0 cores=0-7
/proc/6737/task/6755/stat : 6755 (java) S 6735 6735 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125760121824 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6756] ppid=6735 vsize=28767316 memory=12024 CPUtime=0.02 cores=0-7
/proc/6737/task/6756/stat : 6756 (java) S 6735 6735 6067 0 -1 1077944384 1701 0 0 0 1 1 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125759069360 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6861] ppid=6735 vsize=28767316 memory=1556 CPUtime=153.54 cores=0-7
/proc/6737/task/6861/stat : 6861 (java) R 6735 6735 6067 0 -1 4202560 2853 0 0 0 15354 0 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125745638224 140126886208539 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6862] ppid=6735 vsize=28767316 memory=500 CPUtime=153.73 cores=0-7
/proc/6737/task/6862/stat : 6862 (java) R 6735 6735 6067 0 -1 4202560 967 0 0 0 15371 2 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125744586896 140126887204537 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6863] ppid=6735 vsize=28767316 memory=928 CPUtime=153.73 cores=0-7
/proc/6737/task/6863/stat : 6863 (java) R 6735 6735 6067 0 -1 4202560 2945 0 0 0 15373 0 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125749850392 140126886208592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6864] ppid=6735 vsize=28767316 memory=284712 CPUtime=154.25 cores=0-7
/proc/6737/task/6864/stat : 6864 (java) R 6735 6735 6067 0 -1 4202560 2710 0 0 0 15423 2 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125742484192 140126888752112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6865] ppid=6735 vsize=28767316 memory=1548 CPUtime=153.91 cores=0-7
/proc/6737/task/6865/stat : 6865 (java) R 6735 6735 6067 0 -1 4202560 928 0 0 0 15391 0 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125748796912 140126886208579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6866] ppid=6735 vsize=28767316 memory=628 CPUtime=153.54 cores=0-7
/proc/6737/task/6866/stat : 6866 (java) R 6735 6735 6067 0 -1 4202560 1579 0 0 0 15353 1 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125743533600 140126886208539 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6867] ppid=6735 vsize=28767316 memory=1056 CPUtime=154.17 cores=0-7
/proc/6737/task/6867/stat : 6867 (java) R 6735 6735 6067 0 -1 4202560 2060 0 0 0 15416 1 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125747744800 140126886207945 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6868] ppid=6735 vsize=28767316 memory=1716 CPUtime=153.92 cores=0-7
/proc/6737/task/6868/stat : 6868 (java) R 6735 6735 6067 0 -1 4202560 1618 0 0 0 15391 1 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125746692776 140126886975489 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
Current children cumulated CPU time: 1246.52 s
Current children cumulated vsize: 28880444 KiB
Current children cumulated memory: 286168 KiB
[startup+157.402 s]
/proc/loadavg: 8.79 8.48 8.35 9/219 6878
/proc/meminfo: memFree=24962120/32770624 swapFree=66999784/67108860
[pid=6735] ppid=6732 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6735/stat : 6735 (xcsp3-exec) S 6732 6735 6067 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511845259 115843072 364 33554432000 4194304 5098028 140720883779984 140720883778088 140071215895164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35352576 140720883786614 140720883786857 140720883786857 140720883789770 0
/proc/6735/statm: 28282 364 305 221 0 87 0
[pid=6737] ppid=6735 vsize=28767316 memory=284712 CPUtime=1248.09 cores=0-7
/proc/6737/stat : 6737 (java) S 6735 6735 6067 0 -1 1077944320 85104 0 0 0 124746 63 0 0 20 0 28 0 511845259 29457731584 71178 33554432000 4194304 4196468 140721991076912 140721991059456 140127255240439 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
/proc/6737/statm: 7191829 71178 3521 1 0 7152929 0
[pid=6737/tid=6738] ppid=6735 vsize=28767316 memory=111632 CPUtime=0.55 cores=0-7
/proc/6737/task/6738/stat : 6738 (java) S 6735 6735 6067 0 -1 1077944384 9115 0 0 0 52 3 0 0 20 0 28 0 511845259 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127259481216 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6739] ppid=6735 vsize=28767316 memory=800 CPUtime=0.18 cores=0-7
/proc/6737/task/6739/stat : 6739 (java) S 6735 6735 6067 0 -1 1077944384 1766 0 0 0 14 4 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127207861264 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6740] ppid=6735 vsize=28767316 memory=1804 CPUtime=0.18 cores=0-7
/proc/6737/task/6740/stat : 6740 (java) S 6735 6735 6067 0 -1 1077944384 1413 0 0 0 14 4 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127206808720 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6741] ppid=6735 vsize=28767316 memory=916 CPUtime=0.18 cores=0-7
/proc/6737/task/6741/stat : 6741 (java) S 6735 6735 6067 0 -1 1077944384 1767 0 0 0 14 4 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127205755664 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6742] ppid=6735 vsize=28767316 memory=4136 CPUtime=0.19 cores=0-7
/proc/6737/task/6742/stat : 6742 (java) S 6735 6735 6067 0 -1 1077944384 2906 0 0 0 15 4 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127204703120 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6743] ppid=6735 vsize=28767316 memory=4108 CPUtime=0.19 cores=0-7
/proc/6737/task/6743/stat : 6743 (java) S 6735 6735 6067 0 -1 1077944384 1466 0 0 0 14 5 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127203650064 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6744] ppid=6735 vsize=28767316 memory=1412 CPUtime=0.18 cores=0-7
/proc/6737/task/6744/stat : 6744 (java) S 6735 6735 6067 0 -1 1077944384 1328 0 0 0 14 4 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127202597520 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6745] ppid=6735 vsize=28767316 memory=3528 CPUtime=0.19 cores=0-7
/proc/6737/task/6745/stat : 6745 (java) S 6735 6735 6067 0 -1 1077944384 1705 0 0 0 14 5 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140127201544464 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6746] ppid=6735 vsize=28767316 memory=301741373374332954 CPUtime=0.18 cores=0-7
/proc/6737/task/6746/stat : 6746 (java) S 6735 6735 6067 0 -1 1077944384 854 0 0 0 14 4 0 0 20 0 28 0 511845260 29457731584 71178 33554432000 4194304 4196468 140721991076912 140126799649168 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6747] ppid=6735 vsize=28767316 memory=288230617509003574 CPUtime=0.2 cores=0-7
/proc/6737/task/6747/stat : 6747 (java) S 6735 6735 6067 0 -1 1077944384 5307 0 0 0 17 3 0 0 20 0 28 0 511845262 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125768542960 140127255251586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6748] ppid=6735 vsize=28767316 memory=16105853321218387 CPUtime=0 cores=0-7
/proc/6737/task/6748/stat : 6748 (java) S 6735 6735 6067 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511845262 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125767489248 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6749] ppid=6735 vsize=28767316 memory=2552 CPUtime=0 cores=0-7
/proc/6737/task/6749/stat : 6749 (java) S 6735 6735 6067 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511845262 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125766436096 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6750] ppid=6735 vsize=28767316 memory=1760 CPUtime=0 cores=0-7
/proc/6737/task/6750/stat : 6750 (java) S 6735 6735 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125765384656 140127255259035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6751] ppid=6735 vsize=28767316 memory=111632 CPUtime=1.65 cores=0-7
/proc/6737/task/6751/stat : 6751 (java) S 6735 6735 6067 0 -1 1077944384 9325 0 0 0 163 2 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125764331760 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6752] ppid=6735 vsize=28767316 memory=800 CPUtime=1.71 cores=0-7
/proc/6737/task/6752/stat : 6752 (java) S 6735 6735 6067 0 -1 1077944384 9275 0 0 0 170 1 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125763279216 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6753] ppid=6735 vsize=28767316 memory=1804 CPUtime=1.7 cores=0-7
/proc/6737/task/6753/stat : 6753 (java) S 6735 6735 6067 0 -1 1077944384 12057 0 0 0 168 2 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125762226160 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6754] ppid=6735 vsize=28767316 memory=916 CPUtime=0.64 cores=0-7
/proc/6737/task/6754/stat : 6754 (java) S 6735 6735 6067 0 -1 1077944384 6073 0 0 0 62 2 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125761173616 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6755] ppid=6735 vsize=28767316 memory=4136 CPUtime=0 cores=0-7
/proc/6737/task/6755/stat : 6755 (java) S 6735 6735 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125760121824 140127255250645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6756] ppid=6735 vsize=28767316 memory=4108 CPUtime=0.02 cores=0-7
/proc/6737/task/6756/stat : 6756 (java) S 6735 6735 6067 0 -1 1077944384 1701 0 0 0 1 1 0 0 20 0 28 0 511845265 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125759069360 140127255251586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6861] ppid=6735 vsize=28767316 memory=1412 CPUtime=153.74 cores=0-7
/proc/6737/task/6861/stat : 6861 (java) R 6735 6735 6067 0 -1 4202560 2853 0 0 0 15374 0 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125745638360 140126886208385 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6862] ppid=6735 vsize=28767316 memory=3596 CPUtime=153.93 cores=0-7
/proc/6737/task/6862/stat : 6862 (java) R 6735 6735 6067 0 -1 4202560 967 0 0 0 15391 2 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125744587032 140126886208958 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6863] ppid=6735 vsize=28767316 memory=1456 CPUtime=153.93 cores=0-7
/proc/6737/task/6863/stat : 6863 (java) R 6735 6735 6067 0 -1 4202560 2945 0 0 0 15393 0 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125749850392 140126886208554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6864] ppid=6735 vsize=28767316 memory=8112282956445269571 CPUtime=154.44 cores=0-7
/proc/6737/task/6864/stat : 6864 (java) R 6735 6735 6067 0 -1 4202560 2710 0 0 0 15442 2 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125742484192 140126886208477 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6865] ppid=6735 vsize=28767316 memory=8387223549236478041 CPUtime=154.11 cores=0-7
/proc/6737/task/6865/stat : 6865 (java) R 6735 6735 6067 0 -1 4202560 928 0 0 0 15411 0 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125748797048 140126886072525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6866] ppid=6735 vsize=28767316 memory=288292160162497446 CPUtime=153.74 cores=0-7
/proc/6737/task/6866/stat : 6866 (java) R 6735 6735 6067 0 -1 4202560 1579 0 0 0 15373 1 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125743533600 140126886208631 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6867] ppid=6735 vsize=28767316 memory=8305309928409948256 CPUtime=154.37 cores=0-7
/proc/6737/task/6867/stat : 6867 (java) R 6735 6735 6067 0 -1 4202560 2060 0 0 0 15436 1 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125747744800 140126887705770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
[pid=6737/tid=6868] ppid=6735 vsize=28767316 memory=7598811100138176585 CPUtime=154.12 cores=0-7
/proc/6737/task/6868/stat : 6868 (java) R 6735 6735 6067 0 -1 4202560 1618 0 0 0 15411 1 0 0 20 0 28 0 511845447 29457731584 71178 33554432000 4194304 4196468 140721991076912 140125746692776 140126887098456 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 11075584 140721991082986 140721991083158 140721991083158 140721991086031 0
Current children cumulated CPU time: 1248.09 s
Current children cumulated vsize: 28880444 KiB
Current children cumulated memory: 286168 KiB
Child status: 0
Real time (s): 157.449
CPU time (s): 1248.39
CPU user time (s): 1247.74
CPU system time (s): 0.647352
CPU usage (%): 792.886
Max. virtual memory (cumulated for all children) (KiB): 28880444
Max. memory (cumulated for all children) (KiB): 286168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1247.74
system time used= 0.647352
maximum resident set size= 284924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22910
involuntary context switches= 14923
# summary of solver processes directly reported to runsolver:
# pid: 6735
# total CPU time (s): 1248.39
# total CPU user time (s): 1247.74
# total CPU system time (s): 0.647352
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18644 second user time and 1.84817 second system time
The end
Begin job on node106 at 2019-09-24 21:10:29
IDJOB=4407077
IDBENCH=135736
IDSOLVER=2871
FILE ID=node106/4407077-1569355913
RUNJOBID= node106-1569347186-6094
PBS_JOBID= 21705098
Free space on /tmp= 23488 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n15/TravellingSalesman-15-30-10.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407077-1569355913/watcher-4407077-1569355913 -o /tmp/evaluation-result-4407077-1569355913/solver-4407077-1569355913 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569347186-6094 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 192471875 HOME/instance-4407077-1569355913.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 3c026331d7bc07d88063d95da0d404ae
RANDOM SEED=192471875
node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 25230836 kB
MemAvailable: 31843968 kB
Buffers: 98704 kB
Cached: 6685372 kB
SwapCached: 4548 kB
Active: 3397384 kB
Inactive: 3397620 kB
Active(anon): 5028 kB
Inactive(anon): 58000 kB
Active(file): 3392356 kB
Inactive(file): 3339620 kB
Unevictable: 107484 kB
Mlocked: 107484 kB
SwapTotal: 67108860 kB
SwapFree: 66999784 kB
Dirty: 26128 kB
Writeback: 0 kB
AnonPages: 112232 kB
Mapped: 54024 kB
Shmem: 43740 kB
Slab: 337972 kB
SReclaimable: 309616 kB
SUnreclaim: 28356 kB
KernelStack: 3408 kB
PageTables: 5284 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 505744 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 107904 kB
DirectMap2M: 33437696 kB
Free space on /tmp at the end= 23464 MiB
End job on node106 at 2019-09-24 21:13:06