Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: OscaR - Conflict Ordering 2017-06-30 | SAT | 3.38697 | 1.27553 |
Name | Nonogram/Nonogram-table-s1/ Nonogram-168-table.xml |
MD5SUM | 174051e57660c3bc727bfa621c6336b5 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.150278 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 40 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":400}] |
Minimum variable degree | 2 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":2,"count":400}] |
Minimum constraint arity | 20 |
Maximum constraint arity | 20 |
Distribution of constraint arities | [{"arity":20,"count":40}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":40}] |
Optimization problem | NO |
Type of objective |
0.42/0.35 c version: 2017-06-30 0.42/0.35 c seed: 1392973418 0.42/0.35 c timeout: 2400 0.42/0.35 c memlimit: 15500 0.42/0.35 c nbcore: 8 0.42/0.38 c Parsing instance... 3.26/1.24 c Parsing done, starting search... 3.26/1.25 s SATISFIABLE 3.26/1.25 v <instantiation> 3.26/1.25 v <list> 3.26/1.25 v 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 3.26/1.25 v </list> 3.26/1.25 v <values> 3.26/1.25 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.26/1.25 v </values> 3.26/1.25 v </instantiation>
OK
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-4248736-1500746840/watcher-4248736-1500746840 -o /tmp/evaluation-result-4248736-1500746840/solver-4248736-1500746840 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500717086-20854 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1392973418 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4248736-1500746840.xml pid=26300 running on 8 cores: 0,2,4,6,8,10,12,14 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: 1.68 1.43 1.43 2/261 26303 /proc/meminfo: memFree=30333844/32770624 swapFree=6296/315420 [pid=26303] ppid=26300 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/stat : 26303 (java) S 26300 26303 20823 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 9950327 369864704 1413 33554432000 4194304 4196468 140722388702128 140722388684672 140044094119671 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 /proc/26303/statm: 90299 1413 1072 1 0 79210 0 [pid=26303/tid=26304] ppid=26300 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26304/stat : 26304 (java) S 26300 26303 20823 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 9950328 369864704 1413 33554432000 4194304 4196468 140722388702128 140044098361760 140044094130818 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [startup+0.100163 s] /proc/loadavg: 1.68 1.43 1.43 2/261 26303 /proc/meminfo: memFree=30333844/32770624 swapFree=6296/315420 [pid=26303] ppid=26300 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/26303/stat : 26303 (java) S 26300 26303 20823 0 -1 1077944320 5346 0 0 0 8 1 0 0 20 0 20 0 9950327 13582725120 5955 33554432000 4194304 4196468 140722388702128 140722388684672 140044094119671 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 /proc/26303/statm: 3316095 5955 2734 1 0 3303815 0 [pid=26303/tid=26304] ppid=26300 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26304/stat : 26304 (java) R 26300 26303 20823 0 -1 4202560 3435 0 0 0 7 1 0 0 20 0 20 0 9950328 13582725120 5955 33554432000 4194304 4196468 140722388702128 140044098361952 140043983224429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13264380 [startup+0.200386 s] /proc/loadavg: 1.68 1.43 1.43 2/261 26303 /proc/meminfo: memFree=30333844/32770624 swapFree=6296/315420 [pid=26303] ppid=26300 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/26303/stat : 26303 (java) S 26300 26303 20823 0 -1 1077944320 9108 0 0 0 23 2 0 0 20 0 20 0 9950327 13582245888 9111 33554432000 4194304 4196468 140722388702128 140722388684672 140044094119671 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 /proc/26303/statm: 3315978 9111 3538 1 0 3303698 0 [pid=26303/tid=26304] ppid=26300 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26304/stat : 26304 (java) R 26300 26303 20823 0 -1 1077944384 6856 0 0 0 16 2 0 0 20 0 20 0 9950328 13582245888 9111 33554432000 4194304 4196468 140722388702128 140044098347184 140044094143549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 13263912 [startup+0.300387 s] /proc/loadavg: 1.68 1.43 1.43 2/261 26303 /proc/meminfo: memFree=30333844/32770624 swapFree=6296/315420 [pid=26303] ppid=26300 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14 /proc/26303/stat : 26303 (java) S 26300 26303 20823 0 -1 1077944320 9965 0 0 0 39 3 0 0 20 0 20 0 9950327 13582245888 10620 33554432000 4194304 4196468 140722388702128 140722388684672 140044094119671 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 /proc/26303/statm: 3315978 10620 3591 1 0 3303698 0 [pid=26303/tid=26304] ppid=26300 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26304/stat : 26304 (java) R 26300 26303 20823 0 -1 4202560 7490 0 0 0 25 2 0 0 20 0 20 0 9950328 13582245888 10620 33554432000 4194304 4196468 140722388702128 140044098346544 140044078200158 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 13263912 [startup+0.700271 s] /proc/loadavg: 1.68 1.43 1.43 2/261 26303 /proc/meminfo: memFree=30333844/32770624 swapFree=6296/315420 [pid=26303] ppid=26300 vsize=13265980 CPUtime=1.35 cores=0,2,4,6,8,10,12,14 /proc/26303/stat : 26303 (java) S 26300 26303 20823 0 -1 1077944320 12879 0 0 0 130 5 0 0 20 0 20 0 9950327 13584363520 19766 33554432000 4194304 4196468 140722388702128 140722388684672 140044094119671 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 /proc/26303/statm: 3316495 19766 3760 1 0 3304210 0 [pid=26303/tid=26304] ppid=26300 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26304/stat : 26304 (java) R 26300 26303 20823 0 -1 4202560 8499 0 0 0 64 3 0 0 20 0 20 0 9950328 13584363520 19766 33554432000 4194304 4196468 140722388702128 140044098355912 140043734065628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 Current children cumulated CPU time (s) 1.35 Current children cumulated vsize (KiB) 13265980 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 26303 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+0.80028 s] /proc/loadavg: 1.68 1.43 1.43 2/261 26303 /proc/meminfo: memFree=30333844/32770624 swapFree=6296/315420 [pid=26303] ppid=26300 vsize=13265980 CPUtime=1.76 cores=0,2,4,6,8,10,12,14 /proc/26303/stat : 26303 (java) S 26300 26303 20823 0 -1 1077944320 15073 0 0 0 170 6 0 0 20 0 20 0 9950327 13584363520 28134 33554432000 4194304 4196468 140722388702128 140722388684672 140044094119671 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 /proc/26303/statm: 3316495 28134 3764 1 0 3304210 0 [pid=26303/tid=26304] ppid=26300 vsize=13265980 CPUtime=0.77 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26304/stat : 26304 (java) R 26300 26303 20823 0 -1 4202560 8524 0 0 0 73 4 0 0 20 0 20 0 9950328 13584363520 28134 33554432000 4194304 4196468 140722388702128 140044098352176 140043731604730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 Current children cumulated CPU time (s) 1.76 Current children cumulated vsize (KiB) 13265980 [startup+1.22136 s] /proc/loadavg: 1.68 1.43 1.43 4/281 26323 /proc/meminfo: memFree=30183328/32770624 swapFree=6296/315500 [pid=26303] ppid=26300 vsize=13268028 CPUtime=3.26 cores=0,2,4,6,8,10,12,14 /proc/26303/stat : 26303 (java) S 26300 26303 20823 0 -1 1077944320 21195 0 0 0 314 12 0 0 20 0 20 0 9950327 13586460672 49266 33554432000 4194304 4196468 140722388702128 140722388684672 140044094119671 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 /proc/26303/statm: 3317007 49266 3783 1 0 3304722 0 [pid=26303/tid=26304] ppid=26300 vsize=13268028 CPUtime=1.18 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26304/stat : 26304 (java) S 26300 26303 20823 0 -1 1077944384 10433 0 0 0 113 5 0 0 20 0 20 0 9950328 13586460672 49778 33554432000 4194304 4196468 140722388702128 140044098355888 140044094129877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26306] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26306/stat : 26306 (java) R 26300 26303 20823 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 20 0 9950329 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043693410576 140044079147536 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26307] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26307/stat : 26307 (java) R 26300 26303 20823 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 20 0 9950329 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043692358032 140044087219518 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26308] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26308/stat : 26308 (java) R 26300 26303 20823 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 9950329 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043691305488 140044087225353 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26309] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26309/stat : 26309 (java) R 26300 26303 20823 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 9950329 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043690250752 140044079147536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26310] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26310/stat : 26310 (java) R 26300 26303 20823 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 20 0 9950329 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043689200400 140044079136855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26311] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26311/stat : 26311 (java) R 26300 26303 20823 0 -1 4202560 190 0 0 0 0 0 0 0 20 0 20 0 9950329 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043688147856 140044079147536 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26312] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26312/stat : 26312 (java) R 26300 26303 20823 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 20 0 9950329 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043687095312 140044087225353 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26313] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26313/stat : 26313 (java) R 26300 26303 20823 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 20 0 9950329 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043686042656 140044087225353 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26314] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26314/stat : 26314 (java) S 26300 26303 20823 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 9950331 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043221885472 140044094129877 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26315] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26315/stat : 26315 (java) S 26300 26303 20823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 9950332 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043220833184 140044094129877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26316] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26316/stat : 26316 (java) S 26300 26303 20823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 9950332 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043219780592 140044094129877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26317] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26317/stat : 26317 (java) S 26300 26303 20823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9950336 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043218729168 140044094138267 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26318] ppid=26300 vsize=13268028 CPUtime=0.51 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26318/stat : 26318 (java) S 26300 26303 20823 0 -1 1077944384 2452 0 0 0 51 0 0 0 20 0 20 0 9950336 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043217656528 140044094129877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26319] ppid=26300 vsize=13268028 CPUtime=0.51 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26319/stat : 26319 (java) R 26300 26303 20823 0 -1 4202560 1854 0 0 0 51 0 0 0 20 0 20 0 9950336 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043216623376 140044079221365 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26320] ppid=26300 vsize=13268028 CPUtime=0.51 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26320/stat : 26320 (java) R 26300 26303 20823 0 -1 4202560 2490 0 0 0 51 0 0 0 20 0 20 0 9950336 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043215555904 140044073366130 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26321] ppid=26300 vsize=13268028 CPUtime=0.43 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26321/stat : 26321 (java) R 26300 26303 20823 0 -1 4202560 2137 0 0 0 43 0 0 0 20 0 20 0 9950336 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043214515328 140044073088865 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26322] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26322/stat : 26322 (java) S 26300 26303 20823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9950337 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043213465824 140044094129877 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 [pid=26303/tid=26323] ppid=26300 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/26303/task/26323/stat : 26323 (java) S 26300 26303 20823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9950337 13586460672 49778 33554432000 4194304 4196468 140722388702128 140043212413360 140044094130818 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20217856 140722388706441 140722388706628 140722388706628 140722388709327 0 Current children cumulated CPU time (s) 3.26 Current children cumulated vsize (KiB) 13268028 Child status: 0 Real time (s): 1.27553 CPU time (s): 3.38697 CPU user time (s): 3.24926 CPU system time (s): 0.137706 CPU usage (%): 265.535 Max. virtual memory (cumulated for all children) (KiB): 13268028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.24926 system time used= 0.137706 maximum resident set size= 209172 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22476 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2531 involuntary context switches= 259 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.010217 second user time and 0.023222 second system time The end
Begin job on node143 at 2017-07-22 20:07:20 IDJOB=4248736 IDBENCH=133937 IDSOLVER=2628 FILE ID=node143/4248736-1500746840 RUNJOBID= node143-1500717086-20854 PBS_JOBID= 20623361 Free space on /tmp= 61868 MiB SOLVER NAME= OscaR - Conflict Ordering 2017-06-30 BENCH NAME= XCSP17/Nonogram/Nonogram-table-s1/Nonogram-168-table.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248736-1500746840/watcher-4248736-1500746840 -o /tmp/evaluation-result-4248736-1500746840/solver-4248736-1500746840 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500717086-20854 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1392973418 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4248736-1500746840.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 174051e57660c3bc727bfa621c6336b5 RANDOM SEED=1392973418 node143.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 : 2533.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.69 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 : 1600.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 : 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 : 1600.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.69 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 : 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 : 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 : 1600.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.69 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 : 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 : 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 : 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.69 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 : 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 : 2000.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.69 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 : 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 : 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 : 2267.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.69 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 : 2133.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 : 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 : 1600.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.69 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 : 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 : 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 : 2400.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.69 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: 30334256 kB MemAvailable: 30844920 kB Buffers: 181488 kB Cached: 600484 kB SwapCached: 0 kB Active: 1656696 kB Inactive: 324176 kB Active(anon): 1201924 kB Inactive(anon): 8756 kB Active(file): 454772 kB Inactive(file): 315420 kB Unevictable: 6296 kB Mlocked: 6296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 43212 kB Writeback: 0 kB AnonPages: 1204532 kB Mapped: 46156 kB Shmem: 8852 kB Slab: 147288 kB SReclaimable: 112616 kB SUnreclaim: 34672 kB KernelStack: 4512 kB PageTables: 8032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2122192 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1089536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 155008 kB DirectMap2M: 33390592 kB Free space on /tmp at the end= 61824 MiB End job on node143 at 2017-07-22 20:07:22