Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.12 | UNSAT | 384.14801 | 384.315 |
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.02/0.12 c root propagations : 0 0.02/0.12 c restarts enabled, print stats at every restarts 0.02/0.12 c 0.02/0.12 c 0.02/0.12 c 0.02/0.12 c This is cosoco 1.12 -- 0.02/0.12 c 0.02/0.12 c command line: cosoco -lc -model -restarts HOME/instance-4267469-1502607229.xml 0.02/0.12 c ========================================[ Problem Statistics ]=========================================== 0.02/0.12 c | 0.02/0.12 c | Parse time : 0.04 s 0.02/0.12 c | 0.02/0.12 c | Variables: 100 0.02/0.12 c | Domain Sizes: 9..9 0.02/0.12 c | 0.02/0.12 c | Constraints: 2450 0.02/0.12 c | Arity: 3..3 -- Ternary: 2450 0.02/0.12 c | 0.02/0.12 c | Types: 0.02/0.12 c | All Different: 2450 0.02/0.12 c | 0.02/0.12 c ========================================================================================================= 0.02/0.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.02/0.19 c 101 252 270290 38050 0 0 6 8 7 0.12/0.26 c 211 530 571344 80688 0 0 6 8 7 0.22/0.35 c 332 834 896033 127433 0 0 6 8 7 0.32/0.43 c 465 1171 1255841 179406 0 0 6 8 7 0.42/0.53 c 611 1539 1645629 235783 0 0 6 8 7 0.52/0.65 c 771 1953 2135538 300877 0 0 6 8 7 0.61/0.78 c 947 2409 2666791 372600 0 0 6 8 7 0.81/0.93 c 1140 2914 3269449 452696 0 0 6 8 7 0.91/1.10 c 1352 3473 3943136 543146 0 0 6 8 7 1.11/1.28 c 1585 4096 4713071 639782 0 0 6 8 7 1.31/1.49 c 1841 4788 5564129 750707 0 0 6 8 7 1.61/1.71 c 2122 5531 6466367 871932 0 0 6 8 7 1.81/1.95 c 2431 6383 7438834 1002196 0 0 6 8 7 2.11/2.22 c 2770 7276 8525187 1143509 0 0 6 8 7 2.31/2.50 c 3142 8250 9660253 1297479 0 0 6 8 7 2.71/2.82 c 3551 9338 10985901 1470332 0 0 6 8 7 3.01/3.17 c 4000 10520 12422345 1658493 0 0 6 8 7 3.41/3.56 c 4493 11832 14009378 1867120 0 0 6 8 7 3.81/3.98 c 5035 13279 15743905 2097410 0 0 6 8 7 4.30/4.46 c 5631 14856 17678042 2343157 0 0 6 8 7 4.80/4.97 c 6286 16592 19767868 2615720 0 0 6 8 7 5.40/5.53 c 7006 18494 22064106 2918353 0 0 6 8 7 6.01/6.15 c 7798 20609 24620737 3253603 0 0 6 8 7 6.70/6.85 c 8669 22959 27439908 3626295 0 0 6 8 7 7.50/7.67 c 9627 25551 30838719 4046212 0 0 6 8 7 8.50/8.62 c 10680 28410 34760521 4515260 0 0 5 8 7 9.50/9.67 c 11838 31579 39123257 5031452 0 0 5 8 7 10.70/10.81 c 13111 35019 43848904 5593345 0 0 6 8 7 11.91/12.03 c 14511 38840 48878505 6216541 0 0 6 8 7 13.30/13.44 c 16051 42986 54719831 6906186 0 0 5 8 7 14.91/15.03 c 17745 47636 61374437 7674975 0 0 4 8 7 16.60/16.71 c 19608 52861 68286515 8516472 0 0 6 8 7 18.50/18.67 c 21657 58632 76415509 9469179 0 0 4 8 7 20.60/20.79 c 23910 65003 85258548 10507732 0 0 4 8 7 22.91/23.08 c 26388 71966 94786872 11642841 0 0 4 8 7 25.40/25.54 c 29113 79550 105151461 12876637 0 0 4 8 7 28.10/28.23 c 32110 87868 116586133 14229642 0 0 5 8 7 31.00/31.14 c 35406 96990 128927119 15721745 0 0 6 8 7 34.30/34.44 c 39031 107095 142912463 17380807 0 0 5 8 7 38.00/38.11 c 43018 118269 158487538 19215767 0 0 4 8 7 42.09/42.20 c 47403 130565 175952348 21245152 0 0 5 8 7 46.49/46.63 c 52226 143930 194776695 23439052 0 0 4 8 7 51.49/51.69 c 57531 158663 216445816 25909414 0 0 4 8 7 56.79/56.99 c 63366 174567 239026401 28557877 0 0 5 8 7 62.69/62.89 c 69784 192315 264107211 31473104 0 0 5 8 7 69.19/69.31 c 76843 211997 291427050 34657086 0 0 5 8 7 76.29/76.43 c 84607 233398 321604756 38210674 0 0 5 8 7 84.58/84.72 c 93147 257103 357055383 42194047 0 0 5 8 7 93.68/93.82 c 102541 283106 396084537 46474380 0 0 4 8 7 103.99/104.13 c 112874 311035 440420592 51311753 0 0 5 8 7 115.38/115.57 c 124240 342500 489438660 56693933 0 0 5 8 7 128.18/128.31 c 136742 377615 544303023 62654090 0 0 4 8 7 142.27/142.48 c 150494 416743 605308000 69284187 0 0 3 8 7 157.98/158.18 c 165621 459311 673143222 76455046 0 0 4 8 7 175.87/176.03 c 182260 506283 750392717 84601064 0 0 3 8 7 195.06/195.25 c 200562 558550 833439354 93494506 1 0 3 8 7 216.16/216.32 c 220694 615251 924080842 103239119 2 0 3 8 7 239.25/239.49 c 242839 676770 1024366120 113765690 3 0 2 8 7 264.45/264.64 c 267198 744976 1132439627 125485283 4 0 3 8 7 295.24/295.44 c 293992 821770 1267678392 139100002 4 0 3 8 7 327.03/327.26 c 323465 903867 1406094397 153538687 6 0 3 8 7 370.32/370.58 c 355885 1003062 1599454745 171435141 7 0 3 8 7 384.12/384.31 c restarts : 62 384.12/384.31 c conflicts : 365169 (951 /sec) 384.12/384.31 c decisions : 1032780 (2689 /sec) 384.12/384.31 c propagations : 177054554 (460911 /sec) 384.12/384.31 c root propagations : 0 384.12/384.31 c filter calls : 1661706030 (4325773 /sec) 384.12/384.31 c useless filter calls : 1499540469 (90 %) 384.12/384.31 c Memory used : 29.59 MB 384.12/384.31 c CPU time : 384.141 s 384.12/384.31 384.12/384.31 s UNSATISFIABLE
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15441 MiB free) memory of node 1: 16384 MiB (15639 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267469-1502607229/watcher-4267469-1502607229 -o /tmp/evaluation-result-4267469-1502607229/solver-4267469-1502607229 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9624 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267469-1502607229.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 Current StackSize limit: 8192 KiB solver pid=11389, runsolver pid=11386 [startup+0.100196 s]* /proc/loadavg: 2.10 2.10 2.08 3/185 11390 /proc/meminfo: memFree=31827112/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=26908 memory=3300 CPUtime=0.02 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 989 0 0 0 2 0 0 0 20 0 1 0 108229303 27553792 825 18446744073709551615 4194304 5748600 140732353390496 140732353387144 5299917 0 0 1 0 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 6727 825 704 380 0 145 0 Current children cumulated CPU time: 0.02 s Current children cumulated vsize: 26908 KiB Current children cumulated memory: 3300 KiB [startup+0.209387 s]* /proc/loadavg: 2.10 2.10 2.08 3/185 11390 /proc/meminfo: memFree=31824700/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6732 CPUtime=0.12 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 1860 0 0 0 12 0 0 0 20 0 1 0 108229303 31019008 1683 18446744073709551615 4194304 5748600 140732353390496 140732353387144 4919080 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1683 740 380 0 991 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6732 KiB [startup+0.309411 s]* /proc/loadavg: 2.10 2.10 2.08 3/185 11390 /proc/meminfo: memFree=31824700/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6732 CPUtime=0.22 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 1860 0 0 0 22 0 0 0 20 0 1 0 108229303 31019008 1683 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4918957 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1683 740 380 0 991 0 Current children cumulated CPU time: 0.22 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6732 KiB [startup+0.700336 s] /proc/loadavg: 2.10 2.10 2.08 3/185 11390 /proc/meminfo: memFree=31824700/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6732 CPUtime=0.61 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 1860 0 0 0 61 0 0 0 20 0 1 0 108229303 31019008 1683 18446744073709551615 4194304 5748600 140732353390496 140732353387896 5122488 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1683 740 380 0 991 0 Current children cumulated CPU time: 0.61 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6732 KiB [startup+1.50034 s] /proc/loadavg: 2.10 2.10 2.08 3/185 11390 /proc/meminfo: memFree=31824592/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6732 CPUtime=1.41 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 1860 0 0 0 141 0 0 0 20 0 1 0 108229303 31019008 1683 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4916640 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1683 740 380 0 991 0 Current children cumulated CPU time: 1.41 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6732 KiB [startup+3.10913 s] /proc/loadavg: 2.10 2.10 2.08 3/185 11390 /proc/meminfo: memFree=31824596/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=3.01 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 2722 0 0 0 301 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4915888 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 3.01 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+6.30023 s] /proc/loadavg: 2.09 2.10 2.07 3/185 11390 /proc/meminfo: memFree=31824256/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=6.2 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 3584 0 0 0 620 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4918998 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 6.2 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+12.7003 s] /proc/loadavg: 2.08 2.10 2.07 3/188 11404 /proc/meminfo: memFree=31820104/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=12.6 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 4446 0 0 0 1260 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4918291 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 12.6 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+25.5003 s] /proc/loadavg: 2.06 2.09 2.07 3/188 11404 /proc/meminfo: memFree=31818924/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=25.4 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 6159 0 0 0 2540 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4915336 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 25.4 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+51.1092 s] /proc/loadavg: 2.04 2.08 2.07 3/187 11404 /proc/meminfo: memFree=31820124/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=51 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 6522 0 0 0 5100 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4915312 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 51 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+102.3 s] /proc/loadavg: 2.02 2.07 2.07 3/187 11406 /proc/meminfo: memFree=31819732/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=102.18 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 6873 0 0 0 10218 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 5122488 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 102.18 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+162.3 s] /proc/loadavg: 2.01 2.06 2.06 3/185 11409 /proc/meminfo: memFree=31822616/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=162.17 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 7224 0 0 0 16217 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 5122488 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 162.17 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.05 2.05 3/185 11411 /proc/meminfo: memFree=31822740/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=222.16 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 7575 0 0 0 22216 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 5122583 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 222.16 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.05 3/186 11414 /proc/meminfo: memFree=31822972/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=282.14 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 7926 0 0 0 28214 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4918941 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 282.14 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+342.3 s] /proc/loadavg: 2.07 2.06 2.05 3/186 11416 /proc/meminfo: memFree=31823096/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=342.13 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 8277 0 0 0 34213 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4915855 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 342.13 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+384.315 s] # the end of solver process 11389 was just reported to runsolver # cumulated CPU time of all completed processes: user=384.141 s, system=0.006998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+358.4 s] /proc/loadavg: 2.05 2.06 2.05 3/186 11417 /proc/meminfo: memFree=31823460/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=358.23 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 8616 0 0 0 35823 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4917964 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 358.23 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+371.2 s] /proc/loadavg: 2.04 2.06 2.05 3/186 11418 /proc/meminfo: memFree=31823184/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=371.02 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 8628 0 0 0 37102 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4915300 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 371.02 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+377.6 s] /proc/loadavg: 2.04 2.06 2.05 3/186 11418 /proc/meminfo: memFree=31823184/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=377.42 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 8628 0 0 0 37742 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4919087 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 377.42 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+380.8 s] /proc/loadavg: 2.04 2.05 2.05 3/186 11418 /proc/meminfo: memFree=31823184/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=380.62 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 8628 0 0 0 38062 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4915351 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 380.62 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+382.4 s] /proc/loadavg: 2.04 2.05 2.05 3/186 11418 /proc/meminfo: memFree=31823308/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=382.22 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 8628 0 0 0 38222 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4918799 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 382.22 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+383.2 s] /proc/loadavg: 2.04 2.05 2.05 3/186 11418 /proc/meminfo: memFree=31823308/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=383.02 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 8628 0 0 0 38302 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4915322 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 383.02 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+384 s]* /proc/loadavg: 2.03 2.05 2.05 3/186 11418 /proc/meminfo: memFree=31823308/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=383.83 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 8628 0 0 0 38383 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4915636 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 383.83 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+384.2 s] /proc/loadavg: 2.03 2.05 2.05 3/186 11418 /proc/meminfo: memFree=31823308/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=384.02 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 8628 0 0 0 38402 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 4918288 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 384.02 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB [startup+384.3 s] /proc/loadavg: 2.03 2.05 2.05 3/186 11418 /proc/meminfo: memFree=31823308/32770624 swapFree=67108764/67108860 [pid=11389] ppid=11386 vsize=30292 memory=6792 CPUtime=384.12 cores=0,2,4,6 /proc/11389/stat : 11389 (cosoco) R 11386 11389 4674 0 -1 4202496 8628 0 0 0 38412 0 0 0 20 0 1 0 108229303 31019008 1698 18446744073709551615 4194304 5748600 140732353390496 140732353387896 5122488 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 9605120 140732353397193 140732353397288 140732353397288 140732353400782 0 /proc/11389/statm: 7573 1698 754 380 0 991 0 Current children cumulated CPU time: 384.12 s Current children cumulated vsize: 30292 KiB Current children cumulated memory: 6792 KiB Child status: 0 Real time (s): 384.315 CPU time (s): 384.148 CPU user time (s): 384.141 CPU system time (s): 0.006998 CPU usage (%): 99.9567 Max. virtual memory (cumulated for all children) (KiB): 30292 Max. memory (cumulated for all children) (KiB): 6792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 384.141 system time used= 0.006998 maximum resident set size= 6868 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8667 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= 10 involuntary context switches= 2019 # summary of solver processes directly reported to runsolver: # pid: 11389 # total CPU time (s): 384.148 # total CPU user time (s): 384.141 # total CPU system time (s): 0.006998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.53232 second user time and 2.44224 second system time The end
Begin job on node134 at 2017-08-13 08:39:54 IDJOB=4267469 IDBENCH=126890 IDSOLVER=2657 FILE ID=node134/4267469-1502607229 RUNJOBID= node134-1502596287-9624 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-mini 1.12 BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-mod-100-9.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267469-1502607229/watcher-4267469-1502607229 -o /tmp/evaluation-result-4267469-1502607229/solver-4267469-1502607229 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9624 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267469-1502607229.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4f03c112a8f6a228f13fa4574ba8a054 RANDOM SEED=1785512771 node134.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.43 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.43 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.43 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.43 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: 31827676 kB MemAvailable: 31966828 kB Buffers: 215712 kB Cached: 216932 kB SwapCached: 4 kB Active: 351360 kB Inactive: 141356 kB Active(anon): 7096 kB Inactive(anon): 94540 kB Active(file): 344264 kB Inactive(file): 46816 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 1984 kB Writeback: 0 kB AnonPages: 59812 kB Mapped: 56796 kB Shmem: 41564 kB Slab: 154372 kB SReclaimable: 127816 kB SUnreclaim: 26556 kB KernelStack: 3280 kB PageTables: 4992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 342340 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-13 08:46:19