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) | 40 | 2400.04 | 2400.11 |
| Name | PizzaVoucher/ PizzaVoucher-12a_c18.xml |
| MD5SUM | 56cb9e23f693fb34c9078bf93399e92e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 40 |
| Best CPU time to get the best result obtained on this benchmark | 10.8863 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 44 |
| Number of constraints | 105 |
| Number of domains | 18 |
| Minimum domain size | 1 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":1,"count":1},{"size":2,"count":24},{"size":3,"count":3},{"size":4,"count":2},{"size":5,"count":1},{"size":7,"count":1},{"size":21,"count":12}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":2,"count":32},{"degree":31,"count":6},{"degree":32,"count":6}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 13 |
| Distribution of constraint arities | [{"arity":2,"count":85},{"arity":13,"count":20}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 85 |
| Distribution of constraint types | [{"type":"intension","count":85},{"type":"count","count":20}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c 0.00/0.00 c This is cosoco 2.00 -- 0.00/0.00 c 0.00/0.00 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408978-1569814809.xml 0.00/0.00 c intension iff(ne(np[0],1),eq(nf[0],0)) -> extension (support ? 1) - 3tuples 0.00/0.00 c intension iff(ne(np[1],2),eq(nf[1],0)) -> extension (support ? 1) - 4tuples 0.00/0.00 c intension iff(ne(np[2],1),eq(nf[2],0)) -> extension (support ? 1) - 2tuples 0.00/0.00 c intension iff(ne(np[3],2),eq(nf[3],0)) -> extension (support ? 1) - 2tuples 0.00/0.01 c intension iff(ne(np[4],2),eq(nf[4],0)) -> extension (support ? 1) - 3tuples 0.00/0.01 c intension iff(ne(np[5],3),eq(nf[5],0)) -> extension (support ? 1) - 4tuples 0.00/0.01 c intension iff(ne(np[6],1),eq(nf[6],0)) -> extension (support ? 1) - 1tuples 0.00/0.01 c intension iff(ne(np[7],3),eq(nf[7],0)) -> extension (support ? 1) - 3tuples 0.00/0.01 c intension iff(ne(np[8],3),eq(nf[8],0)) -> extension (support ? 1) - 7tuples 0.00/0.01 c intension iff(ne(np[9],2),eq(nf[9],0)) -> extension (support ? 1) - 5tuples 0.00/0.01 c intension imp(le(v[0],0),ne(pp[0],0)) -> extension (support ? 0) - 11tuples 0.00/0.01 c intension imp(le(v[1],0),ne(pp[1],0)) -> extension (support ? 0) - 11tuples 0.00/0.01 c intension imp(le(v[2],0),ne(pp[2],0)) -> extension (support ? 0) - 11tuples 0.00/0.01 c intension imp(le(v[3],0),ne(pp[3],0)) -> extension (support ? 0) - 11tuples 0.00/0.01 c intension imp(le(v[4],0),ne(pp[4],0)) -> extension (support ? 0) - 11tuples 0.00/0.01 c intension imp(le(v[5],0),ne(pp[5],0)) -> extension (support ? 0) - 11tuples 0.00/0.01 c intension imp(le(v[6],0),ne(pp[6],0)) -> extension (support ? 0) - 11tuples 0.00/0.01 c intension imp(le(v[7],0),ne(pp[7],0)) -> extension (support ? 0) - 11tuples 0.00/0.01 c intension imp(le(v[8],0),ne(pp[8],0)) -> extension (support ? 0) - 11tuples 0.00/0.01 c intension imp(le(v[9],0),ne(pp[9],0)) -> extension (support ? 0) - 11tuples 0.00/0.01 c intension imp(le(v[10],0),ne(pp[10],0)) -> extension (support ? 0) - 11tuples 0.00/0.01 c intension imp(le(v[11],0),ne(pp[11],0)) -> extension (support ? 0) - 11tuples 0.00/0.01 c intension or(le(v[1],v[0]),ne(neg(v[1]),v[0])) -> extension (support ? 0) - 10tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c enable optimization 0.00/0.05 c ========================================[ Problem Statistics ]=========================================== 0.00/0.05 c | 0.00/0.05 c | Parse time : 0.04 s 0.00/0.05 c | 0.00/0.05 c | Variables: 44 0.00/0.05 c | Domain Sizes: 1..21 0.00/0.05 c | 0.00/0.05 c | Constraints: 106 0.00/0.05 c | Arity: 2..13 -- Binary: 85 0.00/0.05 c | 0.00/0.05 c | Types: 0.00/0.05 c | Exactly K variable: 20 0.00/0.05 c | Extension: 85 (nb tuples: 1..11) -- (shared: 62) 0.00/0.05 c | Sum: 1 0.00/0.05 c | 0.00/0.05 c | Objective: Minimize Sum 0.00/0.05 0.00/0.05 c ========================================================================================================= 0.00/0.05 o 68 0.00/0.05 c 1 calls to solver(id=0): best=68 lower=0 upper=67 0.00/0.05 o 60 0.00/0.05 o 59 0.00/0.05 c 3 calls to solver(id=0): best=59 lower=0 upper=58 0.00/0.05 o 58 0.10/0.20 o 57 0.10/0.20 c 5 calls to solver(id=0): best=57 lower=0 upper=56 0.21/0.23 o 52 0.21/0.29 o 51 0.21/0.29 c 7 calls to solver(id=0): best=51 lower=0 upper=50 0.21/0.30 o 50 32.29/32.32 o 47 32.29/32.32 c 9 calls to solver(id=0): best=47 lower=0 upper=46 82.00/82.07 o 46 196.48/196.52 o 45 196.48/196.52 c 11 calls to solver(id=0): best=45 lower=0 upper=44 213.38/213.42 o 44 249.48/249.55 o 43 249.48/249.55 c 13 calls to solver(id=0): best=43 lower=0 upper=42 249.48/249.57 o 42 249.48/249.59 o 41 249.48/249.59 c 15 calls to solver(id=0): best=41 lower=0 upper=40 538.37/538.40 o 40 2400.02/2400.10 2400.02/2400.10 c *** INTERRUPTED *** 2400.02/2400.10 c call to solver : 16 2400.02/2400.10 c 2400.02/2400.10 c restarts : 1069 2400.02/2400.10 c conflicts : 198623876 (82759 /sec) 2400.02/2400.10 c decisions : 264674670 (110280 /sec) 2400.02/2400.10 c propagations : 4475091997 (1864599 /sec) 2400.02/2400.10 c root propagations : 25 2400.02/2400.10 c filter calls : 17508827397 (7295256 /sec) 2400.02/2400.10 c useless filter calls : 15934811747 (91 %) 2400.02/2400.10 c Memory used : 27.73 MB 2400.02/2400.10 c Best bound time (wc) : 538.397 s 2400.02/2400.10 c CPU time : 2400.03 s 2400.02/2400.10 c real time : 2400.1 s 2400.02/2400.10 2400.02/2400.10 c nb Solutions = 16 2400.02/2400.10 s SATISFIABLE 2400.02/2400.10 c Best value found: 40 2400.02/2400.10 2400.02/2400.10 2400.02/2400.10 v <instantiation type='solution' cost='40'> 2400.02/2400.10 v <list>nf[0] nf[1] nf[2] nf[3] nf[4] nf[5] nf[6] nf[7] nf[8] nf[9] np[0] np[1] np[2] np[3] np[4] np[5] np[6] np[7] np[8] np[9] pp[0] pp[10] pp[11] pp[1] pp[2] pp[3] pp[4] pp[5] pp[6] pp[7] pp[8] pp[9] v[0] v[10] v[11] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] </list> 2400.02/2400.10 v <values>2 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 3 0 0 0 13 0 9 8 10 0 0 0 0 0 9 1 -1 9 -9 -9 -9 9 9 9 1 9 </values> 2400.02/2400.10 v </instantiation> 2400.02/2400.10
OK 40
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 (15284 MiB free)
memory of node 1: 16384 MiB (15447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408978-1569814809/watcher-4408978-1569814809 -o /tmp/evaluation-result-4408978-1569814809/solver-4408978-1569814809 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1569787349-13106 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408978-1569814809.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17900, runsolver pid=17897
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 17901
/proc/meminfo: memFree=31468580/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5008 CPUtime=0.1 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 1450 0 0 0 10 0 0 0 20 0 1 0 557422662 29073408 1252 33554432000 4194304 6211132 140734159124848 140734159122984 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1252 862 493 0 403 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209678 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 17901
/proc/meminfo: memFree=31468464/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5008 CPUtime=0.21 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 1450 0 0 0 21 0 0 0 20 0 1 0 557422662 29073408 1252 33554432000 4194304 6211132 140734159124848 140734159122984 5396704 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1252 862 493 0 403 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5008 KiB
[startup+0.309283 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 17901
/proc/meminfo: memFree=31468464/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5008 CPUtime=0.31 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 1450 0 0 0 31 0 0 0 20 0 1 0 557422662 29073408 1252 33554432000 4194304 6211132 140734159124848 140734159122984 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1252 862 493 0 403 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5008 KiB
[startup+0.700271 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17901
/proc/meminfo: memFree=31468464/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5008 CPUtime=0.69 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 1450 0 0 0 69 0 0 0 20 0 1 0 557422662 29073408 1252 33554432000 4194304 6211132 140734159124848 140734159122984 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1252 862 493 0 403 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5008 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17901
/proc/meminfo: memFree=31468464/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5008 CPUtime=1.49 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 1450 0 0 0 149 0 0 0 20 0 1 0 557422662 29073408 1252 33554432000 4194304 6211132 140734159124848 140734159122984 5017373 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1252 862 493 0 403 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5008 KiB
[startup+3.10922 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 17901
/proc/meminfo: memFree=31468464/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=3.1 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 1606 0 0 0 310 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5138618 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17901
/proc/meminfo: memFree=31467892/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=6.29 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 1762 0 0 0 629 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5138618 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17901
/proc/meminfo: memFree=31467892/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=12.69 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 1922 0 0 0 1269 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5193742 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17901
/proc/meminfo: memFree=31467952/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=25.49 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 2233 0 0 0 2549 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5138665 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+51.1091 s]
/proc/loadavg: 2.34 2.09 2.07 3/200 17912
/proc/meminfo: memFree=31466984/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=51.1 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 2413 0 0 0 5110 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159112728 5193731 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+102.3 s]
/proc/loadavg: 2.45 2.17 2.10 3/200 17976
/proc/meminfo: memFree=31472252/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=102.29 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 2589 0 0 0 10229 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5017569 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+162.3 s]
/proc/loadavg: 2.69 2.30 2.15 3/200 17980
/proc/meminfo: memFree=31471824/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=162.29 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 2745 0 0 0 16229 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5393095 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+222.3 s]
/proc/loadavg: 2.25 2.25 2.14 3/201 17986
/proc/meminfo: memFree=31471404/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=222.28 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 2923 0 0 0 22228 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5017403 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+282.3 s]
/proc/loadavg: 2.09 2.20 2.13 3/200 17990
/proc/meminfo: memFree=31471432/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=282.28 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 3101 0 0 0 28228 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159112728 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.17 2.12 3/199 17994
/proc/meminfo: memFree=31471828/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=342.28 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 3258 0 0 0 34228 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159112728 5008852 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+402.3 s]
/proc/loadavg: 2.05 2.15 2.12 3/200 18000
/proc/meminfo: memFree=31471448/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=402.28 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 3416 0 0 0 40228 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159112728 5186358 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+462.3 s]
/proc/loadavg: 2.10 2.15 2.13 3/199 18004
/proc/meminfo: memFree=31471884/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=462.28 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 3573 0 0 0 46228 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159112728 5139272 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
################
# More data... #
################
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 1662.24 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 18143
/proc/meminfo: memFree=31471984/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=1722.24 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 6856 0 0 0 172224 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5139218 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 18147
/proc/meminfo: memFree=31471848/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=1782.24 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 7014 0 0 0 178224 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5017373 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+1842.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/201 18161
/proc/meminfo: memFree=31469524/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=1842.24 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 7171 0 0 0 184224 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5017386 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+1902.3 s]
/proc/loadavg: 1.64 1.92 2.01 2/193 18210
/proc/meminfo: memFree=31475848/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=1902.23 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 7327 0 0 0 190223 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5138661 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+1962.3 s]
/proc/loadavg: 1.24 1.75 1.95 2/193 18214
/proc/meminfo: memFree=31476504/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=1962.23 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 7485 0 0 0 196223 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5017444 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+2022.3 s]
/proc/loadavg: 1.09 1.61 1.89 2/195 18221
/proc/meminfo: memFree=31476264/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=2022.23 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 7641 0 0 0 202223 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5138594 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+2082.3 s]
/proc/loadavg: 1.03 1.50 1.83 2/194 18225
/proc/meminfo: memFree=31476912/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=2082.23 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 7796 0 0 0 208223 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5390022 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+2142.3 s]
/proc/loadavg: 1.01 1.41 1.78 2/193 18229
/proc/meminfo: memFree=31476720/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=2142.22 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 7955 0 0 0 214222 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5138639 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.34 1.73 2/194 18235
/proc/meminfo: memFree=31477076/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=2202.22 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 8105 0 0 0 220222 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.27 1.69 2/193 18239
/proc/meminfo: memFree=31476560/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=2262.22 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 8267 0 0 0 226222 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5398596 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.22 1.64 2/192 18243
/proc/meminfo: memFree=31476632/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=2322.22 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 8427 0 0 0 232222 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5008994 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.18 1.60 2/193 18249
/proc/meminfo: memFree=31476624/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=2382.22 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 8578 0 0 0 238222 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5008971 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 1.00 1.17 1.59 2/192 18250
/proc/meminfo: memFree=31476920/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=2400.02 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 8725 0 0 0 240002 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 17900 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.03 s, system=0.005999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 1.00 1.17 1.59 2/192 18250
/proc/meminfo: memFree=31476920/32770624 swapFree=66974988/67108860
[pid=17900] ppid=17897 vsize=28392 memory=5152 CPUtime=2400.02 cores=1,3,5,7
/proc/17900/stat : 17900 (cosoco) R 17897 17900 13074 0 -1 4202496 8725 0 0 0 240002 0 0 0 20 0 1 0 557422662 29073408 1288 33554432000 4194304 6211132 140734159124848 140734159122984 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15319040 140734159131659 140734159131761 140734159131761 140734159134670 0
/proc/17900/statm: 7098 1288 898 493 0 403 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 28392 KiB
Current children cumulated memory: 5152 KiB
Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.04
CPU user time (s): 2400.03
CPU system time (s): 0.005999
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 28392
Max. memory (cumulated for all children) (KiB): 5152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.005999
maximum resident set size= 5216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8775
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= 602
# summary of solver processes directly reported to runsolver:
# pid: 17900
# total CPU time (s): 2400.04
# total CPU user time (s): 2400.03
# total CPU system time (s): 0.005999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.08103 second user time and 14.8654 second system time
The end
Begin job on node117 at 2019-09-30 05:39:25 IDJOB=4408978 IDBENCH=141325 IDSOLVER=2876 FILE ID=node117/4408978-1569814809 RUNJOBID= node117-1569787349-13106 PBS_JOBID= 21705834 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP18/PizzaVoucher/PizzaVoucher-12a_c18.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408978-1569814809/watcher-4408978-1569814809 -o /tmp/evaluation-result-4408978-1569814809/solver-4408978-1569814809 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1569787349-13106 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408978-1569814809.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 56cb9e23f693fb34c9078bf93399e92e RANDOM SEED=1186421038 node117.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.75 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.75 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.75 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.75 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: 31470404 kB MemAvailable: 31849000 kB Buffers: 217684 kB Cached: 495692 kB SwapCached: 27672 kB Active: 330480 kB Inactive: 422708 kB Active(anon): 26924 kB Inactive(anon): 89172 kB Active(file): 303556 kB Inactive(file): 333536 kB Unevictable: 107632 kB Mlocked: 107632 kB SwapTotal: 67108860 kB SwapFree: 66974988 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 120164 kB Mapped: 28472 kB Shmem: 67896 kB Slab: 143632 kB SReclaimable: 114676 kB SUnreclaim: 28956 kB KernelStack: 3488 kB PageTables: 5072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 575512 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62028 MiB End job on node117 at 2019-09-30 06:19:25