| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 | ? (TO) | 2520.1 | 2519.9 |
| Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-29-092.xml |
| MD5SUM | 04f92250339fffd6ef5beb9873d20792 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 58 |
| Number of constraints | 406 |
| Number of domains | 29 |
| Minimum domain size | 64 |
| Maximum domain size | 92 |
| Distribution of domain sizes | [{"size":64,"count":2},{"size":65,"count":2},{"size":66,"count":2},{"size":67,"count":2},{"size":68,"count":2},{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2},{"size":84,"count":2},{"size":85,"count":2},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":2},{"size":89,"count":2},{"size":90,"count":2},{"size":91,"count":2},{"size":92,"count":2}] |
| Minimum variable degree | 28 |
| Maximum variable degree | 28 |
| Distribution of variable degrees | [{"degree":28,"count":58}] |
| Minimum constraint arity | 4 |
| Maximum constraint arity | 4 |
| Distribution of constraint arities | [{"arity":4,"count":406}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 406 |
| Distribution of constraint types | [{"type":"intension","count":406}] |
| Optimization problem | NO |
| Type of objective |
0.51/0.57 c root propagations : 0 0.51/0.57 c restarts enabled, print stats at every restarts 0.51/0.57 c 0.51/0.57 c 0.51/0.57 c 0.51/0.57 c This is cosoco 2.00 -- 0.51/0.57 c 0.51/0.57 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396884-1568595684.xml 0.51/0.57 c ========================================[ Problem Statistics ]=========================================== 0.51/0.57 c | 0.51/0.57 c | Parse time : 0.56 s 0.51/0.57 c | 0.51/0.57 c | Variables: 58 0.51/0.57 c | Domain Sizes: 64..92 0.51/0.57 c | 0.51/0.57 c | Constraints: 406 0.51/0.57 c | Arity: 4..4 0.51/0.57 c | 0.51/0.57 c | Types: 0.51/0.57 c | Intension: 406 0.51/0.57 c | 0.51/0.57 c ========================================================================================================= 0.51/0.57 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.89/0.93 c 101 113 6500 6858 0 0 7 13 9 6.78/6.89 c 211 237 23895 12732 0 0 7 7 6 7.38/7.42 c 332 372 31209 20872 0 0 7 15 10 7.78/7.81 c 465 519 39105 29941 0 0 6 15 9 7.99/8.07 c 611 678 47739 39865 0 0 6 14 9 8.38/8.47 c 771 854 57375 51285 0 0 6 17 10 8.79/8.89 c 947 1043 67521 61471 0 0 6 14 10 9.39/9.49 c 1140 1250 78743 73354 0 0 6 15 11 10.10/10.11 c 1352 1480 91140 85670 0 0 6 19 11 18.69/18.76 c 1585 1741 121186 95233 0 0 6 9 6 19.49/19.55 c 1841 2014 135846 110242 0 0 7 16 12 20.39/20.47 c 2122 2315 152253 127728 0 0 6 21 13 21.49/21.54 c 2431 2644 170171 148065 0 0 6 17 13 22.89/22.96 c 2770 3003 189832 169595 0 0 6 18 13 24.39/24.48 c 3142 3399 211070 191004 0 0 6 18 14 25.89/25.90 c 3551 3832 234513 215557 0 0 6 25 15 29.19/29.27 c 4000 4313 263505 243906 0 0 6 20 15 30.89/30.98 c 4493 4836 291857 273865 0 0 6 29 20 33.19/33.26 c 5035 5404 322514 304771 0 0 6 23 17 35.00/35.05 c 5631 6030 356838 342919 0 0 8 19 17 37.29/37.30 c 6286 6723 395031 377572 0 0 6 26 19 41.59/41.65 c 7006 7479 436535 418744 0 0 8 23 19 44.59/44.67 c 7798 8312 482295 462446 0 0 8 20 17 46.79/46.88 c 8669 9209 530597 501810 0 0 6 16 14 51.89/51.96 c 9627 10206 585877 555052 0 0 7 23 20 58.00/58.01 c 10680 11302 646087 608592 0 0 8 23 21 64.39/64.49 c 11838 12505 712238 667532 0 0 8 23 21 76.89/76.90 c 13111 14076 897524 751140 0 0 8 22 19 86.19/86.22 c 14511 15527 978205 828805 0 0 10 23 22 106.58/106.66 c 16051 17294 1172794 906074 0 0 6 20 18 117.58/117.63 c 17745 19046 1267562 1011438 0 0 9 21 20 141.68/141.72 c 19608 21234 1522045 1118850 0 0 8 20 19 155.78/155.88 c 21657 23350 1639581 1242475 0 0 15 21 20 187.39/187.47 c 23910 25950 1947655 1372478 0 0 7 19 18 199.28/199.30 c 26388 28508 2090034 1513299 0 0 12 20 19 213.89/213.98 c 29113 31321 2243805 1647352 0 0 11 20 19 259.59/259.60 c 32110 34806 2638087 1841525 0 0 12 19 18 282.79/282.89 c 35406 38214 2827347 2063221 0 0 12 23 22 329.80/329.83 c 39031 42401 3387090 2356825 0 0 13 20 19 349.01/349.03 c 43018 46698 3638687 2629258 0 0 9 21 20 409.02/409.04 c 47403 51801 4347117 2978934 0 0 12 15 13 440.51/440.50 c 52226 56767 4623472 3299653 0 0 12 23 22 514.32/514.36 c 57531 62928 5456270 3717698 0 0 13 16 14 540.62/540.69 c 63366 68949 5793844 4112165 0 0 9 22 21 594.82/594.83 c 69784 75968 6397213 4568551 0 0 11 22 17 705.63/705.67 c 76843 84120 7358955 5005055 0 0 14 16 15 737.43/737.50 c 84607 92094 7803022 5240807 0 0 13 21 20 813.84/813.86 c 93147 101122 8435821 5754064 0 0 11 21 19 878.95/878.91 c 102541 111296 9212543 6272259 0 0 12 21 18 942.95/942.99 c 112874 122271 10100753 6710739 0 0 13 21 19 1024.26/1024.28 c 124240 134201 10917956 7441100 0 0 16 23 21 1084.66/1084.64 c 136742 147270 11667892 8248955 0 0 21 23 22 1194.97/1194.94 c 150494 162129 12967197 9116195 0 0 18 22 21 1304.19/1304.14 c 165621 178041 14251173 9870881 0 0 13 20 19 1397.10/1397.07 c 182260 195260 15324237 10998461 0 0 10 27 25 1525.50/1525.43 c 200562 214693 16722412 12076307 0 0 11 23 22 1652.72/1652.69 c 220694 235336 17878549 13403355 0 0 12 23 22 1783.03/1782.92 c 242839 258016 19153493 14853205 0 0 15 23 22 1863.15/1863.02 c 267198 284161 20851041 16480507 0 0 17 19 18 1941.25/1941.13 c 293992 311845 22409439 17897044 0 0 16 27 19 2068.45/2068.35 c 323465 342127 24155760 19870651 0 0 11 24 23 2520.09/2519.90 2520.09/2519.90 c *** INTERRUPTED *** 2520.09/2519.90 c restarts : 61 2520.09/2519.90 c conflicts : 353066 (140 /sec) 2520.09/2519.90 c decisions : 374534 (149 /sec) 2520.09/2519.90 c propagations : 22210587 (8813 /sec) 2520.09/2519.90 c root propagations : 0 2520.09/2519.90 c filter calls : 28450902 (11290 /sec) 2520.09/2519.90 c useless filter calls : 26904759 (94 %) 2520.09/2519.90 c Memory used : 44.71 MB 2520.09/2519.90 c CPU time : 2520.07 s 2520.09/2519.90 c real time : 2519.9 s 2520.09/2519.90 2520.09/2519.90 s UNKNOWN
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: 16375 MiB (14474 MiB free)
memory of node 1: 16384 MiB (15559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396884-1568595684/watcher-4396884-1568595684 -o /tmp/evaluation-result-4396884-1568595684/solver-4396884-1568595684 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568595570-21672 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396884-1568595684.xml
running on 4 cores: 4-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=21835, runsolver pid=21832
[startup+0.100161 s]*
/proc/loadavg: 1.71 1.22 1.25 3/200 21836
/proc/meminfo: memFree=30752404/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=30224 memory=6580 CPUtime=0.1 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 1814 0 0 0 10 0 0 0 20 0 1 0 435510078 30949376 1645 33554432000 4194304 6211092 140720485549888 140720485546424 140100893207525 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 7556 1645 823 493 0 861 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30224 KiB
Current children cumulated memory: 6580 KiB
[startup+0.210779 s]*
/proc/loadavg: 1.71 1.22 1.25 3/200 21836
/proc/meminfo: memFree=30749056/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=33360 memory=9716 CPUtime=0.21 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 2604 0 0 0 21 0 0 0 20 0 1 0 435510078 34160640 2429 33554432000 4194304 6211092 140720485549888 140720485546424 140100893207525 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 8340 2429 823 493 0 1645 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33360 KiB
Current children cumulated memory: 9716 KiB
[startup+0.310302 s]*
/proc/loadavg: 1.71 1.22 1.25 3/200 21836
/proc/meminfo: memFree=30746080/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=36232 memory=12584 CPUtime=0.31 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 3315 0 0 0 31 0 0 0 20 0 1 0 435510078 37101568 3146 33554432000 4194304 6211092 140720485549888 140720485546424 140100893207525 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 9058 3146 823 493 0 2363 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36232 KiB
Current children cumulated memory: 12584 KiB
[startup+0.700299 s]
/proc/loadavg: 1.71 1.22 1.25 3/200 21836
/proc/meminfo: memFree=30740236/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=43408 memory=19760 CPUtime=0.69 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 5163 0 0 0 69 0 0 0 20 0 1 0 435510078 44449792 4940 33554432000 4194304 6211092 140720485549888 140720485546424 5453896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 10852 4940 833 493 0 4157 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 19760 KiB
[startup+1.5003 s]
/proc/loadavg: 1.71 1.22 1.25 3/200 21836
/proc/meminfo: memFree=30737756/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=44068 memory=20552 CPUtime=1.49 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 5318 0 0 0 149 0 0 0 20 0 1 0 435510078 45125632 5138 33554432000 4194304 6211092 140720485549888 140720485547544 5451610 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11017 5138 863 493 0 4322 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44068 KiB
Current children cumulated memory: 20552 KiB
[startup+3.11018 s]
/proc/loadavg: 1.71 1.22 1.25 3/200 21836
/proc/meminfo: memFree=30737484/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=44200 memory=20784 CPUtime=3.1 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 5951 0 0 0 310 0 0 0 20 0 1 0 435510078 45260800 5196 33554432000 4194304 6211092 140720485549888 140720485547848 5068978 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11050 5196 863 493 0 4355 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 44200 KiB
Current children cumulated memory: 20784 KiB
[startup+6.30029 s]
/proc/loadavg: 1.81 1.25 1.26 3/200 21836
/proc/meminfo: memFree=30737004/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=44200 memory=20784 CPUtime=6.28 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 7193 0 0 0 628 0 0 0 20 0 1 0 435510078 45260800 5196 33554432000 4194304 6211092 140720485549888 140720485547288 140100894131294 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11050 5196 863 493 0 4355 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 44200 KiB
Current children cumulated memory: 20784 KiB
[startup+12.7003 s]
/proc/loadavg: 1.83 1.26 1.26 3/200 21836
/proc/meminfo: memFree=30736800/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=44596 memory=21112 CPUtime=12.69 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 10966 0 0 0 1268 1 0 0 20 0 1 0 435510078 45666304 5278 33554432000 4194304 6211092 140720485549888 140720485547848 5478349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11149 5278 863 493 0 4454 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 44596 KiB
Current children cumulated memory: 21112 KiB
[startup+25.5003 s]
/proc/loadavg: 1.85 1.29 1.27 3/202 21860
/proc/meminfo: memFree=30735112/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=44728 memory=21316 CPUtime=25.49 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 16224 0 0 0 2548 1 0 0 20 0 1 0 435510078 45801472 5329 33554432000 4194304 6211092 140720485549888 140720485547848 5443008 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11182 5329 863 493 0 4487 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 44728 KiB
Current children cumulated memory: 21316 KiB
[startup+51.1103 s]
/proc/loadavg: 1.91 1.36 1.29 3/201 21861
/proc/meminfo: memFree=30734268/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45388 memory=21936 CPUtime=51.1 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 19936 0 0 0 5109 1 0 0 20 0 1 0 435510078 46477312 5484 33554432000 4194304 6211092 140720485549888 140720485547848 5451626 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11347 5484 863 493 0 4652 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 45388 KiB
Current children cumulated memory: 21936 KiB
[startup+102.3 s]
/proc/loadavg: 1.96 1.45 1.33 3/201 21865
/proc/meminfo: memFree=30735016/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45520 memory=22032 CPUtime=102.28 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 23084 0 0 0 10227 1 0 0 20 0 1 0 435510078 46612480 5508 33554432000 4194304 6211092 140720485549888 140720485547848 5480288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11380 5508 863 493 0 4685 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 45520 KiB
Current children cumulated memory: 22032 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.55 1.37 3/201 21871
/proc/meminfo: memFree=30735072/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45652 memory=22156 CPUtime=162.28 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 23527 0 0 0 16227 1 0 0 20 0 1 0 435510078 46747648 5539 33554432000 4194304 6211092 140720485549888 140720485547848 5443111 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11413 5539 863 493 0 4718 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 45652 KiB
Current children cumulated memory: 22156 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.64 1.41 3/201 21875
/proc/meminfo: memFree=30735128/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45652 memory=22184 CPUtime=222.29 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 23971 0 0 0 22228 1 0 0 20 0 1 0 435510078 46747648 5546 33554432000 4194304 6211092 140720485549888 140720485547848 140100894133674 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11413 5546 863 493 0 4718 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 45652 KiB
Current children cumulated memory: 22184 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.70 1.45 3/200 21879
/proc/meminfo: memFree=30734600/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45652 memory=22184 CPUtime=282.29 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 23978 0 0 0 28228 1 0 0 20 0 1 0 435510078 46747648 5546 33554432000 4194304 6211092 140720485549888 140720485547848 5164721 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11413 5546 863 493 0 4718 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 45652 KiB
Current children cumulated memory: 22184 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.76 1.48 3/200 21885
/proc/meminfo: memFree=30735000/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45652 memory=22228 CPUtime=342.3 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 24437 0 0 0 34228 2 0 0 20 0 1 0 435510078 46747648 5557 33554432000 4194304 6211092 140720485549888 140720485547848 5451507 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11413 5557 863 493 0 4718 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 45652 KiB
Current children cumulated memory: 22228 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.80 1.52 3/200 21889
/proc/meminfo: memFree=30735260/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45652 memory=22228 CPUtime=402.31 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 24437 0 0 0 40229 2 0 0 20 0 1 0 435510078 46747648 5557 33554432000 4194304 6211092 140720485549888 140720485547848 140100903152527 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11413 5557 863 493 0 4718 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 45652 KiB
Current children cumulated memory: 22228 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.84 1.54 3/200 21893
/proc/meminfo: memFree=30734256/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45652 memory=22256 CPUtime=462.31 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 24883 0 0 0 46229 2 0 0 20 0 1 0 435510078 46747648 5564 33554432000 4194304 6211092 140720485549888 140720485547848 140100903152512 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11413 5564 863 493 0 4718 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 45652 KiB
Current children cumulated memory: 22256 KiB
################
# More data... #
################
/proc/21835/statm: 11446 5594 863 493 0 4751 0
Current children cumulated CPU time: 1782.43 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22376 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/200 22018
/proc/meminfo: memFree=30733016/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22376 CPUtime=1842.44 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 30050 0 0 0 184241 3 0 0 20 0 1 0 435510078 46882816 5594 33554432000 4194304 6211092 140720485549888 140720485547848 5443006 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5594 863 493 0 4751 0
Current children cumulated CPU time: 1842.44 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22376 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/200 22022
/proc/meminfo: memFree=30732900/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22380 CPUtime=1902.44 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 30491 0 0 0 190241 3 0 0 20 0 1 0 435510078 46882816 5595 33554432000 4194304 6211092 140720485549888 140720485547848 5442918 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5595 863 493 0 4751 0
Current children cumulated CPU time: 1902.44 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22380 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/200 22028
/proc/meminfo: memFree=30734232/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22384 CPUtime=1962.45 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 30562 0 0 0 196242 3 0 0 20 0 1 0 435510078 46882816 5596 33554432000 4194304 6211092 140720485549888 140720485547848 5446240 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5596 863 493 0 4751 0
Current children cumulated CPU time: 1962.45 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22384 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/200 22074
/proc/meminfo: memFree=30732252/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22388 CPUtime=2022.45 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 30859 0 0 0 202242 3 0 0 20 0 1 0 435510078 46882816 5597 33554432000 4194304 6211092 140720485549888 140720485547848 5446614 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5597 863 493 0 4751 0
Current children cumulated CPU time: 2022.45 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22388 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/200 22078
/proc/meminfo: memFree=30732368/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22392 CPUtime=2082.46 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 31036 0 0 0 208243 3 0 0 20 0 1 0 435510078 46882816 5598 33554432000 4194304 6211092 140720485549888 140720485547848 5451572 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5598 863 493 0 4751 0
Current children cumulated CPU time: 2082.46 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22392 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/200 22084
/proc/meminfo: memFree=30733080/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22392 CPUtime=2142.46 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 31362 0 0 0 214243 3 0 0 20 0 1 0 435510078 46882816 5598 33554432000 4194304 6211092 140720485549888 140720485547848 5164963 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5598 863 493 0 4751 0
Current children cumulated CPU time: 2142.46 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22392 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/200 22088
/proc/meminfo: memFree=30733212/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22392 CPUtime=2202.47 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 31370 0 0 0 220244 3 0 0 20 0 1 0 435510078 46882816 5598 33554432000 4194304 6211092 140720485549888 140720485547848 5442964 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5598 863 493 0 4751 0
Current children cumulated CPU time: 2202.47 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22392 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/200 22092
/proc/meminfo: memFree=30733396/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22396 CPUtime=2262.47 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 31732 0 0 0 226244 3 0 0 20 0 1 0 435510078 46882816 5599 33554432000 4194304 6211092 140720485549888 140720485547848 5451618 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5599 863 493 0 4751 0
Current children cumulated CPU time: 2262.47 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22396 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/200 22099
/proc/meminfo: memFree=30733888/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22396 CPUtime=2322.48 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 31744 0 0 0 232245 3 0 0 20 0 1 0 435510078 46882816 5599 33554432000 4194304 6211092 140720485549888 140720485547848 5480256 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5599 863 493 0 4751 0
Current children cumulated CPU time: 2322.48 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22396 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/201 22111
/proc/meminfo: memFree=30732624/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22400 CPUtime=2382.48 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 32105 0 0 0 238245 3 0 0 20 0 1 0 435510078 46882816 5600 33554432000 4194304 6211092 140720485549888 140720485547848 5443096 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5600 863 493 0 4751 0
Current children cumulated CPU time: 2382.48 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22400 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.00 1.95 3/201 22115
/proc/meminfo: memFree=30733420/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22400 CPUtime=2442.49 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 32105 0 0 0 244246 3 0 0 20 0 1 0 435510078 46882816 5600 33554432000 4194304 6211092 140720485549888 140720485547848 140100903152509 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5600 863 493 0 4751 0
Current children cumulated CPU time: 2442.49 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22400 KiB
[startup+2502.3 s]
/proc/loadavg: 1.68 1.92 1.93 2/194 22170
/proc/meminfo: memFree=30742092/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22400 CPUtime=2502.49 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 32468 0 0 0 250246 3 0 0 20 0 1 0 435510078 46882816 5600 33554432000 4194304 6211092 140720485549888 140720485547848 5480172 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5600 863 493 0 4751 0
Current children cumulated CPU time: 2502.49 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 1.53 1.88 1.91 2/194 22170
/proc/meminfo: memFree=30741972/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22400 CPUtime=2520.09 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 32468 0 0 0 252006 3 0 0 20 0 1 0 435510078 46882816 5600 33554432000 4194304 6211092 140720485549888 140720485547848 5446157 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5600 863 493 0 4751 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 21835 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.07 s, system=0.032002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 1.53 1.88 1.91 2/194 22170
/proc/meminfo: memFree=30741972/32770688 swapFree=66961184/67108860
[pid=21835] ppid=21832 vsize=45784 memory=22400 CPUtime=2520.09 cores=4-7
/proc/21835/stat : 21835 (cosoco) R 21832 21835 21295 0 -1 4202496 32468 0 0 0 252006 3 0 0 20 0 1 0 435510078 46882816 5600 33554432000 4194304 6211092 140720485549888 140720485547848 5446157 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26869760 140720485557259 140720485557361 140720485557361 140720485560270 0
/proc/21835/statm: 11446 5600 863 493 0 4751 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 45784 KiB
Current children cumulated memory: 22400 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.1
CPU user time (s): 2520.07
CPU system time (s): 0.032002
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 45784
Max. memory (cumulated for all children) (KiB): 22400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.032002
maximum resident set size= 22464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32515
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= 16
involuntary context switches= 834
# summary of solver processes directly reported to runsolver:
# pid: 21835
# total CPU time (s): 2520.1
# total CPU user time (s): 2520.07
# total CPU system time (s): 0.032002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2979 second user time and 17.8247 second system time
The end
Begin job on node116 at 2019-09-16 03:00:43 IDJOB=4396884 IDBENCH=141708 IDSOLVER=2848 FILE ID=node116/4396884-1568595684 RUNJOBID= node116-1568595570-21672 PBS_JOBID= 21703341 Free space on /tmp= 61228 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-29-092.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396884-1568595684/watcher-4396884-1568595684 -o /tmp/evaluation-result-4396884-1568595684/solver-4396884-1568595684 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568595570-21672 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396884-1568595684.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 04f92250339fffd6ef5beb9873d20792 RANDOM SEED=871136704 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30754668 kB MemAvailable: 31842984 kB Buffers: 114432 kB Cached: 1268224 kB SwapCached: 46612 kB Active: 933952 kB Inactive: 503920 kB Active(anon): 9244 kB Inactive(anon): 94976 kB Active(file): 924708 kB Inactive(file): 408944 kB Unevictable: 110612 kB Mlocked: 110612 kB SwapTotal: 67108860 kB SwapFree: 66961184 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 120312 kB Mapped: 48508 kB Shmem: 40268 kB Slab: 169980 kB SReclaimable: 140996 kB SUnreclaim: 28984 kB KernelStack: 3552 kB PageTables: 5596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 540900 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61228 MiB End job on node116 at 2019-09-16 03:42:43