0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4248789-1500692986.xml" -tl '2400s' -p 8 -x 0
0.00/0.17 c [HOME/instance-4248789-1500692986.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.22 c 8 solvers in parallel
0.00/0.31 c parse instance...
3.63/1.25 c solve instance...
4.06/1.33 s SATISFIABLE
4.06/1.33 v <instantiation>
4.06/1.33 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] </list>
4.06/1.36 v <values>0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 </values>
4.06/1.36 v </instantiation>
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248789-1500692986/watcher-4248789-1500692986 -o /tmp/evaluation-result-4248789-1500692986/solver-4248789-1500692986 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1624701969 HOME/instance-4248789-1500692986.xml
pid=14474
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 11.83 12.47 12.87 11/275 14477
/proc/meminfo: memFree=29439848/32770624 swapFree=5944/265932
[pid=14477] ppid=14474 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14477/stat : 14477 (xcsp3-exec) S 14474 14477 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4565789 9740288 346 33554432000 4194304 5098028 140721578801344 140721578799448 140143365927548 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 28672000 140721578804366 140721578804576 140721578804576 140721578807275 0
/proc/14477/statm: 2378 346 289 221 0 87 0
[startup+0.100127 s]
/proc/loadavg: 11.83 12.47 12.87 11/275 14477
/proc/meminfo: memFree=29439848/32770624 swapFree=5944/265932
[pid=14477] ppid=14474 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14477/stat : 14477 (xcsp3-exec) S 14474 14477 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4565789 9740288 346 33554432000 4194304 5098028 140721578801344 140721578799448 140143365927548 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 28672000 140721578804366 140721578804576 140721578804576 140721578807275 0
/proc/14477/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200284 s]
/proc/loadavg: 11.83 12.47 12.87 11/275 14477
/proc/meminfo: memFree=29439848/32770624 swapFree=5944/265932
[pid=14477] ppid=14474 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14477/stat : 14477 (xcsp3-exec) S 14474 14477 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4565789 9740288 346 33554432000 4194304 5098028 140721578801344 140721578799448 140143365927548 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 28672000 140721578804366 140721578804576 140721578804576 140721578807275 0
/proc/14477/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30023 s]
/proc/loadavg: 11.83 12.47 12.87 11/275 14477
/proc/meminfo: memFree=29439848/32770624 swapFree=5944/265932
[pid=14477] ppid=14474 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14477/stat : 14477 (xcsp3-exec) S 14474 14477 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4565789 9740288 346 33554432000 4194304 5098028 140721578801344 140721578799448 140143365927548 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 28672000 140721578804366 140721578804576 140721578804576 140721578807275 0
/proc/14477/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700213 s]
/proc/loadavg: 11.83 12.47 12.87 11/275 14477
/proc/meminfo: memFree=29439848/32770624 swapFree=5944/265932
[pid=14477] ppid=14474 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14477/stat : 14477 (xcsp3-exec) S 14474 14477 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4565789 9740288 346 33554432000 4194304 5098028 140721578801344 140721578799448 140143365927548 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 28672000 140721578804366 140721578804576 140721578804576 140721578807275 0
/proc/14477/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14478 sig 9
??? kill 14477 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800319 s]
/proc/loadavg: 11.83 12.47 12.87 11/275 14477
/proc/meminfo: memFree=29439848/32770624 swapFree=5944/265932
[pid=14477] ppid=14474 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14477/stat : 14477 (xcsp3-exec) S 14474 14477 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4565789 9740288 346 33554432000 4194304 5098028 140721578801344 140721578799448 140143365927548 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 28672000 140721578804366 140721578804576 140721578804576 140721578807275 0
/proc/14477/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.21406 s]
/proc/loadavg: 11.83 12.47 12.87 14/296 14498
/proc/meminfo: memFree=29300320/32770624 swapFree=5944/265964
[pid=14477] ppid=14474 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14477/stat : 14477 (xcsp3-exec) S 14474 14477 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4565789 9740288 346 33554432000 4194304 5098028 140721578801344 140721578799448 140143365927548 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 28672000 140721578804366 140721578804576 140721578804576 140721578807275 0
/proc/14477/statm: 2378 346 289 221 0 87 0
[pid=14478] ppid=14477 vsize=13269256 CPUtime=3.63 cores=4-7,12-15
/proc/14478/stat : 14478 (java) S 14477 14477 18810 0 -1 1077944320 21330 0 0 0 348 15 0 0 20 0 20 0 4565789 13587718144 53898 33554432000 4194304 4196468 140730638865104 140730638847648 139993512193783 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
/proc/14478/statm: 3317314 53898 3242 1 0 3304547 0
[pid=14478/tid=14479] ppid=14477 vsize=13269256 CPUtime=1.15 cores=4-7,12-15
/proc/14478/task/14479/stat : 14479 (java) R 14477 14477 18810 0 -1 4202560 8340 0 0 0 111 4 0 0 20 0 20 0 4565790 13587718144 53898 33554432000 4194304 4196468 140730638865104 139993516431192 139993137182050 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14481] ppid=14477 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14481/stat : 14481 (java) S 14477 14477 18810 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4565791 13587718144 53898 33554432000 4194304 4196468 140730638865104 139993464813968 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14482] ppid=14477 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14482/stat : 14482 (java) S 14477 14477 18810 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 4565791 13587718144 53898 33554432000 4194304 4196468 140730638865104 139993463761168 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14483] ppid=14477 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14483/stat : 14483 (java) S 14477 14477 18810 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4565791 13587718144 53898 33554432000 4194304 4196468 140730638865104 139993462708880 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14484] ppid=14477 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14484/stat : 14484 (java) S 14477 14477 18810 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4565791 13587718144 53898 33554432000 4194304 4196468 140730638865104 139993461656080 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14485] ppid=14477 vsize=13269256 CPUtime=0.01 cores=4-7,12-15
/proc/14478/task/14485/stat : 14485 (java) S 14477 14477 18810 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 20 0 4565791 13587718144 53898 33554432000 4194304 4196468 140730638865104 139993460603792 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14486] ppid=14477 vsize=13269256 CPUtime=0.02 cores=4-7,12-15
/proc/14478/task/14486/stat : 14486 (java) S 14477 14477 18810 0 -1 1077944384 69 0 0 0 1 1 0 0 20 0 20 0 4565791 13587718144 53898 33554432000 4194304 4196468 140730638865104 139993459550992 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14487] ppid=14477 vsize=13269256 CPUtime=0.02 cores=4-7,12-15
/proc/14478/task/14487/stat : 14487 (java) S 14477 14477 18810 0 -1 1077944384 156 0 0 0 1 1 0 0 20 0 20 0 4565791 13587718144 53898 33554432000 4194304 4196468 140730638865104 139993458498704 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14488] ppid=14477 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14488/stat : 14488 (java) S 14477 14477 18810 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4565791 13587718144 53898 33554432000 4194304 4196468 140730638865104 139993457445904 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14489] ppid=14477 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14489/stat : 14489 (java) S 14477 14477 18810 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 20 0 4565792 13587718144 53898 33554432000 4194304 4196468 140730638865104 139992638646384 139993512204930 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14490] ppid=14477 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14490/stat : 14490 (java) S 14477 14477 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4565793 13587718144 53898 33554432000 4194304 4196468 140730638865104 139992637592352 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14491] ppid=14477 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14491/stat : 14491 (java) S 14477 14477 18810 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 4565793 13587718144 53898 33554432000 4194304 4196468 140730638865104 139992636540016 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14492] ppid=14477 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14492/stat : 14492 (java) S 14477 14477 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4565796 13587718144 53898 33554432000 4194304 4196468 140730638865104 139992635488336 139993512212379 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14493] ppid=14477 vsize=13269256 CPUtime=0.56 cores=4-7,12-15
/proc/14478/task/14493/stat : 14493 (java) R 14477 14477 18810 0 -1 4202560 2583 0 0 0 56 0 0 0 20 0 20 0 4565796 13587718144 53898 33554432000 4194304 4196468 140730638865104 139992634417224 139993495690567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14494] ppid=14477 vsize=13269256 CPUtime=0.6 cores=4-7,12-15
/proc/14478/task/14494/stat : 14494 (java) R 14477 14477 18810 0 -1 4202560 2350 0 0 0 60 0 0 0 20 0 20 0 4565796 13587718144 53898 33554432000 4194304 4196468 140730638865104 139992633364424 139993495690563 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14495] ppid=14477 vsize=13269256 CPUtime=0.53 cores=4-7,12-15
/proc/14478/task/14495/stat : 14495 (java) R 14477 14477 18810 0 -1 4202560 2665 0 0 0 53 0 0 0 20 0 20 0 4565796 13587718144 53898 33554432000 4194304 4196468 140730638865104 139992632312136 139993495604770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14496] ppid=14477 vsize=13269256 CPUtime=0.57 cores=4-7,12-15
/proc/14478/task/14496/stat : 14496 (java) S 14477 14477 18810 0 -1 1077944384 3455 0 0 0 56 1 0 0 20 0 20 0 4565796 13587718144 53898 33554432000 4194304 4196468 140730638865104 139992631278320 139993512204930 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14497] ppid=14477 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14497/stat : 14497 (java) S 14477 14477 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4565797 13587718144 53898 33554432000 4194304 4196468 140730638865104 139992630225248 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14498] ppid=14477 vsize=13269256 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14498/stat : 14498 (java) S 14477 14477 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4565797 13587718144 53898 33554432000 4194304 4196468 140730638865104 139992629172528 139993512204930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 13278768
[startup+1.30126 s]
/proc/loadavg: 11.83 12.47 12.87 14/296 14498
/proc/meminfo: memFree=29300320/32770624 swapFree=5944/265964
[pid=14477] ppid=14474 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/14477/stat : 14477 (xcsp3-exec) S 14474 14477 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4565789 9740288 346 33554432000 4194304 5098028 140721578801344 140721578799448 140143365927548 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 28672000 140721578804366 140721578804576 140721578804576 140721578807275 0
/proc/14477/statm: 2378 346 289 221 0 87 0
[pid=14478] ppid=14477 vsize=13801768 CPUtime=4.06 cores=4-7,12-15
/proc/14478/stat : 14478 (java) S 14477 14477 18810 0 -1 1077944320 22936 0 0 0 390 16 0 0 20 0 28 0 4565789 14133010432 55013 33554432000 4194304 4196468 140730638865104 140730638847648 139993512193783 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
/proc/14478/statm: 3450442 55013 3245 1 0 3437675 0
[pid=14478/tid=14479] ppid=14477 vsize=13801768 CPUtime=1.21 cores=4-7,12-15
/proc/14478/task/14479/stat : 14479 (java) S 14477 14477 18810 0 -1 1077944384 8514 0 0 0 116 5 0 0 20 0 28 0 4565790 14133010432 55013 33554432000 4194304 4196468 140730638865104 139993516434560 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14481] ppid=14477 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14481/stat : 14481 (java) S 14477 14477 18810 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4565791 14133010432 55013 33554432000 4194304 4196468 140730638865104 139993464813968 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14482] ppid=14477 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14482/stat : 14482 (java) S 14477 14477 18810 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4565791 14133010432 55013 33554432000 4194304 4196468 140730638865104 139993463761168 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14483] ppid=14477 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14483/stat : 14483 (java) S 14477 14477 18810 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4565791 14133010432 55013 33554432000 4194304 4196468 140730638865104 139993462708880 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14484] ppid=14477 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14484/stat : 14484 (java) S 14477 14477 18810 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4565791 14133010432 55013 33554432000 4194304 4196468 140730638865104 139993461656080 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14485] ppid=14477 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/14478/task/14485/stat : 14485 (java) S 14477 14477 18810 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 28 0 4565791 14133010432 55013 33554432000 4194304 4196468 140730638865104 139993460603792 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14486] ppid=14477 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/14478/task/14486/stat : 14486 (java) S 14477 14477 18810 0 -1 1077944384 69 0 0 0 1 1 0 0 20 0 28 0 4565791 14133010432 55013 33554432000 4194304 4196468 140730638865104 139993459550992 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14487] ppid=14477 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/14478/task/14487/stat : 14487 (java) S 14477 14477 18810 0 -1 1077944384 156 0 0 0 1 1 0 0 20 0 28 0 4565791 14133010432 55013 33554432000 4194304 4196468 140730638865104 139993458498704 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14488] ppid=14477 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14488/stat : 14488 (java) S 14477 14477 18810 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4565791 14133010432 55013 33554432000 4194304 4196468 140730638865104 139993457445904 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14489] ppid=14477 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14489/stat : 14489 (java) S 14477 14477 18810 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 28 0 4565792 14133010432 55013 33554432000 4194304 4196468 140730638865104 139992638646384 139993512204930 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14490] ppid=14477 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14490/stat : 14490 (java) S 14477 14477 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4565793 14133010432 55013 33554432000 4194304 4196468 140730638865104 139992637592352 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14491] ppid=14477 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14491/stat : 14491 (java) S 14477 14477 18810 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4565793 14133010432 55013 33554432000 4194304 4196468 140730638865104 139992636540016 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14492] ppid=14477 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14492/stat : 14492 (java) S 14477 14477 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4565796 14133010432 55013 33554432000 4194304 4196468 140730638865104 139992635488336 139993512212379 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14493] ppid=14477 vsize=13801768 CPUtime=0.65 cores=4-7,12-15
/proc/14478/task/14493/stat : 14493 (java) R 14477 14477 18810 0 -1 4202560 2920 0 0 0 65 0 0 0 20 0 28 0 4565796 14133010432 55013 33554432000 4194304 4196468 140730638865104 139992634421168 139993493738001 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14494] ppid=14477 vsize=13801768 CPUtime=0.69 cores=4-7,12-15
/proc/14478/task/14494/stat : 14494 (java) R 14477 14477 18810 0 -1 4202560 2473 0 0 0 68 1 0 0 20 0 28 0 4565796 14133010432 55013 33554432000 4194304 4196468 140730638865104 139992633364424 139993496099788 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14495] ppid=14477 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/14478/task/14495/stat : 14495 (java) R 14477 14477 18810 0 -1 4202560 3128 0 0 0 62 0 0 0 20 0 28 0 4565796 14133010432 55013 33554432000 4194304 4196468 140730638865104 139992632317184 139993512207661 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14496] ppid=14477 vsize=13801768 CPUtime=0.61 cores=4-7,12-15
/proc/14478/task/14496/stat : 14496 (java) R 14477 14477 18810 0 -1 4202560 3668 0 0 0 60 1 0 0 20 0 28 0 4565796 14133010432 55013 33554432000 4194304 4196468 140730638865104 139992631276112 139993512215130 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14497] ppid=14477 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14497/stat : 14497 (java) S 14477 14477 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4565797 14133010432 55013 33554432000 4194304 4196468 140730638865104 139992630225248 139993512203989 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
[pid=14478/tid=14498] ppid=14477 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/14478/task/14498/stat : 14498 (java) S 14477 14477 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4565797 14133010432 55013 33554432000 4194304 4196468 140730638865104 139992629172528 139993512204930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7831552 140730638869692 140730638869868 140730638869868 140730638872527 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 1.37604
CPU time (s): 4.34891
CPU user time (s): 4.17595
CPU system time (s): 0.172952
CPU usage (%): 316.045
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.17595
system time used= 0.172952
maximum resident set size= 223768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24307
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= 2826
involuntary context switches= 345
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018719 second user time and 0.017828 second system time
The end
Begin job on node132 at 2017-07-22 05:09:46
IDJOB=4248789
IDBENCH=134274
IDSOLVER=2625
FILE ID=node132/4248789-1500692986
RUNJOBID= node132-1500682387-18842
PBS_JOBID= 20623322
Free space on /tmp= 61760 MiB
SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Nonogram/Nonogram-regular-gp/Nonogram-008-regular.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248789-1500692986/watcher-4248789-1500692986 -o /tmp/evaluation-result-4248789-1500692986/solver-4248789-1500692986 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1624701969 HOME/instance-4248789-1500692986.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= dd63ae4b0206daae1274a64f5a57f0ca
RANDOM SEED=1624701969
node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/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 : 8
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.61
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 : 0
siblings : 8
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.61
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 : 8
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.61
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 : 0
siblings : 8
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.61
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 : 1733.000
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 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 : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 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 : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 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 : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
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:
processor : 8
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 : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
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.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
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 : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
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.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 10
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 : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
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.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
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 : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
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.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2400.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 4
apicid : 17
initial apicid : 17
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 : 13
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 4
apicid : 19
initial apicid : 19
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 : 14
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2000.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 21
initial apicid : 21
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 : 15
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 4
apicid : 23
initial apicid : 23
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: 29439604 kB
MemAvailable: 29616844 kB
Buffers: 116740 kB
Cached: 340660 kB
SwapCached: 0 kB
Active: 2615764 kB
Inactive: 274548 kB
Active(anon): 2435856 kB
Inactive(anon): 8616 kB
Active(file): 179908 kB
Inactive(file): 265932 kB
Unevictable: 5944 kB
Mlocked: 5944 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8308 kB
Writeback: 0 kB
AnonPages: 2456816 kB
Mapped: 43224 kB
Shmem: 8872 kB
Slab: 129780 kB
SReclaimable: 94468 kB
SUnreclaim: 35312 kB
KernelStack: 5072 kB
PageTables: 10708 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 3730812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2334720 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 140672 kB
DirectMap2M: 33404928 kB
Free space on /tmp at the end= 61752 MiB
End job on node132 at 2017-07-22 05:09:48