Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.1 (2017-06-27) | UNSAT | 390.169 | 390.132 |
Name | SchurrLemma/SchurrLemma-mod-s1/ SchurrLemma-mod-100-9.xml |
MD5SUM | 4f03c112a8f6a228f13fa4574ba8a054 |
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 | 40.2139 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 2450 |
Number of domains | 1 |
Minimum domain size | 9 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":9,"count":100}] |
Minimum variable degree | 49 |
Maximum variable degree | 98 |
Distribution of variable degrees | [{"degree":49,"count":1},{"degree":50,"count":2},{"degree":51,"count":2},{"degree":52,"count":2},{"degree":53,"count":2},{"degree":54,"count":2},{"degree":55,"count":2},{"degree":56,"count":2},{"degree":57,"count":2},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":2},{"degree":61,"count":2},{"degree":62,"count":2},{"degree":63,"count":2},{"degree":64,"count":2},{"degree":65,"count":2},{"degree":66,"count":2},{"degree":67,"count":2},{"degree":68,"count":2},{"degree":69,"count":2},{"degree":70,"count":2},{"degree":71,"count":2},{"degree":72,"count":2},{"degree":73,"count":3},{"degree":74,"count":3},{"degree":75,"count":2},{"degree":76,"count":2},{"degree":77,"count":2},{"degree":78,"count":2},{"degree":79,"count":2},{"degree":80,"count":2},{"degree":81,"count":2},{"degree":82,"count":2},{"degree":83,"count":2},{"degree":84,"count":2},{"degree":85,"count":2},{"degree":86,"count":2},{"degree":87,"count":2},{"degree":88,"count":2},{"degree":89,"count":2},{"degree":90,"count":2},{"degree":91,"count":2},{"degree":92,"count":2},{"degree":93,"count":2},{"degree":94,"count":2},{"degree":95,"count":2},{"degree":96,"count":2},{"degree":97,"count":2},{"degree":98,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":2450}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":2450}] |
Optimization problem | NO |
Type of objective |
0.00/0.04 c root propagations : 0 0.00/0.04 c restarts enabled, print stats at every restarts 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c This is cosoco 1.0 -- 0.00/0.04 c 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.04 s 0.00/0.04 c | 0.00/0.04 c | Variables: 100 0.00/0.04 c | Domain Sizes: 9..9 0.00/0.04 c | 0.00/0.04 c | Constraints: 2450 0.00/0.04 c | Arity: 3..3 -- Ternary: 2450 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | All Different: 2450 0.00/0.04 c | 0.00/0.04 c ========================================================================================================= 0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.09/0.10 c 101 252 270290 38050 0 0 6 8 7 0.09/0.18 c 211 530 571344 80688 0 0 6 8 7 0.19/0.26 c 332 834 896033 127433 0 0 6 8 7 0.29/0.35 c 465 1171 1255841 179406 0 0 6 8 7 0.39/0.45 c 611 1539 1645629 235783 0 0 6 8 7 0.49/0.57 c 771 1953 2135538 300877 0 0 6 8 7 0.69/0.70 c 947 2409 2666791 372600 0 0 6 8 7 0.79/0.85 c 1140 2914 3269449 452696 0 0 6 8 7 0.99/1.02 c 1352 3473 3943136 543146 0 0 6 8 7 1.19/1.21 c 1585 4096 4713071 639782 0 0 6 8 7 1.39/1.42 c 1841 4788 5564129 750707 0 0 6 8 7 1.59/1.65 c 2122 5531 6466367 871932 0 0 6 8 7 1.79/1.89 c 2431 6383 7438834 1002196 0 0 6 8 7 2.09/2.16 c 2770 7276 8525187 1143509 0 0 6 8 7 2.39/2.44 c 3142 8250 9660253 1297479 0 0 6 8 7 2.69/2.77 c 3551 9338 10985901 1470332 0 0 6 8 7 3.09/3.12 c 4000 10520 12422345 1658493 0 0 6 8 7 3.49/3.51 c 4493 11832 14009378 1867120 0 0 6 8 7 3.89/3.93 c 5035 13279 15743905 2097410 0 0 6 8 7 4.39/4.40 c 5631 14856 17678042 2343157 0 0 6 8 7 4.89/4.91 c 6286 16592 19767868 2615720 0 0 6 8 7 5.39/5.47 c 7006 18494 22064106 2918353 0 0 6 8 7 5.99/6.08 c 7798 20609 24620737 3253603 0 0 6 8 7 6.69/6.77 c 8669 22959 27439908 3626295 0 0 6 8 7 7.49/7.59 c 9627 25551 30838719 4046212 0 0 6 8 7 8.49/8.53 c 10680 28410 34760521 4515260 0 0 5 8 7 9.49/9.57 c 11838 31579 39123257 5031452 0 0 5 8 7 10.69/10.70 c 13111 35019 43848904 5593345 0 0 6 8 7 11.89/11.92 c 14511 38840 48878505 6216541 0 0 6 8 7 13.29/13.31 c 16051 42986 54719831 6906186 0 0 5 8 7 14.89/14.90 c 17745 47636 61374437 7674975 0 0 4 8 7 16.49/16.56 c 19608 52861 68286515 8516472 0 0 6 8 7 18.49/18.50 c 21657 58632 76415509 9469179 0 0 4 8 7 20.59/20.61 c 23910 65003 85258548 10507732 0 0 4 8 7 22.79/22.89 c 26388 71966 94786872 11642841 0 0 4 8 7 25.30/25.37 c 29113 79550 105151461 12876637 0 0 4 8 7 28.09/28.10 c 32110 87868 116586133 14229642 0 0 5 8 7 30.99/31.05 c 35406 96990 128927119 15721745 0 0 6 8 7 34.39/34.41 c 39031 107095 142912463 17380807 0 0 5 8 7 38.09/38.14 c 43018 118269 158487538 19215767 0 0 4 8 7 42.29/42.30 c 47403 130565 175952348 21245152 0 0 5 8 7 46.79/46.80 c 52226 143930 194776695 23439052 0 0 4 8 7 51.89/51.94 c 57531 158663 216445816 25909414 0 0 4 8 7 57.30/57.32 c 63366 174567 239026401 28557877 0 0 5 8 7 63.29/63.32 c 69784 192315 264107211 31473104 0 0 5 8 7 69.79/69.86 c 76843 211997 291427050 34657086 0 0 5 8 7 77.00/77.09 c 84607 233398 321604756 38210674 0 0 5 8 7 85.50/85.52 c 93147 257103 357055383 42194047 0 0 5 8 7 94.70/94.78 c 102541 283106 396084537 46474380 0 0 4 8 7 105.20/105.26 c 112874 311035 440420592 51311753 0 0 5 8 7 116.80/116.87 c 124240 342500 489438660 56693933 0 0 5 8 7 129.81/129.82 c 136742 377615 544303023 62654090 0 0 4 8 7 144.21/144.21 c 150494 416743 605308000 69284187 0 0 3 8 7 160.10/160.19 c 165621 459311 673143222 76455046 0 0 4 8 7 178.31/178.33 c 182260 506283 750392717 84601064 0 0 3 8 7 197.81/197.88 c 200562 558550 833439354 93494506 1 0 3 8 7 219.31/219.30 c 220694 615251 924080842 103239119 2 0 3 8 7 242.91/242.90 c 242839 676770 1024366120 113765690 3 0 2 8 7 268.42/268.48 c 267198 744976 1132439627 125485283 4 0 3 8 7 299.82/299.80 c 293992 821770 1267678392 139100002 4 0 3 8 7 332.12/332.15 c 323465 903867 1406094397 153538687 6 0 3 8 7 376.13/376.17 c 355885 1003062 1599454745 171435141 7 0 3 8 7 390.13/390.13 c restarts : 62 390.13/390.13 c conflicts : 365169 (936 /sec) 390.13/390.13 c decisions : 1032780 (2647 /sec) 390.13/390.13 c propagations : 177054554 (453801 /sec) 390.13/390.13 c root propagations : 0 390.13/390.13 c filter calls : 1661706030 (4259048 /sec) 390.13/390.13 c useless filter calls : 1499540469 (90 %) 390.13/390.13 c Memory used : 29.58 MB 390.13/390.13 c CPU time : 390.159 s 390.13/390.13 390.13/390.13 s UNSATISFIABLE
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4252615-1500922706/watcher-4252615-1500922706 -o /tmp/evaluation-result-4252615-1500922706/solver-4252615-1500922706 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500914927-3773 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252615-1500922706.xml pid=8188 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.05 2/181 8191 /proc/meminfo: memFree=32115748/32770624 swapFree=5764/123124 [pid=8191] ppid=8188 vsize=26772 CPUtime=0 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 952 0 0 0 0 0 0 0 20 0 1 0 1810082 27414528 759 33554432000 4194304 5744392 140723631168704 140723631165352 140527796268005 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 6693 759 678 379 0 112 0 [startup+0.100195 s] /proc/loadavg: 2.00 2.01 2.05 2/181 8191 /proc/meminfo: memFree=32115748/32770624 swapFree=5764/123124 [pid=8191] ppid=8188 vsize=30288 CPUtime=0.09 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 1850 0 0 0 9 0 0 0 20 0 1 0 1810082 31014912 1683 33554432000 4194304 5744392 140723631168704 140723631165352 4916458 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1683 741 379 0 991 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30288 [startup+0.200342 s] /proc/loadavg: 2.00 2.01 2.05 2/181 8191 /proc/meminfo: memFree=32115748/32770624 swapFree=5764/123124 [pid=8191] ppid=8188 vsize=30288 CPUtime=0.19 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 1852 0 0 0 19 0 0 0 20 0 1 0 1810082 31014912 1683 33554432000 4194304 5744392 140723631168704 140723631165352 5127200 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1683 741 379 0 991 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 30288 [startup+0.300314 s] /proc/loadavg: 2.00 2.01 2.05 2/181 8191 /proc/meminfo: memFree=32115748/32770624 swapFree=5764/123124 [pid=8191] ppid=8188 vsize=30288 CPUtime=0.29 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 1852 0 0 0 29 0 0 0 20 0 1 0 1810082 31014912 1683 33554432000 4194304 5744392 140723631168704 140723631165352 4998896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1683 741 379 0 991 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30288 [startup+0.700276 s] /proc/loadavg: 2.00 2.01 2.05 2/181 8191 /proc/meminfo: memFree=32115748/32770624 swapFree=5764/123124 [pid=8191] ppid=8188 vsize=30288 CPUtime=0.69 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 1852 0 0 0 69 0 0 0 20 0 1 0 1810082 31014912 1683 33554432000 4194304 5744392 140723631168704 140723631165352 5118920 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1683 741 379 0 991 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30288 [startup+1.50028 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8192 /proc/meminfo: memFree=32113016/32770624 swapFree=5764/123076 [pid=8191] ppid=8188 vsize=30288 CPUtime=1.49 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 1852 0 0 0 149 0 0 0 20 0 1 0 1810082 31014912 1683 33554432000 4194304 5744392 140723631168704 140723631166104 4918440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1683 741 379 0 991 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30288 [startup+3.10028 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8192 /proc/meminfo: memFree=32112676/32770624 swapFree=5764/123136 [pid=8191] ppid=8188 vsize=30288 CPUtime=3.09 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 2714 0 0 0 309 0 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 5131536 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30288 [startup+6.30027 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8192 /proc/meminfo: memFree=32111828/32770624 swapFree=5764/123136 [pid=8191] ppid=8188 vsize=30288 CPUtime=6.29 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 3066 0 0 0 629 0 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4917369 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30288 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8192 /proc/meminfo: memFree=32111872/32770624 swapFree=5764/123148 [pid=8191] ppid=8188 vsize=30288 CPUtime=12.69 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 3417 0 0 0 1269 0 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4913898 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30288 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8192 /proc/meminfo: memFree=32111880/32770624 swapFree=5764/123164 [pid=8191] ppid=8188 vsize=30288 CPUtime=25.49 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 4119 0 0 0 2549 0 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4917541 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30288 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.05 3/182 8192 /proc/meminfo: memFree=32111880/32770624 swapFree=5764/123192 [pid=8191] ppid=8188 vsize=30288 CPUtime=51.09 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 4470 0 0 0 5109 0 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4913884 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 30288 [startup+102.3 s] /proc/loadavg: 2.04 2.03 2.05 3/182 8200 /proc/meminfo: memFree=32111260/32770624 swapFree=5764/123276 [pid=8191] ppid=8188 vsize=30288 CPUtime=102.3 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 4821 0 0 0 10230 0 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4916473 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 30288 [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 8223 /proc/meminfo: memFree=32109636/32770624 swapFree=5764/123320 [pid=8191] ppid=8188 vsize=30288 CPUtime=162.3 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5172 0 0 0 16230 0 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4917472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 30288 [startup+222.306 s] /proc/loadavg: 2.01 2.02 2.05 3/182 8285 /proc/meminfo: memFree=31629472/32770624 swapFree=5764/123512 [pid=8191] ppid=8188 vsize=30288 CPUtime=222.31 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5523 0 0 0 22231 0 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4998864 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 30288 [startup+282.3 s] /proc/loadavg: 2.06 2.03 2.05 3/182 8286 /proc/meminfo: memFree=31410440/32770624 swapFree=5764/123620 [pid=8191] ppid=8188 vsize=30288 CPUtime=282.31 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5523 0 0 0 28231 0 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4917494 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 30288 [startup+342.3 s] /proc/loadavg: 2.02 2.02 2.05 3/182 8287 /proc/meminfo: memFree=31405308/32770624 swapFree=5764/123696 [pid=8191] ppid=8188 vsize=30288 CPUtime=342.33 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5874 0 0 0 34232 1 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4917525 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 342.33 Current children cumulated vsize (KiB) 30288 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8191 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+358.4 s] /proc/loadavg: 2.02 2.02 2.05 3/182 8287 /proc/meminfo: memFree=31405276/32770624 swapFree=5764/123712 [pid=8191] ppid=8188 vsize=30288 CPUtime=358.43 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5874 0 0 0 35842 1 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4915317 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 358.43 Current children cumulated vsize (KiB) 30288 [startup+371.2 s] /proc/loadavg: 2.01 2.02 2.05 3/182 8288 /proc/meminfo: memFree=31404888/32770624 swapFree=5764/123720 [pid=8191] ppid=8188 vsize=30288 CPUtime=371.23 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5874 0 0 0 37122 1 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4915411 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 371.23 Current children cumulated vsize (KiB) 30288 [startup+377.6 s] /proc/loadavg: 2.01 2.02 2.05 3/182 8288 /proc/meminfo: memFree=31405096/32770624 swapFree=5764/123736 [pid=8191] ppid=8188 vsize=30288 CPUtime=377.63 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5874 0 0 0 37762 1 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4913888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 377.63 Current children cumulated vsize (KiB) 30288 [startup+384.006 s] /proc/loadavg: 2.01 2.02 2.05 3/182 8288 /proc/meminfo: memFree=31405204/32770624 swapFree=5764/123748 [pid=8191] ppid=8188 vsize=30288 CPUtime=384.04 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5874 0 0 0 38403 1 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4914464 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 384.04 Current children cumulated vsize (KiB) 30288 [startup+387.2 s] /proc/loadavg: 2.01 2.02 2.05 3/182 8288 /proc/meminfo: memFree=31405244/32770624 swapFree=5764/123756 [pid=8191] ppid=8188 vsize=30288 CPUtime=387.24 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5874 0 0 0 38723 1 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4916266 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 387.24 Current children cumulated vsize (KiB) 30288 [startup+388.8 s] /proc/loadavg: 2.01 2.02 2.05 3/182 8288 /proc/meminfo: memFree=31405244/32770624 swapFree=5764/123756 [pid=8191] ppid=8188 vsize=30288 CPUtime=388.83 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5874 0 0 0 38882 1 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4914431 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 388.83 Current children cumulated vsize (KiB) 30288 [startup+389.6 s] /proc/loadavg: 2.01 2.02 2.05 3/182 8288 /proc/meminfo: memFree=31405244/32770624 swapFree=5764/123756 [pid=8191] ppid=8188 vsize=30288 CPUtime=389.63 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5874 0 0 0 38962 1 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4913876 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 389.63 Current children cumulated vsize (KiB) 30288 [startup+390 s] /proc/loadavg: 2.01 2.02 2.05 3/182 8288 /proc/meminfo: memFree=31405244/32770624 swapFree=5764/123756 [pid=8191] ppid=8188 vsize=30288 CPUtime=390.03 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5874 0 0 0 39002 1 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 4913888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 390.03 Current children cumulated vsize (KiB) 30288 [startup+390.1 s] /proc/loadavg: 2.01 2.02 2.05 3/182 8288 /proc/meminfo: memFree=31405244/32770624 swapFree=5764/123756 [pid=8191] ppid=8188 vsize=30288 CPUtime=390.13 cores=0,2,4,6 /proc/8191/stat : 8191 (cosoco) R 8188 8191 3742 0 -1 4202496 5874 0 0 0 39012 1 0 0 20 0 1 0 1810082 31014912 1691 33554432000 4194304 5744392 140723631168704 140723631166104 5119015 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 41115648 140723631170753 140723631170883 140723631170883 140723631173582 0 /proc/8191/statm: 7572 1691 748 379 0 991 0 Current children cumulated CPU time (s) 390.13 Current children cumulated vsize (KiB) 30288 Child status: 0 Real time (s): 390.132 CPU time (s): 390.169 CPU user time (s): 390.159 CPU system time (s): 0.01 CPU usage (%): 100.01 Max. virtual memory (cumulated for all children) (KiB): 30288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 390.159 system time used= 0.01 maximum resident set size= 6844 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5914 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= 7 involuntary context switches= 524 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.03334 second user time and 1.31719 second system time The end
Begin job on node107 at 2017-07-24 20:58:26 IDJOB=4252615 IDBENCH=126890 IDSOLVER=2633 FILE ID=node107/4252615-1500922706 RUNJOBID= node107-1500914927-3773 PBS_JOBID= 20625415 Free space on /tmp= 61648 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-100-9-mod.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252615-1500922706/watcher-4252615-1500922706 -o /tmp/evaluation-result-4252615-1500922706/solver-4252615-1500922706 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500914927-3773 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252615-1500922706.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7c58f7127c3e9f5035037c354751c698 RANDOM SEED=136129395 node107.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.15 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.15 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.15 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.15 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: 32116372 kB MemAvailable: 32061056 kB Buffers: 42896 kB Cached: 216292 kB SwapCached: 0 kB Active: 172200 kB Inactive: 131784 kB Active(anon): 47640 kB Inactive(anon): 8660 kB Active(file): 124560 kB Inactive(file): 123124 kB Unevictable: 5764 kB Mlocked: 5764 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2588 kB Writeback: 0 kB AnonPages: 50260 kB Mapped: 29088 kB Shmem: 8848 kB Slab: 50496 kB SReclaimable: 25668 kB SUnreclaim: 24828 kB KernelStack: 3264 kB PageTables: 4668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 286544 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: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61644 MiB End job on node107 at 2017-07-24 21:04:56