Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 137 | 2519.24 | 2520.01 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml |
| MD5SUM | a5381fa3d98671549d41a8d043d26ba4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 133 |
| Best CPU time to get the best result obtained on this benchmark | 19981 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 210 |
| Number of constraints | 94 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":91},{"size":501,"count":14}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 15 |
| Distribution of variable degrees | [{"degree":0,"count":105},{"degree":2,"count":91},{"degree":14,"count":12},{"degree":15,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 91 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":91},{"arity":14,"count":1},{"arity":91,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 92 |
| Distribution of constraint types | [{"type":"intension","count":92},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.03 c 0.00/0.03 c This is cosoco 2.00 -- 0.00/0.03 c 0.00/0.03 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408500-1569795229.xml 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 14.00/14.05 c enable optimization 14.00/14.05 c ========================================[ Problem Statistics ]=========================================== 14.00/14.05 c | 14.00/14.05 c | Parse time : 0.03 s 14.00/14.05 c | 14.00/14.05 c | Variables: 210 14.00/14.05 c | Domain Sizes: 500..501 14.00/14.05 c | 14.00/14.05 c | Constraints: 107 14.00/14.05 c | Arity: 1..91 -- Unary: 2 -- Binary: 13 -- Ternary: 91 14.00/14.05 c | 14.00/14.05 c | Types: 14.00/14.05 c | (X - Y < k): 13 14.00/14.05 c | All Different: 1 14.00/14.05 c | Intension: 1 14.00/14.05 c | Sum: 91 14.00/14.05 c | Unary: 1 14.00/14.05 c | 14.00/14.05 c | Objective: Minimize Intension 14.00/14.05 14.00/14.05 c ========================================================================================================= 14.00/14.05 o 302 14.00/14.05 c 1 calls to solver(id=*d): best=0 lower=302 upper=-2147483638 14.59/14.60 o 260 15.00/15.04 o 242 15.00/15.04 c 3 calls to solver(id=*d): best=0 lower=242 upper=-2147483638 15.29/15.34 o 199 15.49/15.56 o 196 15.49/15.56 c 5 calls to solver(id=*d): best=0 lower=196 upper=-2147483638 15.59/15.68 o 195 16.19/16.25 o 185 16.19/16.25 c 7 calls to solver(id=*d): best=0 lower=185 upper=-2147483638 16.59/16.60 o 165 17.69/17.78 o 160 17.69/17.78 c 9 calls to solver(id=*d): best=0 lower=160 upper=-2147483638 18.89/18.99 o 155 21.69/21.73 o 153 21.69/21.73 c 11 calls to solver(id=*d): best=0 lower=153 upper=-2147483638 260.31/260.46 o 152 342.79/342.92 o 151 342.79/342.92 c 13 calls to solver(id=*d): best=0 lower=151 upper=-2147483638 359.28/359.45 o 149 413.06/413.20 o 147 413.06/413.20 c 15 calls to solver(id=*d): best=0 lower=147 upper=-2147483638 597.01/597.24 o 146 910.82/911.12 o 145 910.82/911.12 c 17 calls to solver(id=*d): best=0 lower=145 upper=-2147483638 1055.68/1056.04 o 137 2519.23/2520.00 2519.23/2520.00 c *** INTERRUPTED *** 2519.23/2520.00 c call to solver : 18 2519.23/2520.00 c 2519.23/2520.00 c restarts : 732 2519.23/2520.00 c conflicts : 4412732 (1752 /sec) 2519.23/2520.00 c decisions : 14647453 (5814 /sec) 2519.23/2520.00 c propagations : 4307534176 (1709857 /sec) 2519.23/2520.00 c root propagations : 979 2519.23/2520.00 c filter calls : 1255249044 (498266 /sec) 2519.23/2520.00 c useless filter calls : 323852704 (25 %) 2519.23/2520.00 c Memory used : 28.38 MB 2519.23/2520.00 c Best bound time (wc) : 1056.04 s 2519.23/2520.00 c CPU time : 2519.24 s 2519.23/2520.00 c real time : 2520 s 2519.23/2520.00 2519.23/2520.00 c nb Solutions = 18 2519.23/2520.00 s SATISFIABLE 2519.23/2520.00 c Best value found: 137 2519.23/2520.00 2519.23/2520.00 2519.23/2520.00 v <instantiation type='solution' cost='137'> 2519.23/2520.00 v <list>x[0] x[10] x[11] x[12] x[13] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 2519.23/2520.00 v <values>0 123 133 136 137 6 8 24 33 52 63 75 101 116 * 123 133 136 137 6 8 24 33 52 63 75 101 116 * * 10 13 14 * * * * * * * * * * * * 3 4 * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * 117 127 130 131 * 2 18 27 46 57 69 95 110 * 115 125 128 129 * * 16 25 44 55 67 93 108 * 99 109 112 113 * * * 9 28 39 51 77 92 * 90 100 103 104 * * * * 19 30 42 68 83 * 71 81 84 85 * * * * * 11 23 49 64 * 60 70 73 74 * * * * * * 12 38 53 * 48 58 61 62 * * * * * * * 26 41 * 22 32 35 36 * * * * * * * * 15 * 7 17 20 21 * * * * * * * * * </values> 2519.23/2520.00 v </instantiation> 2519.23/2520.00
OK 137
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 (15222 MiB free)
memory of node 1: 16384 MiB (15592 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408500-1569795229/watcher-4408500-1569795229 -o /tmp/evaluation-result-4408500-1569795229/solver-4408500-1569795229 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569783168-25107 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408500-1569795229.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=26612, runsolver pid=26609
[startup+0.100148 s]*
/proc/loadavg: 1.92 1.98 2.03 3/200 26613
/proc/meminfo: memFree=31553836/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=28928 memory=5528 CPUtime=0.1 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 1560 0 0 0 10 0 0 0 20 0 1 0 555779189 29622272 1382 33554432000 4194304 6211132 140720720718704 140720720716968 5186297 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7232 1382 867 493 0 537 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28928 KiB
Current children cumulated memory: 5528 KiB
[startup+0.209576 s]*
/proc/loadavg: 1.92 1.98 2.03 3/200 26613
/proc/meminfo: memFree=31553836/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=28928 memory=5528 CPUtime=0.21 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 1560 0 0 0 21 0 0 0 20 0 1 0 555779189 29622272 1382 33554432000 4194304 6211132 140720720718704 140720720716968 5074863 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7232 1382 867 493 0 537 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28928 KiB
Current children cumulated memory: 5528 KiB
[startup+0.309049 s]*
/proc/loadavg: 1.92 1.98 2.03 3/200 26613
/proc/meminfo: memFree=31553836/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=28928 memory=5528 CPUtime=0.31 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 1560 0 0 0 31 0 0 0 20 0 1 0 555779189 29622272 1382 33554432000 4194304 6211132 140720720718704 140720720716968 5193742 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7232 1382 867 493 0 537 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28928 KiB
Current children cumulated memory: 5528 KiB
[startup+0.700274 s]
/proc/loadavg: 1.92 1.98 2.03 3/200 26613
/proc/meminfo: memFree=31553836/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=28928 memory=5528 CPUtime=0.69 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 1560 0 0 0 69 0 0 0 20 0 1 0 555779189 29622272 1382 33554432000 4194304 6211132 140720720718704 140720720716968 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7232 1382 867 493 0 537 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28928 KiB
Current children cumulated memory: 5528 KiB
[startup+1.50029 s]
/proc/loadavg: 1.92 1.98 2.03 3/200 26613
/proc/meminfo: memFree=31553632/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=28928 memory=5528 CPUtime=1.49 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 1560 0 0 0 149 0 0 0 20 0 1 0 555779189 29622272 1382 33554432000 4194304 6211132 140720720718704 140720720716968 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7232 1382 867 493 0 537 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28928 KiB
Current children cumulated memory: 5528 KiB
[startup+3.10904 s]
/proc/loadavg: 1.92 1.98 2.03 3/200 26613
/proc/meminfo: memFree=31553508/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=28928 memory=5592 CPUtime=3.1 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 1892 0 0 0 310 0 0 0 20 0 1 0 555779189 29622272 1398 33554432000 4194304 6211132 140720720718704 140720720716968 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7232 1398 880 493 0 537 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28928 KiB
Current children cumulated memory: 5592 KiB
[startup+6.30027 s]
/proc/loadavg: 1.92 1.98 2.03 3/200 26613
/proc/meminfo: memFree=31553124/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=28928 memory=5592 CPUtime=6.29 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 2223 0 0 0 629 0 0 0 20 0 1 0 555779189 29622272 1398 33554432000 4194304 6211132 140720720718704 140720720716968 5149680 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7232 1398 880 493 0 537 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28928 KiB
Current children cumulated memory: 5592 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 2.03 3/200 26613
/proc/meminfo: memFree=31553124/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=28928 memory=5592 CPUtime=12.69 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 2573 0 0 0 1269 0 0 0 20 0 1 0 555779189 29622272 1398 33554432000 4194304 6211132 140720720718704 140720720716968 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7232 1398 880 493 0 537 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28928 KiB
Current children cumulated memory: 5592 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 2.03 3/200 26613
/proc/meminfo: memFree=31552996/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5648 CPUtime=25.48 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 3402 0 0 0 2548 0 0 0 20 0 1 0 555779189 29757440 1412 33554432000 4194304 6211132 140720720718704 140720720706584 5075560 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1412 880 493 0 570 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5648 KiB
[startup+51.1091 s]
/proc/loadavg: 1.96 1.99 2.03 3/200 26615
/proc/meminfo: memFree=31552532/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5648 CPUtime=51.08 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 3760 0 0 0 5108 0 0 0 20 0 1 0 555779189 29757440 1412 33554432000 4194304 6211132 140720720718704 140720720706584 5149822 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1412 880 493 0 570 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5648 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/200 26619
/proc/meminfo: memFree=31552404/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5648 CPUtime=102.26 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 4117 0 0 0 10226 0 0 0 20 0 1 0 555779189 29757440 1412 33554432000 4194304 6211132 140720720718704 140720720706584 5081329 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1412 880 493 0 570 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5648 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/198 26623
/proc/meminfo: memFree=31552536/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5648 CPUtime=162.24 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 4473 0 0 0 16224 0 0 0 20 0 1 0 555779189 29757440 1412 33554432000 4194304 6211132 140720720718704 140720720706584 5150105 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1412 880 493 0 570 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5648 KiB
[startup+222.3 s]
/proc/loadavg: 2.03 2.00 2.04 3/198 26629
/proc/meminfo: memFree=31551760/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5648 CPUtime=222.22 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 4829 0 0 0 22222 0 0 0 20 0 1 0 555779189 29757440 1412 33554432000 4194304 6211132 140720720718704 140720720706584 5074557 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1412 880 493 0 570 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5648 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/198 26694
/proc/meminfo: memFree=31408380/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5648 CPUtime=282.2 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 5290 0 0 0 28220 0 0 0 20 0 1 0 555779189 29757440 1412 33554432000 4194304 6211132 140720720718704 140720720716840 5079319 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1412 880 493 0 570 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5648 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/198 26698
/proc/meminfo: memFree=31406832/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5648 CPUtime=342.19 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 5646 0 0 0 34219 0 0 0 20 0 1 0 555779189 29757440 1412 33554432000 4194304 6211132 140720720718704 140720720716840 5074483 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1412 880 493 0 570 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5648 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 26712
/proc/meminfo: memFree=31406092/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5648 CPUtime=402.17 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 6213 0 0 0 40217 0 0 0 20 0 1 0 555779189 29757440 1412 33554432000 4194304 6211132 140720720718704 140720720716840 5074593 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1412 880 493 0 570 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5648 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 26716
/proc/meminfo: memFree=31406176/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5648 CPUtime=462.15 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 6675 0 0 0 46215 0 0 0 20 0 1 0 555779189 29757440 1412 33554432000 4194304 6211132 140720720718704 140720720706584 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1412 880 493 0 570 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5648 KiB
################
# More data... #
################
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 1721.77 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 26836
/proc/meminfo: memFree=31405824/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=1781.75 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 14746 0 0 0 178175 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5081341 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 1781.75 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26842
/proc/meminfo: memFree=31405968/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=1841.73 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 15103 0 0 0 184173 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5148683 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 1841.73 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26846
/proc/meminfo: memFree=31405836/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=1901.71 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 15453 0 0 0 190171 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5079049 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 1901.71 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26850
/proc/meminfo: memFree=31406252/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=1961.69 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 15814 0 0 0 196169 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5079092 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 1961.69 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26856
/proc/meminfo: memFree=31405364/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=2021.67 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 16171 0 0 0 202167 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5081360 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 2021.67 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26860
/proc/meminfo: memFree=31405468/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=2081.66 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 16525 0 0 0 208166 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5149690 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 2081.66 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26864
/proc/meminfo: memFree=31405260/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=2141.64 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 16877 0 0 0 214164 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5075794 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 2141.64 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/199 26878
/proc/meminfo: memFree=31404960/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=2201.62 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 17234 0 0 0 220162 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5075751 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 2201.62 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 26882
/proc/meminfo: memFree=31405520/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=2261.6 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 17581 0 0 0 226160 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5193760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 2261.6 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+2322.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/199 26886
/proc/meminfo: memFree=31406220/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=2321.58 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 17928 0 0 0 232158 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5149721 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 2321.58 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 26892
/proc/meminfo: memFree=31405840/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=2381.56 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 18275 0 0 0 238156 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5149706 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 2381.56 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 26896
/proc/meminfo: memFree=31405952/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=2441.55 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 18632 0 0 0 244155 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5079352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 2441.55 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 26900
/proc/meminfo: memFree=31406456/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=2501.53 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 18984 0 0 0 250153 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5079267 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 2501.53 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 26902
/proc/meminfo: memFree=31406580/32770624 swapFree=66986684/67108860
[pid=26612] ppid=26609 vsize=29060 memory=5656 CPUtime=2519.23 cores=1,3,5,7
/proc/26612/stat : 26612 (cosoco) R 26609 26612 25075 0 -1 4202496 19336 0 0 0 251923 0 0 0 20 0 1 0 555779189 29757440 1414 33554432000 4194304 6211132 140720720718704 140720720716840 5074518 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23949312 140720720720907 140720720721009 140720720721009 140720720723918 0
/proc/26612/statm: 7265 1414 880 493 0 570 0
Current children cumulated CPU time: 2519.23 s
Current children cumulated vsize: 29060 KiB
Current children cumulated memory: 5656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 26612 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.24 s, system=0.003998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.24
CPU user time (s): 2519.24
CPU system time (s): 0.003998
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 29060
Max. memory (cumulated for all children) (KiB): 5656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.24
system time used= 0.003998
maximum resident set size= 5720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19388
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= 14
involuntary context switches= 13241
# summary of solver processes directly reported to runsolver:
# pid: 26612
# total CPU time (s): 2519.24
# total CPU user time (s): 2519.24
# total CPU system time (s): 0.003998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08075 second user time and 16.8626 second system time
The end
Begin job on node104 at 2019-09-29 23:03:22 IDJOB=4408500 IDBENCH=126210 IDSOLVER=2874 FILE ID=node104/4408500-1569795229 RUNJOBID= node104-1569783168-25107 PBS_JOBID= 21705839 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-14-a3.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408500-1569795229/watcher-4408500-1569795229 -o /tmp/evaluation-result-4408500-1569795229/solver-4408500-1569795229 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569783168-25107 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408500-1569795229.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a5381fa3d98671549d41a8d043d26ba4 RANDOM SEED=1697516872 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 31555412 kB MemAvailable: 31774728 kB Buffers: 193696 kB Cached: 355812 kB SwapCached: 22760 kB Active: 361428 kB Inactive: 281816 kB Active(anon): 85040 kB Inactive(anon): 91348 kB Active(file): 276388 kB Inactive(file): 190468 kB Unevictable: 109640 kB Mlocked: 109640 kB SwapTotal: 67108860 kB SwapFree: 66986684 kB Dirty: 2764 kB Writeback: 4 kB AnonPages: 182476 kB Mapped: 28364 kB Shmem: 73632 kB Slab: 166136 kB SReclaimable: 136592 kB SUnreclaim: 29544 kB KernelStack: 3520 kB PageTables: 5572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 626928 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 133120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62024 MiB End job on node104 at 2019-09-29 23:45:22