0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406788-1569362610.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4406788-1569362610.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
21.23/6.82 c solve instance...
22.66/7.02 s SATISFIABLE
22.66/7.02 v <instantiation>
22.66/7.02 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] 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][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] 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][6] x[2][7] x[2][8] x[2][9] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][6] x[3][7] x[3][8] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[4][2] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][18] x[5][19] x[5][20] x[6][0] x[6][1] x[6][2] x[6][3] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][13] x[6][14] x[6][15] x[6][17] x[6][18] x[6][19] x[6][20] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][14] 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][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][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] 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][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][6] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][9] x[14][10] x[14][11] x[14][13] x[14][14] x[14][15] x[14][17] x[14][18] x[14][19] x[14][20] x[15][0] x[15][1] x[15][2] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][18] x[15][19] x[15][20] x[16][2] x[16][3] x[16][4] x[16][5] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][15] x[16][16] x[16][17] x[16][18] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][12] x[17][13] x[17][14] x[17][16] x[17][17] 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][6] x[18][7] x[18][8] x[18][9] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[19][0] x[19][1] x[19][2] x[19][3] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] 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][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][17] x[20][18] x[20][19] x[20][20] </list>
22.66/7.02 v <values>0 1 0 19 0 1 0 2 0 0 1 0 2 0 0 1 0 19 1 0 1 0 0 4 3 4 18 1 0 1 0 18 1 0 1 0 0 1 0 8 18 18 0 13 19 4 14 13 14 12 0 19 14 15 4 4 19 0 8 4 18 18 20 0 14 20 0 19 0 0 17 19 4 11 18 18 1 18 19 2 7 0 19 19 4 2 0 3 8 0 0 18 18 0 11 20 4 4 18 18 0 11 14 11 18 0 2 1 4 0 8 11 4 12 0 8 4 20 18 1 0 4 3 4 0 3 18 2 17 8 19 0 20 18 18 8 3 4 2 14 17 4 18 2 4 18 8 20 12 0 3 12 0 1 2 4 11 20 0 13 19 0 18 4 1 4 0 20 13 4 20 13 0 20 14 19 8 19 4 0 8 18 24 18 1 7 0 8 0 0 2 2 14 13 18 18 1 18 0 1 0 19 8 18 0 0 18 1 0 17 17 4 4 8 2 8 1 0 13 1 14 1 8 13 0 0 1 0 19 18 14 13 6 0 1 0 18 1 14 13 0 2 4 18 2 0 12 4 11 0 2 11 0 2 1 0 8 17 7 4 18 0 13 0 0 8 2 7 0 1 0 3 0 18 18 4 0 18 0 13 0 5 4 0 1 17 0 18 0 8 4 2 20 18 0 2 19 4 17 0 1 2 4 18 1 11 4 14 18 18 20 4 11 0 8 17 14 20 18 8 4 13 7 14 11 14 18 19 4 4 13 18 4 3 4 0 17 4 13 3 4 0 17 4 13 4 17 13 8 18 0 8 17 18 4 18 18 4 18 8 3 4 18 19 0 19 17 4 </values>
22.66/7.02 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 (13209 MiB free)
memory of node 1: 16384 MiB (11688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406788-1569362610/watcher-4406788-1569362610 -o /tmp/evaluation-result-4406788-1569362610/solver-4406788-1569362610 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569357732-9767 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 689276954 HOME/instance-4406788-1569362610.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=10881, runsolver pid=10878
Current StackSize limit: 8192 KiB
[startup+0.100598 s]*
/proc/loadavg: 8.74 8.43 8.28 3/214 10902
/proc/meminfo: memFree=25478388/32770624 swapFree=66936748/67108860
[pid=10881] ppid=10878 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10881/stat : 10881 (xcsp3-exec) S 10878 10881 9740 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512198838 115843072 363 33554432000 4194304 5098028 140737196387616 140737196385720 139678970126972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29106176 140737196393334 140737196393577 140737196393577 140737196396490 0
/proc/10881/statm: 28282 363 304 221 0 87 0
[pid=10883] ppid=10881 vsize=28227396 memory=30452 CPUtime=0.12 cores=0-7
/proc/10883/stat : 10883 (java) S 10881 10881 9740 0 -1 1077944320 5512 0 0 0 11 1 0 0 20 0 20 0 512198838 28904853504 7613 33554432000 4194304 4196468 140725858218304 140725858200848 140165829295863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
/proc/10883/statm: 7056849 7613 3151 1 0 7019032 0
[pid=10883/tid=10884] ppid=10881 vsize=28227396 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/10883/task/10884/stat : 10884 (java) R 10881 10881 9740 0 -1 4202560 3430 0 0 0 8 1 0 0 20 0 20 0 512198838 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165833517920 140165809020976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10885] ppid=10881 vsize=28227396 memory=732369787174267877 CPUtime=0 cores=0-7
/proc/10883/task/10885/stat : 10885 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165381106448 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10886] ppid=10881 vsize=28227396 memory=139648836814464 CPUtime=0 cores=0-7
/proc/10883/task/10886/stat : 10886 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165380053904 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10887] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10887/stat : 10887 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165379001360 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10888] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10888/stat : 10888 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165377948816 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10889] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10889/stat : 10889 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165376895248 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10890] ppid=10881 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10883/task/10890/stat : 10890 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165375842704 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10891] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10891/stat : 10891 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165374790160 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10892] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10892/stat : 10892 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165373737616 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10893] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10893/stat : 10893 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198841 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165213985264 140165829307010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10894] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10894/stat : 10894 (java) S 10881 10881 9740 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512198841 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165212931488 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10895] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10895/stat : 10895 (java) S 10881 10881 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512198841 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165211878896 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10896] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10896/stat : 10896 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198844 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165210827472 140165829314459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10897] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10897/stat : 10897 (java) S 10881 10881 9740 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 512198844 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165209774064 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10898] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10898/stat : 10898 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198844 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165208721520 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10899] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10899/stat : 10899 (java) R 10881 10881 9740 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 20 0 512198844 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165207662080 140165807157440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10900] ppid=10881 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/10883/task/10900/stat : 10900 (java) R 10881 10881 9740 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 512198844 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165206616432 140165829307798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10901] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10901/stat : 10901 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198844 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165205564128 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10902] ppid=10881 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10883/task/10902/stat : 10902 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198844 28904853504 7613 33554432000 4194304 4196468 140725858218304 140165204511664 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31904 KiB
[startup+0.21098 s]*
/proc/loadavg: 8.74 8.43 8.28 3/214 10902
/proc/meminfo: memFree=25465344/32770624 swapFree=66936748/67108860
[pid=10881] ppid=10878 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10881/stat : 10881 (xcsp3-exec) S 10878 10881 9740 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512198838 115843072 363 33554432000 4194304 5098028 140737196387616 140737196385720 139678970126972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29106176 140737196393334 140737196393577 140737196393577 140737196396490 0
/proc/10881/statm: 28282 363 304 221 0 87 0
[pid=10883] ppid=10881 vsize=28227396 memory=41472 CPUtime=0.34 cores=0-7
/proc/10883/stat : 10883 (java) S 10881 10881 9740 0 -1 1077944320 9072 0 0 0 31 3 0 0 20 0 20 0 512198838 28904853504 10368 33554432000 4194304 4196468 140725858218304 140725858200848 140165829295863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
/proc/10883/statm: 7056849 10368 3297 1 0 7019032 0
[pid=10883/tid=10884] ppid=10881 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7
/proc/10883/task/10884/stat : 10884 (java) R 10881 10881 9740 0 -1 4202560 6248 0 0 0 17 2 0 0 20 0 20 0 512198838 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165833527136 140165829317789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10885] ppid=10881 vsize=28227396 memory=279297550960376 CPUtime=0 cores=0-7
/proc/10883/task/10885/stat : 10885 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165381106448 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10886] ppid=10881 vsize=28227396 memory=139648836814464 CPUtime=0 cores=0-7
/proc/10883/task/10886/stat : 10886 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165380053904 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10887] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10887/stat : 10887 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165379001360 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10888] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10888/stat : 10888 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165377948816 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10889] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10889/stat : 10889 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165376895248 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10890] ppid=10881 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10883/task/10890/stat : 10890 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165375842704 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10891] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10891/stat : 10891 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165374790160 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10892] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10892/stat : 10892 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198839 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165373737616 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10893] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10893/stat : 10893 (java) S 10881 10881 9740 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512198841 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165213985264 140165829307010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10894] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10894/stat : 10894 (java) S 10881 10881 9740 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512198841 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165212931488 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10895] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10895/stat : 10895 (java) S 10881 10881 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512198841 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165211878896 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10896] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10896/stat : 10896 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198844 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165210827472 140165829314459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10897] ppid=10881 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/10883/task/10897/stat : 10897 (java) S 10881 10881 9740 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 20 0 512198844 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165209774064 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10898] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10898/stat : 10898 (java) S 10881 10881 9740 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 512198844 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165208721520 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10899] ppid=10881 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/10883/task/10899/stat : 10899 (java) S 10881 10881 9740 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 20 0 512198844 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165207668976 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10900] ppid=10881 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/10883/task/10900/stat : 10900 (java) S 10881 10881 9740 0 -1 1077944384 730 0 0 0 8 0 0 0 20 0 20 0 512198844 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165206616432 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10901] ppid=10881 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10901/stat : 10901 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198844 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165205564128 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10902] ppid=10881 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10883/task/10902/stat : 10902 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198844 28904853504 10368 33554432000 4194304 4196468 140725858218304 140165204511664 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42924 KiB
[startup+0.310811 s]*
/proc/loadavg: 8.74 8.43 8.28 3/214 10902
/proc/meminfo: memFree=25459120/32770624 swapFree=66936748/67108860
[pid=10881] ppid=10878 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10881/stat : 10881 (xcsp3-exec) S 10878 10881 9740 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512198838 115843072 363 33554432000 4194304 5098028 140737196387616 140737196385720 139678970126972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29106176 140737196393334 140737196393577 140737196393577 140737196396490 0
/proc/10881/statm: 28282 363 304 221 0 87 0
[pid=10883] ppid=10881 vsize=28231652 memory=50492 CPUtime=0.53 cores=0-7
/proc/10883/stat : 10883 (java) S 10881 10881 9740 0 -1 1077944320 10439 0 0 0 49 4 0 0 20 0 20 0 512198838 28909211648 12623 33554432000 4194304 4196468 140725858218304 140725858200848 140165829295863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
/proc/10883/statm: 7057913 12623 3356 1 0 7019032 0
[pid=10883/tid=10884] ppid=10881 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/10883/task/10884/stat : 10884 (java) R 10881 10881 9740 0 -1 4202560 7405 0 0 0 27 3 0 0 20 0 20 0 512198838 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165833530496 140165813376350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10885] ppid=10881 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10885/stat : 10885 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165381106448 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10886] ppid=10881 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10886/stat : 10886 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165380053904 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10887] ppid=10881 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10887/stat : 10887 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198839 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165379001360 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10888] ppid=10881 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10888/stat : 10888 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165377948816 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10889] ppid=10881 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10889/stat : 10889 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198839 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165376895248 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10890] ppid=10881 vsize=28231652 memory=139648714238639 CPUtime=0 cores=0-7
/proc/10883/task/10890/stat : 10890 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165375842704 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10891] ppid=10881 vsize=28231652 memory=139648714240944 CPUtime=0 cores=0-7
/proc/10883/task/10891/stat : 10891 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198839 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165374790160 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10892] ppid=10881 vsize=28231652 memory=139648714243248 CPUtime=0 cores=0-7
/proc/10883/task/10892/stat : 10892 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198839 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165373737616 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10893] ppid=10881 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10893/stat : 10893 (java) S 10881 10881 9740 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512198841 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165213985264 140165829307010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10894] ppid=10881 vsize=28231652 memory=279297428500368 CPUtime=0 cores=0-7
/proc/10883/task/10894/stat : 10894 (java) S 10881 10881 9740 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512198841 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165212931488 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10895] ppid=10881 vsize=28231652 memory=279297428498064 CPUtime=0 cores=0-7
/proc/10883/task/10895/stat : 10895 (java) S 10881 10881 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512198841 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165211878896 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10896] ppid=10881 vsize=28231652 memory=279297428504976 CPUtime=0 cores=0-7
/proc/10883/task/10896/stat : 10896 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198844 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165210827472 140165829314459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10897] ppid=10881 vsize=28231652 memory=279297428446256 CPUtime=0.04 cores=0-7
/proc/10883/task/10897/stat : 10897 (java) S 10881 10881 9740 0 -1 1077944384 609 0 0 0 4 0 0 0 20 0 20 0 512198844 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165209774064 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10898] ppid=10881 vsize=28231652 memory=279297428518800 CPUtime=0.01 cores=0-7
/proc/10883/task/10898/stat : 10898 (java) S 10881 10881 9740 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 512198844 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165208721520 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10899] ppid=10881 vsize=28231652 memory=279297428525712 CPUtime=0.03 cores=0-7
/proc/10883/task/10899/stat : 10899 (java) S 10881 10881 9740 0 -1 1077944384 267 0 0 0 3 0 0 0 20 0 20 0 512198844 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165207668976 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10900] ppid=10881 vsize=28231652 memory=279297428523408 CPUtime=0.12 cores=0-7
/proc/10883/task/10900/stat : 10900 (java) S 10881 10881 9740 0 -1 1077944384 809 0 0 0 12 0 0 0 20 0 20 0 512198844 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165206616432 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10901] ppid=10881 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10901/stat : 10901 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198844 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165205564128 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10902] ppid=10881 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/10883/task/10902/stat : 10902 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198844 28909211648 12623 33554432000 4194304 4196468 140725858218304 140165204511664 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51944 KiB
[startup+0.700943 s]
/proc/loadavg: 8.74 8.43 8.28 5/214 10902
/proc/meminfo: memFree=25427592/32770624 swapFree=66936748/67108860
[pid=10881] ppid=10878 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10881/stat : 10881 (xcsp3-exec) S 10878 10881 9740 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512198838 115843072 363 33554432000 4194304 5098028 140737196387616 140737196385720 139678970126972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29106176 140737196393334 140737196393577 140737196393577 140737196396490 0
/proc/10881/statm: 28282 363 304 221 0 87 0
[pid=10883] ppid=10881 vsize=28233776 memory=205188 CPUtime=1.73 cores=0-7
/proc/10883/stat : 10883 (java) S 10881 10881 9740 0 -1 1077944320 14457 0 0 0 163 10 0 0 20 0 20 0 512198838 28911386624 51297 33554432000 4194304 4196468 140725858218304 140725858200848 140165829295863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
/proc/10883/statm: 7058444 51297 3454 1 0 7019544 0
[pid=10883/tid=10884] ppid=10881 vsize=28233776 memory=0 CPUtime=0.66 cores=0-7
/proc/10883/task/10884/stat : 10884 (java) R 10881 10881 9740 0 -1 4202560 7934 0 0 0 61 5 0 0 20 0 20 0 512198838 28911386624 51297 33554432000 4194304 4196468 140725858218304 140165833533200 140165467106124 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10885] ppid=10881 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10885/stat : 10885 (java) S 10881 10881 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512198839 28911386624 51297 33554432000 4194304 4196468 140725858218304 140165381106448 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10886] ppid=10881 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10886/stat : 10886 (java) S 10881 10881 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512198839 28911386624 51297 33554432000 4194304 4196468 140725858218304 140165380053904 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10887] ppid=10881 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10887/stat : 10887 (java) S 10881 10881 9740 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 512198839 28911386624 51297 33554432000 4194304 4196468 140725858218304 140165379001360 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
################
# More data... #
################
# the end of solver process 10881 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.8662 s, system=4.84007 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40155 s]
/proc/loadavg: 8.49 8.39 8.27 9/214 10903
/proc/meminfo: memFree=23092244/32770624 swapFree=66936748/67108860
[pid=10881] ppid=10878 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10881/stat : 10881 (xcsp3-exec) S 10878 10881 9740 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512198838 115843072 363 33554432000 4194304 5098028 140737196387616 140737196385720 139678970126972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29106176 140737196393334 140737196393577 140737196393577 140737196396490 0
/proc/10881/statm: 28282 363 304 221 0 87 0
[pid=10883] ppid=10881 vsize=28233776 memory=2659824 CPUtime=20.19 cores=0-7
/proc/10883/stat : 10883 (java) S 10881 10881 9740 0 -1 1077944320 31257 0 0 0 1539 480 0 0 20 0 20 0 512198838 28911386624 664956 33554432000 4194304 4196468 140725858218304 140725858200848 140165829295863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
/proc/10883/statm: 7058444 664956 3508 1 0 7019544 0
[pid=10883/tid=10884] ppid=10881 vsize=28233776 memory=2241 CPUtime=4.52 cores=0-7
/proc/10883/task/10884/stat : 10884 (java) S 10881 10881 9740 0 -1 1077944384 10350 0 0 0 437 15 0 0 20 0 20 0 512198838 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165833533440 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10885] ppid=10881 vsize=28233776 memory=2244 CPUtime=1.61 cores=0-7
/proc/10883/task/10885/stat : 10885 (java) R 10881 10881 9740 0 -1 4202560 988 0 0 0 105 56 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165381106648 140165822400561 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10886] ppid=10881 vsize=28233776 memory=0 CPUtime=1.62 cores=0-7
/proc/10883/task/10886/stat : 10886 (java) R 10881 10881 9740 0 -1 4202560 1296 0 0 0 105 57 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165380053792 140165822392620 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10887] ppid=10881 vsize=28233776 memory=6656426216303648864 CPUtime=1.64 cores=0-7
/proc/10883/task/10887/stat : 10887 (java) R 10881 10881 9740 0 -1 4202560 1156 0 0 0 108 56 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165379001480 140165822400561 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10888] ppid=10881 vsize=28233776 memory=3616 CPUtime=1.61 cores=0-7
/proc/10883/task/10888/stat : 10888 (java) R 10881 10881 9740 0 -1 4202560 1193 0 0 0 105 56 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165377948936 140165813995680 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10889] ppid=10881 vsize=28233776 memory=52116 CPUtime=1.59 cores=0-7
/proc/10883/task/10889/stat : 10889 (java) R 10881 10881 9740 0 -1 4202560 1209 0 0 0 103 56 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165376895448 140165822392596 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10890] ppid=10881 vsize=28233776 memory=988 CPUtime=1.64 cores=0-7
/proc/10883/task/10890/stat : 10890 (java) R 10881 10881 9740 0 -1 4202560 1247 0 0 0 104 60 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165375842904 140165814285329 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10891] ppid=10881 vsize=28233776 memory=2012 CPUtime=1.63 cores=0-7
/proc/10883/task/10891/stat : 10891 (java) R 10881 10881 9740 0 -1 4202560 1250 0 0 0 107 56 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165374790360 140165822399495 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10892] ppid=10881 vsize=28233776 memory=1424 CPUtime=1.64 cores=0-7
/proc/10883/task/10892/stat : 10892 (java) R 10881 10881 9740 0 -1 4202560 1547 0 0 0 106 58 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165373737816 140165814285490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10893] ppid=10881 vsize=28233776 memory=1704 CPUtime=0.19 cores=0-7
/proc/10883/task/10893/stat : 10893 (java) S 10881 10881 9740 0 -1 1077944384 1653 0 0 0 19 0 0 0 20 0 20 0 512198841 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165213983808 140165829306069 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10894] ppid=10881 vsize=28233776 memory=1452 CPUtime=0 cores=0-7
/proc/10883/task/10894/stat : 10894 (java) S 10881 10881 9740 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 512198841 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165212931552 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10895] ppid=10881 vsize=28233776 memory=2061904 CPUtime=0 cores=0-7
/proc/10883/task/10895/stat : 10895 (java) S 10881 10881 9740 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 512198841 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165211878912 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10896] ppid=10881 vsize=28233776 memory=279297429462688 CPUtime=0 cores=0-7
/proc/10883/task/10896/stat : 10896 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165210827472 140165829314459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10897] ppid=10881 vsize=28233776 memory=0 CPUtime=0.66 cores=0-7
/proc/10883/task/10897/stat : 10897 (java) S 10881 10881 9740 0 -1 1077944384 2794 0 0 0 65 1 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165209774064 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10898] ppid=10881 vsize=28233776 memory=0 CPUtime=0.76 cores=0-7
/proc/10883/task/10898/stat : 10898 (java) S 10881 10881 9740 0 -1 1077944384 2100 0 0 0 75 1 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165208712800 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10899] ppid=10881 vsize=28233776 memory=0 CPUtime=0.49 cores=0-7
/proc/10883/task/10899/stat : 10899 (java) S 10881 10881 9740 0 -1 1077944384 1184 0 0 0 49 0 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165207668976 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10900] ppid=10881 vsize=28233776 memory=0 CPUtime=0.46 cores=0-7
/proc/10883/task/10900/stat : 10900 (java) S 10881 10881 9740 0 -1 1077944384 1988 0 0 0 45 1 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165206616432 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10901] ppid=10881 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10901/stat : 10901 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165205564128 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10902] ppid=10881 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10902/stat : 10902 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165204511664 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
Current children cumulated CPU time: 20.19 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 2661276 KiB
[startup+6.8009 s]
/proc/loadavg: 8.49 8.39 8.27 9/214 10903
/proc/meminfo: memFree=23092244/32770624 swapFree=66936748/67108860
[pid=10881] ppid=10878 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10881/stat : 10881 (xcsp3-exec) S 10878 10881 9740 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512198838 115843072 363 33554432000 4194304 5098028 140737196387616 140737196385720 139678970126972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29106176 140737196393334 140737196393577 140737196393577 140737196396490 0
/proc/10881/statm: 28282 363 304 221 0 87 0
[pid=10883] ppid=10881 vsize=28233776 memory=2659824 CPUtime=21.23 cores=0-7
/proc/10883/stat : 10883 (java) S 10881 10881 9740 0 -1 1077944320 31257 0 0 0 1643 480 0 0 20 0 20 0 512198838 28911386624 664956 33554432000 4194304 4196468 140725858218304 140725858200848 140165829295863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
/proc/10883/statm: 7058444 664956 3508 1 0 7019544 0
[pid=10883/tid=10884] ppid=10881 vsize=28233776 memory=11620 CPUtime=4.52 cores=0-7
/proc/10883/task/10884/stat : 10884 (java) S 10881 10881 9740 0 -1 1077944384 10350 0 0 0 437 15 0 0 20 0 20 0 512198838 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165833533440 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10885] ppid=10881 vsize=28233776 memory=3608 CPUtime=1.7 cores=0-7
/proc/10883/task/10885/stat : 10885 (java) S 10881 10881 9740 0 -1 1077944384 988 0 0 0 114 56 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165381106448 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10886] ppid=10881 vsize=28233776 memory=2828 CPUtime=1.71 cores=0-7
/proc/10883/task/10886/stat : 10886 (java) S 10881 10881 9740 0 -1 1077944384 1296 0 0 0 114 57 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165380053904 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10887] ppid=10881 vsize=28233776 memory=1000 CPUtime=1.73 cores=0-7
/proc/10883/task/10887/stat : 10887 (java) S 10881 10881 9740 0 -1 1077944384 1156 0 0 0 117 56 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165379001360 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10888] ppid=10881 vsize=28233776 memory=1560 CPUtime=1.7 cores=0-7
/proc/10883/task/10888/stat : 10888 (java) S 10881 10881 9740 0 -1 1077944384 1193 0 0 0 114 56 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165377948816 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10889] ppid=10881 vsize=28233776 memory=1172 CPUtime=1.68 cores=0-7
/proc/10883/task/10889/stat : 10889 (java) S 10881 10881 9740 0 -1 1077944384 1209 0 0 0 112 56 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165376895248 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10890] ppid=10881 vsize=28233776 memory=14008 CPUtime=1.73 cores=0-7
/proc/10883/task/10890/stat : 10890 (java) S 10881 10881 9740 0 -1 1077944384 1247 0 0 0 113 60 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165375842704 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10891] ppid=10881 vsize=28233776 memory=14076 CPUtime=1.72 cores=0-7
/proc/10883/task/10891/stat : 10891 (java) S 10881 10881 9740 0 -1 1077944384 1250 0 0 0 116 56 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165374790160 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10892] ppid=10881 vsize=28233776 memory=2116 CPUtime=1.74 cores=0-7
/proc/10883/task/10892/stat : 10892 (java) S 10881 10881 9740 0 -1 1077944384 1547 0 0 0 116 58 0 0 20 0 20 0 512198839 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165373737616 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10893] ppid=10881 vsize=28233776 memory=23260 CPUtime=0.49 cores=0-7
/proc/10883/task/10893/stat : 10893 (java) R 10881 10881 9740 0 -1 4202560 1653 0 0 0 49 0 0 0 20 0 20 0 512198841 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165213983808 140165821585317 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10894] ppid=10881 vsize=28233776 memory=528 CPUtime=0 cores=0-7
/proc/10883/task/10894/stat : 10894 (java) S 10881 10881 9740 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 512198841 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165212931552 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10895] ppid=10881 vsize=28233776 memory=1560 CPUtime=0 cores=0-7
/proc/10883/task/10895/stat : 10895 (java) S 10881 10881 9740 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 512198841 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165211878912 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10896] ppid=10881 vsize=28233776 memory=932 CPUtime=0 cores=0-7
/proc/10883/task/10896/stat : 10896 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165210827472 140165829314459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10897] ppid=10881 vsize=28233776 memory=1492 CPUtime=0.66 cores=0-7
/proc/10883/task/10897/stat : 10897 (java) S 10881 10881 9740 0 -1 1077944384 2794 0 0 0 65 1 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165209774064 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10898] ppid=10881 vsize=28233776 memory=860 CPUtime=0.76 cores=0-7
/proc/10883/task/10898/stat : 10898 (java) S 10881 10881 9740 0 -1 1077944384 2100 0 0 0 75 1 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165208712800 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10899] ppid=10881 vsize=28233776 memory=1448 CPUtime=0.49 cores=0-7
/proc/10883/task/10899/stat : 10899 (java) S 10881 10881 9740 0 -1 1077944384 1184 0 0 0 49 0 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165207668976 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10900] ppid=10881 vsize=28233776 memory=1980 CPUtime=0.46 cores=0-7
/proc/10883/task/10900/stat : 10900 (java) S 10881 10881 9740 0 -1 1077944384 1988 0 0 0 45 1 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165206616432 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10901] ppid=10881 vsize=28233776 memory=2432 CPUtime=0 cores=0-7
/proc/10883/task/10901/stat : 10901 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165205564128 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10902] ppid=10881 vsize=28233776 memory=1760 CPUtime=0 cores=0-7
/proc/10883/task/10902/stat : 10902 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198844 28911386624 664956 33554432000 4194304 4196468 140725858218304 140165204511664 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
Current children cumulated CPU time: 21.23 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 2661276 KiB
[startup+7.00954 s]*
/proc/loadavg: 8.49 8.39 8.27 9/222 10911
/proc/meminfo: memFree=22838976/32770624 swapFree=66936748/67108860
[pid=10881] ppid=10878 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10881/stat : 10881 (xcsp3-exec) S 10878 10881 9740 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512198838 115843072 363 33554432000 4194304 5098028 140737196387616 140737196385720 139678970126972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29106176 140737196393334 140737196393577 140737196393577 140737196396490 0
/proc/10881/statm: 28282 363 304 221 0 87 0
[pid=10883] ppid=10881 vsize=28766288 memory=2666176 CPUtime=22.66 cores=0-7
/proc/10883/stat : 10883 (java) S 10881 10881 9740 0 -1 1077944320 33020 0 0 0 1785 481 0 0 20 0 20 0 512198838 29456678912 666544 33554432000 4194304 4196468 140725858218304 140725858200848 140165829295863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
/proc/10883/statm: 7191572 666544 3519 1 0 7152672 0
[pid=10883/tid=10884] ppid=10881 vsize=28766288 memory=1398722017469774279 CPUtime=4.55 cores=0-7
/proc/10883/task/10884/stat : 10884 (java) R 10881 10881 9740 0 -1 4202560 10427 0 0 0 440 15 0 0 20 0 20 0 512198838 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165833532992 140165829317693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10885] ppid=10881 vsize=28766288 memory=0 CPUtime=1.7 cores=0-7
/proc/10883/task/10885/stat : 10885 (java) S 10881 10881 9740 0 -1 1077944384 988 0 0 0 114 56 0 0 20 0 20 0 512198839 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165381106448 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10886] ppid=10881 vsize=28766288 memory=0 CPUtime=1.71 cores=0-7
/proc/10883/task/10886/stat : 10886 (java) S 10881 10881 9740 0 -1 1077944384 1296 0 0 0 114 57 0 0 20 0 20 0 512198839 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165380053904 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10887] ppid=10881 vsize=28766288 memory=0 CPUtime=1.73 cores=0-7
/proc/10883/task/10887/stat : 10887 (java) S 10881 10881 9740 0 -1 1077944384 1156 0 0 0 117 56 0 0 20 0 20 0 512198839 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165379001360 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10888] ppid=10881 vsize=28766288 memory=-7003737579269690708 CPUtime=1.7 cores=0-7
/proc/10883/task/10888/stat : 10888 (java) S 10881 10881 9740 0 -1 1077944384 1193 0 0 0 114 56 0 0 20 0 20 0 512198839 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165377948816 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10889] ppid=10881 vsize=28766288 memory=288230596053754767 CPUtime=1.68 cores=0-7
/proc/10883/task/10889/stat : 10889 (java) S 10881 10881 9740 0 -1 1077944384 1209 0 0 0 112 56 0 0 20 0 20 0 512198839 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165376895248 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10890] ppid=10881 vsize=28766288 memory=13846369814578997 CPUtime=1.73 cores=0-7
/proc/10883/task/10890/stat : 10890 (java) S 10881 10881 9740 0 -1 1077944384 1247 0 0 0 113 60 0 0 20 0 20 0 512198839 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165375842704 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10891] ppid=10881 vsize=28766288 memory=0 CPUtime=1.72 cores=0-7
/proc/10883/task/10891/stat : 10891 (java) S 10881 10881 9740 0 -1 1077944384 1250 0 0 0 116 56 0 0 20 0 20 0 512198839 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165374790160 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10892] ppid=10881 vsize=28766288 memory=0 CPUtime=1.74 cores=0-7
/proc/10883/task/10892/stat : 10892 (java) S 10881 10881 9740 0 -1 1077944384 1547 0 0 0 116 58 0 0 20 0 20 0 512198839 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165373737616 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10893] ppid=10881 vsize=28766288 memory=0 CPUtime=0.5 cores=0-7
/proc/10883/task/10893/stat : 10893 (java) S 10881 10881 9740 0 -1 1077944384 2297 0 0 0 50 0 0 0 20 0 20 0 512198841 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165213985264 140165829307010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10894] ppid=10881 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10894/stat : 10894 (java) S 10881 10881 9740 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 512198841 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165212931552 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10895] ppid=10881 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/10883/task/10895/stat : 10895 (java) S 10881 10881 9740 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 512198841 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165211878912 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10896] ppid=10881 vsize=28766288 memory=7236229500900889449 CPUtime=0 cores=0-7
/proc/10883/task/10896/stat : 10896 (java) S 10881 10881 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512198844 29456678912 666544 33554432000 4194304 4196468 140725858218304 140165210827472 140165829314459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10897] ppid=10881 vsize=28766288 memory=7079764520877445200 CPUtime=0.82 cores=0-7
/proc/10883/task/10897/stat : 10897 (java) R 10881 10881 9740 0 -1 4202560 2833 0 0 0 81 1 0 0 20 0 20 0 512198844 29456678912 666561 33554432000 4194304 4196468 140725858218304 140165209763984 140165809139457 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10898] ppid=10881 vsize=28766288 memory=0 CPUtime=0.91 cores=0-7
/proc/10883/task/10898/stat : 10898 (java) R 10881 10881 9740 0 -1 4202560 2618 0 0 0 90 1 0 0 20 0 20 0 512198844 29456678912 666561 33554432000 4194304 4196468 140725858218304 140165208720400 140165810840039 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10899] ppid=10881 vsize=28766288 memory=8514726395715349656 CPUtime=0.58 cores=0-7
/proc/10883/task/10899/stat : 10899 (java) R 10881 10881 9740 0 -1 4202560 1242 0 0 0 58 0 0 0 20 0 20 0 512198844 29456678912 666561 33554432000 4194304 4196468 140725858218304 140165207654096 140165809997334 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10900] ppid=10881 vsize=28766288 memory=-8545980981788235817 CPUtime=0.53 cores=0-7
/proc/10883/task/10900/stat : 10900 (java) R 10881 10881 9740 0 -1 4202560 2072 0 0 0 52 1 0 0 20 0 20 0 512198844 29456678912 666561 33554432000 4194304 4196468 140725858218304 140165206611920 140165809010668 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10901] ppid=10881 vsize=28766288 memory=-8772885032202047837 CPUtime=0 cores=0-7
/proc/10883/task/10901/stat : 10901 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198844 29456678912 666561 33554432000 4194304 4196468 140725858218304 140165205564128 140165829306069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
[pid=10883/tid=10902] ppid=10881 vsize=28766288 memory=-1 CPUtime=0 cores=0-7
/proc/10883/task/10902/stat : 10902 (java) S 10881 10881 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512198844 29456678912 666561 33554432000 4194304 4196468 140725858218304 140165204511664 140165829307010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 9838592 140725858223082 140725858223254 140725858223254 140725858226127 0
Current children cumulated CPU time: 22.66 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2667628 KiB
Child status: 0
Real time (s): 7.05029
CPU time (s): 22.7063
CPU user time (s): 17.8662
CPU system time (s): 4.84007
CPU usage (%): 322.061
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 2667628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8662
system time used= 4.84007
maximum resident set size= 2667692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33595
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= 4036
involuntary context switches= 227
# summary of solver processes directly reported to runsolver:
# pid: 10881
# total CPU time (s): 22.7063
# total CPU user time (s): 17.8662
# total CPU system time (s): 4.84007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076419 second user time and 0.121109 second system time
The end
Begin job on node141 at 2019-09-25 00:02:48
IDJOB=4406788
IDBENCH=139944
IDSOLVER=2871
FILE ID=node141/4406788-1569362610
RUNJOBID= node141-1569357732-9767
PBS_JOBID= 21705108
Free space on /tmp= 22928 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h2107.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406788-1569362610/watcher-4406788-1569362610 -o /tmp/evaluation-result-4406788-1569362610/solver-4406788-1569362610 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569357732-9767 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 689276954 HOME/instance-4406788-1569362610.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 495794a1d12b922029631b8ffbf13f9b
RANDOM SEED=689276954
node141.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 : 5332.93
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 : 5332.93
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 : 5332.93
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 : 5332.93
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: 25495168 kB
MemAvailable: 31809236 kB
Buffers: 107820 kB
Cached: 6484640 kB
SwapCached: 62100 kB
Active: 3270572 kB
Inactive: 3390364 kB
Active(anon): 1964 kB
Inactive(anon): 118964 kB
Active(file): 3268608 kB
Inactive(file): 3271400 kB
Unevictable: 107712 kB
Mlocked: 107712 kB
SwapTotal: 67108860 kB
SwapFree: 66936748 kB
Dirty: 28996 kB
Writeback: 0 kB
AnonPages: 113520 kB
Mapped: 54480 kB
Shmem: 44708 kB
Slab: 208456 kB
SReclaimable: 179788 kB
SUnreclaim: 28668 kB
KernelStack: 3392 kB
PageTables: 6000 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 514444 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 128384 kB
DirectMap2M: 33417216 kB
Free space on /tmp at the end= 22904 MiB
End job on node141 at 2019-09-25 00:02:55