Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | UNSAT | 554.703 | 554.664 |
Name | Random/Random-m1-10-60-20/ rand-10-60-20-30-51200-43.xml |
MD5SUM | b8d48d817bcc13bb1c11a01b9e9dbb1a |
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 | 13.5942 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 30 |
Number of domains | 1 |
Minimum domain size | 20 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":20,"count":60}] |
Minimum variable degree | 1 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":3},{"degree":3,"count":8},{"degree":4,"count":14},{"degree":5,"count":10},{"degree":6,"count":12},{"degree":7,"count":6},{"degree":8,"count":5},{"degree":9,"count":1}] |
Minimum constraint arity | 10 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":10,"count":30}] |
Number of extensional constraints | 30 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":30}] |
Optimization problem | NO |
Type of objective |
16.89/16.92 c root propagations : 0 16.89/16.92 c restarts enabled, print stats at every restarts 16.89/16.92 c 16.89/16.92 c 16.89/16.92 c 16.89/16.92 c This is cosoco 2.00 -- 16.89/16.92 c 16.89/16.92 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397405-1568573109.xml 16.89/16.92 c ========================================[ Problem Statistics ]=========================================== 16.89/16.92 c | 16.89/16.92 c | Parse time : 16.78 s 16.89/16.92 c | 16.89/16.92 c | Variables: 60 16.89/16.92 c | Domain Sizes: 20..20 16.89/16.92 c | 16.89/16.92 c | Constraints: 30 16.89/16.92 c | Arity: 10..10 16.89/16.92 c | 16.89/16.92 c | Types: 16.89/16.92 c | Extension: 30 (nb tuples: 51200..51200) -- (shared: 0) 16.89/16.92 c | 16.89/16.92 c ========================================================================================================= 16.89/16.92 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 19.59/19.69 c 101 110 2602 39331 0 0 5 5 4 23.59/23.65 c 211 227 5460 85180 0 0 3 3 2 29.59/29.60 c 332 356 9159 134453 0 0 3 3 2 36.00/36.03 c 465 498 12963 185160 0 0 3 3 2 42.30/42.37 c 611 654 16994 244580 0 0 3 3 2 48.79/48.87 c 771 824 21208 312330 0 0 3 3 2 56.39/56.47 c 947 1011 25996 383368 0 0 3 3 2 65.59/65.69 c 1140 1217 32100 459051 0 0 3 4 2 75.89/75.96 c 1352 1442 38006 544851 0 0 3 3 2 87.49/87.51 c 1585 1690 45133 636755 0 0 3 3 2 98.39/98.46 c 1841 1962 51897 740113 0 0 3 3 2 111.49/111.51 c 2122 2261 60497 847869 0 0 3 4 2 126.01/126.08 c 2431 2589 69234 975591 0 0 3 3 2 141.40/141.48 c 2770 2949 79562 1109340 0 0 3 4 2 158.40/158.41 c 3142 3345 90297 1265500 1 0 3 3 2 177.01/177.04 c 3551 3779 102615 1426519 2 0 3 3 2 197.11/197.13 c 4000 4258 116423 1601573 3 0 3 4 2 220.80/220.87 c 4493 4783 131196 1798407 4 0 3 3 2 243.01/243.08 c 5035 5363 146428 2009063 4 0 3 4 3 269.91/269.95 c 5631 5999 165408 2233408 4 0 3 4 3 299.91/299.99 c 6286 6700 185337 2498983 4 0 3 3 2 329.71/329.73 c 7006 7469 206092 2772839 4 0 3 3 2 364.31/364.30 c 7798 8320 230036 3082682 4 0 3 3 2 406.22/406.24 c 8669 9260 260121 3386182 4 0 3 3 2 452.92/452.93 c 9627 10299 293821 3735531 4 0 3 3 2 506.33/506.30 c 10680 11452 332492 4105388 4 0 3 3 2 554.63/554.66 s UNSATISFIABLE 554.63/554.66 c restarts : 26 554.63/554.66 c conflicts : 11599 (21 /sec) 554.63/554.66 c decisions : 12475 (22 /sec) 554.63/554.66 c propagations : 4430385 (7989 /sec) 554.63/554.66 c root propagations : 0 554.63/554.66 c filter calls : 368261 (664 /sec) 554.63/554.66 c useless filter calls : 256854 (69 %) 554.63/554.66 c Memory used : 134.30 MB 554.63/554.66 c CPU time : 554.568 s 554.63/554.66 c real time : 554.658 s 554.63/554.66
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: 16375 MiB (14456 MiB free) memory of node 1: 16384 MiB (15487 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397405-1568573109/watcher-4397405-1568573109 -o /tmp/evaluation-result-4397405-1568573109/solver-4397405-1568573109 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397405-1568573109.xml running on 4 cores: 0-3 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=17250, runsolver pid=17247 [startup+0.100155 s]* /proc/loadavg: 2.03 1.37 0.64 3/202 17251 /proc/meminfo: memFree=30661460/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=28092 memory=4180 CPUtime=0.1 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 1282 0 0 0 10 0 0 0 20 0 1 0 433252688 28766208 1045 33554432000 4194304 6211092 140723121643200 140723121639736 5743377 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 7023 1045 803 493 0 328 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28092 KiB Current children cumulated memory: 4180 KiB [startup+0.210857 s]* /proc/loadavg: 2.03 1.37 0.64 3/202 17251 /proc/meminfo: memFree=30660716/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=29004 memory=5016 CPUtime=0.21 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 1562 0 0 0 21 0 0 0 20 0 1 0 433252688 29700096 1254 33554432000 4194304 6211092 140723121643200 140723121639736 5484862 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 7251 1254 803 493 0 556 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 29004 KiB Current children cumulated memory: 5016 KiB [startup+0.310357 s]* /proc/loadavg: 2.03 1.37 0.64 3/202 17251 /proc/meminfo: memFree=30660344/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=29400 memory=5544 CPUtime=0.31 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 1726 0 0 0 31 0 0 0 20 0 1 0 433252688 30105600 1386 33554432000 4194304 6211092 140723121643200 140723121639736 140130399177701 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 7350 1386 803 493 0 655 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 29400 KiB Current children cumulated memory: 5544 KiB [startup+0.700358 s] /proc/loadavg: 2.03 1.37 0.64 3/202 17251 /proc/meminfo: memFree=30659052/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=35340 memory=11624 CPUtime=0.68 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 3909 0 0 0 68 0 0 0 20 0 1 0 433252688 36188160 2906 33554432000 4194304 6211092 140723121643200 140723121639736 5484846 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 8835 2906 808 493 0 2140 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 35340 KiB Current children cumulated memory: 11624 KiB [startup+1.50031 s] /proc/loadavg: 2.03 1.37 0.64 3/202 17251 /proc/meminfo: memFree=30654832/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=40856 memory=16900 CPUtime=1.49 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 5293 0 0 0 148 1 0 0 20 0 1 0 433252688 41836544 4225 33554432000 4194304 6211092 140723121643200 140723121640472 5484872 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 10214 4225 808 493 0 3519 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 40856 KiB Current children cumulated memory: 16900 KiB [startup+3.11098 s] /proc/loadavg: 2.03 1.37 0.64 3/203 17253 /proc/meminfo: memFree=30640028/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=50620 memory=26784 CPUtime=3.1 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 7909 0 0 0 309 1 0 0 20 0 1 0 433252688 51834880 6696 33554432000 4194304 6211092 140723121643200 140723121640472 140130399176236 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 12655 6696 808 493 0 5960 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 50620 KiB Current children cumulated memory: 26784 KiB [startup+6.30035 s] /proc/loadavg: 2.11 1.40 0.65 3/202 17253 /proc/meminfo: memFree=30623492/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=70148 memory=45968 CPUtime=6.29 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 16072 0 0 0 626 3 0 0 20 0 1 0 433252688 71831552 11492 33554432000 4194304 6211092 140723121643200 140723121640472 5817108 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 17537 11492 808 493 0 10842 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 70148 KiB Current children cumulated memory: 45968 KiB [startup+12.7003 s] /proc/loadavg: 2.10 1.41 0.66 3/202 17253 /proc/meminfo: memFree=30588028/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=105952 memory=81276 CPUtime=12.69 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 26756 0 0 0 1265 4 0 0 20 0 1 0 433252688 108494848 20319 33554432000 4194304 6211092 140723121643200 140723121640472 5483334 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 26488 20319 809 493 0 19793 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 105952 KiB Current children cumulated memory: 81276 KiB [startup+25.5004 s] /proc/loadavg: 2.08 1.43 0.68 3/202 17253 /proc/meminfo: memFree=30553772/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=112516 CPUtime=25.49 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 83187 0 0 0 2540 9 0 0 20 0 1 0 433252688 140816384 28129 33554432000 4194304 6211092 140723121643200 140723121641160 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28129 855 493 0 27684 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 112516 KiB [startup+51.111 s] /proc/loadavg: 2.05 1.48 0.72 3/201 17256 /proc/meminfo: memFree=30552408/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=112516 CPUtime=51.1 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 110615 0 0 0 5099 11 0 0 20 0 1 0 433252688 140816384 28129 33554432000 4194304 6211092 140723121643200 140723121641160 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28129 855 493 0 27684 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 112516 KiB [startup+102.3 s] /proc/loadavg: 2.02 1.56 0.78 3/200 17259 /proc/meminfo: memFree=30552056/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=112764 CPUtime=102.29 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 137713 0 0 0 10217 12 0 0 20 0 1 0 433252688 140816384 28191 33554432000 4194304 6211092 140723121643200 140723121641160 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28191 855 493 0 27684 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 112764 KiB [startup+162.3 s] /proc/loadavg: 2.01 1.64 0.86 3/200 17263 /proc/meminfo: memFree=30551140/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=162.3 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 150804 0 0 0 16217 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5039054 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.71 0.93 3/200 17267 /proc/meminfo: memFree=30551584/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=222.3 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 151791 0 0 0 22217 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5038947 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 222.3 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+282.3 s] /proc/loadavg: 2.00 1.76 1.00 3/200 17273 /proc/meminfo: memFree=30551388/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=282.31 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 151791 0 0 0 28218 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.80 1.06 3/199 17284 /proc/meminfo: memFree=30550600/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=342.31 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 152716 0 0 0 34218 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 342.31 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.84 1.12 3/199 17288 /proc/meminfo: memFree=30551052/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=402.32 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 152716 0 0 0 40219 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+462.3 s] /proc/loadavg: 2.05 1.88 1.18 3/199 17294 /proc/meminfo: memFree=30550520/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=462.32 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 153538 0 0 0 46219 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 462.32 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+522.3 s] /proc/loadavg: 2.02 1.90 1.23 3/199 17298 /proc/meminfo: memFree=30551048/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=522.33 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 153538 0 0 0 52220 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 522.33 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+554.664 s] # the end of solver process 17250 was just reported to runsolver # cumulated CPU time of all completed processes: user=554.568 s, system=0.135011 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+537.6 s] /proc/loadavg: 2.01 1.91 1.24 3/199 17299 /proc/meminfo: memFree=30551204/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=537.63 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 154032 0 0 0 53750 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 537.63 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+544 s]* /proc/loadavg: 2.01 1.91 1.25 3/199 17302 /proc/meminfo: memFree=30551008/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=544.04 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 154227 0 0 0 54391 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5038944 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 544.04 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+550.4 s] /proc/loadavg: 2.01 1.91 1.25 3/199 17302 /proc/meminfo: memFree=30551008/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=550.43 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 154227 0 0 0 55030 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5037868 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 550.43 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+552 s]* /proc/loadavg: 2.01 1.91 1.25 3/199 17302 /proc/meminfo: memFree=30551008/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=552.04 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 154227 0 0 0 55191 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5038999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 552.04 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+553.6 s] /proc/loadavg: 2.01 1.91 1.25 3/199 17302 /proc/meminfo: memFree=30551008/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=553.63 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 154227 0 0 0 55350 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5039029 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 553.63 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+554.4 s] /proc/loadavg: 2.01 1.91 1.25 3/199 17302 /proc/meminfo: memFree=30551008/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=554.43 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 154227 0 0 0 55430 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5038990 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 554.43 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB [startup+554.6 s] /proc/loadavg: 2.01 1.91 1.25 3/199 17302 /proc/meminfo: memFree=30551008/32770688 swapFree=66961172/67108860 [pid=17250] ppid=17247 vsize=137516 memory=113948 CPUtime=554.63 cores=0-3 /proc/17250/stat : 17250 (cosoco) R 17247 17250 16726 0 -1 4202496 154227 0 0 0 55450 13 0 0 20 0 1 0 433252688 140816384 28487 33554432000 4194304 6211092 140723121643200 140723121641160 5039014 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8822784 140723121648651 140723121648753 140723121648753 140723121651662 0 /proc/17250/statm: 34379 28487 855 493 0 27684 0 Current children cumulated CPU time: 554.63 s Current children cumulated vsize: 137516 KiB Current children cumulated memory: 113948 KiB Child status: 0 Real time (s): 554.664 CPU time (s): 554.703 CPU user time (s): 554.568 CPU system time (s): 0.135011 CPU usage (%): 100.007 Max. virtual memory (cumulated for all children) (KiB): 137516 Max. memory (cumulated for all children) (KiB): 113948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 554.568 system time used= 0.135011 maximum resident set size= 114012 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154276 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= 28 involuntary context switches= 151 # summary of solver processes directly reported to runsolver: # pid: 17250 # total CPU time (s): 554.703 # total CPU user time (s): 554.568 # total CPU system time (s): 0.135011 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.55518 second user time and 4.48111 second system time The end
Begin job on node116 at 2019-09-15 20:44:29 IDJOB=4397405 IDBENCH=121853 IDSOLVER=2849 FILE ID=node116/4397405-1568573109 RUNJOBID= node116-1568572744-16757 PBS_JOBID= 21703332 Free space on /tmp= 61192 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Random/Random-m1-10-60-20/rand-10-60-20-30-51200-43.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397405-1568573109/watcher-4397405-1568573109 -o /tmp/evaluation-result-4397405-1568573109/solver-4397405-1568573109 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397405-1568573109.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b8d48d817bcc13bb1c11a01b9e9dbb1a RANDOM SEED=420041215 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30663292 kB MemAvailable: 31771480 kB Buffers: 105332 kB Cached: 1297352 kB SwapCached: 46624 kB Active: 1044236 kB Inactive: 487312 kB Active(anon): 82872 kB Inactive(anon): 94984 kB Active(file): 961364 kB Inactive(file): 392328 kB Unevictable: 110604 kB Mlocked: 110604 kB SwapTotal: 67108860 kB SwapFree: 66961172 kB Dirty: 41736 kB Writeback: 0 kB AnonPages: 194288 kB Mapped: 48088 kB Shmem: 40256 kB Slab: 169124 kB SReclaimable: 140660 kB SUnreclaim: 28464 kB KernelStack: 3520 kB PageTables: 5868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 614320 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 145408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61188 MiB End job on node116 at 2019-09-15 20:53:44