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) | 56 | 2519.99 | 2520.01 |
| Name | StillLife/StillLife-m1-s1/ StillLife-10-11.xml |
| MD5SUM | 3405d24406a310706e7598d386d00f36 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 59 |
| Best CPU time to get the best result obtained on this benchmark | 2400.04 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 220 |
| Number of constraints | 254 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 9 |
| Distribution of domain sizes | [{"size":2,"count":110},{"size":9,"count":110}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 10 |
| Distribution of variable degrees | [{"degree":2,"count":110},{"degree":7,"count":4},{"degree":8,"count":34},{"degree":10,"count":72}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 9 |
| Distribution of constraint arities | [{"arity":2,"count":110},{"arity":3,"count":34},{"arity":4,"count":4},{"arity":6,"count":34},{"arity":9,"count":72}] |
| Number of extensional constraints | 144 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":144},{"type":"sum","count":110}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.00/0.08 c SAT : Variables: 1210 -- Clauses: 4290 0.00/0.08 c best=?? lower=0 upper=110 0.00/0.08 c 0.00/0.08 c This is cosoco 1.12 -- 0.00/0.08 c 0.00/0.08 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265916-1502568549.xml 0.00/0.08 c enable optimization 0.00/0.08 c ========================================[ Problem Statistics ]=========================================== 0.00/0.08 c | 0.00/0.08 c | Parse time : 0.01 s 0.00/0.08 c | 0.00/0.08 c | Variables: 220 0.00/0.08 c | Domain Sizes: 2..9 0.00/0.08 c | 0.00/0.08 c | Constraints: 255 0.00/0.08 c | Arity: 2..110 -- Binary: 110 -- Ternary: 34 0.00/0.08 c | 0.00/0.08 c | Types: 0.00/0.08 c | Extension: 144 (nb tuples: 1..10) -- (shared: 139) 0.00/0.08 c | Sum: 111 0.00/0.08 c | 0.00/0.08 c ========================================================================================================= 0.00/0.08 o 0 0.00/0.08 c 1 calls to solver: best=0 lower=1 upper=110 0.00/0.08 o 4 0.00/0.09 o 7 0.00/0.09 c 3 calls to solver: best=7 lower=8 upper=110 0.00/0.09 o 8 0.00/0.10 o 10 0.00/0.10 c 5 calls to solver: best=10 lower=11 upper=110 0.03/0.12 o 12 0.03/0.18 o 14 0.03/0.18 c 7 calls to solver: best=14 lower=15 upper=110 0.14/0.27 o 16 0.44/0.54 conflict 85lvl : 89 bt89-103:0(737)X86776 0.53/0.61 conflict 82lvl : 92 bt91-23:0(743)X100288 0.82/0.92 conflict 79lvl : 89 bt85-101:0(720)X153276 0.82/0.93 conflict 88lvl : 90 bt90-43:0(747)X155138 0.93/1.03 o 18 0.93/1.03 c 9 calls to solver: best=18 lower=19 upper=110 0.93/1.04 conflict 84lvl : 88 bt88-69:0(743)X172258 1.03/1.13 conflict 89lvl : 87 bt87-37:0(718)X186946 1.03/1.14 conflict 90lvl : 90 bt87-173:0(728)X188048 1.03/1.16 conflict 80lvl : 91 bt87-113:0(734)X192194 1.12/1.29 o 20 1.22/1.31 o 22 1.22/1.31 c 11 calls to solver: best=22 lower=23 upper=110 1.22/1.31 o 24 1.22/1.32 o 26 1.22/1.32 c 13 calls to solver: best=26 lower=27 upper=110 1.22/1.33 o 28 1.22/1.33 o 30 1.22/1.33 c 15 calls to solver: best=30 lower=31 upper=110 1.22/1.35 o 32 1.62/1.74 o 34 1.62/1.74 c 17 calls to solver: best=34 lower=35 upper=110 3.22/3.33 o 36 3.72/3.80 o 37 3.72/3.80 c 19 calls to solver: best=37 lower=38 upper=110 4.03/4.11 o 38 4.42/4.59 o 40 4.42/4.59 c 21 calls to solver: best=40 lower=41 upper=110 6.42/6.50 o 41 8.22/8.38 o 42 8.22/8.38 c 23 calls to solver: best=42 lower=43 upper=110 10.42/10.59 o 43 11.22/11.35 conflict 39lvl : 53 bt50-111:0(467)X235399 11.93/12.10 o 47 11.93/12.10 c 25 calls to solver: best=47 lower=48 upper=110 12.62/12.71 conflict 40lvl : 53 bt49-97:0(447)X236045 15.32/15.47 o 50 15.52/15.60 o 52 15.52/15.60 c 27 calls to solver: best=52 lower=53 upper=110 15.62/15.77 o 53 15.93/16.02 o 54 15.93/16.02 c 29 calls to solver: best=54 lower=55 upper=110 16.12/16.22 o 55 16.12/16.22 conflict 39lvl : 44 bt40-79:0(409)X237693 57.93/58.09 conflict 34lvl : 53 bt51-25:0(460)X246312 910.64/910.70 o 56 910.64/910.70 c 31 calls to solver: best=56 lower=57 upper=110 2519.98/2520.00 2519.98/2520.00 c *** INTERRUPTED *** 2519.98/2520.00 c restarts : 605 2519.98/2520.00 c conflicts : 25352303 (10060 /sec) 2519.98/2520.00 c decisions : 129348465 (51329 /sec) 2519.98/2520.00 c propagations : 2303383630 (914047 /sec) 2519.98/2520.00 c root propagations : 122 2519.98/2520.00 c filter calls : 2999548427 (1190304 /sec) 2519.98/2520.00 c useless filter calls : 1801386949 (60 %) 2519.98/2520.00 c 2519.98/2520.00 c clauses : 7408 2519.98/2520.00 c SAT propagations : 649 2519.98/2520.00 c SAT conflicts : 0 (12 learnts) 2519.98/2520.00 c Memory used : 32.06 MB 2519.98/2520.00 c CPU time : 2519.98 s 2519.98/2520.00 2519.98/2520.00 c nb Solutions = 31 2519.98/2520.00 s SATISFIABLE 2519.98/2520.00 c Best value found: 56 2519.98/2520.00 2519.98/2520.00 2519.98/2520.00 v <instantiation type='solution' cost='56'> 2519.98/2520.00 v <list>s[0][0] s[0][10] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[1][0] s[1][10] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[2][0] s[2][10] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[3][0] s[3][10] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[4][0] s[4][10] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[5][0] s[5][10] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[6][0] s[6][10] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[7][0] s[7][10] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[8][0] s[8][10] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[9][0] s[9][10] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] x[0][0] x[0][10] 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[1][0] x[1][10] 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[2][0] x[2][10] 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[3][0] x[3][10] 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[4][0] x[4][10] 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[5][0] x[5][10] 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[6][0] x[6][10] 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[7][0] x[7][10] 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[8][0] x[8][10] 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[9][0] x[9][10] 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] </list> 2519.98/2520.00 v <values>3 2 3 4 3 3 4 3 3 4 2 3 4 3 4 3 3 4 3 3 4 3 4 2 4 4 4 5 5 5 5 4 4 3 2 3 4 2 3 2 2 2 2 4 3 2 3 4 3 5 4 4 4 4 2 4 2 5 4 4 3 4 4 2 4 2 2 2 3 2 4 3 3 3 3 4 2 3 2 5 5 3 5 5 5 5 3 5 4 2 3 5 3 5 3 2 5 3 6 2 2 2 4 2 3 4 2 4 2 3 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 </values> 2519.98/2520.00 v </instantiation> 2519.98/2520.00
OK 56
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 (15184 MiB free)
memory of node 1: 16384 MiB (15569 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265916-1502568549/watcher-4265916-1502568549 -o /tmp/evaluation-result-4265916-1502568549/solver-4265916-1502568549 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11650 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265916-1502568549.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=13645, runsolver pid=13642
[startup+0.100148 s]*
/proc/loadavg: 1.92 2.00 1.88 2/182 13656
/proc/meminfo: memFree=31492244/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32436 memory=4712 CPUtime=0.03 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 1387 0 0 0 3 0 0 0 20 0 1 0 45195562 33214464 1178 18446744073709551615 4194304 5972588 140732603087504 140732603084072 5280404 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8109 1178 836 435 0 1472 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 32436 KiB
Current children cumulated memory: 4712 KiB
[startup+0.209082 s]*
/proc/loadavg: 1.92 2.00 1.88 3/182 13656
/proc/meminfo: memFree=31491500/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32436 memory=4712 CPUtime=0.14 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 1404 0 0 0 14 0 0 0 20 0 1 0 45195562 33214464 1178 18446744073709551615 4194304 5972588 140732603087504 140732603084072 5046945 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8109 1178 836 435 0 1472 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 32436 KiB
Current children cumulated memory: 4712 KiB
[startup+0.308749 s]*
/proc/loadavg: 1.92 2.00 1.88 3/182 13656
/proc/meminfo: memFree=31488832/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32564 memory=4988 CPUtime=0.24 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 1421 0 0 0 24 0 0 0 20 0 1 0 45195562 33345536 1247 18446744073709551615 4194304 5972588 140732603087504 140732603084072 5139274 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8141 1247 837 435 0 1504 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 4988 KiB
[startup+0.700268 s]
/proc/loadavg: 1.92 2.00 1.88 3/182 13656
/proc/meminfo: memFree=31488832/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32564 memory=5248 CPUtime=0.62 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 1510 0 0 0 62 0 0 0 20 0 1 0 45195562 33345536 1312 18446744073709551615 4194304 5972588 140732603087504 140732603084952 5139264 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8141 1312 842 435 0 1504 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 5248 KiB
[startup+1.50027 s]
/proc/loadavg: 1.92 2.00 1.88 3/182 13656
/proc/meminfo: memFree=31488460/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32696 memory=5776 CPUtime=1.42 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 1640 0 0 0 142 0 0 0 20 0 1 0 45195562 33480704 1444 18446744073709551615 4194304 5972588 140732603087504 140732603084728 5041502 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8174 1444 842 435 0 1537 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 5776 KiB
[startup+3.10871 s]
/proc/loadavg: 1.92 2.00 1.88 3/182 13656
/proc/meminfo: memFree=31488092/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32696 memory=5928 CPUtime=3.03 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 2190 0 0 0 303 0 0 0 20 0 1 0 45195562 33480704 1482 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5139333 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8174 1482 842 435 0 1537 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 5928 KiB
[startup+6.30026 s]
/proc/loadavg: 1.85 1.98 1.87 3/182 13656
/proc/meminfo: memFree=31487840/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32696 memory=5976 CPUtime=6.22 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 2769 0 0 0 622 0 0 0 20 0 1 0 45195562 33480704 1494 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5039193 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8174 1494 842 435 0 1537 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 5976 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 1.98 1.87 3/181 13657
/proc/meminfo: memFree=31488080/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32696 memory=6004 CPUtime=12.62 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 3338 0 0 0 1262 0 0 0 20 0 1 0 45195562 33480704 1501 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5039310 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8174 1501 842 435 0 1537 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 6004 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 1.87 3/181 13657
/proc/meminfo: memFree=31488080/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32696 memory=6028 CPUtime=25.42 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 4481 0 0 0 2542 0 0 0 20 0 1 0 45195562 33480704 1507 18446744073709551615 4194304 5972588 140732603087504 140732603084728 5046005 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8174 1507 842 435 0 1537 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 6028 KiB
[startup+51.1087 s]
/proc/loadavg: 1.93 1.99 1.88 3/181 13657
/proc/meminfo: memFree=31488080/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32696 memory=6040 CPUtime=51.03 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 5054 0 0 0 5103 0 0 0 20 0 1 0 45195562 33480704 1510 18446744073709551615 4194304 5972588 140732603087504 140732603084728 5139507 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8174 1510 842 435 0 1537 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 6040 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 1.88 3/181 13659
/proc/meminfo: memFree=31487832/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32696 memory=6056 CPUtime=102.22 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 5646 0 0 0 10222 0 0 0 20 0 1 0 45195562 33480704 1514 18446744073709551615 4194304 5972588 140732603087504 140732603084728 5039697 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8174 1514 842 435 0 1537 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 6056 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.89 3/181 13683
/proc/meminfo: memFree=31485980/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32696 memory=6068 CPUtime=162.22 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 6227 0 0 0 16222 0 0 0 20 0 1 0 45195562 33480704 1517 18446744073709551615 4194304 5972588 140732603087504 140732603084728 4913437 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8174 1517 842 435 0 1537 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 6068 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/181 13686
/proc/meminfo: memFree=31486320/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32696 memory=6084 CPUtime=222.23 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 6809 0 0 0 22223 0 0 0 20 0 1 0 45195562 33480704 1521 18446744073709551615 4194304 5972588 140732603087504 140732603084728 4913328 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8174 1521 842 435 0 1537 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 6084 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/181 13688
/proc/meminfo: memFree=31486656/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32696 memory=6088 CPUtime=282.23 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 7394 0 0 0 28223 0 0 0 20 0 1 0 45195562 33480704 1522 18446744073709551615 4194304 5972588 140732603087504 140732603084728 5139264 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8174 1522 842 435 0 1537 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 6088 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/185 13705
/proc/meminfo: memFree=31483080/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32696 memory=6092 CPUtime=342.23 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 7974 0 0 0 34223 0 0 0 20 0 1 0 45195562 33480704 1523 18446744073709551615 4194304 5972588 140732603087504 140732603084728 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8174 1523 842 435 0 1537 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 32696 KiB
Current children cumulated memory: 6092 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/185 13731
/proc/meminfo: memFree=31480576/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6116 CPUtime=402.23 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 8568 0 0 0 40223 0 0 0 20 0 1 0 45195562 33615872 1529 18446744073709551615 4194304 5972588 140732603087504 140732603084152 5040154 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1529 842 435 0 1570 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6116 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.00 1.92 3/185 13733
/proc/meminfo: memFree=31481820/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6124 CPUtime=462.23 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 9151 0 0 0 46223 0 0 0 20 0 1 0 45195562 33615872 1531 18446744073709551615 4194304 5972588 140732603087504 140732603084152 5048626 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1531 842 435 0 1570 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6124 KiB
################
# More data... #
################
/proc/13645/statm: 8207 1548 842 435 0 1570 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6192 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.09 2.05 3/182 13807
/proc/meminfo: memFree=31486948/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6196 CPUtime=1782.26 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 22231 0 0 0 178226 0 0 0 20 0 1 0 45195562 33615872 1549 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5039159 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1549 842 435 0 1570 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6196 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.07 2.05 3/181 13810
/proc/meminfo: memFree=31486564/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6196 CPUtime=1842.26 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 22815 0 0 0 184226 0 0 0 20 0 1 0 45195562 33615872 1549 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5047179 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1549 842 435 0 1570 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6196 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/181 13812
/proc/meminfo: memFree=31487040/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6196 CPUtime=1902.26 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 23402 0 0 0 190226 0 0 0 20 0 1 0 45195562 33615872 1549 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5139329 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1549 842 435 0 1570 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6196 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/181 13814
/proc/meminfo: memFree=31487080/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6200 CPUtime=1962.26 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 24008 0 0 0 196226 0 0 0 20 0 1 0 45195562 33615872 1550 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5039714 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1550 842 435 0 1570 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6200 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 13817
/proc/meminfo: memFree=31486972/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6212 CPUtime=2022.26 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 24596 0 0 0 202226 0 0 0 20 0 1 0 45195562 33615872 1553 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5338144 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1553 842 435 0 1570 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6212 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 13819
/proc/meminfo: memFree=31486828/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6212 CPUtime=2082.26 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 25189 0 0 0 208226 0 0 0 20 0 1 0 45195562 33615872 1553 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5039164 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1553 842 435 0 1570 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6212 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 13835
/proc/meminfo: memFree=31482616/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6212 CPUtime=2142.26 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 25792 0 0 0 214226 0 0 0 20 0 1 0 45195562 33615872 1553 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5039600 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1553 842 435 0 1570 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6212 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 13837
/proc/meminfo: memFree=31482364/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6216 CPUtime=2202.26 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 26380 0 0 0 220226 0 0 0 20 0 1 0 45195562 33615872 1554 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1554 842 435 0 1570 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6216 KiB
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 13839
/proc/meminfo: memFree=31485900/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6216 CPUtime=2262.27 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 26965 0 0 0 226227 0 0 0 20 0 1 0 45195562 33615872 1554 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5321152 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1554 842 435 0 1570 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6216 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 13841
/proc/meminfo: memFree=31485652/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6216 CPUtime=2322.27 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 27564 0 0 0 232227 0 0 0 20 0 1 0 45195562 33615872 1554 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5039335 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1554 842 435 0 1570 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6216 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13843
/proc/meminfo: memFree=31485884/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6216 CPUtime=2382.27 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 28148 0 0 0 238227 0 0 0 20 0 1 0 45195562 33615872 1554 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5320643 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1554 842 435 0 1570 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6216 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 13845
/proc/meminfo: memFree=31486272/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6216 CPUtime=2442.27 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 28724 0 0 0 244227 0 0 0 20 0 1 0 45195562 33615872 1554 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5047357 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1554 842 435 0 1570 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6216 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13847
/proc/meminfo: memFree=31486644/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6216 CPUtime=2502.27 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 29294 0 0 0 250227 0 0 0 20 0 1 0 45195562 33615872 1554 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5046945 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1554 842 435 0 1570 0
Current children cumulated CPU time: 2502.27 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6216 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 13847
/proc/meminfo: memFree=31486804/32770624 swapFree=67108860/67108860
[pid=13645] ppid=13642 vsize=32828 memory=6216 CPUtime=2519.98 cores=1,3,5,7
/proc/13645/stat : 13645 (cosoco) R 13642 13645 11586 0 -1 4202496 29828 0 0 0 251998 0 0 0 20 0 1 0 45195562 33615872 1554 18446744073709551615 4194304 5972588 140732603087504 140732603074696 5139338 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 36974592 140732603089348 140732603089448 140732603089448 140732603092942 0
/proc/13645/statm: 8207 1554 842 435 0 1570 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 6216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 13645 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.99 s, system=0.009 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.99
CPU user time (s): 2519.99
CPU system time (s): 0.009
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 32828
Max. memory (cumulated for all children) (KiB): 6216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.009
maximum resident set size= 6288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29879
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= 10
involuntary context switches= 692
# summary of solver processes directly reported to runsolver:
# pid: 13645
# total CPU time (s): 2519.99
# total CPU user time (s): 2519.99
# total CPU system time (s): 0.009
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.64903 second user time and 15.3971 second system time
The end
Begin job on node124 at 2017-08-12 21:54:53 IDJOB=4265916 IDBENCH=115932 IDSOLVER=2655 FILE ID=node124/4265916-1502568549 RUNJOBID= node124-1502565138-11650 PBS_JOBID= Free space on /tmp= 62032 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-10-11.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265916-1502568549/watcher-4265916-1502568549 -o /tmp/evaluation-result-4265916-1502568549/solver-4265916-1502568549 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11650 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265916-1502568549.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3405d24406a310706e7598d386d00f36 RANDOM SEED=918239602 node124.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.51 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.51 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.51 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.51 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: 31495484 kB MemAvailable: 32007328 kB Buffers: 242764 kB Cached: 561580 kB SwapCached: 0 kB Active: 353316 kB Inactive: 502264 kB Active(anon): 51212 kB Inactive(anon): 24960 kB Active(file): 302104 kB Inactive(file): 477304 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2408 kB Writeback: 0 kB AnonPages: 51488 kB Mapped: 40332 kB Shmem: 25320 kB Slab: 122140 kB SReclaimable: 96544 kB SUnreclaim: 25596 kB KernelStack: 3168 kB PageTables: 5088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 298504 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62028 MiB End job on node124 at 2017-08-12 22:36:53