Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | UNSAT | 300.456 | 300.466 |
Name | Rlfap_mini/Rlfap-dec-scens11_mini/ Rlfap-ext-scen-11-f02_c18.xml |
MD5SUM | 7ac25fa9c4532324d4bc78edd5427656 |
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 | 95.9442 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Number of domains | 5 |
Minimum domain size | 6 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":6,"count":2},{"size":22,"count":10},{"size":23,"count":4},{"size":35,"count":336},{"size":42,"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 : 996 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 2.00 -- 0.10/0.16 c 0.10/0.16 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390003-1568355802.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..42 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..408) -- (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 498 71479 23965 668 0 346 351 344 0.10/0.18 c 211 669 116334 39021 668 0 11 17 13 0.10/0.18 c 332 851 147746 59018 668 0 9 11 10 0.10/0.19 c 465 1068 202297 81997 668 0 9 14 10 0.10/0.20 c 611 1330 269791 101515 668 0 9 12 11 0.10/0.21 c 771 1657 342384 131700 668 0 7 14 10 0.20/0.23 c 947 1993 420258 158160 668 0 11 15 13 0.20/0.24 c 1140 2334 510715 186281 668 0 5 13 11 0.20/0.25 c 1352 2719 606589 220675 668 0 7 13 9 0.20/0.27 c 1585 3093 713972 255161 668 0 5 14 12 0.20/0.29 c 1841 3523 798066 300192 668 0 9 13 12 0.20/0.31 c 2122 4160 932902 356911 668 0 7 13 9 0.30/0.33 c 2431 4663 1059193 409242 668 0 5 13 11 0.30/0.35 c 2770 5318 1201424 458150 668 0 7 15 12 0.30/0.38 c 3142 6037 1348993 523099 668 0 9 13 12 0.30/0.40 c 3551 6847 1494616 579200 668 0 7 15 12 0.40/0.44 c 4000 7770 1739082 663839 668 0 9 15 13 0.40/0.47 c 4493 8612 1954142 743672 668 0 9 15 12 0.40/0.50 c 5035 9614 2181945 811508 668 0 11 15 13 0.50/0.55 c 5631 10588 2432122 910020 668 0 8 13 11 0.50/0.59 c 6286 11792 2709751 1018833 668 0 5 15 12 0.59/0.64 c 7006 13135 3042227 1124370 668 0 5 13 12 0.59/0.68 c 7798 14377 3292552 1234861 668 0 7 13 10 0.69/0.74 c 8669 16010 3696268 1386379 668 0 6 13 11 0.79/0.81 c 9627 17710 4098812 1551109 668 0 5 15 11 0.79/0.88 c 10680 19494 4563931 1717357 668 0 9 15 12 0.88/0.96 c 11838 21516 5111098 1894499 668 0 9 15 12 0.99/1.04 c 13111 23642 5561369 2111625 668 0 8 13 11 1.09/1.14 c 14511 26082 6179474 2340563 668 0 9 14 12 1.18/1.23 c 16051 28948 6815783 2575386 668 0 7 15 11 1.28/1.35 c 17745 31749 7531255 2850452 668 0 9 15 12 1.38/1.46 c 19608 35400 8244787 3127581 668 0 7 15 12 1.48/1.59 c 21657 38944 9107624 3459298 668 0 7 15 12 1.68/1.73 c 23910 43415 10065038 3792385 668 0 7 15 11 1.88/1.92 c 26388 47617 11212009 4199803 668 0 9 14 11 1.99/2.08 c 29113 52035 12296711 4594229 668 0 8 13 12 2.18/2.27 c 32110 58250 13581636 4987780 668 0 7 13 12 2.38/2.47 c 35406 64276 14861736 5544869 668 0 7 13 11 2.68/2.73 c 39031 70913 16398977 6184547 668 0 5 15 11 2.88/2.98 c 43018 77835 18127475 6780736 668 0 9 15 12 3.28/3.30 c 47403 85639 20087983 7513763 668 0 6 15 12 3.58/3.64 c 52226 95274 22273702 8314614 668 0 5 15 11 3.88/3.98 c 57531 107052 24548745 9197615 668 0 7 15 12 4.28/4.34 c 63366 117353 26802044 10154511 668 0 6 15 11 4.78/4.83 c 69784 129001 29940670 11176496 668 0 5 14 11 5.28/5.30 c 76843 141900 33050701 12301682 668 0 5 14 11 5.88/5.90 c 84607 155726 36884397 13539900 668 0 6 15 11 6.48/6.52 c 93147 172076 40931868 14954922 668 0 5 14 11 7.09/7.13 c 102541 189905 44922378 16462362 668 0 5 15 11 7.78/7.88 c 112874 208797 49747670 18091636 668 0 7 15 12 8.68/8.73 c 124240 228615 55302679 20010919 668 0 5 14 11 9.58/9.63 c 136742 251626 61289774 21989215 668 0 7 15 11 10.58/10.65 c 150494 275874 67803045 24149457 668 0 5 15 11 11.68/11.79 c 165621 302694 75288239 26779985 668 0 5 15 11 12.88/12.97 c 182260 332793 83120217 29487127 668 0 5 15 11 14.28/14.31 c 200562 366102 91904140 32570019 668 0 5 15 11 15.68/15.72 c 220694 402265 101249191 35976486 668 0 5 15 10 17.28/17.31 c 242839 442479 111670757 39577376 668 0 5 15 11 19.09/19.19 c 267198 487123 123568863 43595986 668 0 4 15 11 20.88/20.98 c 293992 538750 135443685 48037563 668 0 5 15 11 22.99/23.08 c 323465 590604 148979392 52831690 668 0 4 15 11 24.99/25.02 c 355885 652613 161825666 58065103 668 0 5 15 11 27.48/27.57 c 391547 712966 178078390 63905791 668 0 4 15 11 30.18/30.23 c 430775 783602 196252417 70374352 668 0 5 15 11 32.68/32.76 c 473925 866971 213729588 76885132 668 0 5 15 11 36.09/36.15 c 521390 955925 237202564 84933615 668 0 5 15 11 39.28/39.39 c 573601 1051603 260244116 93446123 668 0 5 15 11 43.18/43.29 c 631033 1161538 288048369 103394320 668 0 5 15 11 47.38/47.45 c 694208 1269556 317344725 113778317 668 0 3 15 11 51.68/51.73 c 763700 1386199 348070129 125449341 668 0 5 15 11 56.99/57.09 c 840141 1525077 386395689 138731092 668 0 4 15 11 62.18/62.26 c 924226 1688746 423764416 152830332 668 0 5 15 11 68.38/68.49 c 1016719 1853136 467436022 168805130 668 0 3 15 11 74.88/74.91 c 1118461 2030080 513906280 185517137 668 0 3 15 11 82.88/82.92 c 1230377 2230194 569822228 204919760 668 0 4 15 11 91.38/91.49 c 1353484 2452113 630480229 226738281 668 0 3 14 11 100.88/100.96 c 1488901 2698163 697606328 250335760 668 0 3 15 11 110.68/110.75 c 1637859 2955935 768175096 275701776 668 0 3 15 10 121.99/122.03 c 1801712 3238126 848091411 303406150 668 0 3 15 11 134.18/134.24 c 1981950 3552991 934878442 334870407 668 0 3 15 10 148.09/148.11 c 2180211 3898452 1032086124 369515234 668 0 3 15 10 162.78/162.87 c 2398298 4270928 1137630188 407066747 668 0 3 15 11 179.28/179.38 c 2638193 4688122 1254838132 448792134 668 0 3 15 10 197.18/197.24 c 2902077 5157769 1380438206 495117060 668 0 3 15 10 217.58/217.65 c 3192349 5664226 1523567863 546688002 668 0 3 15 10 238.88/238.91 c 3511648 6222205 1673332336 603073868 668 0 3 15 10 262.68/262.71 c 3862876 6834041 1840662761 666687586 668 0 3 15 10 289.78/289.81 c 4249226 7507082 2026678999 738761833 668 0 3 15 10 300.38/300.46 s UNSATISFIABLE 300.38/300.46 c restarts : 88 300.38/300.46 c conflicts : 4405401 (14663 /sec) 300.38/300.46 c decisions : 7779291 (25893 /sec) 300.38/300.46 c propagations : 768245916 (2557069 /sec) 300.38/300.46 c root propagations : 996 300.38/300.46 c filter calls : 2099305295 (6987435 /sec) 300.38/300.46 c useless filter calls : 1812554524 (86 %) 300.38/300.46 c Memory used : 43.48 MB 300.38/300.46 c CPU time : 300.44 s 300.38/300.46 c real time : 300.461 s 300.38/300.46
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 (10666 MiB free) memory of node 1: 16384 MiB (13041 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390003-1568355802/watcher-4390003-1568355802 -o /tmp/evaluation-result-4390003-1568355802/solver-4390003-1568355802 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568335547-17181 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390003-1568355802.xml running on 4 cores: 1,3,5,7 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=21742, runsolver pid=21739 Current StackSize limit: 8192 KiB [startup+0.100164 s]* /proc/loadavg: 2.00 2.00 2.03 3/199 21743 /proc/meminfo: memFree=24267348/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=38448 memory=14512 CPUtime=0.1 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 3846 0 0 0 10 0 0 0 20 0 1 0 411517553 39370752 3628 33554432000 4194304 6210612 140724323844192 140724323840728 140058017201125 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 9612 3628 804 493 0 2917 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 38448 KiB Current children cumulated memory: 14512 KiB [startup+0.209688 s]* /proc/loadavg: 2.00 2.00 2.03 3/199 21743 /proc/meminfo: memFree=24259616/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=20848 CPUtime=0.2 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 5417 0 0 0 20 0 0 0 20 0 1 0 411517553 45588480 5212 33554432000 4194304 6210612 140724323844192 140724323841944 5389985 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5212 845 493 0 4435 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 20848 KiB [startup+0.309596 s]* /proc/loadavg: 2.00 2.00 2.03 3/199 21743 /proc/meminfo: memFree=24259616/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=20848 CPUtime=0.3 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 5417 0 0 0 30 0 0 0 20 0 1 0 411517553 45588480 5212 33554432000 4194304 6210612 140724323844192 140724323841944 5008943 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5212 845 493 0 4435 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 20848 KiB [startup+0.700273 s] /proc/loadavg: 2.00 2.00 2.03 3/199 21743 /proc/meminfo: memFree=24259616/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=20848 CPUtime=0.69 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 5417 0 0 0 69 0 0 0 20 0 1 0 411517553 45588480 5212 33554432000 4194304 6210612 140724323844192 140724323842152 5017094 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5212 845 493 0 4435 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 20848 KiB [startup+1.50028 s] /proc/loadavg: 2.00 2.00 2.03 3/199 21743 /proc/meminfo: memFree=24259616/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=20848 CPUtime=1.48 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 5417 0 0 0 148 0 0 0 20 0 1 0 411517553 45588480 5212 33554432000 4194304 6210612 140724323844192 140724323842152 5016909 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5212 845 493 0 4435 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 20848 KiB [startup+3.10907 s] /proc/loadavg: 2.00 2.00 2.03 3/199 21743 /proc/meminfo: memFree=24259372/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21024 CPUtime=3.09 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 6626 0 0 0 309 0 0 0 20 0 1 0 411517553 45588480 5256 33554432000 4194304 6210612 140724323844192 140724323842152 5389264 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5256 850 493 0 4435 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21024 KiB [startup+6.30027 s] /proc/loadavg: 2.00 2.00 2.03 3/199 21743 /proc/meminfo: memFree=24259380/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21024 CPUtime=6.28 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 7821 0 0 0 628 0 0 0 20 0 1 0 411517553 45588480 5256 33554432000 4194304 6210612 140724323844192 140724323842152 5016909 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5256 850 493 0 4435 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21024 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.03 3/200 21745 /proc/meminfo: memFree=24259732/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21024 CPUtime=12.68 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 9026 0 0 0 1268 0 0 0 20 0 1 0 411517553 45588480 5256 33554432000 4194304 6210612 140724323844192 140724323842152 5016909 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5256 850 493 0 4435 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21024 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.03 3/199 21745 /proc/meminfo: memFree=24259480/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21024 CPUtime=25.48 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 11436 0 0 0 2548 0 0 0 20 0 1 0 411517553 45588480 5256 33554432000 4194304 6210612 140724323844192 140724323842152 5016899 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5256 850 493 0 4435 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21024 KiB [startup+51.109 s] /proc/loadavg: 2.00 2.00 2.03 3/199 21746 /proc/meminfo: memFree=24259516/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21028 CPUtime=51.09 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 11870 0 0 0 5109 0 0 0 20 0 1 0 411517553 45588480 5257 33554432000 4194304 6210612 140724323844192 140724323842152 5016959 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5257 850 493 0 4435 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.03 3/200 21751 /proc/meminfo: memFree=24259564/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21028 CPUtime=102.28 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 12300 0 0 0 10228 0 0 0 20 0 1 0 411517553 45588480 5257 33554432000 4194304 6210612 140724323844192 140724323842152 5016997 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5257 850 493 0 4435 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.03 3/199 21756 /proc/meminfo: memFree=24259704/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21028 CPUtime=162.28 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 12727 0 0 0 16227 1 0 0 20 0 1 0 411517553 45588480 5257 33554432000 4194304 6210612 140724323844192 140724323842152 5017009 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5257 850 493 0 4435 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.03 3/199 21760 /proc/meminfo: memFree=24259172/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21028 CPUtime=222.28 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 13155 0 0 0 22227 1 0 0 20 0 1 0 411517553 45588480 5257 33554432000 4194304 6210612 140724323844192 140724323842152 5017094 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5257 850 493 0 4435 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.03 3/200 21766 /proc/meminfo: memFree=24259124/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21028 CPUtime=282.28 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 13582 0 0 0 28227 1 0 0 20 0 1 0 411517553 45588480 5257 33554432000 4194304 6210612 140724323844192 140724323842152 5017201 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5257 850 493 0 4435 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+300.466 s] # the end of solver process 21742 was just reported to runsolver # cumulated CPU time of all completed processes: user=300.44 s, system=0.015999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+288 s]* /proc/loadavg: 2.00 2.00 2.03 3/199 21767 /proc/meminfo: memFree=24259116/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21028 CPUtime=287.99 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 13582 0 0 0 28798 1 0 0 20 0 1 0 411517553 45588480 5257 33554432000 4194304 6210612 140724323844192 140724323842152 5017005 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5257 850 493 0 4435 0 Current children cumulated CPU time: 287.99 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+294.4 s] /proc/loadavg: 2.00 2.00 2.03 3/199 21767 /proc/meminfo: memFree=24259232/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21028 CPUtime=294.38 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 13582 0 0 0 29437 1 0 0 20 0 1 0 411517553 45588480 5257 33554432000 4194304 6210612 140724323844192 140724323842152 5017005 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5257 850 493 0 4435 0 Current children cumulated CPU time: 294.38 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+297.6 s] /proc/loadavg: 2.00 2.00 2.03 3/199 21767 /proc/meminfo: memFree=24259232/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21028 CPUtime=297.58 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 13991 0 0 0 29757 1 0 0 20 0 1 0 411517553 45588480 5257 33554432000 4194304 6210612 140724323844192 140724323842152 5016912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5257 850 493 0 4435 0 Current children cumulated CPU time: 297.58 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+299.2 s] /proc/loadavg: 2.00 2.00 2.03 3/199 21767 /proc/meminfo: memFree=24259232/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21028 CPUtime=299.18 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 13995 0 0 0 29917 1 0 0 20 0 1 0 411517553 45588480 5257 33554432000 4194304 6210612 140724323844192 140724323842152 5016880 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5257 850 493 0 4435 0 Current children cumulated CPU time: 299.18 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+300 s]* /proc/loadavg: 2.00 2.00 2.03 3/199 21767 /proc/meminfo: memFree=24259224/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21028 CPUtime=299.99 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 13995 0 0 0 29998 1 0 0 20 0 1 0 411517553 45588480 5257 33554432000 4194304 6210612 140724323844192 140724323842152 5389268 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5257 850 493 0 4435 0 Current children cumulated CPU time: 299.99 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+300.4 s] /proc/loadavg: 2.00 2.00 2.03 3/199 21767 /proc/meminfo: memFree=24259224/32770624 swapFree=67108848/67108860 [pid=21742] ppid=21739 vsize=44520 memory=21028 CPUtime=300.38 cores=1,3,5,7 /proc/21742/stat : 21742 (cosoco) R 21739 21742 17149 0 -1 4202496 13995 0 0 0 30037 1 0 0 20 0 1 0 411517553 45588480 5257 33554432000 4194304 6210612 140724323844192 140724323842152 5016884 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 21811200 140724323853323 140724323853425 140724323853425 140724323856334 0 /proc/21742/statm: 11130 5257 850 493 0 4435 0 Current children cumulated CPU time: 300.38 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB Child status: 0 Real time (s): 300.466 CPU time (s): 300.456 CPU user time (s): 300.44 CPU system time (s): 0.015999 CPU usage (%): 99.9968 Max. virtual memory (cumulated for all children) (KiB): 44520 Max. memory (cumulated for all children) (KiB): 21028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 300.44 system time used= 0.015999 maximum resident set size= 21100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14050 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= 22 involuntary context switches= 224 # summary of solver processes directly reported to runsolver: # pid: 21742 # total CPU time (s): 300.456 # total CPU user time (s): 300.44 # total CPU system time (s): 0.015999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.22885 second user time and 1.81747 second system time The end
Begin job on node143 at 2019-09-13 08:22:41 IDJOB=4390003 IDBENCH=141062 IDSOLVER=2830 FILE ID=node143/4390003-1568355802 RUNJOBID= node143-1568335547-17181 PBS_JOBID= 21701163 Free space on /tmp= 58852 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP18/Rlfap_mini/Rlfap-dec-scens11_mini/Rlfap-ext-scen-11-f02_c18.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390003-1568355802/watcher-4390003-1568355802 -o /tmp/evaluation-result-4390003-1568355802/solver-4390003-1568355802 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568335547-17181 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390003-1568355802.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7ac25fa9c4532324d4bc78edd5427656 RANDOM SEED=1210860842 node143.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.73 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.73 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.73 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.73 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: 24276920 kB MemAvailable: 31740104 kB Buffers: 173524 kB Cached: 7577356 kB SwapCached: 8 kB Active: 2167920 kB Inactive: 5651796 kB Active(anon): 24088 kB Inactive(anon): 144520 kB Active(file): 2143832 kB Inactive(file): 5507276 kB Unevictable: 107780 kB Mlocked: 107780 kB SwapTotal: 67108860 kB SwapFree: 67108848 kB Dirty: 3128 kB Writeback: 0 kB AnonPages: 177220 kB Mapped: 49772 kB Shmem: 90756 kB Slab: 269368 kB SReclaimable: 240536 kB SUnreclaim: 28832 kB KernelStack: 3552 kB PageTables: 5684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 547264 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 88064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 58848 MiB End job on node143 at 2019-09-13 08:27:41