Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 11 | 2519.78 | 2520.01 |
| Name | PeacableArmies/ PeacableArmies-m1-10_c18.xml |
| MD5SUM | 5381df091e182e76100bed0c682c3bbe |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 14 |
| Best CPU time to get the best result obtained on this benchmark | 2520.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 200 |
| Number of constraints | 3041 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":200}] |
| Minimum variable degree | 29 |
| Maximum variable degree | 38 |
| Distribution of variable degrees | [{"degree":29,"count":36},{"degree":30,"count":36},{"degree":31,"count":28},{"degree":32,"count":28},{"degree":33,"count":20},{"degree":34,"count":20},{"degree":35,"count":12},{"degree":36,"count":12},{"degree":37,"count":4},{"degree":38,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 200 |
| Distribution of constraint arities | [{"arity":2,"count":3040},{"arity":200,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 3040 |
| Distribution of constraint types | [{"type":"intension","count":3040},{"type":"sum","count":1}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.78/0.84 c best=?? lower=0 upper=100 0.78/0.87 c 0.78/0.87 c This is cosoco 1.12 -- 0.78/0.87 c 0.78/0.87 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295192-1532540073.xml 0.78/0.87 c enable optimization 0.78/0.87 c ========================================[ Problem Statistics ]=========================================== 0.78/0.87 c | 0.78/0.87 c | Parse time : 0.83 s 0.78/0.87 c | 0.78/0.87 c | Variables: 200 0.78/0.87 c | Domain Sizes: 2..2 0.78/0.87 c | 0.78/0.87 c | Constraints: 3042 0.78/0.87 c | Arity: 2..200 -- Binary: 3040 0.78/0.87 c | 0.78/0.87 c | Types: 0.78/0.87 c | Intension: 3040 0.78/0.87 c | Sum: 2 0.78/0.87 c | 0.78/0.87 c | Objective: Maximize Sum 0.78/0.87 0.78/0.87 c ========================================================================================================= 0.78/0.87 o 0 0.78/0.87 c 1 calls to solver: best=0 lower=1 upper=100 0.88/0.90 o 1 0.88/0.92 o 2 0.88/0.92 c 3 calls to solver: best=2 lower=3 upper=100 0.88/0.95 o 3 0.88/0.97 o 4 0.88/0.97 c 5 calls to solver: best=4 lower=5 upper=100 0.88/0.99 o 5 0.99/1.02 o 6 0.99/1.02 c 7 calls to solver: best=6 lower=7 upper=100 0.99/1.05 o 7 0.99/1.08 o 8 0.99/1.08 c 9 calls to solver: best=8 lower=9 upper=100 1.18/1.20 o 9 11.89/11.99 o 10 11.89/11.99 c 11 calls to solver: best=10 lower=11 upper=100 201.07/201.18 o 11 2519.77/2520.00 2519.77/2520.00 c *** INTERRUPTED *** 2519.77/2520.00 c restarts : 87 2519.77/2520.00 c conflicts : 3929976 (1560 /sec) 2519.77/2520.00 c decisions : 31013629 (12308 /sec) 2519.77/2520.00 c propagations : 163777752 (64998 /sec) 2519.77/2520.00 c root propagations : 299 2519.77/2520.00 c filter calls : 1984364891 (787525 /sec) 2519.77/2520.00 c useless filter calls : 1914015501 (96 %) 2519.77/2520.00 c Memory used : 56.36 MB 2519.77/2520.00 c CPU time : 2519.75 s 2519.77/2520.00 2519.77/2520.00 c nb Solutions = 12 2519.77/2520.00 s SATISFIABLE 2519.77/2520.00 c Best value found: 11 2519.77/2520.00 2519.77/2520.00 2519.77/2520.00 v <instantiation type='solution' cost='11'> 2519.77/2520.00 v <list>b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] </list> 2519.77/2520.01 v <values>0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 </values> 2519.77/2520.01 v </instantiation> 2519.77/2520.01
OK 11
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 (2254 MiB free)
memory of node 1: 16384 MiB (6360 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295192-1532540073/watcher-4295192-1532540073 -o /tmp/evaluation-result-4295192-1532540073/solver-4295192-1532540073 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295192-1532540073.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=27929, runsolver pid=27926
[startup+0.100815 s]*
/proc/loadavg: 2.05 2.03 1.98 3/188 27930
/proc/meminfo: memFree=8819060/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=29752 memory=5936 CPUtime=0.1 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 1701 0 0 0 10 0 0 0 20 0 1 0 71570156 30466048 1484 33554432000 4194304 6142532 140722781148592 140722781141272 139895747632101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 7438 1484 802 476 0 760 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29752 KiB
Current children cumulated memory: 5936 KiB
[startup+0.209546 s]*
/proc/loadavg: 2.05 2.03 1.98 3/188 27930
/proc/meminfo: memFree=8815432/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=33784 memory=10096 CPUtime=0.2 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 2693 0 0 0 20 0 0 0 20 0 1 0 71570156 34594816 2524 33554432000 4194304 6142532 140722781148592 140722781141272 139895747632101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 8446 2524 802 476 0 1768 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33784 KiB
Current children cumulated memory: 10096 KiB
[startup+0.309189 s]*
/proc/loadavg: 2.05 2.03 1.98 3/188 27930
/proc/meminfo: memFree=8811712/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=37420 memory=13732 CPUtime=0.3 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 3607 0 0 0 30 0 0 0 20 0 1 0 71570156 38318080 3433 33554432000 4194304 6142532 140722781148592 140722781141272 139895747632101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 9355 3433 802 476 0 2677 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37420 KiB
Current children cumulated memory: 13732 KiB
[startup+0.700291 s]
/proc/loadavg: 2.05 2.03 1.98 3/188 27930
/proc/meminfo: memFree=8803900/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=51484 memory=27796 CPUtime=0.68 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 7124 0 0 0 67 1 0 0 20 0 1 0 71570156 52719616 6949 33554432000 4194304 6142532 140722781148592 140722781141272 139895747632101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 12871 6949 802 476 0 6193 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51484 KiB
Current children cumulated memory: 27796 KiB
[startup+1.50039 s]
/proc/loadavg: 2.05 2.03 1.98 3/188 27930
/proc/meminfo: memFree=8790508/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34420 CPUtime=1.48 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 8762 0 0 0 147 1 0 0 20 0 1 0 71570156 59097088 8605 33554432000 4194304 6142532 140722781148592 140722781141272 5215601 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8605 874 476 0 7750 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34420 KiB
[startup+3.10955 s]
/proc/loadavg: 1.97 2.01 1.97 3/188 27930
/proc/meminfo: memFree=8790508/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34432 CPUtime=3.09 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 16424 0 0 0 308 1 0 0 20 0 1 0 71570156 59097088 8608 33554432000 4194304 6142532 140722781148592 140722781146120 5361442 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8608 874 476 0 7750 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34432 KiB
[startup+6.30035 s]
/proc/loadavg: 1.97 2.01 1.97 3/188 27930
/proc/meminfo: memFree=8789824/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=6.28 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 24083 0 0 0 627 1 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5372488 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+12.7003 s]
/proc/loadavg: 1.97 2.01 1.97 3/188 27930
/proc/meminfo: memFree=8789824/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=12.69 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 30736 0 0 0 1267 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5396984 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+25.5004 s]
/proc/loadavg: 1.98 2.01 1.97 3/188 27930
/proc/meminfo: memFree=8789808/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=25.48 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 39931 0 0 0 2546 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781135864 5146772 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+51.1093 s]
/proc/loadavg: 2.33 2.09 2.00 3/187 27930
/proc/meminfo: memFree=8790248/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=51.08 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 40443 0 0 0 5106 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781135864 139895757577038 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+102.3 s]
/proc/loadavg: 2.29 2.13 2.02 3/187 27931
/proc/meminfo: memFree=8790468/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=102.27 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 40951 0 0 0 10225 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781135864 5374069 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+162.3 s]
/proc/loadavg: 2.11 2.11 2.02 3/187 27932
/proc/meminfo: memFree=8790496/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=162.26 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 41459 0 0 0 16224 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781135864 5146999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.09 2.02 3/187 27933
/proc/meminfo: memFree=8790552/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=222.26 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 41978 0 0 0 22224 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5215658 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.07 2.02 3/187 27934
/proc/meminfo: memFree=8791312/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=282.25 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 42486 0 0 0 28223 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5372473 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/188 27943
/proc/meminfo: memFree=8790172/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=342.25 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 42994 0 0 0 34223 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5146759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/188 27944
/proc/meminfo: memFree=8790180/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=402.24 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 43502 0 0 0 40222 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 4990765 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/188 27945
/proc/meminfo: memFree=8790180/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=462.23 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 44010 0 0 0 46221 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 139895748556353 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
################
# More data... #
################
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/189 28069
/proc/meminfo: memFree=8675540/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=1782.12 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 55148 0 0 0 178210 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5396937 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/188 28070
/proc/meminfo: memFree=8675716/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=1842.11 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 55653 0 0 0 184209 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 139895757577098 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28071
/proc/meminfo: memFree=8675864/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=1902.11 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 56161 0 0 0 190209 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5146999 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28072
/proc/meminfo: memFree=8675872/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=1962.1 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 56666 0 0 0 196208 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5047842 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28073
/proc/meminfo: memFree=8675880/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=2022.1 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 57171 0 0 0 202208 2 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5371860 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28074
/proc/meminfo: memFree=8676016/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=2082.1 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 57679 0 0 0 208207 3 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5363622 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 2082.1 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+2142.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/188 28083
/proc/meminfo: memFree=8674960/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=2142.1 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 58178 0 0 0 214207 3 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5131859 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+2202.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 28084
/proc/meminfo: memFree=8675672/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=2202.09 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 58679 0 0 0 220206 3 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 139895748558239 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+2262.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 28085
/proc/meminfo: memFree=8675776/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=2262.09 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 59171 0 0 0 226206 3 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5215644 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+2322.3 s]
/proc/loadavg: 2.34 2.08 2.06 3/188 28086
/proc/meminfo: memFree=8675980/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=2322.08 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 59689 0 0 0 232205 3 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5146802 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+2382.3 s]
/proc/loadavg: 2.31 2.14 2.08 3/188 28087
/proc/meminfo: memFree=8676052/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=2382.08 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 60191 0 0 0 238205 3 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5047869 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+2442.3 s]
/proc/loadavg: 2.11 2.11 2.08 3/187 28088
/proc/meminfo: memFree=8676008/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=2442.07 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 60693 0 0 0 244204 3 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5374350 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
[startup+2502.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/187 28089
/proc/meminfo: memFree=8675828/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=2502.07 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 61201 0 0 0 250204 3 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 5139639 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.03 2.08 2.07 3/187 28089
/proc/meminfo: memFree=8675836/32770624 swapFree=67108860/67108860
[pid=27929] ppid=27926 vsize=57712 memory=34440 CPUtime=2519.77 cores=1,3,5,7
/proc/27929/stat : 27929 (cosoco) R 27926 27929 27447 0 -1 4202496 61694 0 0 0 251974 3 0 0 20 0 1 0 71570156 59097088 8610 33554432000 4194304 6142532 140722781148592 140722781146120 4991065 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13488128 140722781156486 140722781156616 140722781156616 140722781159374 0
/proc/27929/statm: 14428 8610 874 476 0 7750 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 57712 KiB
Current children cumulated memory: 34440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27929 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.75 s, system=0.031997 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.78
CPU user time (s): 2519.75
CPU system time (s): 0.031997
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 57712
Max. memory (cumulated for all children) (KiB): 34440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.75
system time used= 0.031997
maximum resident set size= 34504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61747
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= 29
involuntary context switches= 634
# summary of solver processes directly reported to runsolver:
# pid: 27929
# total CPU time (s): 2519.78
# total CPU user time (s): 2519.75
# total CPU system time (s): 0.031997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.0975 second user time and 17.0369 second system time
The end
Begin job on node106 at 2018-07-25 19:34:33 IDJOB=4295192 IDBENCH=141487 IDSOLVER=2752 FILE ID=node106/4295192-1532540073 RUNJOBID= node106-1532535025-27479 PBS_JOBID= 21021947 Free space on /tmp= 46236 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-10_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295192-1532540073/watcher-4295192-1532540073 -o /tmp/evaluation-result-4295192-1532540073/solver-4295192-1532540073 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295192-1532540073.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5381df091e182e76100bed0c682c3bbe RANDOM SEED=1926768045 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 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: 8822192 kB MemAvailable: 31914792 kB Buffers: 283964 kB Cached: 22704708 kB SwapCached: 0 kB Active: 2822116 kB Inactive: 20237496 kB Active(anon): 73736 kB Inactive(anon): 25252 kB Active(file): 2748380 kB Inactive(file): 20212244 kB Unevictable: 6944 kB Mlocked: 6944 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2732 kB Writeback: 0 kB AnonPages: 57324 kB Mapped: 42128 kB Shmem: 25228 kB Slab: 587376 kB SReclaimable: 560436 kB SUnreclaim: 26940 kB KernelStack: 3376 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 365928 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 46232 MiB End job on node106 at 2018-07-25 20:16:33