Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 1.12 | UNSAT | 53.9048 | 53.989498 |
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.52/4.66 c root propagations : 2996 4.52/4.66 c restarts enabled, print stats at every restarts 4.52/4.66 c 4.52/4.66 c 4.52/4.66 c 4.52/4.66 c This is cosoco 1.12 -- 4.52/4.66 c 4.52/4.66 c command line: cosoco -lc -model -restarts HOME/instance-4268277-1502511946.xml 4.52/4.66 c ========================================[ Problem Statistics ]=========================================== 4.52/4.66 c | 4.52/4.66 c | Parse time : 4.50 s 4.52/4.66 c | 4.52/4.66 c | Variables: 680 4.52/4.66 c | Domain Sizes: 6..39 4.52/4.66 c | 4.52/4.66 c | Constraints: 4103 4.52/4.66 c | Arity: 2..2 -- Binary: 4103 4.52/4.66 c | 4.52/4.66 c | Types: 4.52/4.66 c | Intension: 4103 4.52/4.66 c | 4.52/4.66 c ========================================================================================================= 4.52/4.66 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.61/4.75 c 101 492 74736 27647 668 0 340 349 339 4.71/4.80 c 211 659 124397 45712 668 0 8 11 9 4.71/4.85 c 332 839 163516 65799 668 0 8 11 9 4.81/4.90 c 465 1113 213381 92002 668 0 7 13 9 4.81/4.98 c 611 1363 286351 114862 668 0 9 12 10 4.91/5.07 c 771 1636 366228 141039 668 0 8 13 10 5.01/5.17 c 947 1924 457236 169581 668 0 9 12 10 5.11/5.24 c 1140 2213 522672 202321 668 0 8 11 9 5.21/5.32 c 1352 2647 602294 241765 668 0 7 13 9 5.31/5.45 c 1585 3014 717339 278187 668 0 8 12 10 5.42/5.59 c 1841 3418 848641 320498 668 0 6 9 7 5.61/5.75 c 2122 3885 994898 366635 668 0 7 12 10 5.71/5.87 c 2431 4400 1111652 424872 668 0 6 11 8 5.91/6.04 c 2770 4952 1270965 478053 668 0 6 13 10 6.01/6.19 c 3142 5709 1407111 545639 668 0 6 12 8 6.31/6.41 c 3551 6423 1610134 615613 668 0 6 12 9 6.52/6.64 c 4000 7193 1819945 683923 668 0 7 13 10 6.71/6.83 c 4493 8226 1999086 771124 668 0 6 12 8 6.91/7.08 c 5035 9178 2226927 861189 668 0 5 13 9 7.21/7.39 c 5631 10207 2514724 959659 668 0 7 12 10 7.62/7.71 c 6286 11374 2809533 1073709 668 0 5 13 9 7.92/8.07 c 7006 12653 3132587 1198815 668 0 5 13 10 8.42/8.50 c 7798 13997 3523165 1334343 668 0 5 12 9 8.83/8.90 c 8669 15459 3877558 1483442 668 0 5 12 8 9.22/9.32 c 9627 17040 4254075 1644730 668 0 5 13 8 9.72/9.87 c 10680 18961 4749826 1828739 668 0 5 13 9 10.22/10.33 c 11838 21021 5147523 2035225 668 0 5 13 8 10.72/10.82 c 13111 23299 5581071 2254731 668 0 5 13 8 11.42/11.53 c 14511 25926 6205961 2511353 668 0 5 13 9 12.22/12.30 c 16051 28710 6903343 2779692 668 0 5 13 9 13.02/13.11 c 17745 31581 7617653 3083438 668 0 5 13 9 13.92/14.04 c 19608 34949 8474081 3398814 668 0 4 13 9 14.92/15.07 c 21657 38644 9360114 3762741 668 0 5 13 9 15.82/15.96 c 23910 42541 10130111 4146999 668 0 4 13 8 16.82/16.90 c 26388 46756 10943457 4563747 668 0 5 13 8 18.02/18.16 c 29113 51646 11994914 5068193 668 0 3 13 8 19.52/19.65 c 32110 57268 13291278 5623648 668 0 3 13 9 21.02/21.16 c 35406 63425 14628809 6205452 668 0 3 13 9 22.82/22.95 c 39031 70272 16170553 6885795 668 0 3 13 9 24.62/24.77 c 43018 77630 17819733 7602869 668 0 3 13 8 26.82/26.94 c 47403 86060 19762370 8398477 668 0 3 13 8 29.02/29.18 c 52226 94757 21737946 9247169 668 0 3 13 8 31.72/31.87 c 57531 105035 24154270 10249985 668 0 3 13 8 34.52/34.60 c 63366 115886 26535066 11303725 668 0 3 13 8 37.62/37.78 c 69784 128120 29338402 12523698 668 0 3 13 8 40.91/41.07 c 76843 140677 32319452 13810041 668 0 3 13 8 44.81/44.95 c 84607 155441 35650863 15338019 668 0 3 13 8 48.91/49.06 c 93147 171320 39278751 16929810 668 0 3 13 8 53.31/53.48 c 102541 188732 43069487 18699767 668 0 3 13 7 53.81/53.98 c restarts : 49 53.81/53.98 c conflicts : 103475 (1921 /sec) 53.81/53.98 c decisions : 190618 (3538 /sec) 53.81/53.98 c propagations : 18908553 (350992 /sec) 53.81/53.98 c root propagations : 2996 53.81/53.98 c filter calls : 43465096 (806825 /sec) 53.81/53.98 c useless filter calls : 36823657 (84 %) 53.81/53.98 c Memory used : 69.28 MB 53.81/53.98 c CPU time : 53.8717 s 53.81/53.98 53.81/53.98 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-4268277-1502511946/watcher-4268277-1502511946 -o /tmp/evaluation-result-4268277-1502511946/solver-4268277-1502511946 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31838 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268277-1502511946.xml pid=4937 running on 4 cores: 0,2,4,6 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.04 2.04 2.02 4/184 4940 /proc/meminfo: memFree=31563512/32770624 swapFree=0/416164 [pid=4940] ppid=4937 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/4940/stat : 4940 (runsolver) D 4937 4940 31775 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 39535236 24240128 108 18446744073709551615 4194304 4338465 140726798164320 140726798161960 139807741031127 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 34402304 140726798172353 140726798172745 140726798172745 140726798176202 0 /proc/4940/statm: 5918 108 54 36 0 2156 0 [startup+0.100198 s] /proc/loadavg: 2.04 2.04 2.02 4/184 4940 /proc/meminfo: memFree=31563512/32770624 swapFree=0/416164 [pid=4940] ppid=4937 vsize=28856 CPUtime=0.02 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 1456 0 0 0 2 0 0 0 20 0 1 0 39535236 29548544 1294 18446744073709551615 4194304 5972588 140734177732880 140734177729528 140063455423461 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 7214 1294 737 435 0 577 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 28856 [startup+0.200349 s] /proc/loadavg: 2.04 2.04 2.02 4/184 4940 /proc/meminfo: memFree=31563512/32770624 swapFree=0/416164 [pid=4940] ppid=4937 vsize=29576 CPUtime=0.12 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 1678 0 0 0 12 0 0 0 20 0 1 0 39535236 30285824 1500 18446744073709551615 4194304 5972588 140734177732880 140734177729528 140063455423461 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 7394 1500 782 435 0 757 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 29576 [startup+0.30032 s] /proc/loadavg: 2.04 2.04 2.02 4/184 4940 /proc/meminfo: memFree=31563512/32770624 swapFree=0/416164 [pid=4940] ppid=4937 vsize=30312 CPUtime=0.22 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 1862 0 0 0 22 0 0 0 20 0 1 0 39535236 31039488 1684 18446744073709551615 4194304 5972588 140734177732880 140734177729528 140063455423461 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 7578 1684 782 435 0 941 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 30312 [startup+0.700277 s] /proc/loadavg: 2.04 2.04 2.02 4/184 4940 /proc/meminfo: memFree=31563512/32770624 swapFree=0/416164 [pid=4940] ppid=4937 vsize=33296 CPUtime=0.62 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 2601 0 0 0 62 0 0 0 20 0 1 0 39535236 34095104 2430 18446744073709551615 4194304 5972588 140734177732880 140734177726680 140063455423461 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 8324 2430 782 435 0 1687 0 Current children cumulated CPU time (s) 0.62 Current children cumulated vsize (KiB) 33296 [startup+1.5003 s] /proc/loadavg: 2.04 2.04 2.02 3/185 4941 /proc/meminfo: memFree=31546380/32770624 swapFree=0/416156 [pid=4940] ppid=4937 vsize=39136 CPUtime=1.41 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 4068 0 0 0 141 0 0 0 20 0 1 0 39535236 40075264 3890 18446744073709551615 4194304 5972588 140734177732880 140734177726680 140063455423461 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 9784 3890 782 435 0 3147 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 39136 [startup+3.10028 s] /proc/loadavg: 2.04 2.04 2.02 3/185 4941 /proc/meminfo: memFree=31529308/32770624 swapFree=0/416148 [pid=4940] ppid=4937 vsize=50912 CPUtime=3.02 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 7464 0 0 0 301 1 0 0 20 0 1 0 39535236 52133888 6834 18446744073709551615 4194304 5972588 140734177732880 140734177726680 140063455422553 0 0 1 0 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 12728 6834 782 435 0 6091 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 50912 [startup+6.30028 s] /proc/loadavg: 2.04 2.04 2.02 3/185 4941 /proc/meminfo: memFree=31479996/32770624 swapFree=0/416148 [pid=4940] ppid=4937 vsize=70936 CPUtime=6.21 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 18657 0 0 0 619 2 0 0 20 0 1 0 39535236 72638464 11850 18446744073709551615 4194304 5972588 140734177732880 140734177730184 4965428 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 17734 11850 823 435 0 11097 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 70936 [startup+12.7003 s] /proc/loadavg: 2.10 2.05 2.03 3/183 4941 /proc/meminfo: memFree=31480156/32770624 swapFree=0/416148 [pid=4940] ppid=4937 vsize=70936 CPUtime=12.62 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 20814 0 0 0 1259 3 0 0 20 0 1 0 39535236 72638464 11895 18446744073709551615 4194304 5972588 140734177732880 140734177730184 4965342 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 17734 11895 825 435 0 11097 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 70936 [startup+25.5003 s] /proc/loadavg: 2.09 2.05 2.03 3/182 4941 /proc/meminfo: memFree=31481660/32770624 swapFree=0/416156 [pid=4940] ppid=4937 vsize=70936 CPUtime=25.42 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 25128 0 0 0 2539 3 0 0 20 0 1 0 39535236 72638464 11895 18446744073709551615 4194304 5972588 140734177732880 140734177730184 5099664 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 17734 11895 825 435 0 11097 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 70936 [startup+51.1003 s] /proc/loadavg: 2.06 2.05 2.03 3/182 4942 /proc/meminfo: memFree=31481736/32770624 swapFree=0/416144 [pid=4940] ppid=4937 vsize=70936 CPUtime=51.01 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 26166 0 0 0 5098 3 0 0 20 0 1 0 39535236 72638464 11895 18446744073709551615 4194304 5972588 140734177732880 140734177730184 5071049 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 17734 11895 825 435 0 11097 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 70936 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 4940 sig 9 ??? kill -4940 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+51.2004 s] /proc/loadavg: 2.06 2.05 2.03 3/182 4942 /proc/meminfo: memFree=31481736/32770624 swapFree=0/416144 [pid=4940] ppid=4937 vsize=70936 CPUtime=51.11 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 26166 0 0 0 5108 3 0 0 20 0 1 0 39535236 72638464 11895 18446744073709551615 4194304 5972588 140734177732880 140734177730184 4965416 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 17734 11895 825 435 0 11097 0 Current children cumulated CPU time (s) 51.11 Current children cumulated vsize (KiB) 70936 [startup+52.8002 s] /proc/loadavg: 2.05 2.04 2.03 3/182 4942 /proc/meminfo: memFree=31481736/32770624 swapFree=0/416148 [pid=4940] ppid=4937 vsize=70936 CPUtime=52.71 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 26166 0 0 0 5268 3 0 0 20 0 1 0 39535236 72638464 11895 18446744073709551615 4194304 5972588 140734177732880 140734177730184 4968825 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 17734 11895 825 435 0 11097 0 Current children cumulated CPU time (s) 52.71 Current children cumulated vsize (KiB) 70936 [startup+53.6003 s] /proc/loadavg: 2.05 2.04 2.03 3/182 4942 /proc/meminfo: memFree=31481736/32770624 swapFree=0/416148 [pid=4940] ppid=4937 vsize=70936 CPUtime=53.51 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 26166 0 0 0 5348 3 0 0 20 0 1 0 39535236 72638464 11895 18446744073709551615 4194304 5972588 140734177732880 140734177730184 5071241 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 17734 11895 825 435 0 11097 0 Current children cumulated CPU time (s) 53.51 Current children cumulated vsize (KiB) 70936 [startup+53.8003 s] /proc/loadavg: 2.05 2.04 2.03 3/182 4942 /proc/meminfo: memFree=31481736/32770624 swapFree=0/416148 [pid=4940] ppid=4937 vsize=70936 CPUtime=53.71 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 26166 0 0 0 5368 3 0 0 20 0 1 0 39535236 72638464 11895 18446744073709551615 4194304 5972588 140734177732880 140734177730184 4962403 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 17734 11895 825 435 0 11097 0 Current children cumulated CPU time (s) 53.71 Current children cumulated vsize (KiB) 70936 [startup+53.9003 s] /proc/loadavg: 2.05 2.04 2.03 3/182 4942 /proc/meminfo: memFree=31481736/32770624 swapFree=0/416148 [pid=4940] ppid=4937 vsize=70936 CPUtime=53.81 cores=0,2,4,6 /proc/4940/stat : 4940 (cosoco) R 4937 4940 31775 0 -1 4202496 26166 0 0 0 5378 3 0 0 20 0 1 0 39535236 72638464 11895 18446744073709551615 4194304 5972588 140734177732880 140734177730184 4965428 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 8070896 8075904 19312640 140734177739246 140734177739341 140734177739341 140734177742798 0 /proc/4940/statm: 17734 11895 825 435 0 11097 0 Current children cumulated CPU time (s) 53.81 Current children cumulated vsize (KiB) 70936 Child status: 0 Real time (s): 53.9895 CPU time (s): 53.9048 CPU user time (s): 53.8718 CPU system time (s): 0.033 CPU usage (%): 99.8431 Max. virtual memory (cumulated for all children) (KiB): 70936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 53.8718 system time used= 0.033 maximum resident set size= 47652 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26214 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= 24 involuntary context switches= 22 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.135469 second user time and 0.198092 second system time The end
Begin job on node124 at 2017-08-12 06:11:30 IDJOB=4268277 IDBENCH=120793 IDSOLVER=2658 FILE ID=node124/4268277-1502511946 RUNJOBID= node124-1502500286-31838 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/Rlfap/Rlfap-m1-scens11/Rlfap-scen-11-f05.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268277-1502511946/watcher-4268277-1502511946 -o /tmp/evaluation-result-4268277-1502511946/solver-4268277-1502511946 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31838 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268277-1502511946.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f8050e8ddc741b4fb4a45c7e8cfb7628 RANDOM SEED=123358409 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31564024 kB MemAvailable: 31999204 kB Buffers: 230120 kB Cached: 499156 kB SwapCached: 0 kB Active: 348864 kB Inactive: 441320 kB Active(anon): 61260 kB Inactive(anon): 24960 kB Active(file): 287604 kB Inactive(file): 416360 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4524 kB Writeback: 0 kB AnonPages: 60968 kB Mapped: 42000 kB Shmem: 25320 kB Slab: 119516 kB SReclaimable: 94100 kB SUnreclaim: 25416 kB KernelStack: 3216 kB PageTables: 4860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 327648 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62028 MiB End job on node124 at 2017-08-12 06:12:24