0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404339-1568996598.xml" -tl '20160s' -p 8
0.13/0.18 c Choco 3fb4b153
0.13/0.18 c [HOME/instance-4404339-1568996598.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.28 c parse instance...
4.30/1.23 c solve instance...
545.06/69.19 s SATISFIABLE
545.06/69.19 v <instantiation>
545.06/69.19 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] </list>
545.06/69.19 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 </values>
545.06/69.19 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 (7120 MiB free)
memory of node 1: 16384 MiB (3583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404339-1568996598/watcher-4404339-1568996598 -o /var/tmp/evaluation-result-4404339-1568996598/solver-4404339-1568996598 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1568994030-7876 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 233118721 HOME/instance-4404339-1568996598.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=8297, runsolver pid=8294
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 7.91 8.18 8.23 2/212 8318
/proc/meminfo: memFree=10945788/32770624 swapFree=66997204/67108860
[pid=8297] ppid=8294 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8297/stat : 8297 (xcsp3-exec) S 8294 8297 7849 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475598203 115843072 363 33554432000 4194304 5098028 140737160218096 140737160216200 139882310021756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27107328 140737160225618 140737160225877 140737160225877 140737160228806 0
/proc/8297/statm: 28282 363 304 221 0 87 0
[pid=8299] ppid=8297 vsize=28227396 memory=28908 CPUtime=0.13 cores=0-7
/proc/8299/stat : 8299 (java) S 8297 8297 7849 0 -1 1077944320 5702 0 0 0 11 2 0 0 20 0 20 0 475598203 28904853504 7227 33554432000 4194304 4196468 140736909575824 140736909558368 140583894974199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
/proc/8299/statm: 7056849 7227 3118 1 0 7019032 0
[pid=8299/tid=8300] ppid=8297 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/8299/task/8300/stat : 8300 (java) R 8297 8297 7849 0 -1 4202560 3611 0 0 0 8 1 0 0 20 0 20 0 475598204 28904853504 7227 33554432000 4194304 4196468 140736909575824 140583899203376 140583872984993 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8301] ppid=8297 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8299/task/8301/stat : 8301 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 7227 33554432000 4194304 4196468 140736909575824 140583814826768 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8302] ppid=8297 vsize=28227396 memory=140491707905664 CPUtime=0 cores=0-7
/proc/8299/task/8302/stat : 8302 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 7227 33554432000 4194304 4196468 140736909575824 140583813774224 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8303] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8303/stat : 8303 (java) S 8297 8297 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 7227 33554432000 4194304 4196468 140736909575824 140583812721680 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8304] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8304/stat : 8304 (java) S 8297 8297 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 7227 33554432000 4194304 4196468 140736909575824 140583811669136 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8305] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8305/stat : 8305 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 7227 33554432000 4194304 4196468 140736909575824 140583810615568 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8306] ppid=8297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8306/stat : 8306 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 7227 33554432000 4194304 4196468 140736909575824 140583441127824 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8307] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8307/stat : 8307 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 7227 33554432000 4194304 4196468 140736909575824 140583440075280 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8308] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8308/stat : 8308 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 7227 33554432000 4194304 4196468 140736909575824 140583439022736 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8309] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8309/stat : 8309 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598206 28904853504 7227 33554432000 4194304 4196468 140736909575824 140582560500208 140583894985346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8310] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8310/stat : 8310 (java) S 8297 8297 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475598207 28904853504 7293 33554432000 4194304 4196468 140736909575824 140582559446432 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8311] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8311/stat : 8311 (java) S 8297 8297 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475598207 28904853504 7293 33554432000 4194304 4196468 140736909575824 140582558393840 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8312] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8312/stat : 8312 (java) S 8297 8297 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598209 28904853504 7293 33554432000 4194304 4196468 140736909575824 140582557342416 140583894992795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8313] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8313/stat : 8313 (java) S 8297 8297 7849 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 475598209 28904853504 7293 33554432000 4194304 4196468 140736909575824 140582556289008 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8314] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8314/stat : 8314 (java) R 8297 8297 7849 0 -1 4202560 136 0 0 0 0 0 0 0 20 0 20 0 475598209 28904853504 7293 33554432000 4194304 4196468 140736909575824 140582555236464 140583880392144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8315] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8315/stat : 8315 (java) S 8297 8297 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598209 28904853504 7293 33554432000 4194304 4196468 140736909575824 140582554183920 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8316] ppid=8297 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/8299/task/8316/stat : 8316 (java) R 8297 8297 7849 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 475598209 28904853504 7293 33554432000 4194304 4196468 140736909575824 140582553131376 140583894986134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8317] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8317/stat : 8317 (java) S 8297 8297 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598209 28904853504 7293 33554432000 4194304 4196468 140736909575824 140582552079072 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8318] ppid=8297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8318/stat : 8318 (java) S 8297 8297 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598210 28904853504 7293 33554432000 4194304 4196468 140736909575824 140582551026608 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30360 KiB
[startup+0.210837 s]*
/proc/loadavg: 7.91 8.18 8.23 3/212 8318
/proc/meminfo: memFree=10932144/32770624 swapFree=66997204/67108860
[pid=8297] ppid=8294 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8297/stat : 8297 (xcsp3-exec) S 8294 8297 7849 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475598203 115843072 363 33554432000 4194304 5098028 140737160218096 140737160216200 139882310021756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27107328 140737160225618 140737160225877 140737160225877 140737160228806 0
/proc/8297/statm: 28282 363 304 221 0 87 0
[pid=8299] ppid=8297 vsize=28227396 memory=40964 CPUtime=0.33 cores=0-7
/proc/8299/stat : 8299 (java) S 8297 8297 7849 0 -1 1077944320 9510 0 0 0 29 4 0 0 20 0 20 0 475598203 28904853504 10241 33554432000 4194304 4196468 140736909575824 140736909558368 140583894974199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
/proc/8299/statm: 7056849 10241 3281 1 0 7019032 0
[pid=8299/tid=8300] ppid=8297 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8299/task/8300/stat : 8300 (java) R 8297 8297 7849 0 -1 4202560 6641 0 0 0 17 2 0 0 20 0 20 0 475598204 28904853504 10241 33554432000 4194304 4196468 140736909575824 140583899213200 140583879054686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8301] ppid=8297 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/8299/task/8301/stat : 8301 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 10241 33554432000 4194304 4196468 140736909575824 140583814826768 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8302] ppid=8297 vsize=28227396 memory=140491707914214 CPUtime=0 cores=0-7
/proc/8299/task/8302/stat : 8302 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 10241 33554432000 4194304 4196468 140736909575824 140583813774224 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8303] ppid=8297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8303/stat : 8303 (java) S 8297 8297 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 10241 33554432000 4194304 4196468 140736909575824 140583812721680 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8304] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8304/stat : 8304 (java) S 8297 8297 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 10241 33554432000 4194304 4196468 140736909575824 140583811669136 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8305] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8305/stat : 8305 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 10241 33554432000 4194304 4196468 140736909575824 140583810615568 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8306] ppid=8297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8306/stat : 8306 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 10241 33554432000 4194304 4196468 140736909575824 140583441127824 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8307] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8307/stat : 8307 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 10241 33554432000 4194304 4196468 140736909575824 140583440075280 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8308] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8308/stat : 8308 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28904853504 10241 33554432000 4194304 4196468 140736909575824 140583439022736 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8309] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8309/stat : 8309 (java) S 8297 8297 7849 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475598206 28904853504 10241 33554432000 4194304 4196468 140736909575824 140582560500208 140583894985346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8310] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8310/stat : 8310 (java) S 8297 8297 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475598207 28904853504 10241 33554432000 4194304 4196468 140736909575824 140582559446432 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8311] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8311/stat : 8311 (java) S 8297 8297 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475598207 28904853504 10241 33554432000 4194304 4196468 140736909575824 140582558393840 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8312] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8312/stat : 8312 (java) S 8297 8297 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598209 28904853504 10241 33554432000 4194304 4196468 140736909575824 140582557342416 140583894992795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8313] ppid=8297 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/8299/task/8313/stat : 8313 (java) S 8297 8297 7849 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 475598209 28904853504 10241 33554432000 4194304 4196468 140736909575824 140582556289008 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8314] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8314/stat : 8314 (java) S 8297 8297 7849 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 20 0 475598209 28904853504 10241 33554432000 4194304 4196468 140736909575824 140582555236464 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8315] ppid=8297 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/8299/task/8315/stat : 8315 (java) S 8297 8297 7849 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 475598209 28904853504 10241 33554432000 4194304 4196468 140736909575824 140582554183920 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8316] ppid=8297 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/8299/task/8316/stat : 8316 (java) R 8297 8297 7849 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 20 0 475598209 28904853504 10241 33554432000 4194304 4196468 140736909575824 140582553131184 140583876229580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8317] ppid=8297 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8317/stat : 8317 (java) S 8297 8297 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598209 28904853504 10241 33554432000 4194304 4196468 140736909575824 140582552079072 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8318] ppid=8297 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8318/stat : 8318 (java) S 8297 8297 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598210 28904853504 10241 33554432000 4194304 4196468 140736909575824 140582551026608 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42416 KiB
[startup+0.321001 s]*
/proc/loadavg: 7.91 8.18 8.23 2/212 8318
/proc/meminfo: memFree=10924976/32770624 swapFree=66997204/67108860
[pid=8297] ppid=8294 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8297/stat : 8297 (xcsp3-exec) S 8294 8297 7849 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475598203 115843072 363 33554432000 4194304 5098028 140737160218096 140737160216200 139882310021756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27107328 140737160225618 140737160225877 140737160225877 140737160228806 0
/proc/8297/statm: 28282 363 304 221 0 87 0
[pid=8299] ppid=8297 vsize=28231652 memory=50036 CPUtime=0.51 cores=0-7
/proc/8299/stat : 8299 (java) S 8297 8297 7849 0 -1 1077944320 10898 0 0 0 46 5 0 0 20 0 20 0 475598203 28909211648 12509 33554432000 4194304 4196468 140736909575824 140736909558368 140583894974199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
/proc/8299/statm: 7057913 12509 3316 1 0 7019032 0
[pid=8299/tid=8300] ppid=8297 vsize=28231652 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/8299/task/8300/stat : 8300 (java) R 8297 8297 7849 0 -1 4202560 7914 0 0 0 27 3 0 0 20 0 20 0 475598204 28909211648 12509 33554432000 4194304 4196468 140736909575824 140583899211088 140583894996125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8301] ppid=8297 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8301/stat : 8301 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28909211648 12509 33554432000 4194304 4196468 140736909575824 140583814826768 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8302] ppid=8297 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8302/stat : 8302 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28909211648 12509 33554432000 4194304 4196468 140736909575824 140583813774224 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8303] ppid=8297 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8303/stat : 8303 (java) S 8297 8297 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598205 28909211648 12509 33554432000 4194304 4196468 140736909575824 140583812721680 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8304] ppid=8297 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8304/stat : 8304 (java) S 8297 8297 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598205 28909211648 12509 33554432000 4194304 4196468 140736909575824 140583811669136 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8305] ppid=8297 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/8299/task/8305/stat : 8305 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28909211648 12509 33554432000 4194304 4196468 140736909575824 140583810615568 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8306] ppid=8297 vsize=28231652 memory=140491601572783 CPUtime=0 cores=0-7
/proc/8299/task/8306/stat : 8306 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28909211648 12509 33554432000 4194304 4196468 140736909575824 140583441127824 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8307] ppid=8297 vsize=28231652 memory=140491601575088 CPUtime=0 cores=0-7
/proc/8299/task/8307/stat : 8307 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28909211648 12509 33554432000 4194304 4196468 140736909575824 140583440075280 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8308] ppid=8297 vsize=28231652 memory=140491601577392 CPUtime=0 cores=0-7
/proc/8299/task/8308/stat : 8308 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28909211648 12509 33554432000 4194304 4196468 140736909575824 140583439022736 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8309] ppid=8297 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8309/stat : 8309 (java) S 8297 8297 7849 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475598206 28909211648 12509 33554432000 4194304 4196468 140736909575824 140582560500208 140583894985346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8310] ppid=8297 vsize=28231652 memory=280983203161744 CPUtime=0 cores=0-7
/proc/8299/task/8310/stat : 8310 (java) S 8297 8297 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475598207 28909211648 12509 33554432000 4194304 4196468 140736909575824 140582559446432 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8311] ppid=8297 vsize=28231652 memory=280983203168656 CPUtime=0 cores=0-7
/proc/8299/task/8311/stat : 8311 (java) S 8297 8297 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475598207 28909211648 12509 33554432000 4194304 4196468 140736909575824 140582558393840 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8312] ppid=8297 vsize=28231652 memory=280983203109808 CPUtime=0 cores=0-7
/proc/8299/task/8312/stat : 8312 (java) S 8297 8297 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598209 28909211648 12509 33554432000 4194304 4196468 140736909575824 140582557342416 140583894992795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8313] ppid=8297 vsize=28231652 memory=280983203182480 CPUtime=0.02 cores=0-7
/proc/8299/task/8313/stat : 8313 (java) S 8297 8297 7849 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 20 0 475598209 28909211648 12509 33554432000 4194304 4196468 140736909575824 140582556289008 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8314] ppid=8297 vsize=28231652 memory=280983203189392 CPUtime=0.01 cores=0-7
/proc/8299/task/8314/stat : 8314 (java) S 8297 8297 7849 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 20 0 475598209 28909211648 12509 33554432000 4194304 4196468 140736909575824 140582555236464 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8315] ppid=8297 vsize=28231652 memory=280983203187088 CPUtime=0.02 cores=0-7
/proc/8299/task/8315/stat : 8315 (java) S 8297 8297 7849 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 475598209 28909211648 12509 33554432000 4194304 4196468 140736909575824 140582554183920 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8316] ppid=8297 vsize=28231652 memory=280983203203248 CPUtime=0.12 cores=0-7
/proc/8299/task/8316/stat : 8316 (java) S 8297 8297 7849 0 -1 1077944384 863 0 0 0 12 0 0 0 20 0 20 0 475598209 28909211648 12509 33554432000 4194304 4196468 140736909575824 140582553131376 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8317] ppid=8297 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8317/stat : 8317 (java) S 8297 8297 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598209 28909211648 12509 33554432000 4194304 4196468 140736909575824 140582552079072 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8318] ppid=8297 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/8299/task/8318/stat : 8318 (java) S 8297 8297 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475598210 28909211648 12509 33554432000 4194304 4196468 140736909575824 140582551026608 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51488 KiB
[startup+0.701014 s]
/proc/loadavg: 7.91 8.18 8.23 2/212 8318
/proc/meminfo: memFree=10913640/32770624 swapFree=66997204/67108860
[pid=8297] ppid=8294 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8297/stat : 8297 (xcsp3-exec) S 8294 8297 7849 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475598203 115843072 363 33554432000 4194304 5098028 140737160218096 140737160216200 139882310021756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27107328 140737160225618 140737160225877 140737160225877 140737160228806 0
/proc/8297/statm: 28282 363 304 221 0 87 0
[pid=8299] ppid=8297 vsize=28233776 memory=102244 CPUtime=1.75 cores=0-7
/proc/8299/stat : 8299 (java) S 8297 8297 7849 0 -1 1077944320 15201 0 0 0 167 8 0 0 20 0 20 0 475598203 28911386624 25561 33554432000 4194304 4196468 140736909575824 140736909558368 140583894974199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
/proc/8299/statm: 7058444 25561 3460 1 0 7019544 0
[pid=8299/tid=8300] ppid=8297 vsize=28233776 memory=280983203561136 CPUtime=0.67 cores=0-7
/proc/8299/task/8300/stat : 8300 (java) R 8297 8297 7849 0 -1 4202560 9250 0 0 0 63 4 0 0 20 0 20 0 475598204 28911386624 25561 33554432000 4194304 4196468 140736909575824 140583899211904 140583490435701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8301] ppid=8297 vsize=28233776 memory=140491601781616 CPUtime=0 cores=0-7
/proc/8299/task/8301/stat : 8301 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28911386624 25561 33554432000 4194304 4196468 140736909575824 140583814826768 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8302] ppid=8297 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/8299/task/8302/stat : 8302 (java) S 8297 8297 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475598205 28911386624 25561 33554432000 4194304 4196468 140736909575824 140583813774224 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8303] ppid=8297 vsize=28233776 memory=6016 CPUtime=0 cores=0-7
/proc/8299/task/8303/stat : 8303 (java) S 8297 8297 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475598205 28911386624 25561 33554432000 4194304 4196468 140736909575824 140583812721680 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
################
# More data... #
################
[pid=8299/tid=8307] ppid=8297 vsize=28768336 memory=54612 CPUtime=0.36 cores=0-7
/proc/8299/task/8307/stat : 8307 (java) S 8297 8297 7849 0 -1 1077944384 773 0 0 0 28 8 0 0 20 0 28 0 475598205 29458776064 887751 33554432000 4194304 4196468 140736909575824 140583440075280 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8308] ppid=8297 vsize=28768336 memory=988 CPUtime=0.36 cores=0-7
/proc/8299/task/8308/stat : 8308 (java) S 8297 8297 7849 0 -1 1077944384 1832 0 0 0 28 8 0 0 20 0 28 0 475598205 29458776064 887751 33554432000 4194304 4196468 140736909575824 140583439022736 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8309] ppid=8297 vsize=28768336 memory=2016 CPUtime=0.03 cores=0-7
/proc/8299/task/8309/stat : 8309 (java) S 8297 8297 7849 0 -1 1077944384 3625 0 0 0 2 1 0 0 20 0 28 0 475598206 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582560500208 140583894985346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8310] ppid=8297 vsize=28768336 memory=1424 CPUtime=0 cores=0-7
/proc/8299/task/8310/stat : 8310 (java) S 8297 8297 7849 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475598207 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582559446496 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8311] ppid=8297 vsize=28768336 memory=1540 CPUtime=0 cores=0-7
/proc/8299/task/8311/stat : 8311 (java) S 8297 8297 7849 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475598207 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582558393856 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8312] ppid=8297 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/8299/task/8312/stat : 8312 (java) S 8297 8297 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475598209 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582557342416 140583894992795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8313] ppid=8297 vsize=28768336 memory=3551004 CPUtime=1.6 cores=0-7
/proc/8299/task/8313/stat : 8313 (java) S 8297 8297 7849 0 -1 1077944384 6857 0 0 0 158 2 0 0 20 0 28 0 475598209 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582556289008 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8314] ppid=8297 vsize=28768336 memory=1452 CPUtime=1.65 cores=0-7
/proc/8299/task/8314/stat : 8314 (java) S 8297 8297 7849 0 -1 1077944384 8106 0 0 0 162 3 0 0 20 0 28 0 475598209 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582555236464 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8315] ppid=8297 vsize=28768336 memory=3551004 CPUtime=1.41 cores=0-7
/proc/8299/task/8315/stat : 8315 (java) S 8297 8297 7849 0 -1 1077944384 6094 0 0 0 139 2 0 0 20 0 28 0 475598209 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582554183920 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8316] ppid=8297 vsize=28768336 memory=3551004 CPUtime=0.78 cores=0-7
/proc/8299/task/8316/stat : 8316 (java) S 8297 8297 7849 0 -1 1077944384 4425 0 0 0 77 1 0 0 20 0 28 0 475598209 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582553131376 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8317] ppid=8297 vsize=28768336 memory=2016 CPUtime=0 cores=0-7
/proc/8299/task/8317/stat : 8317 (java) S 8297 8297 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475598209 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582552079072 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8318] ppid=8297 vsize=28768336 memory=1424 CPUtime=0.02 cores=0-7
/proc/8299/task/8318/stat : 8318 (java) S 8297 8297 7849 0 -1 1077944384 516 0 0 0 0 2 0 0 20 0 28 0 475598210 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582551026608 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8319] ppid=8297 vsize=28768336 memory=1540 CPUtime=65.14 cores=0-7
/proc/8299/task/8319/stat : 8319 (java) R 8297 8297 7849 0 -1 4202560 675 0 0 0 6512 2 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582541806712 140583497098806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8320] ppid=8297 vsize=28768336 memory=772 CPUtime=65.82 cores=0-7
/proc/8299/task/8320/stat : 8320 (java) R 8297 8297 7849 0 -1 4202560 598 0 0 0 6581 1 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582540755480 140583497431566 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8321] ppid=8297 vsize=28768336 memory=10596 CPUtime=65.94 cores=0-7
/proc/8299/task/8321/stat : 8321 (java) R 8297 8297 7849 0 -1 4202560 3219 0 0 0 6568 26 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582539701504 140583497702037 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8322] ppid=8297 vsize=28768336 memory=1712 CPUtime=65.95 cores=0-7
/proc/8299/task/8322/stat : 8322 (java) R 8297 8297 7849 0 -1 4202560 677 0 0 0 6595 0 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582538649368 140583497098977 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8323] ppid=8297 vsize=28768336 memory=988 CPUtime=66.03 cores=0-7
/proc/8299/task/8323/stat : 8323 (java) R 8297 8297 7849 0 -1 4202560 618 0 0 0 6602 1 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582537596872 140583499420418 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8324] ppid=8297 vsize=28768336 memory=3644 CPUtime=65.67 cores=0-7
/proc/8299/task/8324/stat : 8324 (java) R 8297 8297 7849 0 -1 4202560 15930 0 0 0 6504 63 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582536544376 140583498832757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8325] ppid=8297 vsize=28768336 memory=2828 CPUtime=66.04 cores=0-7
/proc/8299/task/8325/stat : 8325 (java) R 8297 8297 7849 0 -1 4202560 531 0 0 0 6604 0 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582535491640 140583498186852 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8326] ppid=8297 vsize=28768336 memory=1048 CPUtime=66.13 cores=0-7
/proc/8299/task/8326/stat : 8326 (java) R 8297 8297 7849 0 -1 4202560 923 0 0 0 6612 1 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582332649672 140583497702050 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
Current children cumulated CPU time: 536.28 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3552456 KiB
[startup+68.802 s]
/proc/loadavg: 7.97 8.15 8.21 9/220 8331
/proc/meminfo: memFree=7420632/32770624 swapFree=66997204/67108860
[pid=8297] ppid=8294 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8297/stat : 8297 (xcsp3-exec) S 8294 8297 7849 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475598203 115843072 363 33554432000 4194304 5098028 140737160218096 140737160216200 139882310021756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27107328 140737160225618 140737160225877 140737160225877 140737160228806 0
/proc/8297/statm: 28282 363 304 221 0 87 0
[pid=8299] ppid=8297 vsize=28768336 memory=3551004 CPUtime=542.6 cores=0-7
/proc/8299/stat : 8299 (java) S 8297 8297 7849 0 -1 1077944320 70613 0 0 0 54075 185 0 0 20 0 28 0 475598203 29458776064 887751 33554432000 4194304 4196468 140736909575824 140736909558368 140583894974199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
/proc/8299/statm: 7192084 887751 3518 1 0 7153184 0
[pid=8299/tid=8300] ppid=8297 vsize=28768336 memory=1048 CPUtime=1.08 cores=0-7
/proc/8299/task/8300/stat : 8300 (java) S 8297 8297 7849 0 -1 1077944384 9372 0 0 0 102 6 0 0 20 0 28 0 475598204 29458776064 887751 33554432000 4194304 4196468 140736909575824 140583899214976 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8301] ppid=8297 vsize=28768336 memory=6016 CPUtime=0.3 cores=0-7
/proc/8299/task/8301/stat : 8301 (java) S 8297 8297 7849 0 -1 1077944384 752 0 0 0 23 7 0 0 20 0 28 0 475598205 29458776064 887751 33554432000 4194304 4196468 140736909575824 140583814826768 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8302] ppid=8297 vsize=28768336 memory=612 CPUtime=0.35 cores=0-7
/proc/8299/task/8302/stat : 8302 (java) S 8297 8297 7849 0 -1 1077944384 518 0 0 0 27 8 0 0 20 0 28 0 475598205 29458776064 887751 33554432000 4194304 4196468 140736909575824 140583813774224 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8303] ppid=8297 vsize=28768336 memory=1048 CPUtime=0.33 cores=0-7
/proc/8299/task/8303/stat : 8303 (java) S 8297 8297 7849 0 -1 1077944384 466 0 0 0 26 7 0 0 20 0 28 0 475598205 29458776064 887751 33554432000 4194304 4196468 140736909575824 140583812721680 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8304] ppid=8297 vsize=28768336 memory=6016 CPUtime=0.35 cores=0-7
/proc/8299/task/8304/stat : 8304 (java) S 8297 8297 7849 0 -1 1077944384 1301 0 0 0 26 9 0 0 20 0 28 0 475598205 29458776064 887751 33554432000 4194304 4196468 140736909575824 140583811669136 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8305] ppid=8297 vsize=28768336 memory=612 CPUtime=0.33 cores=0-7
/proc/8299/task/8305/stat : 8305 (java) S 8297 8297 7849 0 -1 1077944384 461 0 0 0 25 8 0 0 20 0 28 0 475598205 29458776064 887751 33554432000 4194304 4196468 140736909575824 140583810615568 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8306] ppid=8297 vsize=28768336 memory=1220 CPUtime=0.37 cores=0-7
/proc/8299/task/8306/stat : 8306 (java) S 8297 8297 7849 0 -1 1077944384 1018 0 0 0 28 9 0 0 20 0 28 0 475598205 29458776064 887751 33554432000 4194304 4196468 140736909575824 140583441127824 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8307] ppid=8297 vsize=28768336 memory=14004 CPUtime=0.36 cores=0-7
/proc/8299/task/8307/stat : 8307 (java) S 8297 8297 7849 0 -1 1077944384 773 0 0 0 28 8 0 0 20 0 28 0 475598205 29458776064 887751 33554432000 4194304 4196468 140736909575824 140583440075280 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8308] ppid=8297 vsize=28768336 memory=14060 CPUtime=0.36 cores=0-7
/proc/8299/task/8308/stat : 8308 (java) S 8297 8297 7849 0 -1 1077944384 1832 0 0 0 28 8 0 0 20 0 28 0 475598205 29458776064 887751 33554432000 4194304 4196468 140736909575824 140583439022736 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8309] ppid=8297 vsize=28768336 memory=2116 CPUtime=0.03 cores=0-7
/proc/8299/task/8309/stat : 8309 (java) S 8297 8297 7849 0 -1 1077944384 3625 0 0 0 2 1 0 0 20 0 28 0 475598206 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582560500208 140583894985346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8310] ppid=8297 vsize=28768336 memory=27764 CPUtime=0 cores=0-7
/proc/8299/task/8310/stat : 8310 (java) S 8297 8297 7849 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475598207 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582559446496 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8311] ppid=8297 vsize=28768336 memory=532 CPUtime=0 cores=0-7
/proc/8299/task/8311/stat : 8311 (java) S 8297 8297 7849 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475598207 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582558393856 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8312] ppid=8297 vsize=28768336 memory=1556 CPUtime=0 cores=0-7
/proc/8299/task/8312/stat : 8312 (java) S 8297 8297 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475598209 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582557342416 140583894992795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8313] ppid=8297 vsize=28768336 memory=1452 CPUtime=1.6 cores=0-7
/proc/8299/task/8313/stat : 8313 (java) S 8297 8297 7849 0 -1 1077944384 6857 0 0 0 158 2 0 0 20 0 28 0 475598209 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582556289008 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8314] ppid=8297 vsize=28768336 memory=8112282956445269571 CPUtime=1.65 cores=0-7
/proc/8299/task/8314/stat : 8314 (java) S 8297 8297 7849 0 -1 1077944384 8106 0 0 0 162 3 0 0 20 0 28 0 475598209 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582555236464 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8315] ppid=8297 vsize=28768336 memory=1220 CPUtime=1.41 cores=0-7
/proc/8299/task/8315/stat : 8315 (java) S 8297 8297 7849 0 -1 1077944384 6094 0 0 0 139 2 0 0 20 0 28 0 475598209 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582554183920 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8316] ppid=8297 vsize=28768336 memory=14004 CPUtime=0.78 cores=0-7
/proc/8299/task/8316/stat : 8316 (java) S 8297 8297 7849 0 -1 1077944384 4425 0 0 0 77 1 0 0 20 0 28 0 475598209 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582553131376 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8317] ppid=8297 vsize=28768336 memory=14060 CPUtime=0 cores=0-7
/proc/8299/task/8317/stat : 8317 (java) S 8297 8297 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475598209 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582552079072 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8318] ppid=8297 vsize=28768336 memory=2116 CPUtime=0.02 cores=0-7
/proc/8299/task/8318/stat : 8318 (java) S 8297 8297 7849 0 -1 1077944384 516 0 0 0 0 2 0 0 20 0 28 0 475598210 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582551026608 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8319] ppid=8297 vsize=28768336 memory=27764 CPUtime=65.93 cores=0-7
/proc/8299/task/8319/stat : 8319 (java) R 8297 8297 7849 0 -1 4202560 676 0 0 0 6591 2 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582541806712 140583497098964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8320] ppid=8297 vsize=28768336 memory=532 CPUtime=66.61 cores=0-7
/proc/8299/task/8320/stat : 8320 (java) R 8297 8297 7849 0 -1 4202560 598 0 0 0 6660 1 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582540755480 140583497702073 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8321] ppid=8297 vsize=28768336 memory=1556 CPUtime=66.73 cores=0-7
/proc/8299/task/8321/stat : 8321 (java) R 8297 8297 7849 0 -1 4202560 3230 0 0 0 6647 26 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582539701504 140583498187490 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8322] ppid=8297 vsize=28768336 memory=932 CPUtime=66.74 cores=0-7
/proc/8299/task/8322/stat : 8322 (java) R 8297 8297 7849 0 -1 4202560 679 0 0 0 6674 0 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582538649368 140583498011303 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8323] ppid=8297 vsize=28768336 memory=3680 CPUtime=66.82 cores=0-7
/proc/8299/task/8323/stat : 8323 (java) R 8297 8297 7849 0 -1 4202560 619 0 0 0 6681 1 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582537596872 140583498011376 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8324] ppid=8297 vsize=28768336 memory=848 CPUtime=66.46 cores=0-7
/proc/8299/task/8324/stat : 8324 (java) R 8297 8297 7849 0 -1 4202560 15936 0 0 0 6582 64 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582536544376 140583498187558 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8325] ppid=8297 vsize=28768336 memory=1436 CPUtime=66.83 cores=0-7
/proc/8299/task/8325/stat : 8325 (java) R 8297 8297 7849 0 -1 4202560 531 0 0 0 6683 0 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582535491640 140583497251871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8326] ppid=8297 vsize=28768336 memory=1764 CPUtime=66.92 cores=0-7
/proc/8299/task/8326/stat : 8326 (java) R 8297 8297 7849 0 -1 4202560 931 0 0 0 6691 1 0 0 20 0 28 0 475598332 29458776064 887751 33554432000 4194304 4196468 140736909575824 140582332649672 140583498011376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
Current children cumulated CPU time: 542.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3552456 KiB
[startup+69.2012 s]
/proc/loadavg: 7.97 8.14 8.21 9/220 8331
/proc/meminfo: memFree=7420632/32770624 swapFree=66997204/67108860
[pid=8297] ppid=8294 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8297/stat : 8297 (xcsp3-exec) S 8294 8297 7849 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475598203 115843072 363 33554432000 4194304 5098028 140737160218096 140737160216200 139882310021756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27107328 140737160225618 140737160225877 140737160225877 140737160228806 0
/proc/8297/statm: 28282 363 304 221 0 87 0
[pid=8299] ppid=8297 vsize=28768336 memory=3550732 CPUtime=545.7 cores=0-7
/proc/8299/stat : 8299 (java) S 8297 8297 7849 0 -1 1077944320 74416 0 0 0 54384 186 0 0 20 0 19 0 475598203 29458776064 887683 33554432000 4194304 4196468 140736909575824 140736909558368 140583894974199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
/proc/8299/statm: 7192084 887683 3520 1 0 7153184 0
[pid=8299/tid=8300] ppid=8297 vsize=28768336 memory=3551004 CPUtime=1.09 cores=0-7
/proc/8299/task/8300/stat : 8300 (java) S 8297 8297 7849 0 -1 1077944384 9781 0 0 0 103 6 0 0 20 0 19 0 475598204 29458776064 887683 33554432000 4194304 4196468 140736909575824 140583899217040 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8301] ppid=8297 vsize=28768336 memory=612 CPUtime=0.3 cores=0-7
/proc/8299/task/8301/stat : 8301 (java) S 8297 8297 7849 0 -1 1077944384 752 0 0 0 23 7 0 0 20 0 19 0 475598205 29458776064 887683 33554432000 4194304 4196468 140736909575824 140583814826768 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8302] ppid=8297 vsize=28768336 memory=1220 CPUtime=0.35 cores=0-7
/proc/8299/task/8302/stat : 8302 (java) S 8297 8297 7849 0 -1 1077944384 518 0 0 0 27 8 0 0 20 0 19 0 475598205 29458776064 887683 33554432000 4194304 4196468 140736909575824 140583813774224 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8303] ppid=8297 vsize=28768336 memory=14004 CPUtime=0.33 cores=0-7
/proc/8299/task/8303/stat : 8303 (java) S 8297 8297 7849 0 -1 1077944384 466 0 0 0 26 7 0 0 20 0 19 0 475598205 29458776064 887683 33554432000 4194304 4196468 140736909575824 140583812721680 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8304] ppid=8297 vsize=28768336 memory=14060 CPUtime=0.35 cores=0-7
/proc/8299/task/8304/stat : 8304 (java) S 8297 8297 7849 0 -1 1077944384 1301 0 0 0 26 9 0 0 20 0 19 0 475598205 29458776064 887683 33554432000 4194304 4196468 140736909575824 140583811669136 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8305] ppid=8297 vsize=28768336 memory=2116 CPUtime=0.33 cores=0-7
/proc/8299/task/8305/stat : 8305 (java) S 8297 8297 7849 0 -1 1077944384 461 0 0 0 25 8 0 0 20 0 19 0 475598205 29458776064 887683 33554432000 4194304 4196468 140736909575824 140583810615568 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8306] ppid=8297 vsize=28768336 memory=27764 CPUtime=0.37 cores=0-7
/proc/8299/task/8306/stat : 8306 (java) S 8297 8297 7849 0 -1 1077944384 1018 0 0 0 28 9 0 0 20 0 19 0 475598205 29458776064 887683 33554432000 4194304 4196468 140736909575824 140583441127824 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8307] ppid=8297 vsize=28768336 memory=532 CPUtime=0.36 cores=0-7
/proc/8299/task/8307/stat : 8307 (java) S 8297 8297 7849 0 -1 1077944384 773 0 0 0 28 8 0 0 20 0 19 0 475598205 29458776064 887683 33554432000 4194304 4196468 140736909575824 140583440075280 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8308] ppid=8297 vsize=28768336 memory=1556 CPUtime=0.36 cores=0-7
/proc/8299/task/8308/stat : 8308 (java) S 8297 8297 7849 0 -1 1077944384 1832 0 0 0 28 8 0 0 20 0 19 0 475598205 29458776064 887683 33554432000 4194304 4196468 140736909575824 140583439022736 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8309] ppid=8297 vsize=28768336 memory=932 CPUtime=0.03 cores=0-7
/proc/8299/task/8309/stat : 8309 (java) S 8297 8297 7849 0 -1 1077944384 3630 0 0 0 2 1 0 0 20 0 19 0 475598206 29458776064 887683 33554432000 4194304 4196468 140736909575824 140582560500416 140583894985346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8310] ppid=8297 vsize=28768336 memory=3680 CPUtime=0 cores=0-7
/proc/8299/task/8310/stat : 8310 (java) S 8297 8297 7849 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475598207 29458776064 887683 33554432000 4194304 4196468 140736909575824 140582559446496 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8311] ppid=8297 vsize=28768336 memory=848 CPUtime=0 cores=0-7
/proc/8299/task/8311/stat : 8311 (java) S 8297 8297 7849 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475598207 29458776064 887683 33554432000 4194304 4196468 140736909575824 140582558393856 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8312] ppid=8297 vsize=28768336 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/8299/task/8312/stat : 8312 (java) S 8297 8297 7849 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 475598209 29458776064 887683 33554432000 4194304 4196468 140736909575824 140582557342064 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8313] ppid=8297 vsize=28768336 memory=288230583166042426 CPUtime=1.62 cores=0-7
/proc/8299/task/8313/stat : 8313 (java) S 8297 8297 7849 0 -1 1077944384 7389 0 0 0 160 2 0 0 20 0 19 0 475598209 29458776064 887683 33554432000 4194304 4196468 140736909575824 140582556289008 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8314] ppid=8297 vsize=28768336 memory=15262532197681710 CPUtime=1.66 cores=0-7
/proc/8299/task/8314/stat : 8314 (java) S 8297 8297 7849 0 -1 1077944384 8210 0 0 0 163 3 0 0 20 0 19 0 475598209 29458776064 887683 33554432000 4194304 4196468 140736909575824 140582555220976 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8315] ppid=8297 vsize=28768336 memory=7164498492165418083 CPUtime=1.43 cores=0-7
/proc/8299/task/8315/stat : 8315 (java) S 8297 8297 7849 0 -1 1077944384 6591 0 0 0 141 2 0 0 20 0 19 0 475598209 29458776064 887683 33554432000 4194304 4196468 140736909575824 140582554164320 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8316] ppid=8297 vsize=28768336 memory=7450484717924864598 CPUtime=0.79 cores=0-7
/proc/8299/task/8316/stat : 8316 (java) S 8297 8297 7849 0 -1 1077944384 6169 0 0 0 78 1 0 0 20 0 19 0 475598209 29458776064 887683 33554432000 4194304 4196468 140736909575824 140582553131376 140583894985346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
[pid=8299/tid=8317] ppid=8297 vsize=28768336 memory=7380942827965012070 CPUtime=0 cores=0-7
/proc/8299/task/8317/stat : 8317 (java) S 8297 8297 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475598209 29458776064 887683 33554432000 4194304 4196468 140736909575824 140582552079072 140583894984405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140736909579222 140736909579398 140736909579398 140736909582287 0
Current children cumulated CPU time: 545.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3552184 KiB
Child status: 0
Real time (s): 69.229
CPU time (s): 545.734
CPU user time (s): 543.846
CPU system time (s): 1.88727
CPU usage (%): 788.303
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 3552456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 543.846
system time used= 1.88727
maximum resident set size= 3551312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75010
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6354
involuntary context switches= 7234
# summary of solver processes directly reported to runsolver:
# pid: 8297
# total CPU time (s): 545.734
# total CPU user time (s): 543.846
# total CPU system time (s): 1.88727
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.655585 second user time and 0.869155 second system time
The end
Begin job on node140 at 2019-09-20 18:22:37
IDJOB=4404339
IDBENCH=123874
IDSOLVER=2865
FILE ID=node140/4404339-1568996598
RUNJOBID= node140-1568994030-7876
PBS_JOBID= 21704714
Free space on /var/tmp= 13508 MiB
SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Bibd/Bibd-sum-stab1/Bibd-sum-25-05-01.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 /var/tmp/evaluation-result-4404339-1568996598/watcher-4404339-1568996598 -o /var/tmp/evaluation-result-4404339-1568996598/solver-4404339-1568996598 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1568994030-7876 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 233118721 HOME/instance-4404339-1568996598.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8664f4f5c29eba7e0c756194721bfaf5
RANDOM SEED=233118721
node140.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.43
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.43
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.43
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.43
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: 10962124 kB
MemAvailable: 31851832 kB
Buffers: 161236 kB
Cached: 20671856 kB
SwapCached: 2504 kB
Active: 10267968 kB
Inactive: 10573628 kB
Active(anon): 4492 kB
Inactive(anon): 50680 kB
Active(file): 10263476 kB
Inactive(file): 10522948 kB
Unevictable: 107388 kB
Mlocked: 107388 kB
SwapTotal: 67108860 kB
SwapFree: 66997204 kB
Dirty: 26076 kB
Writeback: 0 kB
AnonPages: 136520 kB
Mapped: 52164 kB
Shmem: 38308 kB
Slab: 559556 kB
SReclaimable: 531744 kB
SUnreclaim: 27812 kB
KernelStack: 3728 kB
PageTables: 5616 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 92160 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /var/tmp at the end= 13484 MiB
End job on node140 at 2019-09-20 18:23:47