0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404357-1569010863.xml" -tl '20160s' -p 8
0.13/0.18 c Choco 3fb4b153
0.13/0.18 c [HOME/instance-4404357-1569010863.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
13.72/4.42 c solve instance...
15.78/4.72 s SATISFIABLE
15.78/4.72 v <instantiation>
15.78/4.72 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>
15.78/4.72 v <values>18 19 0 11 0 6 0 19 19 0 2 7 0 1 11 0 12 4 17 0 17 13 8 2 0 3 14 17 11 4 0 2 11 8 6 0 18 4 2 0 13 0 17 3 3 17 8 4 18 2 7 8 13 0 11 15 0 17 7 4 0 9 14 20 17 13 0 7 4 1 3 14 1 0 11 0 8 11 18 4 11 8 4 4 16 8 1 11 0 0 4 3 4 19 17 0 12 15 4 19 4 3 20 18 18 4 2 24 2 0 18 14 11 0 2 14 8 2 17 20 18 19 0 11 0 6 6 17 0 13 3 18 2 13 4 19 2 0 12 12 14 8 19 8 17 11 0 13 19 0 13 0 3 4 7 0 11 4 8 20 19 3 4 11 14 6 4 12 8 2 17 18 8 18 0 11 2 17 14 18 6 0 20 17 5 0 0 0 0 2 17 0 0 13 13 4 4 14 18 4 4 6 0 1 1 17 14 0 12 4 17 4 8 5 8 4 18 0 11 0 17 8 0 0 1 0 3 0 13 3 4 13 0 17 18 0 18 2 7 4 18 8 1 4 9 0 8 0 17 0 1 0 0 18 4 18 14 21 4 11 3 19 3 9 8 13 13 15 18 19 4 13 2 0 13 8 17 0 8 3 8 0 15 14 1 14 19 4 18 2 0 2 0 15 14 15 1 0 13 2 14 13 14 8 17 2 8 4 17 0 19 4 3 8 19 0 8 0 12 15 14 20 11 4 13 20 0 13 2 0 17 0 3 8 20 12 13 4 20 19 17 4 18 14 17 19 4 8 11 4 19 4 13 3 18 0 4 17 0 6 4 18 2 14 19 19 0 18 </values>
15.78/4.72 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 (7059 MiB free)
memory of node 1: 16384 MiB (8350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404357-1569010863/watcher-4404357-1569010863 -o /var/tmp/evaluation-result-4404357-1569010863/solver-4404357-1569010863 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569005314-11667 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1941878218 HOME/instance-4404357-1569010863.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=12962, runsolver pid=12959
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.105354 s]*
/proc/loadavg: 7.32 8.15 8.27 4/211 12983
/proc/meminfo: memFree=15762756/32770624 swapFree=66976740/67108860
[pid=12962] ppid=12959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12962/stat : 12962 (xcsp3-exec) S 12959 12962 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477026435 115843072 363 33554432000 4194304 5098028 140727822166464 140727822164568 140153335706236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11022336 140727822173009 140727822173269 140727822173269 140727822176198 0
/proc/12962/statm: 28282 363 304 221 0 87 0
[pid=12964] ppid=12962 vsize=28227396 memory=29040 CPUtime=0.13 cores=0-7
/proc/12964/stat : 12964 (java) S 12962 12962 11640 0 -1 1077944320 5763 0 0 0 12 1 0 0 20 0 20 0 477026436 28904853504 7260 33554432000 4194304 4196468 140722565250912 140722565233456 139660077375223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
/proc/12964/statm: 7056849 7260 3125 1 0 7019032 0
[pid=12964/tid=12965] ppid=12962 vsize=28227396 memory=4134930498285298233 CPUtime=0.1 cores=0-7
/proc/12964/task/12965/stat : 12965 (java) R 12962 12962 11640 0 -1 4202560 3626 0 0 0 9 1 0 0 20 0 20 0 477026436 28904853504 7260 33554432000 4194304 4196468 140722565250912 139660081602384 139660061418853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12966] ppid=12962 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12964/task/12966/stat : 12966 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659997227664 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12967] ppid=12962 vsize=28227396 memory=140447120619136 CPUtime=0 cores=0-7
/proc/12964/task/12967/stat : 12967 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659996174864 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12968] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12968/stat : 12968 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659995122064 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12969] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12969/stat : 12969 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659994069264 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12970] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12970/stat : 12970 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659993017488 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12971] ppid=12962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12964/task/12971/stat : 12971 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659991964688 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12972] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12972/stat : 12972 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659990911888 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12973] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12973/stat : 12973 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659989859088 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12974] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12974/stat : 12974 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026438 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659327928688 139660077386370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12975] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12975/stat : 12975 (java) S 12962 12962 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477026439 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659326874656 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12976] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12976/stat : 12976 (java) S 12962 12962 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477026439 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659325821808 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12977] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12977/stat : 12977 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026441 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659324770128 139660077393819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12978] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12978/stat : 12978 (java) S 12962 12962 11640 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 477026441 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659323718512 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12979] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12979/stat : 12979 (java) R 12962 12962 11640 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 20 0 477026441 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659322665712 139660077396570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12980] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12980/stat : 12980 (java) R 12962 12962 11640 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 20 0 477026441 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659321612912 139660062500270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12981] ppid=12962 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/12964/task/12981/stat : 12981 (java) R 12962 12962 11640 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 20 0 477026441 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659320560112 139660061455710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12982] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12982/stat : 12982 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477026441 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659319507552 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12983] ppid=12962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12964/task/12983/stat : 12983 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026442 28904853504 7260 33554432000 4194304 4196468 140722565250912 139659318454832 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30492 KiB
[startup+0.210553 s]*
/proc/loadavg: 7.32 8.15 8.27 3/211 12983
/proc/meminfo: memFree=15749752/32770624 swapFree=66976740/67108860
[pid=12962] ppid=12959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12962/stat : 12962 (xcsp3-exec) S 12959 12962 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477026435 115843072 363 33554432000 4194304 5098028 140727822166464 140727822164568 140153335706236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11022336 140727822173009 140727822173269 140727822173269 140727822176198 0
/proc/12962/statm: 28282 363 304 221 0 87 0
[pid=12964] ppid=12962 vsize=28227396 memory=40996 CPUtime=0.34 cores=0-7
/proc/12964/stat : 12964 (java) S 12962 12962 11640 0 -1 1077944320 9530 0 0 0 31 3 0 0 20 0 20 0 477026436 28904853504 10249 33554432000 4194304 4196468 140722565250912 140722565233456 139660077375223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
/proc/12964/statm: 7056849 10249 3300 1 0 7019032 0
[pid=12964/tid=12965] ppid=12962 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12964/task/12965/stat : 12965 (java) R 12962 12962 11640 0 -1 4202560 6638 0 0 0 18 2 0 0 20 0 20 0 477026436 28904853504 10249 33554432000 4194304 4196468 140722565250912 139660081603936 139660077387158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12966] ppid=12962 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/12964/task/12966/stat : 12966 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659997227664 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12967] ppid=12962 vsize=28227396 memory=3834167395560191648 CPUtime=0 cores=0-7
/proc/12964/task/12967/stat : 12967 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659996174864 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12968] ppid=12962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12964/task/12968/stat : 12968 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659995122064 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12969] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12969/stat : 12969 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659994069264 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12970] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12970/stat : 12970 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659993017488 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12971] ppid=12962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12964/task/12971/stat : 12971 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659991964688 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12972] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12972/stat : 12972 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659990911888 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12973] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12973/stat : 12973 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477026437 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659989859088 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12974] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12974/stat : 12974 (java) S 12962 12962 11640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477026438 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659327928688 139660077386370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12975] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12975/stat : 12975 (java) S 12962 12962 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477026439 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659326874656 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12976] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12976/stat : 12976 (java) S 12962 12962 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477026439 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659325821808 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12977] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12977/stat : 12977 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026441 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659324770128 139660077393819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12978] ppid=12962 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12964/task/12978/stat : 12978 (java) S 12962 12962 11640 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 20 0 477026441 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659323718512 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12979] ppid=12962 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12964/task/12979/stat : 12979 (java) S 12962 12962 11640 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 477026441 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659322665712 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12980] ppid=12962 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/12964/task/12980/stat : 12980 (java) R 12962 12962 11640 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 20 0 477026441 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659321612912 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12981] ppid=12962 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/12964/task/12981/stat : 12981 (java) R 12962 12962 11640 0 -1 4202560 768 0 0 0 8 0 0 0 20 0 20 0 477026441 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659320560112 139660054599376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12982] ppid=12962 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12982/stat : 12982 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477026441 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659319507552 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12983] ppid=12962 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12964/task/12983/stat : 12983 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026442 28904853504 10249 33554432000 4194304 4196468 140722565250912 139659318454832 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42448 KiB
[startup+0.310598 s]*
/proc/loadavg: 7.32 8.15 8.27 4/211 12983
/proc/meminfo: memFree=15742604/32770624 swapFree=66976740/67108860
[pid=12962] ppid=12959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12962/stat : 12962 (xcsp3-exec) S 12959 12962 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477026435 115843072 363 33554432000 4194304 5098028 140727822166464 140727822164568 140153335706236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11022336 140727822173009 140727822173269 140727822173269 140727822176198 0
/proc/12962/statm: 28282 363 304 221 0 87 0
[pid=12964] ppid=12962 vsize=28231652 memory=49972 CPUtime=0.52 cores=0-7
/proc/12964/stat : 12964 (java) S 12962 12962 11640 0 -1 1077944320 10881 0 0 0 48 4 0 0 20 0 20 0 477026436 28909211648 12493 33554432000 4194304 4196468 140722565250912 140722565233456 139660077375223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
/proc/12964/statm: 7057913 12493 3354 1 0 7019032 0
[pid=12964/tid=12965] ppid=12962 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12964/task/12965/stat : 12965 (java) R 12962 12962 11640 0 -1 4202560 7787 0 0 0 26 3 0 0 20 0 20 0 477026436 28909211648 12493 33554432000 4194304 4196468 140722565250912 139660081606336 139660077397149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12966] ppid=12962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12966/stat : 12966 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026437 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659997227664 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12967] ppid=12962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12967/stat : 12967 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026437 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659996174864 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12968] ppid=12962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12968/stat : 12968 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026437 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659995122064 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12969] ppid=12962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12969/stat : 12969 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026437 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659994069264 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12970] ppid=12962 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/12964/task/12970/stat : 12970 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026437 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659993017488 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12971] ppid=12962 vsize=28231652 memory=140446974178223 CPUtime=0 cores=0-7
/proc/12964/task/12971/stat : 12971 (java) S 12962 12962 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477026437 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659991964688 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12972] ppid=12962 vsize=28231652 memory=140446974180528 CPUtime=0 cores=0-7
/proc/12964/task/12972/stat : 12972 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026437 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659990911888 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12973] ppid=12962 vsize=28231652 memory=140446974182832 CPUtime=0 cores=0-7
/proc/12964/task/12973/stat : 12973 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477026437 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659989859088 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12974] ppid=12962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12974/stat : 12974 (java) S 12962 12962 11640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477026438 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659327928688 139660077386370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12975] ppid=12962 vsize=28231652 memory=280893948372624 CPUtime=0 cores=0-7
/proc/12964/task/12975/stat : 12975 (java) S 12962 12962 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477026439 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659326874656 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12976] ppid=12962 vsize=28231652 memory=280893948379536 CPUtime=0 cores=0-7
/proc/12964/task/12976/stat : 12976 (java) S 12962 12962 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477026439 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659325821808 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12977] ppid=12962 vsize=28231652 memory=280893948320816 CPUtime=0 cores=0-7
/proc/12964/task/12977/stat : 12977 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026441 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659324770128 139660077393819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12978] ppid=12962 vsize=28231652 memory=280893948393360 CPUtime=0.02 cores=0-7
/proc/12964/task/12978/stat : 12978 (java) R 12962 12962 11640 0 -1 4202560 615 0 0 0 2 0 0 0 20 0 20 0 477026441 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659323708624 139660062500995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12979] ppid=12962 vsize=28231652 memory=280893948400272 CPUtime=0.02 cores=0-7
/proc/12964/task/12979/stat : 12979 (java) S 12962 12962 11640 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 20 0 477026441 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659322665712 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12980] ppid=12962 vsize=28231652 memory=280893948397968 CPUtime=0.03 cores=0-7
/proc/12964/task/12980/stat : 12980 (java) S 12962 12962 11640 0 -1 1077944384 189 0 0 0 3 0 0 0 20 0 20 0 477026441 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659321612912 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12981] ppid=12962 vsize=28231652 memory=280893948414128 CPUtime=0.13 cores=0-7
/proc/12964/task/12981/stat : 12981 (java) S 12962 12962 11640 0 -1 1077944384 852 0 0 0 13 0 0 0 20 0 20 0 477026441 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659320560112 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12982] ppid=12962 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12982/stat : 12982 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477026441 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659319507552 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12983] ppid=12962 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12964/task/12983/stat : 12983 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026442 28909211648 12493 33554432000 4194304 4196468 140722565250912 139659318454832 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51424 KiB
[startup+0.700962 s]
/proc/loadavg: 7.32 8.15 8.27 5/211 12983
/proc/meminfo: memFree=15709272/32770624 swapFree=66976740/67108860
[pid=12962] ppid=12959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12962/stat : 12962 (xcsp3-exec) S 12959 12962 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477026435 115843072 363 33554432000 4194304 5098028 140727822166464 140727822164568 140153335706236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11022336 140727822173009 140727822173269 140727822173269 140727822176198 0
/proc/12962/statm: 28282 363 304 221 0 87 0
[pid=12964] ppid=12962 vsize=28233776 memory=158972 CPUtime=1.9 cores=0-7
/proc/12964/stat : 12964 (java) S 12962 12962 11640 0 -1 1077944320 15079 0 0 0 182 8 0 0 20 0 20 0 477026436 28911386624 39743 33554432000 4194304 4196468 140722565250912 140722565233456 139660077375223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
/proc/12964/statm: 7058444 39743 3445 1 0 7019544 0
[pid=12964/tid=12965] ppid=12962 vsize=28233776 memory=280893948772016 CPUtime=0.68 cores=0-7
/proc/12964/task/12965/stat : 12965 (java) R 12962 12962 11640 0 -1 4202560 8480 0 0 0 62 6 0 0 20 0 20 0 477026436 28911386624 39743 33554432000 4194304 4196468 140722565250912 139660081608912 139660077387158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12966] ppid=12962 vsize=28233776 memory=140446974387056 CPUtime=0 cores=0-7
/proc/12964/task/12966/stat : 12966 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026437 28911386624 39743 33554432000 4194304 4196468 140722565250912 139659997227664 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12967] ppid=12962 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12967/stat : 12967 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026437 28911386624 39743 33554432000 4194304 4196468 140722565250912 139659996174864 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12968] ppid=12962 vsize=28233776 memory=1060 CPUtime=0 cores=0-7
################
# More data... #
################
/proc/12964/task/12982/stat : 12982 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477026441 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659319507552 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12983] ppid=12962 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12983/stat : 12983 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026442 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659318454832 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
Current children cumulated CPU time: 13.1 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 1470060 KiB
[startup+4.40092 s]
/proc/loadavg: 7.32 8.15 8.27 2/211 12983
/proc/meminfo: memFree=14325072/32770624 swapFree=66976740/67108860
[pid=12962] ppid=12959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12962/stat : 12962 (xcsp3-exec) S 12959 12962 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477026435 115843072 363 33554432000 4194304 5098028 140727822166464 140727822164568 140153335706236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11022336 140727822173009 140727822173269 140727822173269 140727822176198 0
/proc/12962/statm: 28282 363 304 221 0 87 0
[pid=12964] ppid=12962 vsize=28233776 memory=1468608 CPUtime=13.72 cores=0-7
/proc/12964/stat : 12964 (java) S 12962 12962 11640 0 -1 1077944320 25580 0 0 0 1117 255 0 0 20 0 20 0 477026436 28911386624 367152 33554432000 4194304 4196468 140722565250912 140722565233456 139660077375223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
/proc/12964/statm: 7058444 367152 3505 1 0 7019544 0
[pid=12964/tid=12965] ppid=12962 vsize=28233776 memory=57854752983786 CPUtime=3.17 cores=0-7
/proc/12964/task/12965/stat : 12965 (java) R 12962 12962 11640 0 -1 4202560 10177 0 0 0 306 11 0 0 20 0 20 0 477026436 28911386624 367152 33554432000 4194304 4196468 140722565250912 139660081609480 139659673804208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12966] ppid=12962 vsize=28233776 memory=57854752983786 CPUtime=0.97 cores=0-7
/proc/12964/task/12966/stat : 12966 (java) S 12962 12962 11640 0 -1 1077944384 694 0 0 0 67 30 0 0 20 0 20 0 477026437 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659997227664 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12967] ppid=12962 vsize=28233776 memory=57854752983786 CPUtime=0.98 cores=0-7
/proc/12964/task/12967/stat : 12967 (java) S 12962 12962 11640 0 -1 1077944384 868 0 0 0 67 31 0 0 20 0 20 0 477026437 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659996174864 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12968] ppid=12962 vsize=28233776 memory=57854752983530 CPUtime=0.96 cores=0-7
/proc/12964/task/12968/stat : 12968 (java) S 12962 12962 11640 0 -1 1077944384 585 0 0 0 67 29 0 0 20 0 20 0 477026437 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659995122064 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12969] ppid=12962 vsize=28233776 memory=0 CPUtime=0.95 cores=0-7
/proc/12964/task/12969/stat : 12969 (java) S 12962 12962 11640 0 -1 1077944384 834 0 0 0 65 30 0 0 20 0 20 0 477026437 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659994069264 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12970] ppid=12962 vsize=28233776 memory=7668611302288354663 CPUtime=0.94 cores=0-7
/proc/12964/task/12970/stat : 12970 (java) S 12962 12962 11640 0 -1 1077944384 701 0 0 0 66 28 0 0 20 0 20 0 477026437 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659993017488 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12971] ppid=12962 vsize=28233776 memory=7956570094773036399 CPUtime=0.97 cores=0-7
/proc/12964/task/12971/stat : 12971 (java) S 12962 12962 11640 0 -1 1077944384 819 0 0 0 69 28 0 0 20 0 20 0 477026437 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659991964688 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12972] ppid=12962 vsize=28233776 memory=7301582298768758373 CPUtime=0.98 cores=0-7
/proc/12964/task/12972/stat : 12972 (java) S 12962 12962 11640 0 -1 1077944384 936 0 0 0 69 29 0 0 20 0 20 0 477026437 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659990911888 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12973] ppid=12962 vsize=28233776 memory=5795117241467496816 CPUtime=0.96 cores=0-7
/proc/12964/task/12973/stat : 12973 (java) S 12962 12962 11640 0 -1 1077944384 911 0 0 0 66 30 0 0 20 0 20 0 477026437 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659989859088 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12974] ppid=12962 vsize=28233776 memory=7019257425709197167 CPUtime=0.2 cores=0-7
/proc/12964/task/12974/stat : 12974 (java) S 12962 12962 11640 0 -1 1077944384 1335 0 0 0 20 0 0 0 20 0 20 0 477026438 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659327928688 139660077386370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12975] ppid=12962 vsize=28233776 memory=7805107935084827477 CPUtime=0 cores=0-7
/proc/12964/task/12975/stat : 12975 (java) S 12962 12962 11640 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 477026439 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659326874720 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12976] ppid=12962 vsize=28233776 memory=7236547281622689387 CPUtime=0 cores=0-7
/proc/12964/task/12976/stat : 12976 (java) S 12962 12962 11640 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 477026439 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659325821824 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12977] ppid=12962 vsize=28233776 memory=7444843076533644388 CPUtime=0 cores=0-7
/proc/12964/task/12977/stat : 12977 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477026441 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659324770128 139660077393819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12978] ppid=12962 vsize=28233776 memory=5859271421084390760 CPUtime=0.53 cores=0-7
/proc/12964/task/12978/stat : 12978 (java) S 12962 12962 11640 0 -1 1077944384 1462 0 0 0 52 1 0 0 20 0 20 0 477026441 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659323718512 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12979] ppid=12962 vsize=28233776 memory=7523071198212214892 CPUtime=0.71 cores=0-7
/proc/12964/task/12979/stat : 12979 (java) S 12962 12962 11640 0 -1 1077944384 1451 0 0 0 71 0 0 0 20 0 20 0 477026441 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659322665712 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12980] ppid=12962 vsize=28233776 memory=5788626802952987989 CPUtime=0.75 cores=0-7
/proc/12964/task/12980/stat : 12980 (java) R 12962 12962 11640 0 -1 4202560 1248 0 0 0 75 0 0 0 20 0 20 0 477026441 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659321613208 139660061782433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12981] ppid=12962 vsize=28233776 memory=1452 CPUtime=0.5 cores=0-7
/proc/12964/task/12981/stat : 12981 (java) S 12962 12962 11640 0 -1 1077944384 2256 0 0 0 50 0 0 0 20 0 20 0 477026441 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659320560112 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12982] ppid=12962 vsize=28233776 memory=1243708 CPUtime=0 cores=0-7
/proc/12964/task/12982/stat : 12982 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477026441 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659319507552 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12983] ppid=12962 vsize=28233776 memory=3636 CPUtime=0 cores=0-7
/proc/12964/task/12983/stat : 12983 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477026442 28911386624 367152 33554432000 4194304 4196468 140722565250912 139659318454832 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
Current children cumulated CPU time: 13.72 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 1470060 KiB
[startup+4.60233 s]
/proc/loadavg: 7.32 8.15 8.27 2/211 12983
/proc/meminfo: memFree=14325072/32770624 swapFree=66976740/67108860
[pid=12962] ppid=12959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12962/stat : 12962 (xcsp3-exec) S 12959 12962 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477026435 115843072 363 33554432000 4194304 5098028 140727822166464 140727822164568 140153335706236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11022336 140727822173009 140727822173269 140727822173269 140727822176198 0
/proc/12962/statm: 28282 363 304 221 0 87 0
[pid=12964] ppid=12962 vsize=28766288 memory=1477532 CPUtime=15 cores=0-7
/proc/12964/stat : 12964 (java) S 12962 12962 11640 0 -1 1077944320 26700 0 0 0 1244 256 0 0 20 0 28 0 477026436 29456678912 369383 33554432000 4194304 4196468 140722565250912 140722565233456 139660077375223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
/proc/12964/statm: 7191572 369383 3516 1 0 7152672 0
[pid=12964/tid=12965] ppid=12962 vsize=28766288 memory=6944656592455360604 CPUtime=3.2 cores=0-7
/proc/12964/task/12965/stat : 12965 (java) S 12962 12962 11640 0 -1 1077944384 10324 0 0 0 309 11 0 0 20 0 28 0 477026436 29456678912 369383 33554432000 4194304 4196468 140722565250912 139660081616000 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12966] ppid=12962 vsize=28766288 memory=6944656592455097440 CPUtime=0.97 cores=0-7
/proc/12964/task/12966/stat : 12966 (java) S 12962 12962 11640 0 -1 1077944384 694 0 0 0 67 30 0 0 20 0 28 0 477026437 29456678912 369383 33554432000 4194304 4196468 140722565250912 139659997227664 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12967] ppid=12962 vsize=28766288 memory=6944652177228980320 CPUtime=0.98 cores=0-7
/proc/12964/task/12967/stat : 12967 (java) S 12962 12962 11640 0 -1 1077944384 868 0 0 0 67 31 0 0 20 0 28 0 477026437 29456678912 369383 33554432000 4194304 4196468 140722565250912 139659996174864 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12968] ppid=12962 vsize=28766288 memory=6944656592455360604 CPUtime=0.96 cores=0-7
/proc/12964/task/12968/stat : 12968 (java) S 12962 12962 11640 0 -1 1077944384 585 0 0 0 67 29 0 0 20 0 28 0 477026437 29456678912 369383 33554432000 4194304 4196468 140722565250912 139659995122064 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12969] ppid=12962 vsize=28766288 memory=6944656592455360604 CPUtime=0.95 cores=0-7
/proc/12964/task/12969/stat : 12969 (java) S 12962 12962 11640 0 -1 1077944384 834 0 0 0 65 30 0 0 20 0 28 0 477026437 29456678912 369383 33554432000 4194304 4196468 140722565250912 139659994069264 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12970] ppid=12962 vsize=28766288 memory=6944656592455359580 CPUtime=0.94 cores=0-7
/proc/12964/task/12970/stat : 12970 (java) S 12962 12962 11640 0 -1 1077944384 701 0 0 0 66 28 0 0 20 0 28 0 477026437 29456678912 369383 33554432000 4194304 4196468 140722565250912 139659993017488 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12971] ppid=12962 vsize=28766288 memory=0 CPUtime=0.97 cores=0-7
/proc/12964/task/12971/stat : 12971 (java) S 12962 12962 11640 0 -1 1077944384 819 0 0 0 69 28 0 0 20 0 28 0 477026437 29456678912 369383 33554432000 4194304 4196468 140722565250912 139659991964688 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12972] ppid=12962 vsize=28766288 memory=667680 CPUtime=0.98 cores=0-7
/proc/12964/task/12972/stat : 12972 (java) S 12962 12962 11640 0 -1 1077944384 936 0 0 0 69 29 0 0 20 0 28 0 477026437 29456678912 369383 33554432000 4194304 4196468 140722565250912 139659990911888 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12973] ppid=12962 vsize=28766288 memory=0 CPUtime=0.96 cores=0-7
/proc/12964/task/12973/stat : 12973 (java) S 12962 12962 11640 0 -1 1077944384 911 0 0 0 66 30 0 0 20 0 28 0 477026437 29456678912 369383 33554432000 4194304 4196468 140722565250912 139659989859088 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12974] ppid=12962 vsize=28766288 memory=280893948170224 CPUtime=0.2 cores=0-7
/proc/12964/task/12974/stat : 12974 (java) S 12962 12962 11640 0 -1 1077944384 1335 0 0 0 20 0 0 0 20 0 28 0 477026438 29456678912 369385 33554432000 4194304 4196468 140722565250912 139659327928688 139660077386370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12975] ppid=12962 vsize=28766288 memory=57833278147306 CPUtime=0 cores=0-7
/proc/12964/task/12975/stat : 12975 (java) S 12962 12962 11640 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477026439 29456678912 369385 33554432000 4194304 4196468 140722565250912 139659326874720 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12976] ppid=12962 vsize=28766288 memory=57846163049194 CPUtime=0 cores=0-7
/proc/12964/task/12976/stat : 12976 (java) S 12962 12962 11640 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 477026439 29456678912 369385 33554432000 4194304 4196468 140722565250912 139659325821824 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12977] ppid=12962 vsize=28766288 memory=57854752983786 CPUtime=0 cores=0-7
/proc/12964/task/12977/stat : 12977 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477026441 29456678912 369385 33554432000 4194304 4196468 140722565250912 139659324770128 139660077393819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12978] ppid=12962 vsize=28766288 memory=57854752983786 CPUtime=0.64 cores=0-7
/proc/12964/task/12978/stat : 12978 (java) S 12962 12962 11640 0 -1 1077944384 1539 0 0 0 63 1 0 0 20 0 28 0 477026441 29456678912 369385 33554432000 4194304 4196468 140722565250912 139659323707072 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12979] ppid=12962 vsize=28766288 memory=57854752983786 CPUtime=0.8 cores=0-7
/proc/12964/task/12979/stat : 12979 (java) S 12962 12962 11640 0 -1 1077944384 1478 0 0 0 80 0 0 0 20 0 28 0 477026441 29456678912 369385 33554432000 4194304 4196468 140722565250912 139659322665840 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12980] ppid=12962 vsize=28766288 memory=57854752983786 CPUtime=0.96 cores=0-7
/proc/12964/task/12980/stat : 12980 (java) R 12962 12962 11640 0 -1 4202560 1649 0 0 0 95 1 0 0 20 0 28 0 477026441 29456678912 369385 33554432000 4194304 4196468 140722565250912 139659321598936 139660070471940 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12981] ppid=12962 vsize=28766288 memory=57854752983786 CPUtime=0.56 cores=0-7
/proc/12964/task/12981/stat : 12981 (java) S 12962 12962 11640 0 -1 1077944384 2403 0 0 0 56 0 0 0 20 0 28 0 477026441 29456678912 369385 33554432000 4194304 4196468 140722565250912 139659320555184 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12982] ppid=12962 vsize=28766288 memory=57854752983786 CPUtime=0 cores=0-7
/proc/12964/task/12982/stat : 12982 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477026441 29456678912 369385 33554432000 4194304 4196468 140722565250912 139659319507552 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12983] ppid=12962 vsize=28766288 memory=57854752983786 CPUtime=0 cores=0-7
/proc/12964/task/12983/stat : 12983 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477026442 29456678912 369385 33554432000 4194304 4196468 140722565250912 139659318454832 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
Current children cumulated CPU time: 15 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1478984 KiB
[startup+4.70136 s]
/proc/loadavg: 7.32 8.15 8.27 2/211 12983
/proc/meminfo: memFree=14325072/32770624 swapFree=66976740/67108860
[pid=12962] ppid=12959 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/12962/stat : 12962 (xcsp3-exec) S 12959 12962 11640 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 477026435 115843072 363 33554432000 4194304 5098028 140727822166464 140727822164568 140153335706236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11022336 140727822173009 140727822173269 140727822173269 140727822176198 0
/proc/12962/statm: 28282 363 304 221 0 87 0
[pid=12964] ppid=12962 vsize=28766288 memory=1478388 CPUtime=15.78 cores=0-7
/proc/12964/stat : 12964 (java) S 12962 12962 11640 0 -1 1077944320 26849 0 0 0 1322 256 0 0 20 0 28 0 477026436 29456678912 369597 33554432000 4194304 4196468 140722565250912 140722565233456 139660077375223 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
/proc/12964/statm: 7191572 369597 3518 1 0 7152672 0
[pid=12964/tid=12965] ppid=12962 vsize=28766288 memory=280893948166384 CPUtime=3.2 cores=0-7
/proc/12964/task/12965/stat : 12965 (java) S 12962 12962 11640 0 -1 1077944384 10324 0 0 0 309 11 0 0 20 0 28 0 477026436 29456678912 369597 33554432000 4194304 4196468 140722565250912 139660081616000 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12966] ppid=12962 vsize=28766288 memory=1436 CPUtime=0.97 cores=0-7
/proc/12964/task/12966/stat : 12966 (java) S 12962 12962 11640 0 -1 1077944384 694 0 0 0 67 30 0 0 20 0 28 0 477026437 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659997227664 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12967] ppid=12962 vsize=28766288 memory=580 CPUtime=0.98 cores=0-7
/proc/12964/task/12967/stat : 12967 (java) S 12962 12962 11640 0 -1 1077944384 868 0 0 0 67 31 0 0 20 0 28 0 477026437 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659996174864 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12968] ppid=12962 vsize=28766288 memory=1110184 CPUtime=0.96 cores=0-7
/proc/12964/task/12968/stat : 12968 (java) S 12962 12962 11640 0 -1 1077944384 585 0 0 0 67 29 0 0 20 0 28 0 477026437 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659995122064 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12969] ppid=12962 vsize=28766288 memory=1100588 CPUtime=0.95 cores=0-7
/proc/12964/task/12969/stat : 12969 (java) S 12962 12962 11640 0 -1 1077944384 834 0 0 0 65 30 0 0 20 0 28 0 477026437 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659994069264 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12970] ppid=12962 vsize=28766288 memory=1452 CPUtime=0.94 cores=0-7
/proc/12964/task/12970/stat : 12970 (java) S 12962 12962 11640 0 -1 1077944384 701 0 0 0 66 28 0 0 20 0 28 0 477026437 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659993017488 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12971] ppid=12962 vsize=28766288 memory=775912 CPUtime=0.97 cores=0-7
/proc/12964/task/12971/stat : 12971 (java) S 12962 12962 11640 0 -1 1077944384 819 0 0 0 69 28 0 0 20 0 28 0 477026437 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659991964688 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12972] ppid=12962 vsize=28766288 memory=0 CPUtime=0.98 cores=0-7
/proc/12964/task/12972/stat : 12972 (java) S 12962 12962 11640 0 -1 1077944384 936 0 0 0 69 29 0 0 20 0 28 0 477026437 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659990911888 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12973] ppid=12962 vsize=28766288 memory=0 CPUtime=0.96 cores=0-7
/proc/12964/task/12973/stat : 12973 (java) S 12962 12962 11640 0 -1 1077944384 911 0 0 0 66 30 0 0 20 0 28 0 477026437 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659989859088 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12974] ppid=12962 vsize=28766288 memory=0 CPUtime=0.2 cores=0-7
/proc/12964/task/12974/stat : 12974 (java) S 12962 12962 11640 0 -1 1077944384 1335 0 0 0 20 0 0 0 20 0 28 0 477026438 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659327928688 139660077386370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12975] ppid=12962 vsize=28766288 memory=84 CPUtime=0 cores=0-7
/proc/12964/task/12975/stat : 12975 (java) S 12962 12962 11640 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477026439 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659326874720 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12976] ppid=12962 vsize=28766288 memory=85 CPUtime=0 cores=0-7
/proc/12964/task/12976/stat : 12976 (java) S 12962 12962 11640 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 477026439 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659325821824 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12977] ppid=12962 vsize=28766288 memory=84 CPUtime=0 cores=0-7
/proc/12964/task/12977/stat : 12977 (java) S 12962 12962 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477026441 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659324770128 139660077393819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12978] ppid=12962 vsize=28766288 memory=81 CPUtime=0.69 cores=0-7
/proc/12964/task/12978/stat : 12978 (java) R 12962 12962 11640 0 -1 1077944384 1563 0 0 0 68 1 0 0 20 0 28 0 477026441 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659323711536 139660077385429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12979] ppid=12962 vsize=28766288 memory=83 CPUtime=0.87 cores=0-7
/proc/12964/task/12979/stat : 12979 (java) R 12962 12962 11640 0 -1 4202560 1500 0 0 0 87 0 0 0 20 0 28 0 477026441 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659322646480 139660063438449 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12980] ppid=12962 vsize=28766288 memory=56 CPUtime=1.05 cores=0-7
/proc/12964/task/12980/stat : 12980 (java) R 12962 12962 11640 0 -1 4202560 1652 0 0 0 104 1 0 0 20 0 28 0 477026441 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659321599232 139660062304058 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12981] ppid=12962 vsize=28766288 memory=1966187 CPUtime=0.59 cores=0-7
/proc/12964/task/12981/stat : 12981 (java) S 12962 12962 11640 0 -1 1077944384 2471 0 0 0 59 0 0 0 20 0 28 0 477026441 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659320560112 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12982] ppid=12962 vsize=28766288 memory=1967578 CPUtime=0 cores=0-7
/proc/12964/task/12982/stat : 12982 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477026441 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659319507552 139660077385429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
[pid=12964/tid=12983] ppid=12962 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/12964/task/12983/stat : 12983 (java) S 12962 12962 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477026442 29456678912 369597 33554432000 4194304 4196468 140722565250912 139659318454832 139660077386370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7974912 140722565256150 140722565256326 140722565256326 140722565259215 0
Current children cumulated CPU time: 15.78 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1479840 KiB
Child status: 0
Real time (s): 4.74696
CPU time (s): 15.8919
CPU user time (s): 13.31
CPU system time (s): 2.58192
CPU usage (%): 334.781
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 1479840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.31
system time used= 2.58193
maximum resident set size= 1480696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27479
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= 3868
involuntary context switches= 168
# summary of solver processes directly reported to runsolver:
# pid: 12962
# total CPU time (s): 15.8919
# total CPU user time (s): 13.31
# total CPU system time (s): 2.58192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.054991 second user time and 0.093438 second system time
The end
Begin job on node124 at 2019-09-20 22:20:23
IDJOB=4404357
IDBENCH=139942
IDSOLVER=2865
FILE ID=node124/4404357-1569010863
RUNJOBID= node124-1569005314-11667
PBS_JOBID= 21704756
Free space on /var/tmp= 13512 MiB
SOLVER NAME= choco-solver 2019-09-20 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-4404357-1569010863/watcher-4404357-1569010863 -o /var/tmp/evaluation-result-4404357-1569010863/solver-4404357-1569010863 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569005314-11667 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1941878218 HOME/instance-4404357-1569010863.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 35703c5da18cfa31646d51f4d8651558
RANDOM SEED=1941878218
node124.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.47
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.47
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.47
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.47
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: 15779860 kB
MemAvailable: 31820188 kB
Buffers: 141948 kB
Cached: 15844064 kB
SwapCached: 28940 kB
Active: 7957168 kB
Inactive: 8064572 kB
Active(anon): 4544 kB
Inactive(anon): 80500 kB
Active(file): 7952624 kB
Inactive(file): 7984072 kB
Unevictable: 108080 kB
Mlocked: 108080 kB
SwapTotal: 67108860 kB
SwapFree: 66976740 kB
Dirty: 27260 kB
Writeback: 0 kB
AnonPages: 73236 kB
Mapped: 52744 kB
Shmem: 40884 kB
Slab: 560808 kB
SReclaimable: 532092 kB
SUnreclaim: 28716 kB
KernelStack: 3712 kB
PageTables: 5948 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 112000 kB
DirectMap2M: 33433600 kB
Free space on /var/tmp at the end= 13484 MiB
End job on node124 at 2019-09-20 22:20:28