0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270661-1502695016.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4270661-1502695016.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.19 c 8 solvers in parallel
0.33/0.26 c parse instance...
1.06/0.56 c solve instance...
1.60/0.67 o 3299
2.19/0.70 o 3216
2.19/0.70 o 3077
2.19/0.72 o 2942
2.19/0.73 o 2916
2.19/0.76 o 2007
2.19/0.76 o 1807
2.80/0.81 o 1295
2.80/0.89 o 1288
5.90/1.28 o 1283
6.61/1.31 o 1273
7.40/1.47 o 1265
7.40/1.49 o 1254
8.92/1.63 o 1237
9.70/1.70 o 1211
11.20/1.94 o 1206
11.20/1.95 o 1204
11.20/1.95 o 1184
12.90/2.16 o 1176
15.16/2.42 o 1173
15.16/2.44 o 1149
15.86/2.51 s OPTIMUM FOUND
15.86/2.51 v <instantiation>
15.86/2.51 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] d[0][1] d[0][2] d[1][3] d[2][4] d[3][5] d[4][6] d[5][7] d[6][8] d[7][9] d[8][10] d[9][11] d[10][12] d[11][13] d[12][14] d[13][15] d[14][16] d[15][17] d[16][18] d[17][19] </list>
15.86/2.51 v <values>19 2 8 6 0 11 15 5 7 13 9 3 4 12 16 1 17 10 18 14 1 1 1 1 1 2 1 1 1 1 1 4 1 1 1 1 1 1 2 </values>
15.86/2.51 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 (15219 MiB free)
memory of node 1: 16384 MiB (15550 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270661-1502695016/watcher-4270661-1502695016 -o /tmp/evaluation-result-4270661-1502695016/solver-4270661-1502695016 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502689102-6085 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 187054724 HOME/instance-4270661-1502695016.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
Current StackSize limit: 8192 KiB
solver pid=7202, runsolver pid=7199
[startup+0.100136 s]*
/proc/loadavg: 8.62 8.40 8.27 3/201 7223
/proc/meminfo: memFree=31493200/32770624 swapFree=67108860/67108860
[pid=7202] ppid=7199 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7202/stat : 7202 (xcsp3-exec) S 7199 7202 6058 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102589191 9740288 345 33554432000 4194304 5098028 140737240910688 140737240908792 140553713619580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23523328 140737240917093 140737240917303 140737240917303 140737240920043 0
/proc/7202/statm: 2378 345 289 221 0 87 0
[pid=7204] ppid=7202 vsize=25999808 memory=26176 CPUtime=0.12 cores=0-7
/proc/7204/stat : 7204 (java) S 7202 7202 6058 0 -1 1077944320 5481 0 0 0 11 1 0 0 20 0 20 0 102589191 26623803392 6544 33554432000 4194304 4196468 140722309048432 140722309030976 140500041600759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
/proc/7204/statm: 6499952 6544 2845 1 0 6488269 0
[pid=7204/tid=7205] ppid=7202 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/7204/task/7205/stat : 7205 (java) R 7202 7202 6058 0 -1 4202560 3476 0 0 0 8 0 0 0 20 0 20 0 102589192 26623803392 6544 33554432000 4194304 4196468 140722309048432 140500045832416 140500041612694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7206] ppid=7202 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7204/task/7206/stat : 7206 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589192 26623803392 6544 33554432000 4194304 4196468 140722309048432 140499994221200 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7207] ppid=7202 vsize=25999808 memory=139708574566016 CPUtime=0 cores=0-7
/proc/7204/task/7207/stat : 7207 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589192 26623803392 6544 33554432000 4194304 4196468 140722309048432 140499993168400 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7208] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7208/stat : 7208 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102589192 26623803392 6544 33554432000 4194304 4196468 140722309048432 140499992115600 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7209] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7209/stat : 7209 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589193 26623803392 6544 33554432000 4194304 4196468 140722309048432 140499596212496 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7210] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7210/stat : 7210 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589193 26623803392 6544 33554432000 4194304 4196468 140722309048432 140499595160720 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7211] ppid=7202 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7204/task/7211/stat : 7211 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589193 26623803392 6544 33554432000 4194304 4196468 140722309048432 140499594107920 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7212] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7212/stat : 7212 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589193 26623803392 6544 33554432000 4194304 4196468 140722309048432 140499593055120 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7213] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7213/stat : 7213 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589193 26623803392 6544 33554432000 4194304 4196468 140722309048432 140499592002320 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7214] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7214/stat : 7214 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589194 26623803392 6544 33554432000 4194304 4196468 140722309048432 140498763172208 140500041611906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7215] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7215/stat : 7215 (java) S 7202 7202 6058 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102589194 26623803392 6544 33554432000 4194304 4196468 140722309048432 140498762118176 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7216] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7216/stat : 7216 (java) S 7202 7202 6058 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102589195 26623803392 6544 33554432000 4194304 4196468 140722309048432 140498761065328 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7217] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7217/stat : 7217 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589197 26623803392 6544 33554432000 4194304 4196468 140722309048432 140498760013648 140500041619355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7218] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7218/stat : 7218 (java) S 7202 7202 6058 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 102589197 26623803392 6544 33554432000 4194304 4196468 140722309048432 140498758962032 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7219] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7219/stat : 7219 (java) R 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589197 26623803392 6544 33554432000 4194304 4196468 140722309048432 140498757909232 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7220] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7220/stat : 7220 (java) R 7202 7202 6058 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 102589197 26623803392 6544 33554432000 4194304 4196468 140722309048432 140498756856432 140500041611906 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7221] ppid=7202 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/7204/task/7221/stat : 7221 (java) R 7202 7202 6058 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 20 0 102589197 26623803392 6544 33554432000 4194304 4196468 140722309048432 140498755803632 140500022838320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7222] ppid=7202 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7222/stat : 7222 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102589197 26623803392 6544 33554432000 4194304 4196468 140722309048432 140498754751072 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7223] ppid=7202 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7204/task/7223/stat : 7223 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589197 26623803392 6544 33554432000 4194304 4196468 140722309048432 140498753698352 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27556 KiB
[startup+0.210202 s]*
/proc/loadavg: 8.62 8.40 8.27 2/201 7223
/proc/meminfo: memFree=31481640/32770624 swapFree=67108860/67108860
[pid=7202] ppid=7199 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7202/stat : 7202 (xcsp3-exec) S 7199 7202 6058 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102589191 9740288 345 33554432000 4194304 5098028 140737240910688 140737240908792 140553713619580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23523328 140737240917093 140737240917303 140737240917303 140737240920043 0
/proc/7202/statm: 2378 345 289 221 0 87 0
[pid=7204] ppid=7202 vsize=26004064 memory=39104 CPUtime=0.33 cores=0-7
/proc/7204/stat : 7204 (java) S 7202 7202 6058 0 -1 1077944320 8310 0 0 0 31 2 0 0 20 0 20 0 102589191 26628161536 9776 33554432000 4194304 4196468 140722309048432 140722309030976 140500041600759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
/proc/7204/statm: 6501016 9776 3072 1 0 6488269 0
[pid=7204/tid=7205] ppid=7202 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7204/task/7205/stat : 7205 (java) D 7202 7202 6058 0 -1 1077944384 5420 0 0 0 18 2 0 0 20 0 20 0 102589192 26628161536 9796 33554432000 4194304 4196468 140722309048432 140500045802448 140500034279981 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7206] ppid=7202 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/7204/task/7206/stat : 7206 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589192 26628161536 9796 33554432000 4194304 4196468 140722309048432 140499994221200 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7207] ppid=7202 vsize=26004064 memory=139708574573472 CPUtime=0 cores=0-7
/proc/7204/task/7207/stat : 7207 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589192 26628161536 9796 33554432000 4194304 4196468 140722309048432 140499993168400 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7208] ppid=7202 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7204/task/7208/stat : 7208 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102589192 26628161536 9796 33554432000 4194304 4196468 140722309048432 140499992115600 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7209] ppid=7202 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7209/stat : 7209 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589193 26628161536 9796 33554432000 4194304 4196468 140722309048432 140499596212496 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7210] ppid=7202 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7210/stat : 7210 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589193 26628161536 9796 33554432000 4194304 4196468 140722309048432 140499595160720 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7211] ppid=7202 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/7204/task/7211/stat : 7211 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589193 26628194304 9796 33554432000 4194304 4196468 140722309048432 140499594107920 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7212] ppid=7202 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7212/stat : 7212 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589193 26628194304 9796 33554432000 4194304 4196468 140722309048432 140499593055120 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7213] ppid=7202 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7213/stat : 7213 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589193 26628161536 9796 33554432000 4194304 4196468 140722309048432 140499592002320 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7214] ppid=7202 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7214/stat : 7214 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589194 26628161536 9796 33554432000 4194304 4196468 140722309048432 140498763172208 140500041611906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7215] ppid=7202 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7215/stat : 7215 (java) S 7202 7202 6058 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102589194 26628161536 9796 33554432000 4194304 4196468 140722309048432 140498762118176 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7216] ppid=7202 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7216/stat : 7216 (java) S 7202 7202 6058 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102589195 26628161536 9796 33554432000 4194304 4196468 140722309048432 140498761065328 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7217] ppid=7202 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7217/stat : 7217 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589197 26628161536 9796 33554432000 4194304 4196468 140722309048432 140498760013648 140500041619355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7218] ppid=7202 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/7204/task/7218/stat : 7218 (java) S 7202 7202 6058 0 -1 1077944384 541 0 0 0 2 0 0 0 20 0 20 0 102589197 26628161536 9796 33554432000 4194304 4196468 140722309048432 140498758962032 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7219] ppid=7202 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7219/stat : 7219 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589197 26628161536 9796 33554432000 4194304 4196468 140722309048432 140498757909232 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7220] ppid=7202 vsize=26004096 memory=-1 CPUtime=0.01 cores=0-7
/proc/7204/task/7220/stat : 7220 (java) S 7202 7202 6058 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 102589197 26628194304 9796 33554432000 4194304 4196468 140722309048432 140498756856432 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7221] ppid=7202 vsize=26004096 memory=-1 CPUtime=0.08 cores=0-7
/proc/7204/task/7221/stat : 7221 (java) S 7202 7202 6058 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 20 0 102589197 26628194304 9796 33554432000 4194304 4196468 140722309048432 140498755803632 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7222] ppid=7202 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7222/stat : 7222 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102589197 26628161536 9796 33554432000 4194304 4196468 140722309048432 140498754751072 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7223] ppid=7202 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7204/task/7223/stat : 7223 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589197 26628161536 9796 33554432000 4194304 4196468 140722309048432 140498753698352 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40484 KiB
[startup+0.310286 s]*
/proc/loadavg: 8.62 8.40 8.27 2/201 7223
/proc/meminfo: memFree=31475064/32770624 swapFree=67108860/67108860
[pid=7202] ppid=7199 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7202/stat : 7202 (xcsp3-exec) S 7199 7202 6058 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102589191 9740288 345 33554432000 4194304 5098028 140737240910688 140737240908792 140553713619580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23523328 140737240917093 140737240917303 140737240917303 140737240920043 0
/proc/7202/statm: 2378 345 289 221 0 87 0
[pid=7204] ppid=7202 vsize=26004140 memory=46396 CPUtime=0.5 cores=0-7
/proc/7204/stat : 7204 (java) S 7202 7202 6058 0 -1 1077944320 9291 0 0 0 47 3 0 0 20 0 20 0 102589191 26628239360 11599 33554432000 4194304 4196468 140722309048432 140722309030976 140500041600759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
/proc/7204/statm: 6501035 11599 3104 1 0 6488269 0
[pid=7204/tid=7205] ppid=7202 vsize=26004140 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7204/task/7205/stat : 7205 (java) R 7202 7202 6058 0 -1 4202560 6191 0 0 0 27 2 0 0 20 0 20 0 102589192 26628239360 11599 33554432000 4194304 4196468 140722309048432 140500045833120 140500021123200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7206] ppid=7202 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7206/stat : 7206 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589192 26628239360 11599 33554432000 4194304 4196468 140722309048432 140499994221200 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7207] ppid=7202 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7207/stat : 7207 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589192 26628239360 11599 33554432000 4194304 4196468 140722309048432 140499993168400 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7208] ppid=7202 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7208/stat : 7208 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102589192 26628239360 11599 33554432000 4194304 4196468 140722309048432 140499992115600 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7209] ppid=7202 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7209/stat : 7209 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589193 26628239360 11599 33554432000 4194304 4196468 140722309048432 140499596212496 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7210] ppid=7202 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/7204/task/7210/stat : 7210 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589193 26628239360 11599 33554432000 4194304 4196468 140722309048432 140499595160720 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7211] ppid=7202 vsize=26004140 memory=139708441129903 CPUtime=0 cores=0-7
/proc/7204/task/7211/stat : 7211 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589193 26628239360 11599 33554432000 4194304 4196468 140722309048432 140499594107920 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7212] ppid=7202 vsize=26004140 memory=139708441132208 CPUtime=0 cores=0-7
/proc/7204/task/7212/stat : 7212 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589193 26628239360 11599 33554432000 4194304 4196468 140722309048432 140499593055120 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7213] ppid=7202 vsize=26004140 memory=139708441134512 CPUtime=0 cores=0-7
/proc/7204/task/7213/stat : 7213 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589193 26628239360 11599 33554432000 4194304 4196468 140722309048432 140499592002320 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7214] ppid=7202 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7214/stat : 7214 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102589194 26628239360 11599 33554432000 4194304 4196468 140722309048432 140498763172208 140500041611906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7215] ppid=7202 vsize=26004140 memory=279416882275984 CPUtime=0 cores=0-7
/proc/7204/task/7215/stat : 7215 (java) S 7202 7202 6058 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102589194 26628239360 11599 33554432000 4194304 4196468 140722309048432 140498762118176 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7216] ppid=7202 vsize=26004140 memory=279416882282896 CPUtime=0 cores=0-7
/proc/7204/task/7216/stat : 7216 (java) S 7202 7202 6058 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102589195 26628239360 11599 33554432000 4194304 4196468 140722309048432 140498761065328 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7217] ppid=7202 vsize=26004140 memory=279416882224176 CPUtime=0 cores=0-7
/proc/7204/task/7217/stat : 7217 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589197 26628239360 11599 33554432000 4194304 4196468 140722309048432 140498760013648 140500041619355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7218] ppid=7202 vsize=26004140 memory=279416882296720 CPUtime=0.03 cores=0-7
/proc/7204/task/7218/stat : 7218 (java) S 7202 7202 6058 0 -1 1077944384 543 0 0 0 3 0 0 0 20 0 20 0 102589197 26628239360 11599 33554432000 4194304 4196468 140722309048432 140498758962032 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7219] ppid=7202 vsize=26004140 memory=279416882303632 CPUtime=0.01 cores=0-7
/proc/7204/task/7219/stat : 7219 (java) S 7202 7202 6058 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 20 0 102589197 26628239360 11599 33554432000 4194304 4196468 140722309048432 140498757909232 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7220] ppid=7202 vsize=26004140 memory=279416882301328 CPUtime=0.03 cores=0-7
/proc/7204/task/7220/stat : 7220 (java) S 7202 7202 6058 0 -1 1077944384 419 0 0 0 3 0 0 0 20 0 20 0 102589197 26628239360 11599 33554432000 4194304 4196468 140722309048432 140498756856432 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7221] ppid=7202 vsize=26004140 memory=279416882317488 CPUtime=0.12 cores=0-7
/proc/7204/task/7221/stat : 7221 (java) S 7202 7202 6058 0 -1 1077944384 826 0 0 0 12 0 0 0 20 0 20 0 102589197 26628239360 11599 33554432000 4194304 4196468 140722309048432 140498755803632 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7222] ppid=7202 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7222/stat : 7222 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102589197 26628239360 11599 33554432000 4194304 4196468 140722309048432 140498754751072 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7223] ppid=7202 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/7204/task/7223/stat : 7223 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102589197 26628239360 11599 33554432000 4194304 4196468 140722309048432 140498753698352 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47776 KiB
[startup+0.700922 s]
/proc/loadavg: 8.62 8.40 8.27 6/201 7223
/proc/meminfo: memFree=31460176/32770624 swapFree=67108860/67108860
[pid=7202] ppid=7199 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7202/stat : 7202 (xcsp3-exec) S 7199 7202 6058 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102589191 9740288 345 33554432000 4194304 5098028 140737240910688 140737240908792 140553713619580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23523328 140737240917093 140737240917303 140737240917303 140737240920043 0
/proc/7202/statm: 2378 345 289 221 0 87 0
[pid=7204] ppid=7202 vsize=26538700 memory=103012 CPUtime=2.19 cores=0-7
/proc/7204/stat : 7204 (java) S 7202 7202 6058 0 -1 1077944320 11999 0 0 0 213 6 0 0 20 0 28 0 102589191 27175628800 25753 33554432000 4194304 4196468 140722309048432 140722309030976 140500041600759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
/proc/7204/statm: 6634675 25753 3221 1 0 6621909 0
[pid=7204/tid=7205] ppid=7202 vsize=26538700 memory=279416882675376 CPUtime=0.54 cores=0-7
/proc/7204/task/7205/stat : 7205 (java) S 7202 7202 6058 0 -1 1077944384 6806 0 0 0 51 3 0 0 20 0 28 0 102589192 27175628800 25753 33554432000 4194304 4196468 140722309048432 140500045841536 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7206] ppid=7202 vsize=26538700 memory=139708441338736 CPUtime=0 cores=0-7
/proc/7204/task/7206/stat : 7206 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102589192 27175628800 25753 33554432000 4194304 4196468 140722309048432 140499994221200 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7207] ppid=7202 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7207/stat : 7207 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102589192 27175628800 25753 33554432000 4194304 4196468 140722309048432 140499993168400 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7208] ppid=7202 vsize=26538700 memory=4612 CPUtime=0 cores=0-7
/proc/7204/task/7208/stat : 7208 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102589192 27175628800 25753 33554432000 4194304 4196468 140722309048432 140499992115600 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
################
# More data... #
################
[pid=7204/tid=7205] ppid=7202 vsize=26605264 memory=8112282956445269571 CPUtime=0.55 cores=0-7
/proc/7204/task/7205/stat : 7205 (java) S 7202 7202 6058 0 -1 1077944384 6809 0 0 0 52 3 0 0 20 0 28 0 102589192 27243790336 49159 33554432000 4194304 4196468 140722309048432 140500045841536 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7206] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7206/stat : 7206 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102589192 27243790336 49159 33554432000 4194304 4196468 140722309048432 140499994221200 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7207] ppid=7202 vsize=26605264 memory=3461501738929223393 CPUtime=0 cores=0-7
/proc/7204/task/7207/stat : 7207 (java) S 7202 7202 6058 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 102589192 27243790336 49159 33554432000 4194304 4196468 140722309048432 140499993168400 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7208] ppid=7202 vsize=26605264 memory=7092396939102325349 CPUtime=0 cores=0-7
/proc/7204/task/7208/stat : 7208 (java) S 7202 7202 6058 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 102589192 27243790336 49159 33554432000 4194304 4196468 140722309048432 140499992115600 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7209] ppid=7202 vsize=26605264 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/7204/task/7209/stat : 7209 (java) S 7202 7202 6058 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49159 33554432000 4194304 4196468 140722309048432 140499596212496 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7210] ppid=7202 vsize=26605264 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/7204/task/7210/stat : 7210 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49159 33554432000 4194304 4196468 140722309048432 140499595160720 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7211] ppid=7202 vsize=26605264 memory=3184097920075968559 CPUtime=0 cores=0-7
/proc/7204/task/7211/stat : 7211 (java) S 7202 7202 6058 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49159 33554432000 4194304 4196468 140722309048432 140499594107920 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7212] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7212/stat : 7212 (java) S 7202 7202 6058 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49159 33554432000 4194304 4196468 140722309048432 140499593055120 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7213] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7213/stat : 7213 (java) S 7202 7202 6058 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49159 33554432000 4194304 4196468 140722309048432 140499592002320 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7214] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7214/stat : 7214 (java) S 7202 7202 6058 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 102589194 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498763172208 140500041611906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7215] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7215/stat : 7215 (java) S 7202 7202 6058 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 102589194 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498762118176 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7216] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7216/stat : 7216 (java) S 7202 7202 6058 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 102589195 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498761065328 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7217] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7217/stat : 7217 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102589197 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498760013648 140500041619355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7218] ppid=7202 vsize=26605264 memory=0 CPUtime=1.22 cores=0-7
/proc/7204/task/7218/stat : 7218 (java) S 7202 7202 6058 0 -1 1077944384 2578 0 0 0 122 0 0 0 20 0 28 0 102589197 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498758962032 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7219] ppid=7202 vsize=26605264 memory=139708441496451 CPUtime=1.12 cores=0-7
/proc/7204/task/7219/stat : 7219 (java) S 7202 7202 6058 0 -1 1077944384 2723 0 0 0 112 0 0 0 20 0 28 0 102589197 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498757909232 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7220] ppid=7202 vsize=26605264 memory=0 CPUtime=1.06 cores=0-7
/proc/7204/task/7220/stat : 7220 (java) S 7202 7202 6058 0 -1 1077944384 2322 0 0 0 106 0 0 0 20 0 28 0 102589197 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498756856432 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7221] ppid=7202 vsize=26605264 memory=0 CPUtime=0.51 cores=0-7
/proc/7204/task/7221/stat : 7221 (java) S 7202 7202 6058 0 -1 1077944384 2114 0 0 0 51 0 0 0 20 0 28 0 102589197 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498755803632 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7222] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7222/stat : 7222 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102589197 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498754751072 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7223] ppid=7202 vsize=26605264 memory=3328785988153651248 CPUtime=0 cores=0-7
/proc/7204/task/7223/stat : 7223 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102589197 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498753698352 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7368] ppid=7202 vsize=26605264 memory=-1 CPUtime=0.05 cores=0-7
/proc/7204/task/7368/stat : 7368 (java) R 7202 7202 6058 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 28 0 102589387 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498742533000 140499675428362 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7369] ppid=7202 vsize=26605264 memory=2110059048451860 CPUtime=0.05 cores=0-7
/proc/7204/task/7369/stat : 7369 (java) R 7202 7202 6058 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 28 0 102589387 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498745686976 140499677355681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7370] ppid=7202 vsize=26605264 memory=279416882365800 CPUtime=0.05 cores=0-7
/proc/7204/task/7370/stat : 7370 (java) R 7202 7202 6058 0 -1 4202560 16 0 0 0 5 0 0 0 20 0 28 0 102589387 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498737266776 140499676642525 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7371] ppid=7202 vsize=26605264 memory=288230591772754244 CPUtime=0.04 cores=0-7
/proc/7204/task/7371/stat : 7371 (java) R 7202 7202 6058 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 28 0 102589387 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498743583448 140499675681739 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7372] ppid=7202 vsize=26605264 memory=14128970102740226 CPUtime=0.05 cores=0-7
/proc/7204/task/7372/stat : 7372 (java) R 7202 7202 6058 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 28 0 102589387 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498744634944 140499677073517 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7373] ppid=7202 vsize=26605264 memory=0 CPUtime=0.04 cores=0-7
/proc/7204/task/7373/stat : 7373 (java) R 7202 7202 6058 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 28 0 102589387 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498738326728 140499675682055 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7374] ppid=7202 vsize=26605264 memory=0 CPUtime=0.04 cores=0-7
/proc/7204/task/7374/stat : 7374 (java) R 7202 7202 6058 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 28 0 102589387 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498741484616 140499676769283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7375] ppid=7202 vsize=26605264 memory=0 CPUtime=0.01 cores=0-7
/proc/7204/task/7375/stat : 7375 (java) R 7202 7202 6058 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 102589387 27243790336 49159 33554432000 4194304 4196468 140722309048432 140498739372448 140500041610965 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
Current children cumulated CPU time: 12.06 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 198016 KiB
[startup+2.40741 s]
/proc/loadavg: 8.62 8.40 8.27 10/209 7375
/proc/meminfo: memFree=31324140/32770624 swapFree=67108860/67108860
[pid=7202] ppid=7199 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7202/stat : 7202 (xcsp3-exec) S 7199 7202 6058 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102589191 9740288 345 33554432000 4194304 5098028 140737240910688 140737240908792 140553713619580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23523328 140737240917093 140737240917303 140737240917303 140737240920043 0
/proc/7202/statm: 2378 345 289 221 0 87 0
[pid=7204] ppid=7202 vsize=26605264 memory=199148 CPUtime=15.16 cores=0-7
/proc/7204/stat : 7204 (java) S 7202 7202 6058 0 -1 1077944320 21242 0 0 0 1504 12 0 0 20 0 28 0 102589191 27243790336 49787 33554432000 4194304 4196468 140722309048432 140722309030976 140500041600759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
/proc/7204/statm: 6651316 49787 3246 1 0 6638550 0
[pid=7204/tid=7205] ppid=7202 vsize=26605264 memory=7306081389083060584 CPUtime=0.55 cores=0-7
/proc/7204/task/7205/stat : 7205 (java) S 7202 7202 6058 0 -1 1077944384 6809 0 0 0 52 3 0 0 20 0 28 0 102589192 27243790336 49787 33554432000 4194304 4196468 140722309048432 140500045841536 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7206] ppid=7202 vsize=26605264 memory=7306081389083060584 CPUtime=0 cores=0-7
/proc/7204/task/7206/stat : 7206 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102589192 27243790336 49787 33554432000 4194304 4196468 140722309048432 140499994221200 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7207] ppid=7202 vsize=26605264 memory=5938366112995054502 CPUtime=0 cores=0-7
/proc/7204/task/7207/stat : 7207 (java) S 7202 7202 6058 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 102589192 27243790336 49787 33554432000 4194304 4196468 140722309048432 140499993168400 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7208] ppid=7202 vsize=26605264 memory=1380 CPUtime=0 cores=0-7
/proc/7204/task/7208/stat : 7208 (java) S 7202 7202 6058 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 102589192 27243790336 49787 33554432000 4194304 4196468 140722309048432 140499992115600 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7209] ppid=7202 vsize=26605264 memory=181636 CPUtime=0 cores=0-7
/proc/7204/task/7209/stat : 7209 (java) S 7202 7202 6058 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49787 33554432000 4194304 4196468 140722309048432 140499596212496 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7210] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7210/stat : 7210 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49787 33554432000 4194304 4196468 140722309048432 140499595160720 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7211] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7211/stat : 7211 (java) S 7202 7202 6058 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49787 33554432000 4194304 4196468 140722309048432 140499594107920 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7212] ppid=7202 vsize=26605264 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/7204/task/7212/stat : 7212 (java) S 7202 7202 6058 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49787 33554432000 4194304 4196468 140722309048432 140499593055120 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7213] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7213/stat : 7213 (java) S 7202 7202 6058 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49787 33554432000 4194304 4196468 140722309048432 140499592002320 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7214] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7214/stat : 7214 (java) S 7202 7202 6058 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 102589194 27243790336 49787 33554432000 4194304 4196468 140722309048432 140498763172208 140500041611906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7215] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7215/stat : 7215 (java) S 7202 7202 6058 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 102589194 27243790336 49787 33554432000 4194304 4196468 140722309048432 140498762118176 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7216] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7216/stat : 7216 (java) S 7202 7202 6058 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 102589195 27243790336 49787 33554432000 4194304 4196468 140722309048432 140498761065328 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7217] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7217/stat : 7217 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102589197 27243790336 49787 33554432000 4194304 4196468 140722309048432 140498760013648 140500041619355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7218] ppid=7202 vsize=26605264 memory=0 CPUtime=1.37 cores=0-7
/proc/7204/task/7218/stat : 7218 (java) R 7202 7202 6058 0 -1 4202560 2599 0 0 0 137 0 0 0 20 0 28 0 102589197 27243790336 49787 33554432000 4194304 4196468 140722309048432 140498758962328 140500025087568 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7219] ppid=7202 vsize=26605264 memory=0 CPUtime=1.28 cores=0-7
/proc/7204/task/7219/stat : 7219 (java) R 7202 7202 6058 0 -1 1077944384 2742 0 0 0 127 1 0 0 20 0 28 0 102589197 27243790336 49787 33554432000 4194304 4196468 140722309048432 140498757899024 140500041610965 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7220] ppid=7202 vsize=26605264 memory=0 CPUtime=1.19 cores=0-7
/proc/7204/task/7220/stat : 7220 (java) S 7202 7202 6058 0 -1 1077944384 2350 0 0 0 119 0 0 0 20 0 28 0 102589197 27243790336 49787 33554432000 4194304 4196468 140722309048432 140498756856432 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7221] ppid=7202 vsize=26605264 memory=1380 CPUtime=0.54 cores=0-7
/proc/7204/task/7221/stat : 7221 (java) S 7202 7202 6058 0 -1 1077944384 2153 0 0 0 54 0 0 0 20 0 28 0 102589197 27243790336 49787 33554432000 4194304 4196468 140722309048432 140498755803632 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7222] ppid=7202 vsize=26605264 memory=191924 CPUtime=0 cores=0-7
/proc/7204/task/7222/stat : 7222 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102589197 27243790336 49787 33554432000 4194304 4196468 140722309048432 140498754751072 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7223] ppid=7202 vsize=26605264 memory=7681905605394137914 CPUtime=0 cores=0-7
/proc/7204/task/7223/stat : 7223 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102589197 27243790336 49787 33554432000 4194304 4196468 140722309048432 140498753698352 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
Current children cumulated CPU time: 15.16 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 200528 KiB
[startup+2.5014 s]
/proc/loadavg: 8.62 8.40 8.27 10/209 7375
/proc/meminfo: memFree=31324140/32770624 swapFree=67108860/67108860
[pid=7202] ppid=7199 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/7202/stat : 7202 (xcsp3-exec) S 7199 7202 6058 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102589191 9740288 345 33554432000 4194304 5098028 140737240910688 140737240908792 140553713619580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23523328 140737240917093 140737240917303 140737240917303 140737240920043 0
/proc/7202/statm: 2378 345 289 221 0 87 0
[pid=7204] ppid=7202 vsize=26605264 memory=199228 CPUtime=15.86 cores=0-7
/proc/7204/stat : 7204 (java) S 7202 7202 6058 0 -1 1077944320 21535 0 0 0 1574 12 0 0 20 0 28 0 102589191 27243790336 49807 33554432000 4194304 4196468 140722309048432 140722309030976 140500041600759 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
/proc/7204/statm: 6651316 49807 3246 1 0 6638550 0
[pid=7204/tid=7205] ppid=7202 vsize=26605264 memory=188712 CPUtime=0.55 cores=0-7
/proc/7204/task/7205/stat : 7205 (java) S 7202 7202 6058 0 -1 1077944384 6809 0 0 0 52 3 0 0 20 0 28 0 102589192 27243790336 49807 33554432000 4194304 4196468 140722309048432 140500045841536 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7206] ppid=7202 vsize=26605264 memory=279416882155072 CPUtime=0 cores=0-7
/proc/7204/task/7206/stat : 7206 (java) S 7202 7202 6058 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 102589192 27243790336 49807 33554432000 4194304 4196468 140722309048432 140499994221200 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7207] ppid=7202 vsize=26605264 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/7204/task/7207/stat : 7207 (java) S 7202 7202 6058 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 102589192 27243790336 49807 33554432000 4194304 4196468 140722309048432 140499993168400 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7208] ppid=7202 vsize=26605264 memory=56 CPUtime=0 cores=0-7
/proc/7204/task/7208/stat : 7208 (java) S 7202 7202 6058 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 102589192 27243790336 49807 33554432000 4194304 4196468 140722309048432 140499992115600 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7209] ppid=7202 vsize=26605264 memory=7660737742336714084 CPUtime=0 cores=0-7
/proc/7204/task/7209/stat : 7209 (java) S 7202 7202 6058 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49807 33554432000 4194304 4196468 140722309048432 140499596212496 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7210] ppid=7202 vsize=26605264 memory=7660737742336714084 CPUtime=0 cores=0-7
/proc/7204/task/7210/stat : 7210 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49807 33554432000 4194304 4196468 140722309048432 140499595160720 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7211] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7211/stat : 7211 (java) S 7202 7202 6058 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49807 33554432000 4194304 4196468 140722309048432 140499594107920 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7212] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7212/stat : 7212 (java) S 7202 7202 6058 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49807 33554432000 4194304 4196468 140722309048432 140499593055120 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7213] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7213/stat : 7213 (java) S 7202 7202 6058 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 102589193 27243790336 49807 33554432000 4194304 4196468 140722309048432 140499592002320 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7214] ppid=7202 vsize=26605264 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/7204/task/7214/stat : 7214 (java) S 7202 7202 6058 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 102589194 27243790336 49807 33554432000 4194304 4196468 140722309048432 140498763172208 140500041611906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7215] ppid=7202 vsize=26605264 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/7204/task/7215/stat : 7215 (java) S 7202 7202 6058 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 102589194 27243790336 49807 33554432000 4194304 4196468 140722309048432 140498762118176 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7216] ppid=7202 vsize=26605264 memory=14972256832981423 CPUtime=0 cores=0-7
/proc/7204/task/7216/stat : 7216 (java) S 7202 7202 6058 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 102589195 27243790336 49807 33554432000 4194304 4196468 140722309048432 140498761065328 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7217] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7217/stat : 7217 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102589197 27243790336 49807 33554432000 4194304 4196468 140722309048432 140498760013648 140500041619355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7218] ppid=7202 vsize=26605264 memory=0 CPUtime=1.43 cores=0-7
/proc/7204/task/7218/stat : 7218 (java) R 7202 7202 6058 0 -1 1077944384 2611 0 0 0 143 0 0 0 20 0 28 0 102589197 27243790336 49807 33554432000 4194304 4196468 140722309048432 140498758962032 140500041611906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7219] ppid=7202 vsize=26605264 memory=56 CPUtime=1.31 cores=0-7
/proc/7204/task/7219/stat : 7219 (java) S 7202 7202 6058 0 -1 1077944384 2746 0 0 0 130 1 0 0 20 0 28 0 102589197 27243790336 49807 33554432000 4194304 4196468 140722309048432 140498757909232 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7220] ppid=7202 vsize=26605264 memory=3284 CPUtime=1.22 cores=0-7
/proc/7204/task/7220/stat : 7220 (java) R 7202 7202 6058 0 -1 4202560 2355 0 0 0 122 0 0 0 20 0 28 0 102589197 27243790336 49807 33554432000 4194304 4196468 140722309048432 140498756842976 140500023144935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7221] ppid=7202 vsize=26605264 memory=22756 CPUtime=0.54 cores=0-7
/proc/7204/task/7221/stat : 7221 (java) S 7202 7202 6058 0 -1 1077944384 2157 0 0 0 54 0 0 0 20 0 28 0 102589197 27243790336 49807 33554432000 4194304 4196468 140722309048432 140498755803632 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7222] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7222/stat : 7222 (java) S 7202 7202 6058 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102589197 27243790336 49807 33554432000 4194304 4196468 140722309048432 140498754751072 140500041610965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
[pid=7204/tid=7223] ppid=7202 vsize=26605264 memory=0 CPUtime=0 cores=0-7
/proc/7204/task/7223/stat : 7223 (java) S 7202 7202 6058 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102589197 27243790336 49807 33554432000 4194304 4196468 140722309048432 140498753698352 140500041611906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9572352 140722309051538 140722309051715 140722309051715 140722309054415 0
Current children cumulated CPU time: 15.86 s
Current children cumulated vsize: 26614776 KiB
Current children cumulated memory: 200608 KiB
Child status: 0
Real time (s): 2.52371
CPU time (s): 15.9863
CPU user time (s): 15.8567
CPU system time (s): 0.12962
CPU usage (%): 633.443
Max. virtual memory (cumulated for all children) (KiB): 26614776
Max. memory (cumulated for all children) (KiB): 200608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.8567
system time used= 0.12962
maximum resident set size= 200212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4713
involuntary context switches= 397
# summary of solver processes directly reported to runsolver:
# pid: 7202
# total CPU time (s): 15.9863
# total CPU user time (s): 15.8567
# total CPU system time (s): 0.12962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040434 second user time and 0.070806 second system time
The end
Begin job on node113 at 2017-08-14 09:02:37
IDJOB=4270661
IDBENCH=123097
IDSOLVER=2662
FILE ID=node113/4270661-1502695016
RUNJOBID= node113-1502689102-6085
PBS_JOBID= 20628996
Free space on /tmp= 61788 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-chr20b.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270661-1502695016/watcher-4270661-1502695016 -o /tmp/evaluation-result-4270661-1502695016/solver-4270661-1502695016 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502689102-6085 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 187054724 HOME/instance-4270661-1502695016.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 260fd80204e0f144bd4a5efeedc28067
RANDOM SEED=187054724
node113.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.89
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.89
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.89
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.89
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: 31508956 kB
MemAvailable: 31974096 kB
Buffers: 161080 kB
Cached: 579956 kB
SwapCached: 0 kB
Active: 577044 kB
Inactive: 217116 kB
Active(anon): 3488 kB
Inactive(anon): 77672 kB
Active(file): 573556 kB
Inactive(file): 139444 kB
Unevictable: 6588 kB
Mlocked: 6588 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7668 kB
Writeback: 0 kB
AnonPages: 57620 kB
Mapped: 44128 kB
Shmem: 25224 kB
Slab: 161792 kB
SReclaimable: 135948 kB
SUnreclaim: 25844 kB
KernelStack: 3280 kB
PageTables: 4480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61780 MiB
End job on node113 at 2017-08-14 09:02:40