Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | UNSAT | 298.414 | 298.415 |
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-4408543-1569811180.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.75 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.89/0.97 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.19/1.24 c 16051 28948 6815783 2575386 668 0 7 15 11 1.29/1.35 c 17745 31749 7531255 2850452 668 0 9 15 12 1.39/1.46 c 19608 35400 8244787 3127581 668 0 7 15 12 1.49/1.59 c 21657 38944 9107624 3459298 668 0 7 15 12 1.69/1.74 c 23910 43415 10065038 3792385 668 0 7 15 11 1.89/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.19/2.27 c 32110 58250 13581636 4987780 668 0 7 13 12 2.39/2.48 c 35406 64276 14861736 5544869 668 0 7 13 11 2.69/2.73 c 39031 70913 16398977 6184547 668 0 5 15 11 2.89/2.99 c 43018 77835 18127475 6780736 668 0 9 15 12 3.29/3.31 c 47403 85639 20087983 7513763 668 0 6 15 12 3.59/3.64 c 52226 95274 22273702 8314614 668 0 5 15 11 3.89/3.99 c 57531 107052 24548745 9197615 668 0 7 15 12 4.29/4.35 c 63366 117353 26802044 10154511 668 0 6 15 11 4.79/4.84 c 69784 129001 29940670 11176496 668 0 5 14 11 5.29/5.31 c 76843 141900 33050701 12301682 668 0 5 14 11 5.89/5.91 c 84607 155726 36884397 13539900 668 0 6 15 11 6.49/6.53 c 93147 172076 40931868 14954922 668 0 5 14 11 7.09/7.14 c 102541 189905 44922378 16462362 668 0 5 15 11 7.88/7.90 c 112874 208797 49747670 18091636 668 0 7 15 12 8.68/8.75 c 124240 228615 55302679 20010919 668 0 5 14 11 9.58/9.65 c 136742 251626 61289774 21989215 668 0 7 15 11 10.58/10.67 c 150494 275874 67803045 24149457 668 0 5 15 11 11.79/11.81 c 165621 302694 75288239 26779985 668 0 5 15 11 12.89/13.00 c 182260 332793 83120217 29487127 668 0 5 15 11 14.29/14.35 c 200562 366102 91904140 32570019 668 0 5 15 11 15.69/15.76 c 220694 402265 101249191 35976486 668 0 5 15 10 17.29/17.36 c 242839 442479 111670757 39577376 668 0 5 15 11 19.19/19.23 c 267198 487123 123568863 43595986 668 0 4 15 11 20.99/21.03 c 293992 538750 135443685 48037563 668 0 5 15 11 23.09/23.13 c 323465 590604 148979392 52831690 668 0 4 15 11 24.99/25.04 c 355885 652613 161825666 58065103 668 0 5 15 11 27.28/27.37 c 391547 712966 178078390 63905791 668 0 4 15 11 29.78/29.87 c 430775 783602 196252417 70374352 668 0 5 15 11 32.28/32.32 c 473925 866971 213729588 76885132 668 0 5 15 11 35.58/35.62 c 521390 955925 237202564 84933615 668 0 5 15 11 38.68/38.76 c 573601 1051603 260244116 93446123 668 0 5 15 11 42.58/42.64 c 631033 1161538 288048369 103394320 668 0 5 15 11 46.68/46.77 c 694208 1269556 317344725 113778317 668 0 3 15 11 50.99/51.03 c 763700 1386199 348070129 125449341 668 0 5 15 11 56.28/56.37 c 840141 1525077 386395689 138731092 668 0 4 15 11 61.48/61.50 c 924226 1688746 423764416 152830332 668 0 5 15 11 67.58/67.69 c 1016719 1853136 467436022 168805130 668 0 3 15 11 73.99/74.08 c 1118461 2030080 513906280 185517137 668 0 3 15 11 81.99/82.05 c 1230377 2230194 569822228 204919760 668 0 4 15 11 90.48/90.57 c 1353484 2452113 630480229 226738281 668 0 3 14 11 99.88/99.98 c 1488901 2698163 697606328 250335760 668 0 3 15 11 109.68/109.72 c 1637859 2955935 768175096 275701776 668 0 3 15 10 120.88/120.94 c 1801712 3238126 848091411 303406150 668 0 3 15 11 132.99/133.09 c 1981950 3552991 934878442 334870407 668 0 3 15 10 146.78/146.88 c 2180211 3898452 1032086124 369515234 668 0 3 15 10 161.48/161.57 c 2398298 4270928 1137630188 407066747 668 0 3 15 11 177.88/177.99 c 2638193 4688122 1254838132 448792134 668 0 3 15 10 195.68/195.75 c 2902077 5157769 1380438206 495117060 668 0 3 15 10 215.99/216.05 c 3192349 5664226 1523567863 546688002 668 0 3 15 10 237.09/237.19 c 3511648 6222205 1673332336 603073868 668 0 3 15 10 260.78/260.86 c 3862876 6834041 1840662761 666687586 668 0 3 15 10 287.78/287.82 c 4249226 7507082 2026678999 738761833 668 0 3 15 10 298.39/298.41 s UNSATISFIABLE 298.39/298.41 c restarts : 88 298.39/298.41 c conflicts : 4405401 (14763 /sec) 298.39/298.41 c decisions : 7779291 (26070 /sec) 298.39/298.41 c propagations : 768245916 (2574509 /sec) 298.39/298.41 c root propagations : 996 298.39/298.41 c filter calls : 2099305295 (7035092 /sec) 298.39/298.41 c useless filter calls : 1812554524 (86 %) 298.39/298.41 c Memory used : 43.48 MB 298.39/298.41 c CPU time : 298.405 s 298.39/298.41 c real time : 298.41 s 298.39/298.41
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 (15117 MiB free) memory of node 1: 16384 MiB (15572 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408543-1569811180/watcher-4408543-1569811180 -o /tmp/evaluation-result-4408543-1569811180/solver-4408543-1569811180 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1569787354-25325 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408543-1569811180.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=29834, runsolver pid=29831 Current StackSize limit: 8192 KiB [startup+0.100211 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 29835 /proc/meminfo: memFree=31418184/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=38448 memory=14512 CPUtime=0.1 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 3849 0 0 0 10 0 0 0 20 0 1 0 557385740 39370752 3628 33554432000 4194304 6211132 140736893873184 140736893869720 140058189728741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 9612 3628 807 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.20981 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 29835 /proc/meminfo: memFree=31410496/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=20848 CPUtime=0.2 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 5419 0 0 0 20 0 0 0 20 0 1 0 557385740 45588480 5212 33554432000 4194304 6211132 140736893873184 140736893869720 5017462 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5212 849 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.309669 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 29835 /proc/meminfo: memFree=31410496/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=20848 CPUtime=0.3 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 5419 0 0 0 30 0 0 0 20 0 1 0 557385740 45588480 5212 33554432000 4194304 6211132 140736893873184 140736893869720 5017365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5212 849 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.700334 s] /proc/loadavg: 2.00 2.01 2.05 3/199 29835 /proc/meminfo: memFree=31410496/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=20848 CPUtime=0.69 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 5419 0 0 0 69 0 0 0 20 0 1 0 557385740 45588480 5212 33554432000 4194304 6211132 140736893873184 140736893869720 5008824 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5212 849 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.50033 s] /proc/loadavg: 2.00 2.01 2.05 3/199 29835 /proc/meminfo: memFree=31410496/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=20848 CPUtime=1.49 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 5419 0 0 0 149 0 0 0 20 0 1 0 557385740 45588480 5212 33554432000 4194304 6211132 140736893873184 140736893871144 5396441 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5212 849 493 0 4435 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 20848 KiB [startup+3.10926 s] /proc/loadavg: 2.00 2.01 2.05 3/199 29835 /proc/meminfo: memFree=31410280/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21028 CPUtime=3.09 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 6629 0 0 0 309 0 0 0 20 0 1 0 557385740 45588480 5257 33554432000 4194304 6211132 140736893873184 140736893871144 5389476 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5257 853 493 0 4435 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+6.30033 s] /proc/loadavg: 2.00 2.01 2.05 3/199 29835 /proc/meminfo: memFree=31409880/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21028 CPUtime=6.29 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 7825 0 0 0 629 0 0 0 20 0 1 0 557385740 45588480 5257 33554432000 4194304 6211132 140736893873184 140736893871144 5008827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5257 853 493 0 4435 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/199 29835 /proc/meminfo: memFree=31409972/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21028 CPUtime=12.69 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 9031 0 0 0 1269 0 0 0 20 0 1 0 557385740 45588480 5257 33554432000 4194304 6211132 140736893873184 140736893871144 5409476 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5257 853 493 0 4435 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/199 29837 /proc/meminfo: memFree=31408668/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21028 CPUtime=25.48 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 11409 0 0 0 2548 0 0 0 20 0 1 0 557385740 45588480 5257 33554432000 4194304 6211132 140736893873184 140736893871144 5017462 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5257 853 493 0 4435 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21028 KiB [startup+51.1092 s] /proc/loadavg: 2.00 2.01 2.05 3/199 29837 /proc/meminfo: memFree=31408876/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21032 CPUtime=51.09 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 11523 0 0 0 5109 0 0 0 20 0 1 0 557385740 45588480 5258 33554432000 4194304 6211132 140736893873184 140736893871144 5017395 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5258 853 493 0 4435 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21032 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29849 /proc/meminfo: memFree=31408324/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21032 CPUtime=102.28 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 11636 0 0 0 10228 0 0 0 20 0 1 0 557385740 45588480 5258 33554432000 4194304 6211132 140736893873184 140736893871144 5017569 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5258 853 493 0 4435 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21032 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29855 /proc/meminfo: memFree=31407992/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21032 CPUtime=162.28 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 11748 0 0 0 16228 0 0 0 20 0 1 0 557385740 45588480 5258 33554432000 4194304 6211132 140736893873184 140736893871144 5389473 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5258 853 493 0 4435 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21032 KiB [startup+222.302 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29859 /proc/meminfo: memFree=31408176/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21032 CPUtime=222.29 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 11861 0 0 0 22229 0 0 0 20 0 1 0 557385740 45588480 5258 33554432000 4194304 6211132 140736893873184 140736893871144 5017292 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5258 853 493 0 4435 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21032 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29863 /proc/meminfo: memFree=31408280/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21032 CPUtime=282.28 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 11973 0 0 0 28228 0 0 0 20 0 1 0 557385740 45588480 5258 33554432000 4194304 6211132 140736893873184 140736893871144 5017282 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5258 853 493 0 4435 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21032 KiB [startup+298.415 s] # the end of solver process 29834 was just reported to runsolver # cumulated CPU time of all completed processes: user=298.405 s, system=0.009001 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+288 s]* /proc/loadavg: 2.00 2.01 2.05 3/201 29865 /proc/meminfo: memFree=31408200/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21032 CPUtime=287.99 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 11973 0 0 0 28799 0 0 0 20 0 1 0 557385740 45588480 5258 33554432000 4194304 6211132 140736893873184 140736893871144 5017564 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5258 853 493 0 4435 0 Current children cumulated CPU time: 287.99 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21032 KiB [startup+294.4 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29865 /proc/meminfo: memFree=31408436/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21032 CPUtime=294.39 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 11973 0 0 0 29439 0 0 0 20 0 1 0 557385740 45588480 5258 33554432000 4194304 6211132 140736893873184 140736893871144 5409476 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5258 853 493 0 4435 0 Current children cumulated CPU time: 294.39 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21032 KiB [startup+296 s]* /proc/loadavg: 2.00 2.01 2.05 3/200 29865 /proc/meminfo: memFree=31408436/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21032 CPUtime=295.99 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 11973 0 0 0 29599 0 0 0 20 0 1 0 557385740 45588480 5258 33554432000 4194304 6211132 140736893873184 140736893871144 5017373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5258 853 493 0 4435 0 Current children cumulated CPU time: 295.99 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21032 KiB [startup+297.6 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29865 /proc/meminfo: memFree=31408436/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21032 CPUtime=297.59 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 12071 0 0 0 29759 0 0 0 20 0 1 0 557385740 45588480 5258 33554432000 4194304 6211132 140736893873184 140736893871144 5389992 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5258 853 493 0 4435 0 Current children cumulated CPU time: 297.59 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21032 KiB [startup+298 s]* /proc/loadavg: 2.00 2.01 2.05 3/200 29865 /proc/meminfo: memFree=31408436/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21032 CPUtime=297.99 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 12071 0 0 0 29799 0 0 0 20 0 1 0 557385740 45588480 5258 33554432000 4194304 6211132 140736893873184 140736893871144 5017373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5258 853 493 0 4435 0 Current children cumulated CPU time: 297.99 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21032 KiB [startup+298.4 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29865 /proc/meminfo: memFree=31408436/32770624 swapFree=66997716/67108860 [pid=29834] ppid=29831 vsize=44520 memory=21032 CPUtime=298.39 cores=0,2,4,6 /proc/29834/stat : 29834 (cosoco) R 29831 29834 25294 0 -1 4202496 12071 0 0 0 29839 0 0 0 20 0 1 0 557385740 45588480 5258 33554432000 4194304 6211132 140736893873184 140736893871144 5017327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12361728 140736893879307 140736893879409 140736893879409 140736893882318 0 /proc/29834/statm: 11130 5258 853 493 0 4435 0 Current children cumulated CPU time: 298.39 s Current children cumulated vsize: 44520 KiB Current children cumulated memory: 21032 KiB Child status: 0 Real time (s): 298.415 CPU time (s): 298.414 CPU user time (s): 298.405 CPU system time (s): 0.009001 CPU usage (%): 99.9996 Max. virtual memory (cumulated for all children) (KiB): 44520 Max. memory (cumulated for all children) (KiB): 21032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 298.405 system time used= 0.009001 maximum resident set size= 21100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12125 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= 79 # summary of solver processes directly reported to runsolver: # pid: 29834 # total CPU time (s): 298.414 # total CPU user time (s): 298.405 # total CPU system time (s): 0.009001 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.02994 second user time and 2.058 second system time The end
Begin job on node126 at 2019-09-30 04:39:02 IDJOB=4408543 IDBENCH=141062 IDSOLVER=2875 FILE ID=node126/4408543-1569811180 RUNJOBID= node126-1569787354-25325 PBS_JOBID= 21705827 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 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-4408543-1569811180/watcher-4408543-1569811180 -o /tmp/evaluation-result-4408543-1569811180/solver-4408543-1569811180 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1569787354-25325 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408543-1569811180.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7ac25fa9c4532324d4bc78edd5427656 RANDOM SEED=189498301 node126.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.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.56 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.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.56 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.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31426992 kB MemAvailable: 31786048 kB Buffers: 209508 kB Cached: 467448 kB SwapCached: 7392 kB Active: 418008 kB Inactive: 343060 kB Active(anon): 89040 kB Inactive(anon): 70400 kB Active(file): 328968 kB Inactive(file): 272660 kB Unevictable: 109388 kB Mlocked: 109388 kB SwapTotal: 67108860 kB SwapFree: 66997716 kB Dirty: 2788 kB Writeback: 0 kB AnonPages: 187184 kB Mapped: 28792 kB Shmem: 66840 kB Slab: 176604 kB SReclaimable: 146524 kB SUnreclaim: 30080 kB KernelStack: 3760 kB PageTables: 5732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 642792 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 139264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 62024 MiB End job on node126 at 2019-09-30 04:44:00