5.79/5.80 c root propagations : 1312
5.79/5.80 c restarts enabled, print stats at every restarts
5.79/5.80 c
5.79/5.80 c
5.79/5.80 c
5.79/5.80 c This is cosoco 1.12 --
5.79/5.80 c
5.79/5.80 c command line: cosoco -lc -model -restarts HOME/instance-4267275-1502605616.xml
5.79/5.80 c ========================================[ Problem Statistics ]===========================================
5.79/5.80 c |
5.79/5.80 c | Parse time : 5.67 s
5.79/5.80 c |
5.79/5.80 c | Variables: 256
5.79/5.80 c | Domain Sizes: 9..9
5.79/5.80 c |
5.79/5.80 c | Constraints: 92
5.79/5.80 c | Arity: 2..9 -- Binary: 28 -- Ternary: 32
5.79/5.80 c |
5.79/5.80 c | Types:
5.79/5.80 c | Extension: 92 (nb tuples: 2..362880) -- (shared: 38)
5.79/5.80 c |
5.79/5.80 c =========================================================================================================
5.79/5.80 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
5.79/5.80 c remove useless variable x[0][0]
5.79/5.80 c remove useless variable x[0][1]
5.79/5.80 c remove useless variable x[0][2]
5.79/5.80 c remove useless variable x[0][3]
5.79/5.80 c remove useless variable x[0][4]
5.79/5.80 c remove useless variable x[0][5]
5.79/5.80 c remove useless variable x[0][6]
5.79/5.80 c remove useless variable x[0][7]
5.79/5.80 c remove useless variable x[0][8]
5.79/5.80 c remove useless variable x[0][9]
5.79/5.80 c remove useless variable x[0][10]
5.79/5.80 c remove useless variable x[0][11]
5.79/5.80 c remove useless variable x[0][12]
5.79/5.80 c remove useless variable x[0][13]
5.79/5.80 c remove useless variable x[0][14]
5.79/5.80 c remove useless variable x[0][15]
5.79/5.80 c remove useless variable x[1][0]
5.79/5.80 c remove useless variable x[1][1]
5.79/5.80 c remove useless variable x[1][2]
5.79/5.80 c remove useless variable x[1][5]
5.79/5.80 c remove useless variable x[1][8]
5.79/5.80 c remove useless variable x[1][9]
5.79/5.80 c remove useless variable x[1][10]
5.79/5.80 c remove useless variable x[1][13]
5.79/5.80 c remove useless variable x[1][14]
5.79/5.80 c remove useless variable x[1][15]
5.79/5.80 c remove useless variable x[2][0]
5.79/5.80 c remove useless variable x[2][1]
5.79/5.80 c remove useless variable x[2][9]
5.79/5.80 c remove useless variable x[2][15]
5.79/5.80 c remove useless variable x[3][0]
5.79/5.80 c remove useless variable x[3][1]
5.79/5.80 c remove useless variable x[3][6]
5.79/5.80 c remove useless variable x[3][12]
5.79/5.80 c remove useless variable x[4][0]
5.79/5.80 c remove useless variable x[4][3]
5.79/5.80 c remove useless variable x[4][7]
5.79/5.80 c remove useless variable x[4][11]
5.79/5.80 c remove useless variable x[5][0]
5.79/5.80 c remove useless variable x[5][4]
5.79/5.80 c remove useless variable x[5][8]
5.79/5.80 c remove useless variable x[5][15]
5.79/5.80 c remove useless variable x[6][0]
5.79/5.80 c remove useless variable x[6][1]
5.79/5.80 c remove useless variable x[6][6]
5.79/5.80 c remove useless variable x[6][10]
5.79/5.80 c remove useless variable x[6][13]
5.79/5.80 c remove useless variable x[7][0]
5.79/5.80 c remove useless variable x[7][1]
5.79/5.80 c remove useless variable x[7][2]
5.79/5.80 c remove useless variable x[7][12]
5.79/5.80 c remove useless variable x[8][0]
5.79/5.80 c remove useless variable x[8][1]
5.79/5.80 c remove useless variable x[8][5]
5.79/5.80 c remove useless variable x[8][8]
5.79/5.80 c remove useless variable x[8][11]
5.79/5.80 c remove useless variable x[8][15]
5.79/5.80 c remove useless variable x[9][0]
5.79/5.80 c remove useless variable x[9][4]
5.79/5.80 c remove useless variable x[9][14]
5.79/5.80 c remove useless variable x[9][15]
5.79/5.80 c remove useless variable x[10][0]
5.79/5.80 c remove useless variable x[10][3]
5.79/5.80 c remove useless variable x[10][6]
5.79/5.80 c remove useless variable x[10][10]
5.79/5.80 c remove useless variable x[10][15]
5.79/5.80 c remove useless variable x[11][0]
5.79/5.80 c remove useless variable x[11][1]
5.79/5.80 c remove useless variable x[11][8]
5.79/5.80 c remove useless variable x[11][12]
5.79/5.80 c remove useless variable x[12][0]
5.79/5.80 c remove useless variable x[12][5]
5.79/5.80 c remove useless variable x[12][9]
5.79/5.80 c remove useless variable x[12][13]
5.79/5.80 c remove useless variable x[13][0]
5.79/5.80 c remove useless variable x[13][4]
5.79/5.80 c remove useless variable x[13][10]
5.79/5.80 c remove useless variable x[13][15]
5.79/5.80 c remove useless variable x[14][0]
5.79/5.80 c remove useless variable x[14][1]
5.79/5.80 c remove useless variable x[14][7]
5.79/5.80 c remove useless variable x[14][15]
5.79/5.80 c remove useless variable x[15][0]
5.79/5.80 c remove useless variable x[15][1]
5.79/5.80 c remove useless variable x[15][2]
5.79/5.80 c remove useless variable x[15][3]
5.79/5.80 c remove useless variable x[15][6]
5.79/5.80 c remove useless variable x[15][7]
5.79/5.80 c remove useless variable x[15][8]
5.79/5.80 c remove useless variable x[15][11]
5.79/5.80 c remove useless variable x[15][14]
5.79/5.80 c remove useless variable x[15][15]
5.79/5.80 c solution 1
5.79/5.80
5.79/5.80 v <instantiation type='solution'>
5.79/5.80 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] </list>
5.79/5.80 v <values>* * * * * * * * * * * * * * * * * * * 1 3 * 1 7 * * * 1 9 * * * * * 7 4 2 6 3 5 1 * 9 3 7 8 4 * * * 8 7 5 9 * 4 3 1 5 2 * 7 8 9 * 7 9 * 1 4 2 * 9 7 8 * 7 9 5 8 * 9 6 8 * 8 7 9 * 2 7 4 1 5 3 * * * 5 9 8 7 * 6 9 8 * 1 3 * 2 1 * * * 4 6 5 8 1 7 3 9 2 * 9 6 8 * * 8 7 9 * 9 8 * 9 7 * 2 5 1 * * 5 4 6 * 9 7 3 2 5 8 4 1 6 * * * 1 2 * 9 6 * 2 1 6 * 5 4 7 6 * * * 5 9 6 8 3 7 * 4 1 2 * 8 9 6 * 7 1 2 8 * 2 4 1 * 3 1 8 * 3 1 * 9 3 1 * 6 1 5 3 9 * 7 9 6 8 * * * 6 7 8 9 5 * 2 6 8 3 5 1 4 * * * * * 1 8 * * * 8 9 * 7 9 * * </values>
5.79/5.80 v </instantiation>
5.79/5.80
5.79/5.81 c restarts : 0
5.79/5.81 c conflicts : 0 (0 /sec)
5.79/5.81 c decisions : 164 (28 /sec)
5.79/5.81 c propagations : 1476 (256 /sec)
5.79/5.81 c root propagations : 1312
5.79/5.81 c filter calls : 665 (115 /sec)
5.79/5.81 c useless filter calls : 417 (62 %)
5.79/5.81 c Memory used : 124.67 MB
5.79/5.81 c CPU time : 5.76429 s
5.79/5.81
5.79/5.81 s SATISFIABLE
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 (15348 MiB free)
memory of node 1: 16384 MiB (15158 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267275-1502605616/watcher-4267275-1502605616 -o /tmp/evaluation-result-4267275-1502605616/solver-4267275-1502605616 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502602094-2570 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267275-1502605616.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3633, runsolver pid=3630
[startup+0.100198 s]*
/proc/loadavg: 1.92 2.00 2.04 3/189 3634
/proc/meminfo: memFree=31238356/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=28340 memory=4540 CPUtime=0.1 cores=0,2,4,6
/proc/3633/stat : 3633 (cosoco) R 3630 3633 2539 0 -1 4202496 1333 0 0 0 10 0 0 0 20 0 1 0 93650004 29020160 1135 33554432000 4194304 5748600 140721272900928 140721272897576 139624720018432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 18661376 140721272906943 140721272907038 140721272907038 140721272909774 0
/proc/3633/statm: 7085 1135 714 380 0 503 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28340 KiB
Current children cumulated memory: 4540 KiB
[startup+0.209507 s]*
/proc/loadavg: 1.92 2.00 2.04 3/189 3634
/proc/meminfo: memFree=31237240/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=29252 memory=5204 CPUtime=0.21 cores=0,2,4,6
/proc/3633/stat : 3633 (cosoco) R 3630 3633 2539 0 -1 4202496 1644 0 0 0 21 0 0 0 20 0 1 0 93650004 29954048 1301 33554432000 4194304 5748600 140721272900928 140721272897576 5476886 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 18661376 140721272906943 140721272907038 140721272907038 140721272909774 0
/proc/3633/statm: 7313 1301 714 380 0 731 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29252 KiB
Current children cumulated memory: 5204 KiB
[startup+0.309052 s]*
/proc/loadavg: 1.92 2.00 2.04 3/189 3634
/proc/meminfo: memFree=31236012/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=30680 memory=6096 CPUtime=0.31 cores=0,2,4,6
/proc/3633/stat : 3633 (cosoco) R 3630 3633 2539 0 -1 4202496 2069 0 0 0 31 0 0 0 20 0 1 0 93650004 31416320 1524 33554432000 4194304 5748600 140721272900928 140721272897576 139624719580133 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 18661376 140721272906943 140721272907038 140721272907038 140721272909774 0
/proc/3633/statm: 7670 1524 714 380 0 1088 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30680 KiB
Current children cumulated memory: 6096 KiB
[startup+0.700363 s]
/proc/loadavg: 1.92 2.00 2.04 3/189 3634
/proc/meminfo: memFree=31234636/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=34592 memory=10356 CPUtime=0.69 cores=0,2,4,6
/proc/3633/stat : 3633 (cosoco) R 3630 3633 2539 0 -1 4202496 2946 0 0 0 69 0 0 0 20 0 1 0 93650004 35422208 2589 33554432000 4194304 5748600 140721272900928 140721272897576 139624719580133 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 18661376 140721272906943 140721272907038 140721272907038 140721272909774 0
/proc/3633/statm: 8648 2589 714 380 0 2066 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34592 KiB
Current children cumulated memory: 10356 KiB
[startup+1.50035 s]
/proc/loadavg: 1.92 2.00 2.04 3/189 3634
/proc/meminfo: memFree=31230020/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=42680 memory=17328 CPUtime=1.49 cores=0,2,4,6
/proc/3633/stat : 3633 (cosoco) R 3630 3633 2539 0 -1 4202496 4495 0 0 0 149 0 0 0 20 0 1 0 93650004 43704320 4332 33554432000 4194304 5748600 140721272900928 140721272897576 139624719580133 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 18661376 140721272906943 140721272907038 140721272907038 140721272909774 0
/proc/3633/statm: 10670 4332 714 380 0 4088 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42680 KiB
Current children cumulated memory: 17328 KiB
[startup+3.10957 s]
/proc/loadavg: 1.93 2.00 2.04 3/189 3634
/proc/meminfo: memFree=31175388/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=90792 memory=67124 CPUtime=3.09 cores=0,2,4,6
/proc/3633/stat : 3633 (cosoco) R 3630 3633 2539 0 -1 4202496 19224 0 0 0 307 2 0 0 20 0 1 0 93650004 92971008 16781 33554432000 4194304 5748600 140721272900928 140721272897576 139624720018432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 18661376 140721272906943 140721272907038 140721272907038 140721272909774 0
/proc/3633/statm: 22698 16781 714 380 0 16116 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 90792 KiB
Current children cumulated memory: 67124 KiB
[startup+5.81971 s]
# the end of solver process 3633 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.76429 s, system=0.055001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20037 s]
/proc/loadavg: 1.93 2.00 2.04 3/189 3634
/proc/meminfo: memFree=31175388/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=90792 memory=67124 CPUtime=3.19 cores=0,2,4,6
/proc/3633/stat : 3633 (cosoco) R 3630 3633 2539 0 -1 4202496 19224 0 0 0 316 3 0 0 20 0 1 0 93650004 92971008 16781 33554432000 4194304 5748600 140721272900928 140721272897576 139624720018432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 18661376 140721272906943 140721272907038 140721272907038 140721272909774 0
/proc/3633/statm: 22698 16781 714 380 0 16116 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 90792 KiB
Current children cumulated memory: 67124 KiB
[startup+4.80031 s]
/proc/loadavg: 1.93 2.00 2.04 3/189 3634
/proc/meminfo: memFree=31174760/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=90792 memory=67124 CPUtime=4.79 cores=0,2,4,6
/proc/3633/stat : 3633 (cosoco) R 3630 3633 2539 0 -1 4202496 20965 0 0 0 476 3 0 0 20 0 1 0 93650004 92971008 16781 33554432000 4194304 5748600 140721272900928 140721272897576 5479482 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 18661376 140721272906943 140721272907038 140721272907038 140721272909774 0
/proc/3633/statm: 22698 16781 714 380 0 16116 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 90792 KiB
Current children cumulated memory: 67124 KiB
[startup+5.60032 s]
/proc/loadavg: 1.93 2.00 2.04 3/189 3634
/proc/meminfo: memFree=31174760/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=90792 memory=67124 CPUtime=5.59 cores=0,2,4,6
/proc/3633/stat : 3633 (cosoco) R 3630 3633 2539 0 -1 4202496 23262 0 0 0 556 3 0 0 20 0 1 0 93650004 92971008 16781 33554432000 4194304 5748600 140721272900928 140721272897576 5479434 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7849824 7854664 18661376 140721272906943 140721272907038 140721272907038 140721272909774 0
/proc/3633/statm: 22698 16781 714 380 0 16116 0
Current children cumulated CPU time: 5.59 s
Current children cumulated vsize: 90792 KiB
Current children cumulated memory: 67124 KiB
[startup+5.80042 s]
/proc/loadavg: 1.93 2.00 2.04 3/189 3634
/proc/meminfo: memFree=31174760/32770624 swapFree=67108860/67108860
[pid=3633] ppid=3630 vsize=127656 memory=103960 CPUtime=5.79 cores=0,2,4,6
/proc/3633/stat : 3633 (cosoco) R 3630 3633 2539 0 -1 4202496 38375 0 0 0 575 4 0 0 20 0 1 0 93650004 130719744 25990 33554432000 4194304 5748600 140721272900928 140721272897576 4894279 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7849824 7854664 18661376 140721272906943 140721272907038 140721272907038 140721272909774 0
/proc/3633/statm: 31914 25990 749 380 0 25332 0
Current children cumulated CPU time: 5.79 s
Current children cumulated vsize: 127656 KiB
Current children cumulated memory: 103960 KiB
Child status: 0
Real time (s): 5.81974
CPU time (s): 5.81929
CPU user time (s): 5.76429
CPU system time (s): 0.055001
CPU usage (%): 99.9923
Max. virtual memory (cumulated for all children) (KiB): 127656
Max. memory (cumulated for all children) (KiB): 103960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.76429
system time used= 0.055001
maximum resident set size= 104060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 4
# summary of solver processes directly reported to runsolver:
# pid: 3633
# total CPU time (s): 5.81929
# total CPU user time (s): 5.76429
# total CPU system time (s): 0.055001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041007 second user time and 0.079912 second system time
The end
Begin job on node102 at 2017-08-13 08:12:38
IDJOB=4267275
IDBENCH=124898
IDSOLVER=2657
FILE ID=node102/4267275-1502605616
RUNJOBID= node102-1502602094-2570
PBS_JOBID= 20628294
Free space on /tmp= 61896 MiB
SOLVER NAME= cosoco-mini 1.12
BENCH NAME= XCSP17/Kakuro/Kakuro-ext-medium/Kakuro-medium-162-ext.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267275-1502605616/watcher-4267275-1502605616 -o /tmp/evaluation-result-4267275-1502605616/solver-4267275-1502605616 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502602094-2570 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267275-1502605616.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 9eb44364195c6f7bb137f76b47648058
RANDOM SEED=1187897152
node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.35
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.35
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.35
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.35
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: 31240292 kB
MemAvailable: 31604988 kB
Buffers: 92952 kB
Cached: 556468 kB
SwapCached: 0 kB
Active: 972796 kB
Inactive: 113616 kB
Active(anon): 389148 kB
Inactive(anon): 75648 kB
Active(file): 583648 kB
Inactive(file): 37968 kB
Unevictable: 6436 kB
Mlocked: 6436 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 15664 kB
Writeback: 0 kB
AnonPages: 443204 kB
Mapped: 44504 kB
Shmem: 25228 kB
Slab: 144328 kB
SReclaimable: 117832 kB
SUnreclaim: 26496 kB
KernelStack: 3392 kB
PageTables: 5384 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 736500 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 387072 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 134528 kB
DirectMap2M: 33411072 kB
Free space on /tmp at the end= 61892 MiB
End job on node102 at 2017-08-13 08:12:44