Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco 1.1 | UNSAT | 54.1997 | 54.2329 |
Name | Rlfap/ Rlfap-m1-scens11/Rlfap-scen-11-f05.xml |
MD5SUM | f8050e8ddc741b4fb4a45c7e8cfb7628 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 12.0422 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 39 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":21,"count":4},{"size":22,"count":10},{"size":32,"count":336},{"size":39,"count":328}] |
Minimum variable degree | 1 |
Maximum variable degree | 62 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":4103}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 4103 |
Distribution of constraint types | [{"type":"intension","count":4103}] |
Optimization problem | NO |
Type of objective |
4.69/4.71 c root propagations : 2996 4.69/4.71 c restarts enabled, print stats at every restarts 4.69/4.71 c 4.69/4.71 c 4.69/4.71 c 4.69/4.71 c This is cosoco 1.0 -- 4.69/4.71 c 4.69/4.71 c ========================================[ Problem Statistics ]=========================================== 4.69/4.71 c | 4.69/4.71 c | Parse time : 4.63 s 4.69/4.71 c | 4.69/4.71 c | Variables: 680 4.69/4.71 c | Domain Sizes: 6..39 4.69/4.71 c | 4.69/4.71 c | Constraints: 4103 4.69/4.71 c | Arity: 2..2 -- Binary: 4103 4.69/4.71 c | 4.69/4.71 c | Types: 4.69/4.71 c | Intension: 4103 4.69/4.71 c | 4.69/4.71 c ========================================================================================================= 4.69/4.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.79/4.80 c 101 492 74736 27647 668 0 340 349 339 4.79/4.86 c 211 659 124397 45712 668 0 8 11 9 4.88/4.90 c 332 839 163516 65799 668 0 8 11 9 4.88/4.96 c 465 1113 213381 92002 668 0 7 13 9 4.98/5.04 c 611 1363 286351 114862 668 0 9 12 10 5.08/5.12 c 771 1636 366228 141039 668 0 8 13 10 5.18/5.22 c 947 1924 457236 169581 668 0 9 12 10 5.18/5.29 c 1140 2213 522672 202321 668 0 8 11 9 5.28/5.38 c 1352 2647 602294 241765 668 0 7 13 9 5.49/5.50 c 1585 3014 717339 278187 668 0 8 12 10 5.59/5.65 c 1841 3418 848641 320498 668 0 6 9 7 5.78/5.81 c 2122 3885 994898 366635 668 0 7 12 10 5.88/5.93 c 2431 4400 1111652 424872 668 0 6 11 8 6.08/6.10 c 2770 4952 1270965 478053 668 0 6 13 10 6.18/6.25 c 3142 5709 1407111 545639 668 0 6 12 8 6.38/6.47 c 3551 6423 1610134 615613 668 0 6 12 9 6.69/6.70 c 4000 7193 1819945 683923 668 0 7 13 10 6.88/6.90 c 4493 8226 1999086 771124 668 0 6 12 8 7.08/7.15 c 5035 9178 2226927 861189 668 0 5 13 9 7.38/7.47 c 5631 10207 2514724 959659 668 0 7 12 10 7.69/7.79 c 6286 11374 2809533 1073709 668 0 5 13 9 8.08/8.15 c 7006 12653 3132587 1198815 668 0 5 13 10 8.49/8.57 c 7798 13997 3523165 1334343 668 0 5 12 9 8.90/8.98 c 8669 15459 3877558 1483442 668 0 5 12 8 9.39/9.40 c 9627 17040 4254075 1644730 668 0 5 13 8 9.90/9.95 c 10680 18961 4749826 1828739 668 0 5 13 9 10.39/10.41 c 11838 21021 5147523 2035225 668 0 5 13 8 10.89/10.91 c 13111 23299 5581071 2254731 668 0 5 13 8 11.59/11.63 c 14511 25926 6205961 2511353 668 0 5 13 9 12.39/12.40 c 16051 28710 6903343 2779692 668 0 5 13 9 13.19/13.22 c 17745 31581 7617653 3083438 668 0 5 13 9 14.09/14.15 c 19608 34949 8474081 3398814 668 0 4 13 9 15.09/15.19 c 21657 38644 9360114 3762741 668 0 5 13 9 15.99/16.08 c 23910 42541 10130111 4146999 668 0 4 13 8 16.99/17.03 c 26388 46756 10943457 4563747 668 0 5 13 8 18.19/18.29 c 29113 51646 11994914 5068193 668 0 3 13 8 19.69/19.80 c 32110 57268 13291278 5623648 668 0 3 13 9 21.29/21.31 c 35406 63425 14628809 6205452 668 0 3 13 9 23.09/23.12 c 39031 70272 16170553 6885795 668 0 3 13 9 24.88/24.95 c 43018 77630 17819733 7602869 668 0 3 13 8 27.08/27.11 c 47403 86060 19762370 8398477 668 0 3 13 8 29.28/29.33 c 52226 94757 21737946 9247169 668 0 3 13 8 31.98/32.04 c 57531 105035 24154270 10249985 668 0 3 13 8 34.77/34.80 c 63366 115886 26535066 11303725 668 0 3 13 8 37.87/37.96 c 69784 128120 29338402 12523698 668 0 3 13 8 41.16/41.26 c 76843 140677 32319452 13810041 668 0 3 13 8 45.06/45.18 c 84607 155441 35650863 15338019 668 0 3 13 8 49.16/49.28 c 93147 171320 39278751 16929810 668 0 3 13 8 53.65/53.72 c 102541 188732 43069487 18699767 668 0 3 13 7 54.15/54.23 c restarts : 49 54.15/54.23 c conflicts : 103475 (1910 /sec) 54.15/54.23 c decisions : 190618 (3519 /sec) 54.15/54.23 c propagations : 18908553 (349113 /sec) 54.15/54.23 c root propagations : 2996 54.15/54.23 c filter calls : 43465096 (802506 /sec) 54.15/54.23 c useless filter calls : 36823657 (84 %) 54.15/54.23 c Memory used : 69.24 MB 54.15/54.23 c CPU time : 54.1616 s 54.15/54.23 54.15/54.23 s UNSATISFIABLE
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240243-1500626183/watcher-4240243-1500626183 -o /tmp/evaluation-result-4240243-1500626183/solver-4240243-1500626183 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500623777-5523 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240243-1500626183.xml pid=6074 running on 4 cores: 0,2,4,6 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.01 2.03 1.87 3/186 6077 /proc/meminfo: memFree=30823936/32770624 swapFree=6132/918408 [pid=6077] ppid=6074 vsize=27256 CPUtime=0 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 992 0 0 0 0 0 0 0 20 0 1 0 16054497 27910144 766 33554432000 4194304 5970956 140729521137664 140729521134264 139947915004901 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 6814 832 683 434 0 178 0 [startup+0.100112 s] /proc/loadavg: 2.01 2.03 1.87 3/186 6077 /proc/meminfo: memFree=30823936/32770624 swapFree=6132/918408 [pid=6077] ppid=6074 vsize=29104 CPUtime=0.09 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 1505 0 0 0 9 0 0 0 20 0 1 0 16054497 29802496 1330 33554432000 4194304 5970956 140729521137664 140729521134264 139947924352155 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 7276 1330 732 434 0 640 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29104 [startup+0.200263 s] /proc/loadavg: 2.01 2.03 1.87 3/186 6077 /proc/meminfo: memFree=30823936/32770624 swapFree=6132/918408 [pid=6077] ppid=6074 vsize=29676 CPUtime=0.19 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 1695 0 0 0 19 0 0 0 20 0 1 0 16054497 30388224 1523 33554432000 4194304 5970956 140729521137664 140729521131496 139947915041787 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 7419 1523 777 434 0 783 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 29676 [startup+0.300202 s] /proc/loadavg: 2.01 2.03 1.87 3/186 6077 /proc/meminfo: memFree=30823936/32770624 swapFree=6132/918408 [pid=6077] ppid=6074 vsize=30412 CPUtime=0.29 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 1877 0 0 0 29 0 0 0 20 0 1 0 16054497 31141888 1707 33554432000 4194304 5970956 140729521137664 140729521129272 139947924350132 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 7603 1707 777 434 0 967 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30412 [startup+0.700175 s] /proc/loadavg: 2.01 2.03 1.87 3/186 6077 /proc/meminfo: memFree=30823936/32770624 swapFree=6132/918408 [pid=6077] ppid=6074 vsize=33276 CPUtime=0.69 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 2607 0 0 0 69 0 0 0 20 0 1 0 16054497 34074624 2423 33554432000 4194304 5970956 140729521137664 140729521131496 139947924350244 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 8319 2423 777 434 0 1683 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33276 [startup+1.50017 s] /proc/loadavg: 2.01 2.03 1.87 3/187 6078 /proc/meminfo: memFree=30815076/32770624 swapFree=6132/918400 [pid=6077] ppid=6074 vsize=39144 CPUtime=1.49 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 4055 0 0 0 149 0 0 0 20 0 1 0 16054497 40083456 3889 33554432000 4194304 5970956 140729521137664 140729521131496 139947915015024 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 9786 3889 777 434 0 3150 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39144 [startup+3.10018 s] /proc/loadavg: 2.01 2.03 1.88 3/187 6078 /proc/meminfo: memFree=30807140/32770624 swapFree=6132/918400 [pid=6077] ppid=6074 vsize=50760 CPUtime=3.09 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 7450 0 0 0 308 1 0 0 20 0 1 0 16054497 51978240 6793 33554432000 4194304 5970956 140729521137664 140729521131496 139947924362320 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 12690 6793 777 434 0 6054 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50760 [startup+6.30017 s] /proc/loadavg: 2.01 2.03 1.88 3/187 6078 /proc/meminfo: memFree=30780264/32770624 swapFree=6132/918408 [pid=6077] ppid=6074 vsize=70900 CPUtime=6.28 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 18484 0 0 0 626 2 0 0 20 0 1 0 16054497 72601600 11871 33554432000 4194304 5970956 140729521137664 140729521135000 5070073 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 17725 11871 818 434 0 11089 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 70900 [startup+12.7002 s] /proc/loadavg: 2.09 2.04 1.88 3/187 6078 /proc/meminfo: memFree=30780200/32770624 swapFree=6132/918408 [pid=6077] ppid=6074 vsize=70900 CPUtime=12.69 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 20619 0 0 0 1266 3 0 0 20 0 1 0 16054497 72601600 11888 33554432000 4194304 5970956 140729521137664 140729521135000 5070256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 17725 11888 821 434 0 11089 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 70900 [startup+25.5002 s] /proc/loadavg: 2.07 2.04 1.88 3/187 6078 /proc/meminfo: memFree=30779944/32770624 swapFree=6132/918436 [pid=6077] ppid=6074 vsize=70900 CPUtime=25.48 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 24893 0 0 0 2545 3 0 0 20 0 1 0 16054497 72601600 11888 33554432000 4194304 5970956 140729521137664 140729521135000 4964389 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 17725 11888 821 434 0 11089 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 70900 [startup+51.1002 s] /proc/loadavg: 2.05 2.04 1.89 3/187 6078 /proc/meminfo: memFree=30779416/32770624 swapFree=6132/918464 [pid=6077] ppid=6074 vsize=70900 CPUtime=51.06 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 25863 0 0 0 5103 3 0 0 20 0 1 0 16054497 72601600 11889 33554432000 4194304 5970956 140729521137664 140729521135000 5052072 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 17725 11889 821 434 0 11089 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 70900 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6077 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+51.2002 s] /proc/loadavg: 2.05 2.04 1.89 3/187 6078 /proc/meminfo: memFree=30779416/32770624 swapFree=6132/918464 [pid=6077] ppid=6074 vsize=70900 CPUtime=51.16 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 25863 0 0 0 5113 3 0 0 20 0 1 0 16054497 72601600 11889 33554432000 4194304 5970956 140729521137664 140729521135000 4909007 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 17725 11889 821 434 0 11089 0 Current children cumulated CPU time (s) 51.16 Current children cumulated vsize (KiB) 70900 [startup+52.8002 s] /proc/loadavg: 2.04 2.04 1.89 3/187 6078 /proc/meminfo: memFree=30779416/32770624 swapFree=6132/918464 [pid=6077] ppid=6074 vsize=70900 CPUtime=52.76 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 25863 0 0 0 5273 3 0 0 20 0 1 0 16054497 72601600 11889 33554432000 4194304 5970956 140729521137664 140729521135000 5070285 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 17725 11889 821 434 0 11089 0 Current children cumulated CPU time (s) 52.76 Current children cumulated vsize (KiB) 70900 [startup+53.6002 s] /proc/loadavg: 2.04 2.04 1.89 3/187 6078 /proc/meminfo: memFree=30779416/32770624 swapFree=6132/918464 [pid=6077] ppid=6074 vsize=70900 CPUtime=53.55 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 25863 0 0 0 5352 3 0 0 20 0 1 0 16054497 72601600 11889 33554432000 4194304 5970956 140729521137664 140729521135000 4964821 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 17725 11889 821 434 0 11089 0 Current children cumulated CPU time (s) 53.55 Current children cumulated vsize (KiB) 70900 [startup+54.0056 s] /proc/loadavg: 2.04 2.04 1.89 3/187 6078 /proc/meminfo: memFree=30779416/32770624 swapFree=6132/918464 [pid=6077] ppid=6074 vsize=70900 CPUtime=53.96 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 25863 0 0 0 5393 3 0 0 20 0 1 0 16054497 72601600 11889 33554432000 4194304 5970956 140729521137664 140729521135000 4968264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 17725 11889 821 434 0 11089 0 Current children cumulated CPU time (s) 53.96 Current children cumulated vsize (KiB) 70900 [startup+54.2002 s] /proc/loadavg: 2.04 2.04 1.89 3/187 6078 /proc/meminfo: memFree=30779416/32770624 swapFree=6132/918464 [pid=6077] ppid=6074 vsize=70900 CPUtime=54.15 cores=0,2,4,6 /proc/6077/stat : 6077 (cosoco) R 6074 6077 5492 0 -1 4202496 25863 0 0 0 5412 3 0 0 20 0 1 0 16054497 72601600 11889 33554432000 4194304 5970956 140729521137664 140729521135000 5070102 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 25587712 140729521140929 140729521141059 140729521141059 140729521143758 0 /proc/6077/statm: 17725 11889 821 434 0 11089 0 Current children cumulated CPU time (s) 54.15 Current children cumulated vsize (KiB) 70900 Child status: 0 Real time (s): 54.2329 CPU time (s): 54.1997 CPU user time (s): 54.1617 CPU system time (s): 0.037991 CPU usage (%): 99.9387 Max. virtual memory (cumulated for all children) (KiB): 70900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 54.1617 system time used= 0.037991 maximum resident set size= 47632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25913 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= 32 involuntary context switches= 2812 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.135882 second user time and 0.195196 second system time The end
Begin job on node140 at 2017-07-21 10:36:23 IDJOB=4240243 IDBENCH=120793 IDSOLVER=2620 FILE ID=node140/4240243-1500626183 RUNJOBID= node140-1500623777-5523 PBS_JOBID= 20622993 Free space on /tmp= 61860 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Rlfap/Rlfap-m1-scens11/Rlfap-scen-11-f05.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240243-1500626183/watcher-4240243-1500626183 -o /tmp/evaluation-result-4240243-1500626183/solver-4240243-1500626183 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500623777-5523 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240243-1500626183.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f8050e8ddc741b4fb4a45c7e8cfb7628 RANDOM SEED=1006647845 node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.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.45 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 : 1600.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 : 1600.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.45 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 : 2133.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.45 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 : 1600.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 : 1600.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.45 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 : 1600.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: 30824344 kB MemAvailable: 31944988 kB Buffers: 157524 kB Cached: 1240560 kB SwapCached: 0 kB Active: 593580 kB Inactive: 927312 kB Active(anon): 125012 kB Inactive(anon): 8904 kB Active(file): 468568 kB Inactive(file): 918408 kB Unevictable: 6132 kB Mlocked: 6140 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2124 kB Writeback: 0 kB AnonPages: 134216 kB Mapped: 34208 kB Shmem: 8852 kB Slab: 124148 kB SReclaimable: 99008 kB SUnreclaim: 25140 kB KernelStack: 3568 kB PageTables: 5104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 387344 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61860 MiB End job on node140 at 2017-07-21 10:37:18