Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.1 (2017-07-29) | UNSAT | 384.09399 | 384.19 |
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.17 c root propagations : 0 0.00/0.17 c restarts enabled, print stats at every restarts 0.00/0.17 c 0.00/0.17 c 0.00/0.17 c 0.00/0.17 c This is cosoco 1.1 -- 0.00/0.17 c 0.00/0.17 c command line: cosoco -lc -model -restarts HOME/instance-4260288-1502025918.xml 0.00/0.17 c ========================================[ Problem Statistics ]=========================================== 0.00/0.17 c | 0.00/0.17 c | Parse time : 0.04 s 0.00/0.17 c | 0.00/0.17 c | Variables: 100 0.00/0.17 c | Domain Sizes: 9..9 0.00/0.17 c | 0.00/0.17 c | Constraints: 2450 0.00/0.17 c | Arity: 3..3 -- Ternary: 2450 0.00/0.17 c | 0.00/0.17 c | Types: 0.00/0.17 c | All Different: 2450 0.00/0.17 c | 0.00/0.17 c ========================================================================================================= 0.00/0.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.06/0.24 c 101 252 270290 38050 0 0 6 8 7 0.16/0.31 c 211 530 571344 80688 0 0 6 8 7 0.16/0.39 c 332 834 896033 127433 0 0 6 8 7 0.26/0.48 c 465 1171 1255841 179406 0 0 6 8 7 0.36/0.58 c 611 1539 1645629 235783 0 0 6 8 7 0.56/0.70 c 771 1953 2135538 300877 0 0 6 8 7 0.66/0.83 c 947 2409 2666791 372600 0 0 6 8 7 0.76/0.98 c 1140 2914 3269449 452696 0 0 6 8 7 0.97/1.14 c 1352 3473 3943136 543146 0 0 6 8 7 1.16/1.33 c 1585 4096 4713071 639782 0 0 6 8 7 1.36/1.54 c 1841 4788 5564129 750707 0 0 6 8 7 1.56/1.76 c 2122 5531 6466367 871932 0 0 6 8 7 1.86/2.00 c 2431 6383 7438834 1002196 0 0 6 8 7 2.07/2.27 c 2770 7276 8525187 1143509 0 0 6 8 7 2.36/2.55 c 3142 8250 9660253 1297479 0 0 6 8 7 2.66/2.87 c 3551 9338 10985901 1470332 0 0 6 8 7 3.06/3.22 c 4000 10520 12422345 1658493 0 0 6 8 7 3.46/3.61 c 4493 11832 14009378 1867120 0 0 6 8 7 3.86/4.04 c 5035 13279 15743905 2097410 0 0 6 8 7 4.37/4.51 c 5631 14856 17678042 2343157 0 0 6 8 7 4.86/5.03 c 6286 16592 19767868 2615720 0 0 6 8 7 5.37/5.59 c 7006 18494 22064106 2918353 0 0 6 8 7 6.06/6.21 c 7798 20609 24620737 3253603 0 0 6 8 7 6.76/6.91 c 8669 22959 27439908 3626295 0 0 6 8 7 7.57/7.73 c 9627 25551 30838719 4046212 0 0 6 8 7 8.46/8.68 c 10680 28410 34760521 4515260 0 0 5 8 7 9.56/9.74 c 11838 31579 39123257 5031452 0 0 5 8 7 10.66/10.88 c 13111 35019 43848904 5593345 0 0 6 8 7 11.97/12.10 c 14511 38840 48878505 6216541 0 0 6 8 7 13.36/13.51 c 16051 42986 54719831 6906186 0 0 5 8 7 14.86/15.09 c 17745 47636 61374437 7674975 0 0 4 8 7 16.56/16.73 c 19608 52861 68286515 8516472 0 0 6 8 7 18.46/18.65 c 21657 58632 76415509 9469179 0 0 4 8 7 20.56/20.72 c 23910 65003 85258548 10507732 0 0 4 8 7 22.76/22.96 c 26388 71966 94786872 11642841 0 0 4 8 7 25.27/25.41 c 29113 79550 105151461 12876637 0 0 4 8 7 27.86/28.10 c 32110 87868 116586133 14229642 0 0 5 8 7 30.86/31.01 c 35406 96990 128927119 15721745 0 0 6 8 7 34.17/34.32 c 39031 107095 142912463 17380807 0 0 5 8 7 37.77/37.98 c 43018 118269 158487538 19215767 0 0 4 8 7 41.87/42.08 c 47403 130565 175952348 21245152 0 0 5 8 7 46.37/46.51 c 52226 143930 194776695 23439052 0 0 4 8 7 51.37/51.57 c 57531 158663 216445816 25909414 0 0 4 8 7 56.67/56.87 c 63366 174567 239026401 28557877 0 0 5 8 7 62.57/62.77 c 69784 192315 264107211 31473104 0 0 5 8 7 69.07/69.21 c 76843 211997 291427050 34657086 0 0 5 8 7 76.17/76.33 c 84607 233398 321604756 38210674 0 0 5 8 7 84.47/84.62 c 93147 257103 357055383 42194047 0 0 5 8 7 93.57/93.72 c 102541 283106 396084537 46474380 0 0 4 8 7 103.87/104.04 c 112874 311035 440420592 51311753 0 0 5 8 7 115.27/115.48 c 124240 342500 489438660 56693933 0 0 5 8 7 128.07/128.22 c 136742 377615 544303023 62654090 0 0 4 8 7 142.18/142.39 c 150494 416743 605308000 69284187 0 0 3 8 7 157.88/158.09 c 165621 459311 673143222 76455046 0 0 4 8 7 175.78/175.94 c 182260 506283 750392717 84601064 0 0 3 8 7 194.98/195.17 c 200562 558550 833439354 93494506 1 0 3 8 7 216.08/216.24 c 220694 615251 924080842 103239119 2 0 3 8 7 239.29/239.42 c 242839 676770 1024366120 113765690 3 0 2 8 7 264.39/264.57 c 267198 744976 1132439627 125485283 4 0 3 8 7 295.19/295.37 c 293992 821770 1267678392 139100002 4 0 3 8 7 326.99/327.18 c 323465 903867 1406094397 153538687 6 0 3 8 7 370.30/370.47 c 355885 1003062 1599454745 171435141 7 0 3 8 7 384.00/384.18 c restarts : 62 384.00/384.18 c conflicts : 365169 (951 /sec) 384.00/384.18 c decisions : 1032780 (2689 /sec) 384.00/384.18 c propagations : 177054554 (460969 /sec) 384.00/384.18 c root propagations : 0 384.00/384.18 c filter calls : 1661706030 (4326322 /sec) 384.00/384.18 c useless filter calls : 1499540469 (90 %) 384.00/384.18 c Memory used : 29.59 MB 384.00/384.18 c CPU time : 384.092 s 384.00/384.18 384.00/384.18 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-4260288-1502025918/watcher-4260288-1502025918 -o /tmp/evaluation-result-4260288-1502025918/solver-4260288-1502025918 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502014323-10662 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260288-1502025918.xml pid=13584 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.99 2.01 2.04 3/183 13587 /proc/meminfo: memFree=31596896/32770624 swapFree=0/319184 [pid=13587] ppid=13584 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/13587/stat : 13587 (runsolver) D 13584 13587 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4812800 24240128 106 18446744073709551615 4194304 4338465 140722130823296 140722130820936 140325773017815 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 36061184 140722130825410 140722130825802 140722130825802 140722130829258 0 /proc/13587/statm: 5918 106 53 36 0 2156 0 [startup+0.100234 s] /proc/loadavg: 1.99 2.01 2.04 3/183 13587 /proc/meminfo: memFree=31596896/32770624 swapFree=0/319184 [pid=13587] ppid=13584 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/13587/stat : 13587 (runsolver) D 13584 13587 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4812800 24240128 106 18446744073709551615 4194304 4338465 140722130823296 140722130820936 140325773017815 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 36061184 140722130825410 140722130825802 140722130825802 140722130829258 0 /proc/13587/statm: 5918 106 53 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.201131 s] /proc/loadavg: 1.99 2.01 2.04 3/183 13587 /proc/meminfo: memFree=31596896/32770624 swapFree=0/319184 [pid=13587] ppid=13584 vsize=30292 CPUtime=0.06 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 1856 0 0 0 6 0 0 0 20 0 1 0 4812800 31019008 1683 18446744073709551615 4194304 5747388 140724540040560 140724540038216 4915539 0 0 1 8405026 0 0 0 17 7 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1683 740 380 0 991 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 30292 [startup+0.30113 s] /proc/loadavg: 1.99 2.01 2.04 3/183 13587 /proc/meminfo: memFree=31596896/32770624 swapFree=0/319184 [pid=13587] ppid=13584 vsize=30292 CPUtime=0.16 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 1858 0 0 0 16 0 0 0 20 0 1 0 4812800 31019008 1683 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4873063 0 0 1 8405026 0 0 0 17 7 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1683 740 380 0 991 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 30292 [startup+0.700223 s] /proc/loadavg: 1.99 2.01 2.04 3/183 13587 /proc/meminfo: memFree=31596896/32770624 swapFree=0/319184 [pid=13587] ppid=13584 vsize=30292 CPUtime=0.56 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 1858 0 0 0 56 0 0 0 20 0 1 0 4812800 31019008 1683 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4915024 0 0 1 8405026 0 0 0 17 1 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1683 740 380 0 991 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 30292 [startup+1.50023 s] /proc/loadavg: 1.99 2.01 2.04 3/184 13588 /proc/meminfo: memFree=31593192/32770624 swapFree=0/319336 [pid=13587] ppid=13584 vsize=30292 CPUtime=1.36 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 1858 0 0 0 136 0 0 0 20 0 1 0 4812800 31019008 1683 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4917959 0 0 1 8405026 0 0 0 17 1 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1683 740 380 0 991 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 30292 [startup+3.10023 s] /proc/loadavg: 1.99 2.01 2.04 3/184 13588 /proc/meminfo: memFree=31592820/32770624 swapFree=0/319336 [pid=13587] ppid=13584 vsize=30292 CPUtime=2.96 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 2720 0 0 0 296 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4918669 0 0 1 8405026 0 0 0 17 1 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 2.96 Current children cumulated vsize (KiB) 30292 [startup+6.30022 s] /proc/loadavg: 1.99 2.01 2.04 3/184 13588 /proc/meminfo: memFree=31593044/32770624 swapFree=0/319188 [pid=13587] ppid=13584 vsize=30292 CPUtime=6.16 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 3582 0 0 0 616 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4915712 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 6.16 Current children cumulated vsize (KiB) 30292 [startup+12.7002 s] /proc/loadavg: 1.92 1.99 2.03 3/184 13588 /proc/meminfo: memFree=31592680/32770624 swapFree=0/319200 [pid=13587] ppid=13584 vsize=30292 CPUtime=12.56 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 4444 0 0 0 1256 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4915712 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 30292 [startup+25.5003 s] /proc/loadavg: 1.93 1.99 2.03 3/184 13588 /proc/meminfo: memFree=31592616/32770624 swapFree=0/319208 [pid=13587] ppid=13584 vsize=30292 CPUtime=25.36 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 5663 0 0 0 2536 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4917613 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 25.36 Current children cumulated vsize (KiB) 30292 [startup+51.1003 s] /proc/loadavg: 1.95 1.99 2.03 3/181 13589 /proc/meminfo: memFree=31595812/32770624 swapFree=0/319236 [pid=13587] ppid=13584 vsize=30292 CPUtime=50.97 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 6019 0 0 0 5097 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4917657 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 30292 [startup+102.3 s] /proc/loadavg: 2.02 2.01 2.04 3/181 13591 /proc/meminfo: memFree=31595904/32770624 swapFree=0/319300 [pid=13587] ppid=13584 vsize=30292 CPUtime=102.18 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 6375 0 0 0 10218 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4918665 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 30292 [startup+162.3 s] /proc/loadavg: 2.01 2.01 2.04 3/181 13593 /proc/meminfo: memFree=31596276/32770624 swapFree=0/319352 [pid=13587] ppid=13584 vsize=30292 CPUtime=162.18 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 6731 0 0 0 16218 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4915024 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 30292 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.04 3/181 13595 /proc/meminfo: memFree=31596252/32770624 swapFree=0/319400 [pid=13587] ppid=13584 vsize=30292 CPUtime=222.19 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 7087 0 0 0 22219 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4917609 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 30292 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/180 13597 /proc/meminfo: memFree=31597468/32770624 swapFree=0/319456 [pid=13587] ppid=13584 vsize=30292 CPUtime=282.19 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 7087 0 0 0 28219 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4915712 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 30292 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 13600 /proc/meminfo: memFree=31596400/32770624 swapFree=0/319492 [pid=13587] ppid=13584 vsize=30292 CPUtime=342.19 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 7443 0 0 0 34219 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4918713 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 30292 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13587 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+358.4 s] /proc/loadavg: 2.00 2.01 2.04 3/181 13600 /proc/meminfo: memFree=31596400/32770624 swapFree=0/319500 [pid=13587] ppid=13584 vsize=30292 CPUtime=358.3 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 7443 0 0 0 35830 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4915239 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 358.3 Current children cumulated vsize (KiB) 30292 [startup+371.2 s] /proc/loadavg: 2.00 2.01 2.04 3/181 13601 /proc/meminfo: memFree=31596524/32770624 swapFree=0/319520 [pid=13587] ppid=13584 vsize=30292 CPUtime=371.1 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 7443 0 0 0 37110 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4915239 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 371.1 Current children cumulated vsize (KiB) 30292 [startup+377.6 s] /proc/loadavg: 2.00 2.01 2.04 3/181 13601 /proc/meminfo: memFree=31596656/32770624 swapFree=0/319528 [pid=13587] ppid=13584 vsize=30292 CPUtime=377.5 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 7443 0 0 0 37750 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4915020 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 377.5 Current children cumulated vsize (KiB) 30292 [startup+380.8 s] /proc/loadavg: 2.00 2.01 2.04 3/181 13601 /proc/meminfo: memFree=31596656/32770624 swapFree=0/319528 [pid=13587] ppid=13584 vsize=30292 CPUtime=380.7 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 7443 0 0 0 38070 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4919420 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 380.7 Current children cumulated vsize (KiB) 30292 [startup+382.4 s] /proc/loadavg: 2.00 2.01 2.04 3/181 13601 /proc/meminfo: memFree=31596656/32770624 swapFree=0/319528 [pid=13587] ppid=13584 vsize=30292 CPUtime=382.3 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 7443 0 0 0 38230 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4918665 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 382.3 Current children cumulated vsize (KiB) 30292 [startup+383.2 s] /proc/loadavg: 2.00 2.01 2.04 3/181 13601 /proc/meminfo: memFree=31596656/32770624 swapFree=0/319528 [pid=13587] ppid=13584 vsize=30292 CPUtime=383.1 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 7443 0 0 0 38310 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 5000064 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 383.1 Current children cumulated vsize (KiB) 30292 [startup+383.6 s] /proc/loadavg: 2.00 2.01 2.04 3/181 13601 /proc/meminfo: memFree=31596656/32770624 swapFree=0/319528 [pid=13587] ppid=13584 vsize=30292 CPUtime=383.5 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 7443 0 0 0 38350 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4915810 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 383.5 Current children cumulated vsize (KiB) 30292 [startup+384.005 s] /proc/loadavg: 2.00 2.01 2.04 3/181 13601 /proc/meminfo: memFree=31596656/32770624 swapFree=0/319528 [pid=13587] ppid=13584 vsize=30292 CPUtime=383.9 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 7443 0 0 0 38390 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4915712 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 383.9 Current children cumulated vsize (KiB) 30292 [startup+384.1 s] /proc/loadavg: 2.00 2.01 2.04 3/181 13601 /proc/meminfo: memFree=31596656/32770624 swapFree=0/319528 [pid=13587] ppid=13584 vsize=30292 CPUtime=384 cores=1,3,5,7 /proc/13587/stat : 13587 (cosoco) R 13584 13587 9955 0 -1 4202496 7443 0 0 0 38400 0 0 0 20 0 1 0 4812800 31019008 1699 18446744073709551615 4194304 5747388 140724540040560 140724540037960 4917412 0 0 1 8405026 0 0 0 17 3 0 0 12 0 0 7845728 7850568 15486976 140724540047855 140724540047950 140724540047950 140724540051406 0 /proc/13587/statm: 7573 1699 754 380 0 991 0 Current children cumulated CPU time (s) 384 Current children cumulated vsize (KiB) 30292 Child status: 0 Real time (s): 384.19 CPU time (s): 384.094 CPU user time (s): 384.092 CPU system time (s): 0.002 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 30292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 384.092 system time used= 0.002 maximum resident set size= 6872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7482 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= 11 involuntary context switches= 104 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.832491 second user time and 1.32118 second system time The end
Begin job on node125 at 2017-08-06 15:11:15 IDJOB=4260288 IDBENCH=126890 IDSOLVER=2647 FILE ID=node125/4260288-1502025918 RUNJOBID= node125-1502014323-10662 PBS_JOBID= Free space on /tmp= 61996 MiB SOLVER NAME= cosoco-mini 1.1 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-4260288-1502025918/watcher-4260288-1502025918 -o /tmp/evaluation-result-4260288-1502025918/solver-4260288-1502025918 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502014323-10662 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260288-1502025918.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4f03c112a8f6a228f13fa4574ba8a054 RANDOM SEED=1400431156 node125.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.07 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.07 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.07 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.07 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: 31597192 kB MemAvailable: 31856940 kB Buffers: 109316 kB Cached: 431864 kB SwapCached: 0 kB Active: 440000 kB Inactive: 327716 kB Active(anon): 226724 kB Inactive(anon): 8532 kB Active(file): 213276 kB Inactive(file): 319184 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1972 kB Writeback: 0 kB AnonPages: 226144 kB Mapped: 32024 kB Shmem: 8868 kB Slab: 110444 kB SReclaimable: 86244 kB SUnreclaim: 24200 kB KernelStack: 3216 kB PageTables: 5552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 474336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61996 MiB End job on node125 at 2017-08-06 15:17:40