Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco-sat 1.12 | SAT (TO) | 206 | 2519.8799 | 2520.0601 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml |
| MD5SUM | 0ccf44bf6198d309f3039e2504907429 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 161 |
| Best CPU time to get the best result obtained on this benchmark | 20019.5 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 240 |
| Number of constraints | 108 |
| Number of domains | 2 |
| Minimum domain size | 500 |
| Maximum domain size | 501 |
| Distribution of domain sizes | [{"size":500,"count":105},{"size":501,"count":15}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 16 |
| Distribution of variable degrees | [{"degree":0,"count":120},{"degree":2,"count":105},{"degree":15,"count":13},{"degree":16,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 105 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":105},{"arity":15,"count":1},{"arity":105,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 106 |
| Distribution of constraint types | [{"type":"intension","count":106},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
2.10/2.15 c SAT : Variables: 120015 -- Clauses: 29947740 2.10/2.15 c best=?? lower=0 upper=500 10.29/10.35 c 10.29/10.35 c This is cosoco 1.12 -- 10.29/10.35 c 10.29/10.35 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265676-1502576038.xml 10.29/10.35 c enable optimization 10.29/10.35 c ========================================[ Problem Statistics ]=========================================== 10.29/10.35 c | 10.29/10.35 c | Parse time : 1.83 s 10.29/10.35 c | 10.29/10.35 c | Variables: 240 10.29/10.35 c | Domain Sizes: 500..501 10.29/10.35 c | 10.29/10.35 c | Constraints: 122 10.29/10.35 c | Arity: 1..105 -- Unary: 2 -- Binary: 14 -- Ternary: 105 10.29/10.35 c | 10.29/10.35 c | Types: 10.29/10.35 c | (X - Y < k): 14 10.29/10.35 c | All Different: 1 10.29/10.35 c | Intension: 107 10.29/10.35 c | 10.29/10.35 c ========================================================================================================= 10.29/10.35 conflict 498lvl : 9 bt7-10537:0(2514)X119925957 38.28/38.37 conflict 506lvl : 15 bt15-1008:0(11883)X120096035 46.09/46.19 conflict 505lvl : 15 bt15-504:0(11856)X120101331 291.07/291.18 o 220 291.07/291.18 c 1 calls to solver: best=220 lower=0 upper=219 292.76/292.83 o 219 485.45/485.59 conflict 497lvl : 7 bt6-25528:0(2080)X120654217 971.21/971.35 o 218 971.21/971.35 c 3 calls to solver: best=218 lower=0 upper=217 1009.80/1009.93 o 208 1179.09/1179.29 o 206 1179.09/1179.29 c 5 calls to solver: best=206 lower=0 upper=205 2519.82/2520.00 2519.82/2520.00 c *** INTERRUPTED *** 2519.82/2520.00 c restarts : 575 2519.82/2520.00 c conflicts : 1473790 (585 /sec) 2519.82/2520.00 c decisions : 2453395 (974 /sec) 2519.82/2520.00 c propagations : 6071696964 (2410075 /sec) 2519.82/2520.00 c root propagations : 696 2519.82/2520.00 c filter calls : 177156191 (70320 /sec) 2519.82/2520.00 c useless filter calls : 139677459 (78 %) 2519.82/2520.00 c 2519.82/2520.00 c clauses : 29983084 2519.82/2520.00 c SAT propagations : 35506 2519.82/2520.00 c SAT conflicts : 51 (4 learnts) 2519.82/2520.00 c Memory used : 1313.76 MB 2519.82/2520.00 c CPU time : 2519.3 s 2519.82/2520.00 2519.82/2520.00 c nb Solutions = 5 2519.82/2520.00 s SATISFIABLE 2519.82/2520.00 c Best value found: 206 2519.82/2520.00 2519.82/2520.00 2519.82/2520.00 v <instantiation type='solution' cost='206'> 2519.82/2520.00 v <list>x[0] x[10] x[11] x[12] x[13] x[14] 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][14] 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][14] 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][14] 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][14] 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][14] 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[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] 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][14] 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][14] 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][14] 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][14] 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][14] 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][14] 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][14] 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][14] 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.82/2520.00 v <values>0 112 133 153 180 206 5 7 13 16 17 35 49 72 87 * 112 133 153 180 206 5 7 13 16 17 35 49 72 87 * * 21 41 68 94 * * * * * * * * * * * * 20 47 73 * * * * * * * * * * * * * 27 53 * * * * * * * * * * * * * * 26 * * * * * * * * * * * * * * * * * * * * * * * * * 107 128 148 175 201 * 2 8 11 12 30 44 67 82 * 105 126 146 173 199 * * 6 9 10 28 42 65 80 * 99 120 140 167 193 * * * 3 4 22 36 59 74 * 96 117 137 164 190 * * * * 1 19 33 56 71 * 95 116 136 163 189 * * * * * 18 32 55 70 * 77 98 118 145 171 * * * * * * 14 37 52 * 63 84 104 131 157 * * * * * * * 23 38 * 40 61 81 108 134 * * * * * * * * 15 * 25 46 66 93 119 * * * * * * * * * </values> 2519.82/2520.00 v </instantiation> 2519.82/2520.00
OK 206
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 (2849 MiB free)
memory of node 1: 16384 MiB (13674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265676-1502576038/watcher-4265676-1502576038 -o /tmp/evaluation-result-4265676-1502576038/solver-4265676-1502576038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265676-1502576038.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
solver pid=25552, runsolver pid=25549
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25553
/proc/meminfo: memFree=16917224/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=30552 memory=6996 CPUtime=0.1 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 1936 0 0 0 10 0 0 0 20 0 1 0 90675460 31285248 1749 33554432000 4194304 5972588 140725094949360 140725094943160 139784923531100 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 7638 1749 786 435 0 1001 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30552 KiB
Current children cumulated memory: 6996 KiB
[startup+0.20966 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25553
/proc/meminfo: memFree=16864168/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=98488 memory=65372 CPUtime=0.21 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 13479 0 0 0 20 1 0 0 20 0 1 0 90675460 100851712 16343 33554432000 4194304 5972588 140725094949360 140725094943160 139784914172901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 24655 16343 823 435 0 18018 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 98488 KiB
Current children cumulated memory: 65372 KiB
[startup+0.309516 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 25553
/proc/meminfo: memFree=16804068/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=152216 memory=124808 CPUtime=0.31 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 22683 0 0 0 28 3 0 0 20 0 1 0 90675460 155869184 31202 33554432000 4194304 5972588 140725094949360 140725094943160 139784914242091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 38054 31202 823 435 0 31417 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 152216 KiB
Current children cumulated memory: 124808 KiB
[startup+0.700342 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25553
/proc/meminfo: memFree=16684172/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=460436 memory=352720 CPUtime=0.69 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 54663 0 0 0 60 9 0 0 20 0 1 0 90675460 471486464 88180 33554432000 4194304 5972588 140725094949360 140725094943160 139784914242091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 115142 88180 823 435 0 108505 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 460436 KiB
Current children cumulated memory: 352720 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25553
/proc/meminfo: memFree=16391956/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=886112 memory=824604 CPUtime=1.49 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 115885 0 0 0 128 21 0 0 20 0 1 0 90675460 907378688 206151 33554432000 4194304 5972588 140725094949360 140725094946152 139784914172901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 221528 206151 823 435 0 214891 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 886112 KiB
Current children cumulated memory: 824604 KiB
[startup+3.10908 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25553
/proc/meminfo: memFree=15716460/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1341628 memory=1205348 CPUtime=3.1 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 168254 0 0 0 278 32 0 0 20 0 1 0 90675460 1373827072 301337 33554432000 4194304 5972588 140725094949360 140725094946072 4909657 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 335407 301337 839 435 0 328770 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1341628 KiB
Current children cumulated memory: 1205348 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25553
/proc/meminfo: memFree=15716128/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1341784 memory=1205432 CPUtime=6.29 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 171515 0 0 0 597 32 0 0 20 0 1 0 90675460 1373986816 301358 33554432000 4194304 5972588 140725094949360 140725094946072 4968801 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 335446 301358 839 435 0 328809 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1341784 KiB
Current children cumulated memory: 1205432 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25553
/proc/meminfo: memFree=15716248/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1341784 memory=1205500 CPUtime=12.69 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 177423 0 0 0 1237 32 0 0 20 0 1 0 90675460 1373986816 301375 33554432000 4194304 5972588 140725094949360 140725094946584 5240617 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 335446 301375 843 435 0 328809 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1341784 KiB
Current children cumulated memory: 1205500 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25560
/proc/meminfo: memFree=15714900/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1341928 memory=1205640 CPUtime=25.48 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 184870 0 0 0 2516 32 0 0 20 0 1 0 90675460 1374134272 301410 33554432000 4194304 5972588 140725094949360 140725094945896 4968754 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 335482 301410 843 435 0 328845 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 1341928 KiB
Current children cumulated memory: 1205640 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25560
/proc/meminfo: memFree=15715448/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1342060 memory=1205820 CPUtime=51.09 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 199079 0 0 0 5076 33 0 0 20 0 1 0 90675460 1374269440 301455 33554432000 4194304 5972588 140725094949360 140725094946584 4965339 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 335515 301455 845 435 0 328878 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1342060 KiB
Current children cumulated memory: 1205820 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25587
/proc/meminfo: memFree=15711316/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1343008 memory=1206732 CPUtime=102.28 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 222109 0 0 0 10193 35 0 0 20 0 1 0 90675460 1375240192 301683 33554432000 4194304 5972588 140725094949360 140725094946216 5071411 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 335752 301683 845 435 0 329115 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1343008 KiB
Current children cumulated memory: 1206732 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25588
/proc/meminfo: memFree=15708804/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1343668 memory=1209416 CPUtime=162.27 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 243587 0 0 0 16191 36 0 0 20 0 1 0 90675460 1375916032 302354 33554432000 4194304 5972588 140725094949360 140725094946216 5082463 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 335917 302354 845 435 0 329280 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1343668 KiB
Current children cumulated memory: 1209416 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25589
/proc/meminfo: memFree=15706164/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1344196 memory=1210024 CPUtime=222.27 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 272877 0 0 0 22189 38 0 0 20 0 1 0 90675460 1376456704 302506 33554432000 4194304 5972588 140725094949360 140725094946216 4965472 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336049 302506 845 435 0 329412 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 1344196 KiB
Current children cumulated memory: 1210024 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25590
/proc/meminfo: memFree=15706192/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1344356 memory=1210192 CPUtime=282.26 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 287460 0 0 0 28188 38 0 0 20 0 1 0 90675460 1376620544 302548 33554432000 4194304 5972588 140725094949360 140725094945928 5070704 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336089 302548 845 435 0 329452 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 1344356 KiB
Current children cumulated memory: 1210192 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 25591
/proc/meminfo: memFree=15706344/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1344920 memory=1210576 CPUtime=342.25 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 311603 0 0 0 34186 39 0 0 20 0 1 0 90675460 1377198080 302644 33554432000 4194304 5972588 140725094949360 140725094946808 4969252 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336230 302644 845 435 0 329593 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 1344920 KiB
Current children cumulated memory: 1210576 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25592
/proc/meminfo: memFree=15706108/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1344920 memory=1210576 CPUtime=402.25 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 316618 0 0 0 40185 40 0 0 20 0 1 0 90675460 1377198080 302644 33554432000 4194304 5972588 140725094949360 140725094946808 4909702 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336230 302644 845 435 0 329593 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 1344920 KiB
Current children cumulated memory: 1210576 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25593
/proc/meminfo: memFree=15706224/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1344920 memory=1210592 CPUtime=462.24 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 321174 0 0 0 46184 40 0 0 20 0 1 0 90675460 1377198080 302648 33554432000 4194304 5972588 140725094949360 140725094946808 4965500 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336230 302648 845 435 0 329593 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 1344920 KiB
Current children cumulated memory: 1210592 KiB
################
# More data... #
################
/proc/25552/statm: 336321 303291 845 435 0 329684 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213164 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 25635
/proc/meminfo: memFree=15699824/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213164 CPUtime=1782.17 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 513016 0 0 0 178167 50 0 0 20 0 1 0 90675460 1377570816 303291 33554432000 4194304 5972588 140725094949360 140725094936552 4968797 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303291 845 435 0 329684 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213164 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 25643
/proc/meminfo: memFree=15698572/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213164 CPUtime=1842.16 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 516745 0 0 0 184166 50 0 0 20 0 1 0 90675460 1377570816 303291 33554432000 4194304 5972588 140725094949360 140725094936552 5071752 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303291 845 435 0 329684 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213164 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 25644
/proc/meminfo: memFree=15699512/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213164 CPUtime=1902.16 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 520449 0 0 0 190166 50 0 0 20 0 1 0 90675460 1377570816 303291 33554432000 4194304 5972588 140725094949360 140725094936552 5070704 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303291 845 435 0 329684 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213164 KiB
[startup+1962.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/187 25645
/proc/meminfo: memFree=15699792/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213168 CPUtime=1962.15 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 523595 0 0 0 196165 50 0 0 20 0 1 0 90675460 1377570816 303292 33554432000 4194304 5972588 140725094949360 140725094936552 5070704 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303292 845 435 0 329684 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213168 KiB
[startup+2022.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/187 25646
/proc/meminfo: memFree=15699700/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213168 CPUtime=2022.16 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 527455 0 0 0 202165 51 0 0 20 0 1 0 90675460 1377570816 303292 33554432000 4194304 5972588 140725094949360 140725094936552 5071832 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303292 845 435 0 329684 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213168 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 25647
/proc/meminfo: memFree=15699608/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213172 CPUtime=2082.16 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 531221 0 0 0 208165 51 0 0 20 0 1 0 90675460 1377570816 303293 33554432000 4194304 5972588 140725094949360 140725094936552 4909602 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303293 845 435 0 329684 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213172 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 25648
/proc/meminfo: memFree=15699144/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213172 CPUtime=2142.15 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 534937 0 0 0 214164 51 0 0 20 0 1 0 90675460 1377570816 303293 33554432000 4194304 5972588 140725094949360 140725094936552 5320427 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303293 845 435 0 329684 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213172 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 25649
/proc/meminfo: memFree=15699100/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213172 CPUtime=2202.14 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 538740 0 0 0 220163 51 0 0 20 0 1 0 90675460 1377570816 303293 33554432000 4194304 5972588 140725094949360 140725094936552 4909660 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303293 845 435 0 329684 0
Current children cumulated CPU time: 2202.14 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213172 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 25650
/proc/meminfo: memFree=15699008/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213172 CPUtime=2262.14 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 542081 0 0 0 226163 51 0 0 20 0 1 0 90675460 1377570816 303293 33554432000 4194304 5972588 140725094949360 140725094936552 4965551 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303293 845 435 0 329684 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213172 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 25651
/proc/meminfo: memFree=15699040/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213172 CPUtime=2322.14 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 545835 0 0 0 232162 52 0 0 20 0 1 0 90675460 1377570816 303293 33554432000 4194304 5972588 140725094949360 140725094936552 5053056 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303293 845 435 0 329684 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213172 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25652
/proc/meminfo: memFree=15698832/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213176 CPUtime=2382.14 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 548911 0 0 0 238162 52 0 0 20 0 1 0 90675460 1377570816 303294 33554432000 4194304 5972588 140725094949360 140725094936552 4909624 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303294 845 435 0 329684 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213176 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25660
/proc/meminfo: memFree=15697952/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213176 CPUtime=2442.13 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 552939 0 0 0 244161 52 0 0 20 0 1 0 90675460 1377570816 303294 33554432000 4194304 5972588 140725094949360 140725094936552 5099648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303294 845 435 0 329684 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213176 KiB
[startup+2502.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 26166
/proc/meminfo: memFree=25429088/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213176 CPUtime=2502.12 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 556049 0 0 0 250159 53 0 0 20 0 1 0 90675460 1377570816 303294 33554432000 4194304 5972588 140725094949360 140725094936552 4909643 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303294 845 435 0 329684 0
Current children cumulated CPU time: 2502.12 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213176 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 26166
/proc/meminfo: memFree=25428436/32770624 swapFree=67108860/67108860
[pid=25552] ppid=25549 vsize=1345284 memory=1213176 CPUtime=2519.82 cores=1,3,5,7
/proc/25552/stat : 25552 (cosoco) R 25549 25552 24318 0 -1 4202496 556549 0 0 0 251929 53 0 0 20 0 1 0 90675460 1377570816 303294 33554432000 4194304 5972588 140725094949360 140725094936552 5070704 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 19947520 140725094958266 140725094958366 140725094958366 140725094961102 0
/proc/25552/statm: 336321 303294 845 435 0 329684 0
Current children cumulated CPU time: 2519.82 s
Current children cumulated vsize: 1345284 KiB
Current children cumulated memory: 1213176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.06 s]
# the end of solver process 25552 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.3 s, system=0.585961 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.06
CPU time (s): 2519.88
CPU user time (s): 2519.3
CPU system time (s): 0.585961
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 1345284
Max. memory (cumulated for all children) (KiB): 1213176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.3
system time used= 0.585961
maximum resident set size= 1213248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556609
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= 40
involuntary context switches= 2119
# summary of solver processes directly reported to runsolver:
# pid: 25552
# total CPU time (s): 2519.88
# total CPU user time (s): 2519.3
# total CPU system time (s): 0.585961
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.15874 second user time and 15.7822 second system time
The end
Begin job on node105 at 2017-08-12 23:59:40 IDJOB=4265676 IDBENCH=126221 IDSOLVER=2655 FILE ID=node105/4265676-1502576038 RUNJOBID= node105-1502567255-24403 PBS_JOBID= 20628286 Free space on /tmp= 60664 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-15-a3.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265676-1502576038/watcher-4265676-1502576038 -o /tmp/evaluation-result-4265676-1502576038/solver-4265676-1502576038 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265676-1502576038.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0ccf44bf6198d309f3039e2504907429 RANDOM SEED=432303969 node105.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.17 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.17 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.17 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.17 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: 16921552 kB MemAvailable: 22232940 kB Buffers: 138364 kB Cached: 5449712 kB SwapCached: 0 kB Active: 10373376 kB Inactive: 4998032 kB Active(anon): 9785544 kB Inactive(anon): 25056 kB Active(file): 587832 kB Inactive(file): 4972976 kB Unevictable: 6252 kB Mlocked: 6252 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2344 kB Writeback: 0 kB AnonPages: 9788568 kB Mapped: 44608 kB Shmem: 25228 kB Slab: 158324 kB SReclaimable: 132828 kB SUnreclaim: 25496 kB KernelStack: 3360 kB PageTables: 24224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 10535980 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1927168 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60660 MiB End job on node105 at 2017-08-13 00:41:40