0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406757-1569362373.xml" -tl '20160s' -p 8
0.13/0.18 c Choco e747e1e
0.13/0.18 c [HOME/instance-4406757-1569362373.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
13.26/4.54 c solve instance...
14.49/4.79 s SATISFIABLE
14.49/4.79 v <instantiation>
14.49/4.79 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][0] x[3][1] x[3][2] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][18] x[3][19] x[3][20] x[4][0] x[4][1] x[4][2] x[4][3] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][17] x[4][18] x[4][19] x[4][20] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][6] x[5][7] x[5][8] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[6][3] x[6][4] x[6][5] x[6][9] x[6][10] x[6][11] x[6][15] x[6][16] x[6][17] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[9][0] x[9][1] x[9][2] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][11] x[9][12] x[9][13] x[9][14] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[10][0] x[10][1] x[10][2] x[10][3] x[10][5] x[10][6] x[10][7] x[10][8] x[10][12] x[10][13] x[10][14] x[10][15] x[10][17] x[10][18] x[10][19] x[10][20] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][18] x[11][19] x[11][20] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][3] x[14][4] x[14][5] x[14][9] x[14][10] x[14][11] x[14][15] x[14][16] x[14][17] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][12] x[15][13] x[15][14] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[16][0] x[16][1] x[16][2] x[16][3] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][17] x[16][18] x[16][19] x[16][20] x[17][0] x[17][1] x[17][2] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][18] x[17][19] x[17][20] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] </list>
14.49/4.79 v <values>1 0 14 19 14 20 15 4 19 14 11 4 18 2 0 3 4 13 4 0 6 20 4 19 18 8 13 0 13 8 12 4 0 11 20 13 0 19 14 17 12 4 0 20 4 21 8 3 0 8 18 10 4 13 19 8 0 1 0 8 18 4 17 17 0 6 4 17 0 18 19 0 17 0 12 0 5 0 19 11 0 2 7 0 2 0 12 0 8 1 0 3 0 1 4 10 0 0 1 0 8 1 0 19 4 4 6 0 8 4 18 11 2 3 2 0 1 4 20 18 4 2 0 2 7 0 0 1 0 19 0 6 4 6 17 0 3 0 19 3 8 4 18 4 11 6 14 12 4 13 14 11 14 20 17 4 1 8 8 11 18 1 11 0 6 20 0 0 11 14 8 18 0 1 17 4 19 8 2 18 0 3 0 2 8 13 2 0 1 14 4 17 4 2 7 20 19 0 3 0 2 18 0 6 8 4 13 17 0 2 13 4 13 8 4 18 0 13 0 11 8 19 4 3 0 12 0 6 4 19 18 4 19 18 4 7 0 11 0 10 7 0 4 1 0 7 8 4 4 19 2 8 3 7 18 0 2 2 14 1 4 0 20 1 0 2 18 1 19 15 1 7 0 8 0 0 3 0 18 0 7 0 13 4 2 8 4 20 23 0 2 19 20 3 4 1 4 23 19 17 0 4 17 1 17 4 4 13 19 4 19 12 4 8 14 18 4 0 1 0 19 4 4 18 13 0 21 8 17 4 8 13 4 15 19 4 10 0 13 13 0 17 0 14 6 8 21 0 11 0 18 18 4 4 13 0 18 18 0 8 13 8 13 0 13 0 8 18 </values>
14.49/4.79 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 (10942 MiB free)
memory of node 1: 16384 MiB (12809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406757-1569362373/watcher-4406757-1569362373 -o /var/tmp/evaluation-result-4406757-1569362373/solver-4406757-1569362373 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569359473-24779 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 151116852 HOME/instance-4406757-1569362373.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=25378, runsolver pid=25375
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 1.42 3.73 6.26 2/216 25399
/proc/meminfo: memFree=24304232/32770624 swapFree=67002972/67108860
[pid=25378] ppid=25375 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25378/stat : 25378 (xcsp3-exec) S 25375 25378 24752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512476849 115843072 362 33554432000 4194304 5098028 140728909390160 140728909388264 140715665539708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11304960 140728909394770 140728909395029 140728909395029 140728909397958 0
/proc/25378/statm: 28282 362 304 221 0 87 0
[pid=25380] ppid=25378 vsize=28227396 memory=30112 CPUtime=0.13 cores=0-7
/proc/25380/stat : 25380 (java) S 25378 25378 24752 0 -1 1077944320 5485 0 0 0 12 1 0 0 20 0 20 0 512476849 28904853504 7528 33554432000 4194304 4196468 140735157975376 140735157957920 139924508573431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
/proc/25380/statm: 7056849 7528 3118 1 0 7019032 0
[pid=25380/tid=25381] ppid=25378 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/25380/task/25381/stat : 25381 (java) R 25378 25378 24752 0 -1 4202560 3410 0 0 0 8 0 0 0 20 0 20 0 512476850 28904853504 7528 33554432000 4194304 4196468 140735157975376 139924512807712 139924508585366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25382] ppid=25378 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25380/task/25382/stat : 25382 (java) S 25378 25378 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 7528 33554432000 4194304 4196468 140735157975376 139924059839120 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25383] ppid=25378 vsize=28227396 memory=139747882718848 CPUtime=0 cores=0-7
/proc/25380/task/25383/stat : 25383 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 7528 33554432000 4194304 4196468 140735157975376 139924058786320 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25384] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25384/stat : 25384 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 7528 33554432000 4194304 4196468 140735157975376 139924057733520 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25385] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25385/stat : 25385 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 7528 33554432000 4194304 4196468 140735157975376 139924056680720 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25386] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25386/stat : 25386 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 7528 33554432000 4194304 4196468 140735157975376 139924055628944 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25387] ppid=25378 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25380/task/25387/stat : 25387 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 7528 33554432000 4194304 4196468 140735157975376 139924054576144 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25388] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25388/stat : 25388 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 7528 33554432000 4194304 4196468 140735157975376 139924053523344 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25389] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25389/stat : 25389 (java) S 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 7528 33554432000 4194304 4196468 140735157975376 139924052470544 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25390] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25390/stat : 25390 (java) S 25378 25378 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512476852 28904853504 7528 33554432000 4194304 4196468 140735157975376 139922905168240 139924508584578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25391] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25391/stat : 25391 (java) S 25378 25378 24752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512476852 28904853504 7528 33554432000 4194304 4196468 140735157975376 139922904114208 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25392] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25392/stat : 25392 (java) S 25378 25378 24752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512476853 28904853504 7528 33554432000 4194304 4196468 140735157975376 139922903061360 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25393] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25393/stat : 25393 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476855 28904853504 7528 33554432000 4194304 4196468 140735157975376 139922902009680 139924508592027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25394] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25394/stat : 25394 (java) S 25378 25378 24752 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 512476855 28904853504 7528 33554432000 4194304 4196468 140735157975376 139922900958064 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25395] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25395/stat : 25395 (java) R 25378 25378 24752 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 512476855 28904853504 7528 33554432000 4194304 4196468 140735157975376 139922899905360 139924492009169 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25396] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25396/stat : 25396 (java) S 25378 25378 24752 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 512476855 28904853504 7528 33554432000 4194304 4196468 140735157975376 139922898852464 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25397] ppid=25378 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/25380/task/25397/stat : 25397 (java) R 25378 25378 24752 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 20 0 512476855 28904853504 7528 33554432000 4194304 4196468 140735157975376 139922897799664 139924501290583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25398] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25398/stat : 25398 (java) S 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512476855 28904853504 7528 33554432000 4194304 4196468 140735157975376 139922896747104 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25399] ppid=25378 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25380/task/25399/stat : 25399 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476856 28904853504 7528 33554432000 4194304 4196468 140735157975376 139922895694384 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31560 KiB
[startup+0.210832 s]*
/proc/loadavg: 1.42 3.73 6.26 3/216 25399
/proc/meminfo: memFree=24293920/32770624 swapFree=67002972/67108860
[pid=25378] ppid=25375 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25378/stat : 25378 (xcsp3-exec) S 25375 25378 24752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512476849 115843072 362 33554432000 4194304 5098028 140728909390160 140728909388264 140715665539708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11304960 140728909394770 140728909395029 140728909395029 140728909397958 0
/proc/25378/statm: 28282 362 304 221 0 87 0
[pid=25380] ppid=25378 vsize=28227396 memory=41200 CPUtime=0.34 cores=0-7
/proc/25380/stat : 25380 (java) S 25378 25378 24752 0 -1 1077944320 9033 0 0 0 32 2 0 0 20 0 20 0 512476849 28904853504 10300 33554432000 4194304 4196468 140735157975376 140735157957920 139924508573431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
/proc/25380/statm: 7056849 10300 3240 1 0 7019032 0
[pid=25380/tid=25381] ppid=25378 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/25380/task/25381/stat : 25381 (java) R 25378 25378 24752 0 -1 4202560 6220 0 0 0 18 1 0 0 20 0 20 0 512476850 28904853504 10300 33554432000 4194304 4196468 140735157975376 139924512799632 139924508595357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25382] ppid=25378 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/25380/task/25382/stat : 25382 (java) S 25378 25378 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 10300 33554432000 4194304 4196468 140735157975376 139924059839120 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25383] ppid=25378 vsize=28227396 memory=139747886543451 CPUtime=0 cores=0-7
/proc/25380/task/25383/stat : 25383 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 10300 33554432000 4194304 4196468 140735157975376 139924058786320 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25384] ppid=25378 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25380/task/25384/stat : 25384 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 10300 33554432000 4194304 4196468 140735157975376 139924057733520 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25385] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25385/stat : 25385 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 10300 33554432000 4194304 4196468 140735157975376 139924056680720 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25386] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25386/stat : 25386 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 10300 33554432000 4194304 4196468 140735157975376 139924055628944 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25387] ppid=25378 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25380/task/25387/stat : 25387 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 10300 33554432000 4194304 4196468 140735157975376 139924054576144 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25388] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25388/stat : 25388 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 10300 33554432000 4194304 4196468 140735157975376 139924053523344 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25389] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25389/stat : 25389 (java) S 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512476851 28904853504 10300 33554432000 4194304 4196468 140735157975376 139924052470544 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25390] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25390/stat : 25390 (java) S 25378 25378 24752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512476852 28904853504 10300 33554432000 4194304 4196468 140735157975376 139922905168240 139924508584578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25391] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25391/stat : 25391 (java) S 25378 25378 24752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512476852 28904853504 10300 33554432000 4194304 4196468 140735157975376 139922904114208 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25392] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25392/stat : 25392 (java) S 25378 25378 24752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512476853 28904853504 10300 33554432000 4194304 4196468 140735157975376 139922903061360 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25393] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25393/stat : 25393 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476855 28904853504 10300 33554432000 4194304 4196468 140735157975376 139922902009680 139924508592027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25394] ppid=25378 vsize=28227396 memory=0 CPUtime=0.03 cores=0-7
/proc/25380/task/25394/stat : 25394 (java) S 25378 25378 24752 0 -1 1077944384 554 0 0 0 3 0 0 0 20 0 20 0 512476855 28904853504 10300 33554432000 4194304 4196468 140735157975376 139922900958064 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25395] ppid=25378 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/25380/task/25395/stat : 25395 (java) S 25378 25378 24752 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 20 0 512476855 28904853504 10300 33554432000 4194304 4196468 140735157975376 139922899905264 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25396] ppid=25378 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25380/task/25396/stat : 25396 (java) S 25378 25378 24752 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 512476855 28904853504 10300 33554432000 4194304 4196468 140735157975376 139922898852464 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25397] ppid=25378 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/25380/task/25397/stat : 25397 (java) S 25378 25378 24752 0 -1 1077944384 742 0 0 0 8 0 0 0 20 0 20 0 512476855 28904853504 10300 33554432000 4194304 4196468 140735157975376 139922897799664 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25398] ppid=25378 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25398/stat : 25398 (java) S 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512476855 28904853504 10300 33554432000 4194304 4196468 140735157975376 139922896747104 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25399] ppid=25378 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25380/task/25399/stat : 25399 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476856 28904853504 10300 33554432000 4194304 4196468 140735157975376 139922895694384 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42648 KiB
[startup+0.310564 s]*
/proc/loadavg: 1.42 3.73 6.26 2/215 25399
/proc/meminfo: memFree=24272480/32770624 swapFree=67002972/67108860
[pid=25378] ppid=25375 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25378/stat : 25378 (xcsp3-exec) S 25375 25378 24752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512476849 115843072 362 33554432000 4194304 5098028 140728909390160 140728909388264 140715665539708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11304960 140728909394770 140728909395029 140728909395029 140728909397958 0
/proc/25378/statm: 28282 362 304 221 0 87 0
[pid=25380] ppid=25378 vsize=28231652 memory=49964 CPUtime=0.52 cores=0-7
/proc/25380/stat : 25380 (java) S 25378 25378 24752 0 -1 1077944320 10295 0 0 0 49 3 0 0 20 0 20 0 512476849 28909211648 12491 33554432000 4194304 4196468 140735157975376 140735157957920 139924508573431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
/proc/25380/statm: 7057913 12491 3330 1 0 7019032 0
[pid=25380/tid=25381] ppid=25378 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/25380/task/25381/stat : 25381 (java) R 25378 25378 24752 0 -1 4202560 7379 0 0 0 28 2 0 0 20 0 20 0 512476850 28909211648 12491 33554432000 4194304 4196468 140735157975376 139924512807216 139924492653918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25382] ppid=25378 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25382/stat : 25382 (java) S 25378 25378 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512476851 28909211648 12491 33554432000 4194304 4196468 140735157975376 139924059839120 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25383] ppid=25378 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25383/stat : 25383 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28909211648 12491 33554432000 4194304 4196468 140735157975376 139924058786320 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25384] ppid=25378 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25384/stat : 25384 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28909211648 12491 33554432000 4194304 4196468 140735157975376 139924057733520 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25385] ppid=25378 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25385/stat : 25385 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28909211648 12491 33554432000 4194304 4196468 140735157975376 139924056680720 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25386] ppid=25378 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/25380/task/25386/stat : 25386 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28909211648 12491 33554432000 4194304 4196468 140735157975376 139924055628944 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25387] ppid=25378 vsize=28231652 memory=139747766924207 CPUtime=0 cores=0-7
/proc/25380/task/25387/stat : 25387 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28909211648 12491 33554432000 4194304 4196468 140735157975376 139924054576144 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25388] ppid=25378 vsize=28231652 memory=139747766926512 CPUtime=0 cores=0-7
/proc/25380/task/25388/stat : 25388 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28909211648 12491 33554432000 4194304 4196468 140735157975376 139924053523344 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25389] ppid=25378 vsize=28231652 memory=139747766928816 CPUtime=0 cores=0-7
/proc/25380/task/25389/stat : 25389 (java) S 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512476851 28909211648 12491 33554432000 4194304 4196468 140735157975376 139924052470544 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25390] ppid=25378 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25390/stat : 25390 (java) S 25378 25378 24752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512476852 28909211648 12491 33554432000 4194304 4196468 140735157975376 139922905168240 139924508584578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25391] ppid=25378 vsize=28231652 memory=279495533864592 CPUtime=0 cores=0-7
/proc/25380/task/25391/stat : 25391 (java) S 25378 25378 24752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512476852 28909211648 12491 33554432000 4194304 4196468 140735157975376 139922904114208 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25392] ppid=25378 vsize=28231652 memory=279495533871504 CPUtime=0 cores=0-7
/proc/25380/task/25392/stat : 25392 (java) S 25378 25378 24752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512476853 28909211648 12491 33554432000 4194304 4196468 140735157975376 139922903061360 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25393] ppid=25378 vsize=28231652 memory=279495533812784 CPUtime=0 cores=0-7
/proc/25380/task/25393/stat : 25393 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476855 28909211648 12491 33554432000 4194304 4196468 140735157975376 139922902009680 139924508592027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25394] ppid=25378 vsize=28231652 memory=279495533885328 CPUtime=0.03 cores=0-7
/proc/25380/task/25394/stat : 25394 (java) S 25378 25378 24752 0 -1 1077944384 560 0 0 0 3 0 0 0 20 0 20 0 512476855 28909211648 12491 33554432000 4194304 4196468 140735157975376 139922900958064 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25395] ppid=25378 vsize=28231652 memory=279495533892240 CPUtime=0.02 cores=0-7
/proc/25380/task/25395/stat : 25395 (java) S 25378 25378 24752 0 -1 1077944384 92 0 0 0 2 0 0 0 20 0 20 0 512476855 28909211648 12491 33554432000 4194304 4196468 140735157975376 139922899905264 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25396] ppid=25378 vsize=28231652 memory=279495533889936 CPUtime=0.01 cores=0-7
/proc/25380/task/25396/stat : 25396 (java) S 25378 25378 24752 0 -1 1077944384 142 0 0 0 1 0 0 0 20 0 20 0 512476855 28909211648 12491 33554432000 4194304 4196468 140735157975376 139922898852464 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25397] ppid=25378 vsize=28231652 memory=279495533906096 CPUtime=0.12 cores=0-7
/proc/25380/task/25397/stat : 25397 (java) S 25378 25378 24752 0 -1 1077944384 821 0 0 0 12 0 0 0 20 0 20 0 512476855 28909211648 12491 33554432000 4194304 4196468 140735157975376 139922897799664 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25398] ppid=25378 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25398/stat : 25398 (java) S 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512476855 28909211648 12491 33554432000 4194304 4196468 140735157975376 139922896747104 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25399] ppid=25378 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/25380/task/25399/stat : 25399 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476856 28909211648 12491 33554432000 4194304 4196468 140735157975376 139922895694384 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51412 KiB
[startup+0.71061 s]*
/proc/loadavg: 1.42 3.73 6.26 5/215 25399
/proc/meminfo: memFree=24172904/32770624 swapFree=67002972/67108860
[pid=25378] ppid=25375 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25378/stat : 25378 (xcsp3-exec) S 25375 25378 24752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512476849 115843072 362 33554432000 4194304 5098028 140728909390160 140728909388264 140715665539708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11304960 140728909394770 140728909395029 140728909395029 140728909397958 0
/proc/25378/statm: 28282 362 304 221 0 87 0
[pid=25380] ppid=25378 vsize=28233776 memory=165784 CPUtime=2.03 cores=0-7
/proc/25380/stat : 25380 (java) S 25378 25378 24752 0 -1 1077944320 14676 0 0 0 198 5 0 0 20 0 20 0 512476849 28911386624 41446 33554432000 4194304 4196468 140735157975376 140735157957920 139924508573431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
/proc/25380/statm: 7058444 41446 3446 1 0 7019544 0
[pid=25380/tid=25381] ppid=25378 vsize=28233776 memory=6791534058613427641 CPUtime=0.7 cores=0-7
/proc/25380/task/25381/stat : 25381 (java) R 25378 25378 24752 0 -1 4202560 8051 0 0 0 67 3 0 0 20 0 20 0 512476850 28911386624 41446 33554432000 4194304 4196468 140735157975376 139924512808048 139924145851391 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25382] ppid=25378 vsize=28233776 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25380/task/25382/stat : 25382 (java) S 25378 25378 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512476851 28911386624 41446 33554432000 4194304 4196468 140735157975376 139924059839120 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25383] ppid=25378 vsize=28233776 memory=1804 CPUtime=0 cores=0-7
/proc/25380/task/25383/stat : 25383 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28911386624 41446 33554432000 4194304 4196468 140735157975376 139924058786320 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25384] ppid=25378 vsize=28233776 memory=920 CPUtime=0 cores=0-7
/proc/25380/task/25384/stat : 25384 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476851 28911386624 41446 33554432000 4194304 4196468 140735157975376 139924057733520 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
################
# More data... #
################
/proc/25380/task/25397/stat : 25397 (java) S 25378 25378 24752 0 -1 1077944384 2267 0 0 0 47 1 0 0 20 0 20 0 512476855 28911386624 279197 33554432000 4194304 4196468 140735157975376 139922897799664 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25398] ppid=25378 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25398/stat : 25398 (java) S 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512476855 28911386624 279197 33554432000 4194304 4196468 140735157975376 139922896747104 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25399] ppid=25378 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25399/stat : 25399 (java) S 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512476856 28911386624 279197 33554432000 4194304 4196468 140735157975376 139922895694384 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
Current children cumulated CPU time: 10.7 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 1118236 KiB
[startup+4.201 s]*
/proc/loadavg: 1.38 3.68 6.23 2/215 25399
/proc/meminfo: memFree=22847236/32770624 swapFree=67002972/67108860
[pid=25378] ppid=25375 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25378/stat : 25378 (xcsp3-exec) S 25375 25378 24752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512476849 115843072 362 33554432000 4194304 5098028 140728909390160 140728909388264 140715665539708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11304960 140728909394770 140728909395029 140728909395029 140728909397958 0
/proc/25378/statm: 28282 362 304 221 0 87 0
[pid=25380] ppid=25378 vsize=28233776 memory=1487712 CPUtime=12.73 cores=0-7
/proc/25380/stat : 25380 (java) S 25378 25378 24752 0 -1 1077944320 24338 0 0 0 1017 256 0 0 20 0 20 0 512476849 28911386624 371928 33554432000 4194304 4196468 140735157975376 140735157957920 139924508573431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
/proc/25380/statm: 7058444 371928 3512 1 0 7019544 0
[pid=25380/tid=25381] ppid=25378 vsize=28233776 memory=0 CPUtime=3.04 cores=0-7
/proc/25380/task/25381/stat : 25381 (java) R 25378 25378 24752 0 -1 4202560 8992 0 0 0 295 9 0 0 20 0 20 0 512476850 28911386624 371928 33554432000 4194304 4196468 140735157975376 139924512806976 139924149415535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25382] ppid=25378 vsize=28233776 memory=4872558044660077418 CPUtime=0.9 cores=0-7
/proc/25380/task/25382/stat : 25382 (java) S 25378 25378 24752 0 -1 1077944384 772 0 0 0 61 29 0 0 20 0 20 0 512476851 28911386624 371928 33554432000 4194304 4196468 140735157975376 139924059839120 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25383] ppid=25378 vsize=28233776 memory=983568 CPUtime=0.91 cores=0-7
/proc/25380/task/25383/stat : 25383 (java) S 25378 25378 24752 0 -1 1077944384 727 0 0 0 60 31 0 0 20 0 20 0 512476851 28911386624 371928 33554432000 4194304 4196468 140735157975376 139924058786320 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25384] ppid=25378 vsize=28233776 memory=-7384994778349281184 CPUtime=0.88 cores=0-7
/proc/25380/task/25384/stat : 25384 (java) S 25378 25378 24752 0 -1 1077944384 807 0 0 0 59 29 0 0 20 0 20 0 512476851 28911386624 371928 33554432000 4194304 4196468 140735157975376 139924057733520 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25385] ppid=25378 vsize=28233776 memory=7681905605394137914 CPUtime=0.91 cores=0-7
/proc/25380/task/25385/stat : 25385 (java) S 25378 25378 24752 0 -1 1077944384 794 0 0 0 61 30 0 0 20 0 20 0 512476851 28911386624 371928 33554432000 4194304 4196468 140735157975376 139924056680720 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25386] ppid=25378 vsize=28233776 memory=-7522837583129502606 CPUtime=0.9 cores=0-7
/proc/25380/task/25386/stat : 25386 (java) S 25378 25378 24752 0 -1 1077944384 748 0 0 0 61 29 0 0 20 0 20 0 512476851 28911386624 371928 33554432000 4194304 4196468 140735157975376 139924055628944 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25387] ppid=25378 vsize=28233776 memory=6944656592455360569 CPUtime=0.93 cores=0-7
/proc/25380/task/25387/stat : 25387 (java) S 25378 25378 24752 0 -1 1077944384 863 0 0 0 62 31 0 0 20 0 20 0 512476851 28911386624 371928 33554432000 4194304 4196468 140735157975376 139924054576144 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25388] ppid=25378 vsize=28233776 memory=0 CPUtime=0.91 cores=0-7
/proc/25380/task/25388/stat : 25388 (java) S 25378 25378 24752 0 -1 1077944384 730 0 0 0 62 29 0 0 20 0 20 0 512476851 28911386624 371928 33554432000 4194304 4196468 140735157975376 139924053523344 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25389] ppid=25378 vsize=28233776 memory=0 CPUtime=0.92 cores=0-7
/proc/25380/task/25389/stat : 25389 (java) S 25378 25378 24752 0 -1 1077944384 840 0 0 0 61 31 0 0 20 0 20 0 512476851 28911386624 371928 33554432000 4194304 4196468 140735157975376 139924052470544 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25390] ppid=25378 vsize=28233776 memory=0 CPUtime=0.19 cores=0-7
/proc/25380/task/25390/stat : 25390 (java) S 25378 25378 24752 0 -1 1077944384 1336 0 0 0 19 0 0 0 20 0 20 0 512476852 28911386624 371928 33554432000 4194304 4196468 140735157975376 139922905168240 139924508584578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25391] ppid=25378 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25391/stat : 25391 (java) S 25378 25378 24752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512476852 28911386624 371928 33554432000 4194304 4196468 140735157975376 139922904114272 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25392] ppid=25378 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25392/stat : 25392 (java) S 25378 25378 24752 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 512476853 28911386624 371928 33554432000 4194304 4196468 140735157975376 139922903061376 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25393] ppid=25378 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25393/stat : 25393 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512476855 28911386624 371928 33554432000 4194304 4196468 140735157975376 139922902009680 139924508592027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25394] ppid=25378 vsize=28233776 memory=279495534270976 CPUtime=0.53 cores=0-7
/proc/25380/task/25394/stat : 25394 (java) R 25378 25378 24752 0 -1 4202560 1490 0 0 0 53 0 0 0 20 0 20 0 512476855 28911386624 371928 33554432000 4194304 4196468 140735157975376 139922900958064 139924488235648 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25395] ppid=25378 vsize=28233776 memory=8172176615227681129 CPUtime=0.65 cores=0-7
/proc/25380/task/25395/stat : 25395 (java) R 25378 25378 24752 0 -1 4202560 1485 0 0 0 65 0 0 0 20 0 20 0 512476855 28911386624 371928 33554432000 4194304 4196468 140735157975376 139922899905264 139924490118592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25396] ppid=25378 vsize=28233776 memory=7739829951555726193 CPUtime=0.46 cores=0-7
/proc/25380/task/25396/stat : 25396 (java) S 25378 25378 24752 0 -1 1077944384 1183 0 0 0 46 0 0 0 20 0 20 0 512476855 28911386624 371928 33554432000 4194304 4196468 140735157975376 139922898852464 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25397] ppid=25378 vsize=28233776 memory=8099835347257025391 CPUtime=0.48 cores=0-7
/proc/25380/task/25397/stat : 25397 (java) S 25378 25378 24752 0 -1 1077944384 2271 0 0 0 47 1 0 0 20 0 20 0 512476855 28911386624 371928 33554432000 4194304 4196468 140735157975376 139922897799664 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25398] ppid=25378 vsize=28233776 memory=7739546277555758444 CPUtime=0 cores=0-7
/proc/25380/task/25398/stat : 25398 (java) S 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512476855 28911386624 371928 33554432000 4194304 4196468 140735157975376 139922896747104 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25399] ppid=25378 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25399/stat : 25399 (java) S 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512476856 28911386624 371928 33554432000 4194304 4196468 140735157975376 139922895694384 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 1489160 KiB
[startup+4.60902 s]
/proc/loadavg: 1.38 3.68 6.23 2/215 25399
/proc/meminfo: memFree=22847236/32770624 swapFree=67002972/67108860
[pid=25378] ppid=25375 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25378/stat : 25378 (xcsp3-exec) S 25375 25378 24752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512476849 115843072 362 33554432000 4194304 5098028 140728909390160 140728909388264 140715665539708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11304960 140728909394770 140728909395029 140728909395029 140728909397958 0
/proc/25378/statm: 28282 362 304 221 0 87 0
[pid=25380] ppid=25378 vsize=28766288 memory=1489636 CPUtime=13.72 cores=0-7
/proc/25380/stat : 25380 (java) S 25378 25378 24752 0 -1 1077944320 25132 0 0 0 1114 258 0 0 20 0 28 0 512476849 29456678912 372409 33554432000 4194304 4196468 140735157975376 140735157957920 139924508573431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
/proc/25380/statm: 7191572 372409 3516 1 0 7152672 0
[pid=25380/tid=25381] ppid=25378 vsize=28766288 memory=111181939346154 CPUtime=3.39 cores=0-7
/proc/25380/task/25381/stat : 25381 (java) S 25378 25378 24752 0 -1 1077944384 9122 0 0 0 330 9 0 0 20 0 28 0 512476850 29456678912 372409 33554432000 4194304 4196468 140735157975376 139924512814208 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25382] ppid=25378 vsize=28766288 memory=111181939346154 CPUtime=0.9 cores=0-7
/proc/25380/task/25382/stat : 25382 (java) S 25378 25378 24752 0 -1 1077944384 772 0 0 0 61 29 0 0 20 0 28 0 512476851 29456678912 372409 33554432000 4194304 4196468 140735157975376 139924059839120 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25383] ppid=25378 vsize=28766288 memory=111181939345898 CPUtime=0.91 cores=0-7
/proc/25380/task/25383/stat : 25383 (java) S 25378 25378 24752 0 -1 1077944384 727 0 0 0 60 31 0 0 20 0 28 0 512476851 29456678912 372409 33554432000 4194304 4196468 140735157975376 139924058786320 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25384] ppid=25378 vsize=28766288 memory=111181939345898 CPUtime=0.88 cores=0-7
/proc/25380/task/25384/stat : 25384 (java) S 25378 25378 24752 0 -1 1077944384 807 0 0 0 59 29 0 0 20 0 28 0 512476851 29456678912 372409 33554432000 4194304 4196468 140735157975376 139924057733520 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25385] ppid=25378 vsize=28766288 memory=111181939345642 CPUtime=0.91 cores=0-7
/proc/25380/task/25385/stat : 25385 (java) S 25378 25378 24752 0 -1 1077944384 794 0 0 0 61 30 0 0 20 0 28 0 512476851 29456678912 372409 33554432000 4194304 4196468 140735157975376 139924056680720 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25386] ppid=25378 vsize=28766288 memory=1448 CPUtime=0.9 cores=0-7
/proc/25380/task/25386/stat : 25386 (java) S 25378 25378 24752 0 -1 1077944384 748 0 0 0 61 29 0 0 20 0 28 0 512476851 29456678912 372409 33554432000 4194304 4196468 140735157975376 139924055628944 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25387] ppid=25378 vsize=28766288 memory=1487148 CPUtime=0.93 cores=0-7
/proc/25380/task/25387/stat : 25387 (java) S 25378 25378 24752 0 -1 1077944384 863 0 0 0 62 31 0 0 20 0 28 0 512476851 29456678912 372475 33554432000 4194304 4196468 140735157975376 139924054576144 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25388] ppid=25378 vsize=28766288 memory=1056 CPUtime=0.91 cores=0-7
/proc/25380/task/25388/stat : 25388 (java) S 25378 25378 24752 0 -1 1077944384 730 0 0 0 62 29 0 0 20 0 28 0 512476851 29456678912 372475 33554432000 4194304 4196468 140735157975376 139924053523344 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25389] ppid=25378 vsize=28766288 memory=1540 CPUtime=0.92 cores=0-7
/proc/25380/task/25389/stat : 25389 (java) S 25378 25378 24752 0 -1 1077944384 840 0 0 0 61 31 0 0 20 0 28 0 512476851 29456678912 372475 33554432000 4194304 4196468 140735157975376 139924052470544 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25390] ppid=25378 vsize=28766288 memory=728 CPUtime=0.19 cores=0-7
/proc/25380/task/25390/stat : 25390 (java) S 25378 25378 24752 0 -1 1077944384 1336 0 0 0 19 0 0 0 20 0 28 0 512476852 29456678912 372475 33554432000 4194304 4196468 140735157975376 139922905168240 139924508584578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25391] ppid=25378 vsize=28766288 memory=3956 CPUtime=0 cores=0-7
/proc/25380/task/25391/stat : 25391 (java) S 25378 25378 24752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 512476852 29456678912 372475 33554432000 4194304 4196468 140735157975376 139922904114272 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25392] ppid=25378 vsize=28766288 memory=2832 CPUtime=0 cores=0-7
/proc/25380/task/25392/stat : 25392 (java) S 25378 25378 24752 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 512476853 29456678912 372475 33554432000 4194304 4196468 140735157975376 139922903061376 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25393] ppid=25378 vsize=28766288 memory=1212 CPUtime=0 cores=0-7
/proc/25380/task/25393/stat : 25393 (java) S 25378 25378 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512476855 29456678912 372475 33554432000 4194304 4196468 140735157975376 139922902009680 139924508592027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25394] ppid=25378 vsize=28766288 memory=1036 CPUtime=0.57 cores=0-7
/proc/25380/task/25394/stat : 25394 (java) R 25378 25378 24752 0 -1 4202560 1502 0 0 0 57 0 0 0 20 0 28 0 512476855 29456678912 372475 33554432000 4194304 4196468 140735157975376 139922900958064 139924494269302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25395] ppid=25378 vsize=28766288 memory=0 CPUtime=0.68 cores=0-7
/proc/25380/task/25395/stat : 25395 (java) S 25378 25378 24752 0 -1 1077944384 1499 0 0 0 68 0 0 0 20 0 28 0 512476855 29456678912 372475 33554432000 4194304 4196468 140735157975376 139922899905264 139924508584578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25396] ppid=25378 vsize=28766288 memory=279495534602592 CPUtime=0.79 cores=0-7
/proc/25380/task/25396/stat : 25396 (java) R 25378 25378 24752 0 -1 4202560 1590 0 0 0 78 1 0 0 20 0 28 0 512476855 29456678912 372475 33554432000 4194304 4196468 140735157975376 139922898833480 139924493697456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25397] ppid=25378 vsize=28766288 memory=139747767222464 CPUtime=0.52 cores=0-7
/proc/25380/task/25397/stat : 25397 (java) R 25378 25378 24752 0 -1 1077944384 2323 0 0 0 50 2 0 0 20 0 28 0 512476855 29456678912 372475 33554432000 4194304 4196468 140735157975376 139922897799760 139924508583637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25398] ppid=25378 vsize=28766288 memory=34928 CPUtime=0 cores=0-7
/proc/25380/task/25398/stat : 25398 (java) S 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512476855 29456678912 372475 33554432000 4194304 4196468 140735157975376 139922896747104 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25399] ppid=25378 vsize=28766288 memory=496 CPUtime=0 cores=0-7
/proc/25380/task/25399/stat : 25399 (java) R 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512476856 29456678912 372475 33554432000 4194304 4196468 140735157975376 139922895694384 139924508584578 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
Current children cumulated CPU time: 13.72 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1491084 KiB
[startup+4.8009 s]
/proc/loadavg: 1.38 3.68 6.23 2/215 25399
/proc/meminfo: memFree=22847236/32770624 swapFree=67002972/67108860
[pid=25378] ppid=25375 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25378/stat : 25378 (xcsp3-exec) S 25375 25378 24752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 512476849 115843072 362 33554432000 4194304 5098028 140728909390160 140728909388264 140715665539708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11304960 140728909394770 140728909395029 140728909395029 140728909397958 0
/proc/25378/statm: 28282 362 304 221 0 87 0
[pid=25380] ppid=25378 vsize=28766288 memory=1492080 CPUtime=15.18 cores=0-7
/proc/25380/stat : 25380 (java) S 25378 25378 24752 0 -1 1077944320 25726 0 0 0 1260 258 0 0 20 0 19 0 512476849 29456678912 373020 33554432000 4194304 4196468 140735157975376 140735157957920 139924508573431 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
/proc/25380/statm: 7191572 373020 3518 1 0 7152672 0
[pid=25380/tid=25381] ppid=25378 vsize=28766288 memory=28829630602021044 CPUtime=3.39 cores=0-7
/proc/25380/task/25381/stat : 25381 (java) S 25378 25378 24752 0 -1 1077944384 9128 0 0 0 330 9 0 0 20 0 19 0 512476850 29456678912 373020 33554432000 4194304 4196468 140735157975376 139924512816272 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25382] ppid=25378 vsize=28766288 memory=288283394171358953 CPUtime=0.9 cores=0-7
/proc/25380/task/25382/stat : 25382 (java) S 25378 25378 24752 0 -1 1077944384 772 0 0 0 61 29 0 0 20 0 19 0 512476851 29456678912 373020 33554432000 4194304 4196468 140735157975376 139924059839120 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25383] ppid=25378 vsize=28766288 memory=0 CPUtime=0.91 cores=0-7
/proc/25380/task/25383/stat : 25383 (java) S 25378 25378 24752 0 -1 1077944384 727 0 0 0 60 31 0 0 20 0 19 0 512476851 29456678912 373020 33554432000 4194304 4196468 140735157975376 139924058786320 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25384] ppid=25378 vsize=28766288 memory=0 CPUtime=0.88 cores=0-7
/proc/25380/task/25384/stat : 25384 (java) S 25378 25378 24752 0 -1 1077944384 807 0 0 0 59 29 0 0 20 0 19 0 512476851 29456678912 373020 33554432000 4194304 4196468 140735157975376 139924057733520 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25385] ppid=25378 vsize=28766288 memory=0 CPUtime=0.91 cores=0-7
/proc/25380/task/25385/stat : 25385 (java) S 25378 25378 24752 0 -1 1077944384 794 0 0 0 61 30 0 0 20 0 19 0 512476851 29456678912 373020 33554432000 4194304 4196468 140735157975376 139924056680720 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25386] ppid=25378 vsize=28766288 memory=0 CPUtime=0.9 cores=0-7
/proc/25380/task/25386/stat : 25386 (java) S 25378 25378 24752 0 -1 1077944384 748 0 0 0 61 29 0 0 20 0 19 0 512476851 29456678912 373020 33554432000 4194304 4196468 140735157975376 139924055628944 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25387] ppid=25378 vsize=28766288 memory=0 CPUtime=0.93 cores=0-7
/proc/25380/task/25387/stat : 25387 (java) S 25378 25378 24752 0 -1 1077944384 863 0 0 0 62 31 0 0 20 0 19 0 512476851 29456678912 373020 33554432000 4194304 4196468 140735157975376 139924054576144 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25388] ppid=25378 vsize=28766288 memory=0 CPUtime=0.91 cores=0-7
/proc/25380/task/25388/stat : 25388 (java) S 25378 25378 24752 0 -1 1077944384 730 0 0 0 62 29 0 0 20 0 19 0 512476851 29456678912 373020 33554432000 4194304 4196468 140735157975376 139924053523344 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25389] ppid=25378 vsize=28766288 memory=0 CPUtime=0.92 cores=0-7
/proc/25380/task/25389/stat : 25389 (java) S 25378 25378 24752 0 -1 1077944384 840 0 0 0 61 31 0 0 20 0 19 0 512476851 29456678912 373020 33554432000 4194304 4196468 140735157975376 139924052470544 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25390] ppid=25378 vsize=28766288 memory=0 CPUtime=0.19 cores=0-7
/proc/25380/task/25390/stat : 25390 (java) S 25378 25378 24752 0 -1 1077944384 1336 0 0 0 19 0 0 0 20 0 19 0 512476852 29456678912 373020 33554432000 4194304 4196468 140735157975376 139922905168448 139924508584578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25391] ppid=25378 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25391/stat : 25391 (java) S 25378 25378 24752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 512476852 29456678912 373020 33554432000 4194304 4196468 140735157975376 139922904114272 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25392] ppid=25378 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25392/stat : 25392 (java) S 25378 25378 24752 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 512476853 29456678912 373020 33554432000 4194304 4196468 140735157975376 139922903061376 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25393] ppid=25378 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25393/stat : 25393 (java) S 25378 25378 24752 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 512476855 29456678912 373020 33554432000 4194304 4196468 140735157975376 139922902008448 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25394] ppid=25378 vsize=28766288 memory=0 CPUtime=0.68 cores=0-7
/proc/25380/task/25394/stat : 25394 (java) S 25378 25378 24752 0 -1 1077944384 1524 0 0 0 68 0 0 0 20 0 19 0 512476855 29456678912 373020 33554432000 4194304 4196468 140735157975376 139922900942960 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25395] ppid=25378 vsize=28766288 memory=3184097920075968593 CPUtime=0.82 cores=0-7
/proc/25380/task/25395/stat : 25395 (java) R 25378 25378 24752 0 -1 4202560 1529 0 0 0 82 0 0 0 20 0 19 0 512476855 29456678912 373020 33554432000 4194304 4196468 140735157975376 139922899892528 139924493680279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25396] ppid=25378 vsize=28766288 memory=0 CPUtime=0.94 cores=0-7
/proc/25380/task/25396/stat : 25396 (java) S 25378 25378 24752 0 -1 1077944384 1865 0 0 0 93 1 0 0 20 0 19 0 512476855 29456678912 373020 33554432000 4194304 4196468 140735157975376 139922898832368 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25397] ppid=25378 vsize=28766288 memory=0 CPUtime=0.56 cores=0-7
/proc/25380/task/25397/stat : 25397 (java) S 25378 25378 24752 0 -1 1077944384 2400 0 0 0 54 2 0 0 20 0 19 0 512476855 29456678912 373020 33554432000 4194304 4196468 140735157975376 139922897795040 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
[pid=25380/tid=25398] ppid=25378 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/25380/task/25398/stat : 25398 (java) S 25378 25378 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 512476855 29456678912 373020 33554432000 4194304 4196468 140735157975376 139922896747104 139924508583637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9785344 140735157982166 140735157982342 140735157982342 140735157985231 0
Current children cumulated CPU time: 15.18 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1493528 KiB
Child status: 0
Real time (s): 4.83063
CPU time (s): 15.2146
CPU user time (s): 12.6157
CPU system time (s): 2.59889
CPU usage (%): 314.96
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 1493528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.6157
system time used= 2.59889
maximum resident set size= 1493392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3743
involuntary context switches= 150
# summary of solver processes directly reported to runsolver:
# pid: 25378
# total CPU time (s): 15.2146
# total CPU user time (s): 12.6157
# total CPU system time (s): 2.59889
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05869 second user time and 0.091781 second system time
The end
Begin job on node133 at 2019-09-24 23:58:53
IDJOB=4406757
IDBENCH=139942
IDSOLVER=2871
FILE ID=node133/4406757-1569362373
RUNJOBID= node133-1569359473-24779
PBS_JOBID= 21705121
Free space on /var/tmp= 13488 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h2105.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-4406757-1569362373/watcher-4406757-1569362373 -o /var/tmp/evaluation-result-4406757-1569362373/solver-4406757-1569362373 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569359473-24779 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 151116852 HOME/instance-4406757-1569362373.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 35703c5da18cfa31646d51f4d8651558
RANDOM SEED=151116852
node133.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.18
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.18
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.18
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.18
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: 24321452 kB
MemAvailable: 31839028 kB
Buffers: 153064 kB
Cached: 7419140 kB
SwapCached: 5152 kB
Active: 3736792 kB
Inactive: 3842504 kB
Active(anon): 5052 kB
Inactive(anon): 57204 kB
Active(file): 3731740 kB
Inactive(file): 3785300 kB
Unevictable: 110964 kB
Mlocked: 110964 kB
SwapTotal: 67108860 kB
SwapFree: 67002972 kB
Dirty: 27204 kB
Writeback: 0 kB
AnonPages: 56720 kB
Mapped: 57552 kB
Shmem: 46824 kB
Slab: 458556 kB
SReclaimable: 428996 kB
SUnreclaim: 29560 kB
KernelStack: 3792 kB
PageTables: 6088 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 514436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 122240 kB
DirectMap2M: 33423360 kB
Free space on /var/tmp at the end= 13460 MiB
End job on node133 at 2019-09-24 23:58:58