Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 1.12 | UNSAT | 106.848 | 106.863 |
Name | Rlfap_mini/Rlfap-dec-scens11_mini/ Rlfap-ext-scen-11-f03_c18.xml |
MD5SUM | 53d1a842860889624135dc6778a8ba37 |
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 | 21.1636 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 41 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":14},{"size":34,"count":336},{"size":41,"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 | 4103 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":4103}] |
Optimization problem | NO |
Type of objective |
0.10/0.16 c root propagations : 1664 0.10/0.16 c restarts enabled, print stats at every restarts 0.10/0.16 c 0.10/0.16 c 0.10/0.16 c 0.10/0.16 c This is cosoco 1.12 -- 0.10/0.16 c 0.10/0.16 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4298053-1532743588.xml 0.10/0.16 c ========================================[ Problem Statistics ]=========================================== 0.10/0.16 c | 0.10/0.16 c | Parse time : 0.15 s 0.10/0.16 c | 0.10/0.16 c | Variables: 680 0.10/0.16 c | Domain Sizes: 6..41 0.10/0.16 c | 0.10/0.16 c | Constraints: 4103 0.10/0.16 c | Arity: 2..2 -- Binary: 4103 0.10/0.16 c | 0.10/0.16 c | Types: 0.10/0.16 c | Extension: 4103 (nb tuples: 2..395) -- (shared: 3830) 0.10/0.16 c | 0.10/0.16 c ========================================================================================================= 0.10/0.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.17 c 101 494 83432 25358 668 0 344 349 342 0.10/0.18 c 211 676 130449 43760 668 0 8 13 9 0.10/0.19 c 332 849 179586 66144 668 0 8 11 9 0.10/0.20 c 465 1058 226454 84468 668 0 8 12 10 0.10/0.21 c 611 1296 286318 108933 668 0 9 13 10 0.21/0.22 c 771 1550 348568 136070 668 0 8 12 10 0.21/0.23 c 947 1832 427580 164010 668 0 8 11 10 0.21/0.24 c 1140 2118 493252 196319 668 0 8 12 10 0.21/0.26 c 1352 2446 581328 229688 668 0 9 12 11 0.21/0.27 c 1585 2811 670549 267000 668 0 8 12 10 0.21/0.29 c 1841 3211 791128 304503 668 0 6 11 10 0.21/0.31 c 2122 3692 903415 351960 668 0 9 13 11 0.30/0.33 c 2431 4162 1040356 396536 668 0 9 12 11 0.30/0.36 c 2770 4695 1172288 450784 668 0 8 11 9 0.30/0.38 c 3142 5283 1331324 505317 668 0 7 13 10 0.40/0.41 c 3551 5920 1527170 566514 668 0 8 12 10 0.40/0.45 c 4000 6649 1735102 640704 668 0 7 13 10 0.40/0.48 c 4493 7401 1929633 721936 668 0 8 13 10 0.50/0.51 c 5035 8250 2132710 810594 668 0 8 13 10 0.50/0.55 c 5631 9147 2358220 914236 668 0 8 13 10 0.60/0.61 c 6286 10521 2696439 1018136 668 0 7 13 12 0.60/0.66 c 7006 11722 3054221 1116262 668 0 6 12 10 0.69/0.72 c 7798 12993 3404720 1241212 668 0 9 13 11 0.69/0.79 c 8669 14606 3820042 1375144 668 0 8 13 11 0.79/0.86 c 9627 16082 4265790 1527955 668 0 8 13 10 0.89/0.94 c 10680 18258 4796048 1695569 668 0 7 13 11 1.00/1.03 c 11838 20192 5368841 1849336 668 0 5 13 10 1.10/1.13 c 13111 22231 5954430 2058616 668 0 7 13 10 1.19/1.24 c 14511 24987 6658804 2297983 668 0 7 13 11 1.29/1.35 c 16051 27780 7360525 2547960 668 0 7 13 11 1.39/1.48 c 17745 30590 8133484 2811391 668 0 7 13 10 1.59/1.61 c 19608 33810 8980089 3106298 668 0 8 13 11 1.69/1.77 c 21657 38151 10007030 3425006 668 0 7 13 12 1.89/1.96 c 23910 42561 11142774 3809410 668 0 5 13 10 2.10/2.16 c 26388 47330 12336429 4226337 668 0 5 13 10 2.29/2.35 c 29113 51957 13550736 4635514 668 0 7 13 11 2.49/2.58 c 32110 57207 14993258 5077142 668 0 7 13 11 2.79/2.84 c 35406 63276 16611903 5555751 668 0 7 13 11 3.10/3.12 c 39031 70606 18431057 6225459 668 0 7 13 11 3.39/3.41 c 43018 78302 20323638 6808449 668 0 5 13 11 3.69/3.76 c 47403 87272 22451921 7509621 668 0 5 13 11 4.10/4.16 c 52226 96723 24885990 8341712 668 0 7 13 11 4.49/4.57 c 57531 106635 27427224 9191608 668 0 5 13 11 4.89/4.99 c 63366 117855 29945358 10191616 668 0 5 13 10 5.49/5.50 c 69784 130625 33108805 11239878 668 0 5 13 11 5.99/6.08 c 76843 144290 36628432 12435368 668 0 5 13 11 6.58/6.65 c 84607 161342 40435523 13781616 668 0 5 13 11 7.18/7.27 c 93147 178752 44681485 15207303 668 0 5 13 11 7.88/7.94 c 102541 199466 49276479 16755745 668 0 5 13 11 8.58/8.65 c 112874 220830 53994539 18507091 668 0 5 13 10 9.38/9.47 c 124240 243773 59479698 20365145 668 0 5 13 11 10.28/10.36 c 136742 267937 65540119 22385628 668 0 5 13 11 11.28/11.33 c 150494 294678 72173010 24697913 668 0 5 13 11 12.28/12.34 c 165621 324158 78511386 27408139 668 0 3 13 9 13.48/13.52 c 182260 357259 86573617 30148245 668 0 5 13 11 14.68/14.78 c 200562 394630 94965386 33242853 668 0 5 13 10 16.18/16.23 c 220694 436187 104650261 36630230 668 0 5 13 11 17.78/17.80 c 242839 478935 115292622 40302702 668 0 5 13 10 19.48/19.50 c 267198 527763 126569487 44229864 668 0 3 13 10 21.38/21.47 c 293992 580923 139732131 48766059 668 0 5 13 11 23.58/23.60 c 323465 637596 154105426 53567408 668 0 5 13 11 25.88/25.91 c 355885 701203 169681125 58923373 668 0 5 13 10 28.28/28.37 c 391547 773648 185925652 64997943 668 0 3 13 10 31.09/31.19 c 430775 852188 204911337 71483466 668 0 3 13 11 34.28/34.36 c 473925 938134 226125828 78741515 668 0 3 13 10 37.68/37.70 c 521390 1033169 248659324 86554943 668 0 3 13 11 41.48/41.51 c 573601 1135710 274234361 95414776 668 0 3 13 11 45.58/45.65 c 631033 1247663 302405333 104815359 668 0 3 13 11 49.98/50.08 c 694208 1374911 332255351 115282376 668 0 3 13 11 54.98/55.04 c 763700 1515161 366129094 126761652 668 0 3 13 10 60.38/60.42 c 840141 1660118 402425826 139364322 668 0 3 13 10 66.27/66.39 c 924226 1825495 442202677 153892745 668 0 3 13 10 72.98/73.06 c 1016719 2009066 486541759 169556580 668 0 3 13 10 80.57/80.63 c 1118461 2209907 537423152 187360829 668 0 3 13 10 88.87/88.93 c 1230377 2431162 592855868 206725018 668 0 3 13 10 97.98/98.09 c 1353484 2674469 653671055 228634370 668 0 3 13 10 106.77/106.86 c restarts : 76 106.77/106.86 c conflicts : 1471413 (13772 /sec) 106.77/106.86 c decisions : 2906347 (27203 /sec) 106.77/106.86 c propagations : 249518311 (2335454 /sec) 106.77/106.86 c root propagations : 1664 106.77/106.86 c filter calls : 710542496 (6650572 /sec) 106.77/106.86 c useless filter calls : 614050289 (86 %) 106.77/106.86 c Memory used : 43.32 MB 106.77/106.86 c CPU time : 106.839 s 106.77/106.86 106.77/106.86 s UNSATISFIABLE
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13173 MiB free) memory of node 1: 16384 MiB (13690 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298053-1532743588/watcher-4298053-1532743588 -o /tmp/evaluation-result-4298053-1532743588/solver-4298053-1532743588 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532740685-23501 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298053-1532743588.xml 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=23922, runsolver pid=23919 [startup+0.100161 s]* /proc/loadavg: 2.00 2.03 2.32 3/193 23923 /proc/meminfo: memFree=27498556/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=38388 memory=14496 CPUtime=0.1 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 3834 0 0 0 10 0 0 0 20 0 1 0 91921954 39309312 3624 33554432000 4194304 6142532 140722550048736 140722550045368 140647541234661 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 9597 3624 784 476 0 2919 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 38388 KiB Current children cumulated memory: 14496 KiB [startup+0.210267 s]* /proc/loadavg: 2.00 2.03 2.32 3/193 23923 /proc/meminfo: memFree=27491136/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20568 CPUtime=0.21 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 5357 0 0 0 21 0 0 0 20 0 1 0 91921954 45420544 5142 33554432000 4194304 6142532 140722550048736 140722550045368 5347460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5142 826 476 0 4411 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20568 KiB [startup+0.309814 s]* /proc/loadavg: 2.00 2.03 2.32 3/193 23923 /proc/meminfo: memFree=27491136/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20568 CPUtime=0.3 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 5357 0 0 0 30 0 0 0 20 0 1 0 91921954 45420544 5142 33554432000 4194304 6142532 140722550048736 140722550045368 4995600 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5142 826 476 0 4411 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20568 KiB [startup+0.700227 s] /proc/loadavg: 2.00 2.03 2.32 3/193 23923 /proc/meminfo: memFree=27490728/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20568 CPUtime=0.69 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 5357 0 0 0 69 0 0 0 20 0 1 0 91921954 45420544 5142 33554432000 4194304 6142532 140722550048736 140722550046136 5183536 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5142 826 476 0 4411 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20568 KiB [startup+1.50024 s] /proc/loadavg: 2.00 2.03 2.32 3/193 23923 /proc/meminfo: memFree=27490728/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20568 CPUtime=1.49 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 5357 0 0 0 149 0 0 0 20 0 1 0 91921954 45420544 5142 33554432000 4194304 6142532 140722550048736 140722550046136 5175098 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5142 826 476 0 4411 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20568 KiB [startup+3.10915 s] /proc/loadavg: 2.00 2.03 2.32 3/193 23923 /proc/meminfo: memFree=27490728/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20804 CPUtime=3.1 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 6478 0 0 0 310 0 0 0 20 0 1 0 91921954 45420544 5201 33554432000 4194304 6142532 140722550048736 140722550046136 4995540 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5201 830 476 0 4411 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20804 KiB [startup+6.30023 s] /proc/loadavg: 2.08 2.05 2.33 3/193 23923 /proc/meminfo: memFree=27490944/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20804 CPUtime=6.28 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 7618 0 0 0 628 0 0 0 20 0 1 0 91921954 45420544 5201 33554432000 4194304 6142532 140722550048736 140722550046136 4995461 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5201 830 476 0 4411 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20804 KiB [startup+12.7002 s] /proc/loadavg: 2.08 2.05 2.32 3/193 23923 /proc/meminfo: memFree=27490000/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20804 CPUtime=12.68 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 8063 0 0 0 1268 0 0 0 20 0 1 0 91921954 45420544 5201 33554432000 4194304 6142532 140722550048736 140722550046136 4995671 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5201 830 476 0 4411 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20804 KiB [startup+25.5002 s] /proc/loadavg: 2.06 2.05 2.32 3/193 23923 /proc/meminfo: memFree=27490372/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20804 CPUtime=25.48 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 8957 0 0 0 2548 0 0 0 20 0 1 0 91921954 45420544 5201 33554432000 4194304 6142532 140722550048736 140722550046136 5336753 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5201 830 476 0 4411 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20804 KiB [startup+51.1092 s] /proc/loadavg: 2.04 2.04 2.31 3/193 23923 /proc/meminfo: memFree=27490496/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20804 CPUtime=51.08 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 9403 0 0 0 5108 0 0 0 20 0 1 0 91921954 45420544 5201 33554432000 4194304 6142532 140722550048736 140722550046136 4995347 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5201 830 476 0 4411 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20804 KiB [startup+102.3 s] /proc/loadavg: 2.02 2.04 2.30 3/192 23925 /proc/meminfo: memFree=27490144/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20804 CPUtime=102.27 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 9851 0 0 0 10227 0 0 0 20 0 1 0 91921954 45420544 5201 33554432000 4194304 6142532 140722550048736 140722550046136 4995453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5201 830 476 0 4411 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20804 KiB [startup+106.863 s] # the end of solver process 23922 was just reported to runsolver # cumulated CPU time of all completed processes: user=106.84 s, system=0.008005 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+102.4 s] /proc/loadavg: 2.02 2.04 2.30 3/192 23925 /proc/meminfo: memFree=27490144/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20804 CPUtime=102.37 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 9851 0 0 0 10237 0 0 0 20 0 1 0 91921954 45420544 5201 33554432000 4194304 6142532 140722550048736 140722550046136 5336826 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5201 830 476 0 4411 0 Current children cumulated CPU time: 102.37 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20804 KiB [startup+104 s]* /proc/loadavg: 2.02 2.04 2.30 3/192 23925 /proc/meminfo: memFree=27490152/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20804 CPUtime=103.98 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 9851 0 0 0 10398 0 0 0 20 0 1 0 91921954 45420544 5201 33554432000 4194304 6142532 140722550048736 140722550046136 4995453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5201 830 476 0 4411 0 Current children cumulated CPU time: 103.98 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20804 KiB [startup+105.6 s] /proc/loadavg: 2.02 2.04 2.29 3/192 23925 /proc/meminfo: memFree=27490152/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20804 CPUtime=105.57 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 9851 0 0 0 10557 0 0 0 20 0 1 0 91921954 45420544 5201 33554432000 4194304 6142532 140722550048736 140722550046136 4995389 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5201 830 476 0 4411 0 Current children cumulated CPU time: 105.57 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20804 KiB [startup+106.4 s] /proc/loadavg: 2.02 2.04 2.29 3/192 23925 /proc/meminfo: memFree=27490152/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20804 CPUtime=106.37 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 9851 0 0 0 10637 0 0 0 20 0 1 0 91921954 45420544 5201 33554432000 4194304 6142532 140722550048736 140722550046136 5336728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5201 830 476 0 4411 0 Current children cumulated CPU time: 106.37 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20804 KiB [startup+106.8 s] /proc/loadavg: 2.02 2.04 2.29 3/192 23925 /proc/meminfo: memFree=27490152/32770624 swapFree=67108856/67108860 [pid=23922] ppid=23919 vsize=44356 memory=20804 CPUtime=106.77 cores=0,2,4,6 /proc/23922/stat : 23922 (cosoco) R 23919 23922 23470 0 -1 4202496 9851 0 0 0 10677 0 0 0 20 0 1 0 91921954 45420544 5201 33554432000 4194304 6142532 140722550048736 140722550046136 4995385 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 30003200 140722550056070 140722550056200 140722550056200 140722550058958 0 /proc/23922/statm: 11089 5201 830 476 0 4411 0 Current children cumulated CPU time: 106.77 s Current children cumulated vsize: 44356 KiB Current children cumulated memory: 20804 KiB Child status: 0 Real time (s): 106.863 CPU time (s): 106.848 CPU user time (s): 106.84 CPU system time (s): 0.008005 CPU usage (%): 99.9858 Max. virtual memory (cumulated for all children) (KiB): 44356 Max. memory (cumulated for all children) (KiB): 20804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 106.84 system time used= 0.008005 maximum resident set size= 20872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9892 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= 13 involuntary context switches= 94 # summary of solver processes directly reported to runsolver: # pid: 23922 # total CPU time (s): 106.848 # total CPU user time (s): 106.84 # total CPU system time (s): 0.008005 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.500006 second user time and 0.638586 second system time The end
Begin job on node133 at 2018-07-28 04:06:28 IDJOB=4298053 IDBENCH=141064 IDSOLVER=2761 FILE ID=node133/4298053-1532743588 RUNJOBID= node133-1532740685-23501 PBS_JOBID= 21022445 Free space on /tmp= 48248 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Rlfap_mini/Rlfap-dec-scens11_mini/Rlfap-ext-scen-11-f03_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298053-1532743588/watcher-4298053-1532743588 -o /tmp/evaluation-result-4298053-1532743588/solver-4298053-1532743588 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532740685-23501 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298053-1532743588.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 53d1a842860889624135dc6778a8ba37 RANDOM SEED=1578665211 node133.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.24 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.24 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.24 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.24 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: 27508696 kB MemAvailable: 31947984 kB Buffers: 167836 kB Cached: 4519388 kB SwapCached: 0 kB Active: 2131432 kB Inactive: 2610696 kB Active(anon): 5720 kB Inactive(anon): 76704 kB Active(file): 2125712 kB Inactive(file): 2533992 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 2680 kB Writeback: 0 kB AnonPages: 60896 kB Mapped: 42752 kB Shmem: 25276 kB Slab: 218780 kB SReclaimable: 190836 kB SUnreclaim: 27944 kB KernelStack: 3456 kB PageTables: 5280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 353976 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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= 48244 MiB End job on node133 at 2018-07-28 04:08:15