Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco 1.1 | UNSAT | 75.0296 | 75.0481 |
Name | Mixed/Mixed-xcsp2-cril/ cril-3_X2.xml |
MD5SUM | 1e218b1676f4744e41059e6970885014 |
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 | 2.89835 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 208 |
Number of constraints | 2032 |
Number of domains | 2 |
Minimum domain size | 8 |
Maximum domain size | 10 |
Distribution of domain sizes | [{"size":8,"count":200},{"size":10,"count":8}] |
Minimum variable degree | 5 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":5,"count":1},{"degree":6,"count":3},{"degree":7,"count":3},{"degree":10,"count":2},{"degree":11,"count":3},{"degree":12,"count":1},{"degree":13,"count":3},{"degree":14,"count":6},{"degree":15,"count":16},{"degree":16,"count":15},{"degree":17,"count":10},{"degree":18,"count":21},{"degree":19,"count":18},{"degree":20,"count":20},{"degree":21,"count":16},{"degree":22,"count":11},{"degree":23,"count":13},{"degree":24,"count":15},{"degree":25,"count":10},{"degree":26,"count":8},{"degree":27,"count":6},{"degree":28,"count":2},{"degree":29,"count":3},{"degree":30,"count":1},{"degree":32,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2032}] |
Number of extensional constraints | 2032 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":2032}] |
Optimization problem | NO |
Type of objective |
0.09/0.16 c root propagations : 0 0.09/0.16 c restarts enabled, print stats at every restarts 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c This is cosoco 1.0 -- 0.09/0.16 c 0.09/0.16 c ========================================[ Problem Statistics ]=========================================== 0.09/0.16 c | 0.09/0.16 c | Parse time : 0.15 s 0.09/0.16 c | 0.09/0.16 c | Variables: 208 0.09/0.16 c | Domain Sizes: 8..10 0.09/0.16 c | 0.09/0.16 c | Constraints: 2032 0.09/0.16 c | Arity: 2..2 -- Binary: 2032 0.09/0.16 c | 0.09/0.16 c | Types: 0.09/0.16 c | Extension: 2032 (nb tuples: 5..35) -- (shared: 0) 0.09/0.16 c | 0.09/0.16 c ========================================================================================================= 0.09/0.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.09/0.18 c 101 376 158386 27283 0 0 39 61 46 0.19/0.20 c 211 963 359645 63170 0 0 30 55 41 0.19/0.22 c 332 1585 574466 99294 0 0 32 62 46 0.19/0.24 c 465 2298 786888 136592 0 0 34 61 44 0.19/0.26 c 611 2952 995516 175046 0 0 37 58 47 0.19/0.28 c 771 3737 1245686 218486 0 0 32 67 45 0.29/0.31 c 947 4918 1533077 263108 0 0 43 76 59 0.29/0.35 c 1140 6227 1892221 326947 0 0 30 62 46 0.29/0.38 c 1352 7641 2244308 383372 0 0 32 83 54 0.39/0.41 c 1585 8922 2591197 440187 0 0 44 82 59 0.39/0.45 c 1841 10207 2960227 510141 0 0 38 74 51 0.39/0.48 c 2122 11788 3353636 574932 0 0 42 78 61 0.49/0.53 c 2431 13657 3823856 655094 0 0 36 72 52 0.49/0.58 c 2770 15616 4307181 738476 0 0 39 74 53 0.59/0.64 c 3142 18105 4970807 850551 0 0 31 73 51 0.69/0.70 c 3551 20419 5580630 958105 0 0 35 64 49 0.69/0.77 c 4000 23054 6251765 1068931 0 0 41 86 57 0.79/0.84 c 4493 25872 6981044 1191708 0 0 39 76 56 0.89/0.92 c 5035 29351 7859834 1334429 0 0 36 82 56 0.99/1.01 c 5631 32823 8808040 1492273 0 0 40 78 56 0.99/1.09 c 6286 36344 9701435 1649619 0 0 38 72 52 1.10/1.19 c 7006 40275 10743753 1820697 0 0 41 85 58 1.20/1.30 c 7798 44125 11794919 2010273 0 0 34 75 49 1.39/1.43 c 8669 49406 13216084 2262694 0 0 36 76 51 1.49/1.57 c 9627 54593 14679234 2516756 0 0 37 77 53 1.69/1.72 c 10680 61045 16277714 2779298 0 0 42 92 62 1.89/1.90 c 11838 67529 18057839 3114432 0 0 34 73 49 1.99/2.09 c 13111 76123 20043051 3420682 0 0 50 106 67 2.20/2.30 c 14511 84465 22226530 3807292 0 0 31 76 51 2.49/2.51 c 16051 91965 24416035 4203068 0 0 39 71 53 2.69/2.75 c 17745 101991 27001219 4620663 0 0 42 88 59 2.99/3.03 c 19608 112520 29876402 5116922 0 0 34 75 52 3.29/3.32 c 21657 124628 32931446 5644620 0 0 29 89 57 3.59/3.65 c 23910 137781 36342465 6222014 0 0 40 85 57 3.89/3.97 c 26388 152020 39878976 6775600 0 0 47 95 64 4.29/4.36 c 29113 170051 44146434 7445689 0 0 40 94 65 4.79/4.80 c 32110 186950 48678963 8235067 0 0 36 86 53 5.19/5.27 c 35406 204485 53564220 9106238 0 0 32 74 53 5.69/5.78 c 39031 223368 58871655 10055686 0 0 37 76 54 6.29/6.34 c 43018 249869 64946321 10988323 0 0 46 107 68 6.99/7.02 c 47403 277377 72055777 12243575 0 0 34 95 55 7.59/7.67 c 52226 304546 78926662 13371118 0 0 31 97 58 8.39/8.41 c 57531 334636 86747449 14744815 0 0 34 80 56 9.19/9.21 c 63366 369883 95339554 16141378 0 0 37 101 61 10.09/10.16 c 69784 407548 105174831 17835289 0 0 36 87 55 11.09/11.12 c 76843 447889 115398422 19534977 0 0 38 87 60 12.09/12.19 c 84607 492586 126763161 21435132 0 0 38 96 57 13.39/13.42 c 93147 543618 139796201 23613277 0 0 38 94 59 14.49/14.57 c 102541 592723 152170621 25728346 0 0 33 92 61 15.78/15.85 c 112874 649334 165908784 27983283 0 0 40 99 63 17.28/17.36 c 124240 713136 182019767 30691284 0 0 35 91 59 19.18/19.28 c 136742 786365 202055820 34164898 0 0 31 82 54 21.18/21.23 c 150494 863231 222363651 37701263 0 0 33 83 54 23.38/23.40 c 165621 953233 245324432 41600680 0 0 34 94 60 25.58/25.61 c 182260 1043944 268557537 45618709 0 0 37 90 58 28.18/28.23 c 200562 1147302 296259109 50440040 0 0 33 87 55 31.08/31.15 c 220694 1268521 327168281 55679443 0 0 33 103 57 34.48/34.51 c 242839 1409276 362380916 61671889 0 0 31 100 55 37.58/37.64 c 267198 1548579 395646105 67241005 0 0 35 93 59 41.28/41.32 c 293992 1699736 434478141 73901556 0 0 36 98 57 45.28/45.38 c 323465 1865775 477046401 81291268 0 0 31 83 54 49.88/49.90 c 355885 2032056 523106651 89733883 0 0 31 80 50 54.88/55.00 c 391547 2233015 575902582 99068311 0 0 30 91 55 60.48/60.51 c 430775 2477428 635830718 108564936 0 0 39 103 62 66.77/66.81 c 473925 2703592 700130409 120253874 0 0 29 76 50 73.27/73.38 c 521390 2986413 769682162 131923036 0 0 34 96 59 74.97/75.04 c 573601 3128287 787047695 136850681 0 0 36 201 171 74.97/75.04 c restarts : 67 74.97/75.04 c conflicts : 573609 (7646 /sec) 74.97/75.04 c decisions : 3128295 (41697 /sec) 74.97/75.04 c propagations : 136851170 (1824071 /sec) 74.97/75.04 c root propagations : 0 74.97/75.04 c filter calls : 787047980 (10490460 /sec) 74.97/75.04 c useless filter calls : 678582825 (86 %) 74.97/75.04 c Memory used : 29.98 MB 74.97/75.04 c CPU time : 75.0251 s 74.97/75.04 74.97/75.04 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-4240391-1500626381/watcher-4240391-1500626381 -o /tmp/evaluation-result-4240391-1500626381/solver-4240391-1500626381 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500623779-17771 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240391-1500626381.xml pid=18355 running on 8 cores: 1,3,5,7,9,11,13,15 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.00 2.02 1.90 3/242 18358 /proc/meminfo: memFree=31729824/32770624 swapFree=6264/275988 [pid=18358] ppid=18355 vsize=27124 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 1005 0 0 0 0 0 0 0 20 0 1 0 15916979 27774976 832 33554432000 4194304 5970956 140726891309744 140726891308936 139763449859045 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 6781 832 714 434 0 145 0 [startup+0.100156 s] /proc/loadavg: 2.00 2.02 1.90 3/242 18358 /proc/meminfo: memFree=31729824/32770624 swapFree=6264/275988 [pid=18358] ppid=18355 vsize=28848 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 1436 0 0 0 9 0 0 0 20 0 1 0 15916979 29540352 1228 33554432000 4194304 5970956 140726891309744 140726891306344 139763449859045 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7212 1228 715 434 0 576 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28848 [startup+0.200295 s] /proc/loadavg: 2.00 2.02 1.90 3/242 18358 /proc/meminfo: memFree=31729824/32770624 swapFree=6264/275988 [pid=18358] ppid=18355 vsize=30696 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 1923 0 0 0 19 0 0 0 20 0 1 0 15916979 31432704 1756 33554432000 4194304 5970956 140726891309744 140726891307080 4912765 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1756 758 434 0 1038 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 30696 [startup+0.300243 s] /proc/loadavg: 2.00 2.02 1.90 3/242 18358 /proc/meminfo: memFree=31729824/32770624 swapFree=6264/275988 [pid=18358] ppid=18355 vsize=30696 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 1932 0 0 0 29 0 0 0 20 0 1 0 15916979 31432704 1756 33554432000 4194304 5970956 140726891309744 140726891307080 4912969 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1756 758 434 0 1038 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30696 [startup+0.700206 s] /proc/loadavg: 2.00 2.02 1.90 3/242 18358 /proc/meminfo: memFree=31729824/32770624 swapFree=6264/275988 [pid=18358] ppid=18355 vsize=30696 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 1932 0 0 0 69 0 0 0 20 0 1 0 15916979 31432704 1756 33554432000 4194304 5970956 140726891309744 140726891307080 4912709 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1756 758 434 0 1038 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30696 [startup+1.5002 s] /proc/loadavg: 2.00 2.02 1.90 3/243 18359 /proc/meminfo: memFree=31725380/32770624 swapFree=6264/275988 [pid=18358] ppid=18355 vsize=30696 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 1932 0 0 0 149 0 0 0 20 0 1 0 15916979 31432704 1756 33554432000 4194304 5970956 140726891309744 140726891307080 4908160 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1756 758 434 0 1038 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30696 [startup+3.10021 s] /proc/loadavg: 2.00 2.02 1.90 3/243 18359 /proc/meminfo: memFree=31724612/32770624 swapFree=6264/275988 [pid=18358] ppid=18355 vsize=30696 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 2888 0 0 0 309 0 0 0 20 0 1 0 15916979 31432704 1777 33554432000 4194304 5970956 140726891309744 140726891307080 4913052 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1777 761 434 0 1038 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30696 [startup+6.3002 s] /proc/loadavg: 2.00 2.02 1.90 3/243 18359 /proc/meminfo: memFree=31724612/32770624 swapFree=6264/275988 [pid=18358] ppid=18355 vsize=30696 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 3842 0 0 0 629 0 0 0 20 0 1 0 15916979 31432704 1778 33554432000 4194304 5970956 140726891309744 140726891307080 4912815 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1778 761 434 0 1038 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30696 [startup+12.7002 s] /proc/loadavg: 2.00 2.02 1.90 3/243 18359 /proc/meminfo: memFree=31724964/32770624 swapFree=6264/276052 [pid=18358] ppid=18355 vsize=30696 CPUtime=12.69 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 4795 0 0 0 1269 0 0 0 20 0 1 0 15916979 31432704 1778 33554432000 4194304 5970956 140726891309744 140726891307080 4912960 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1778 761 434 0 1038 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30696 [startup+25.5003 s] /proc/loadavg: 2.00 2.02 1.90 3/243 18366 /proc/meminfo: memFree=31724448/32770624 swapFree=6264/276076 [pid=18358] ppid=18355 vsize=30696 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 6701 0 0 0 2548 0 0 0 20 0 1 0 15916979 31432704 1778 33554432000 4194304 5970956 140726891309744 140726891307080 5319232 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1778 761 434 0 1038 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30696 [startup+51.1003 s] /proc/loadavg: 2.00 2.02 1.91 3/243 18366 /proc/meminfo: memFree=31724448/32770624 swapFree=6264/276108 [pid=18358] ppid=18355 vsize=30696 CPUtime=51.08 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 7654 0 0 0 5108 0 0 0 20 0 1 0 15916979 31432704 1778 33554432000 4194304 5970956 140726891309744 140726891307080 4908445 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1778 761 434 0 1038 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30696 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18358 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+51.2003 s] /proc/loadavg: 2.00 2.02 1.91 3/243 18366 /proc/meminfo: memFree=31724448/32770624 swapFree=6264/276108 [pid=18358] ppid=18355 vsize=30696 CPUtime=51.18 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 7654 0 0 0 5118 0 0 0 20 0 1 0 15916979 31432704 1778 33554432000 4194304 5970956 140726891309744 140726891307080 4908171 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1778 761 434 0 1038 0 Current children cumulated CPU time (s) 51.18 Current children cumulated vsize (KiB) 30696 [startup+64.0002 s] /proc/loadavg: 2.08 2.03 1.91 3/243 18367 /proc/meminfo: memFree=31724948/32770624 swapFree=6264/276148 [pid=18358] ppid=18355 vsize=30696 CPUtime=63.98 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 7655 0 0 0 6398 0 0 0 20 0 1 0 15916979 31432704 1778 33554432000 4194304 5970956 140726891309744 140726891307080 5327993 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1778 761 434 0 1038 0 Current children cumulated CPU time (s) 63.98 Current children cumulated vsize (KiB) 30696 [startup+70.4002 s] /proc/loadavg: 2.07 2.03 1.91 3/243 18367 /proc/meminfo: memFree=31725072/32770624 swapFree=6264/276160 [pid=18358] ppid=18355 vsize=30696 CPUtime=70.38 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 8596 0 0 0 7038 0 0 0 20 0 1 0 15916979 31432704 1779 33554432000 4194304 5970956 140726891309744 140726891307080 4912960 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1779 761 434 0 1038 0 Current children cumulated CPU time (s) 70.38 Current children cumulated vsize (KiB) 30696 [startup+73.6002 s] /proc/loadavg: 2.06 2.03 1.91 3/243 18367 /proc/meminfo: memFree=31725072/32770624 swapFree=6264/276160 [pid=18358] ppid=18355 vsize=30696 CPUtime=73.57 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 8609 0 0 0 7357 0 0 0 20 0 1 0 15916979 31432704 1779 33554432000 4194304 5970956 140726891309744 140726891307080 4912709 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1779 761 434 0 1038 0 Current children cumulated CPU time (s) 73.57 Current children cumulated vsize (KiB) 30696 [startup+74.4002 s] /proc/loadavg: 2.06 2.03 1.91 3/243 18367 /proc/meminfo: memFree=31725072/32770624 swapFree=6264/276160 [pid=18358] ppid=18355 vsize=30696 CPUtime=74.37 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 8609 0 0 0 7437 0 0 0 20 0 1 0 15916979 31432704 1779 33554432000 4194304 5970956 140726891309744 140726891307080 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1779 761 434 0 1038 0 Current children cumulated CPU time (s) 74.37 Current children cumulated vsize (KiB) 30696 [startup+74.8002 s] /proc/loadavg: 2.06 2.03 1.91 3/243 18367 /proc/meminfo: memFree=31725076/32770624 swapFree=6264/276160 [pid=18358] ppid=18355 vsize=30696 CPUtime=74.78 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 8619 0 0 0 7478 0 0 0 20 0 1 0 15916979 31432704 1779 33554432000 4194304 5970956 140726891309744 140726891307080 4912861 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1779 761 434 0 1038 0 Current children cumulated CPU time (s) 74.78 Current children cumulated vsize (KiB) 30696 [startup+75.0002 s] /proc/loadavg: 2.06 2.03 1.91 3/243 18367 /proc/meminfo: memFree=31725076/32770624 swapFree=6264/276160 [pid=18358] ppid=18355 vsize=30696 CPUtime=74.97 cores=1,3,5,7,9,11,13,15 /proc/18358/stat : 18358 (cosoco) R 18355 18358 17739 0 -1 4202496 8619 0 0 0 7497 0 0 0 20 0 1 0 15916979 31432704 1779 33554432000 4194304 5970956 140726891309744 140726891307080 4912883 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 39931904 140726891312321 140726891312451 140726891312451 140726891315150 0 /proc/18358/statm: 7674 1779 761 434 0 1038 0 Current children cumulated CPU time (s) 74.97 Current children cumulated vsize (KiB) 30696 Child status: 0 Real time (s): 75.0481 CPU time (s): 75.0296 CPU user time (s): 75.0256 CPU system time (s): 0.004026 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 30696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 75.0256 system time used= 0.004026 maximum resident set size= 7236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8659 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= 12 involuntary context switches= 3781 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.257249 second user time and 0.323105 second system time The end
Begin job on node116 at 2017-07-21 10:39:41 IDJOB=4240391 IDBENCH=122867 IDSOLVER=2620 FILE ID=node116/4240391-1500626381 RUNJOBID= node116-1500623779-17771 PBS_JOBID= 20623015 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Mixed/Mixed-xcsp2-cril/cril-3_X2.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240391-1500626381/watcher-4240391-1500626381 -o /tmp/evaluation-result-4240391-1500626381/solver-4240391-1500626381 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500623779-17771 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240391-1500626381.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 1e218b1676f4744e41059e6970885014 RANDOM SEED=19395258 node116.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 : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 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 : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 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 : 8 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 : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 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 : 8 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: processor : 8 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 : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31729604 kB MemAvailable: 31949604 kB Buffers: 156104 kB Cached: 344932 kB SwapCached: 0 kB Active: 319304 kB Inactive: 284776 kB Active(anon): 105944 kB Inactive(anon): 8788 kB Active(file): 213360 kB Inactive(file): 275988 kB Unevictable: 6264 kB Mlocked: 6272 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2432 kB Writeback: 0 kB AnonPages: 113264 kB Mapped: 34140 kB Shmem: 8848 kB Slab: 125764 kB SReclaimable: 92972 kB SUnreclaim: 32792 kB KernelStack: 4256 kB PageTables: 5284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 373176 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 55296 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= 62016 MiB End job on node116 at 2017-07-21 10:40:56