Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
borg-pb 10.05.30 | UNSAT | 188.928 | 176.145 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb |
MD5SUM | 23d2095f3ee13b7452c309e9137df723 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
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 | 188.928 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 649 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.16/1.52 c DEBUG: probabilities of action success (DCM model): 1.16/1.52 c pb/competition_2010/bsolo_pb10-l1 : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331 1.16/1.52 c pb/competition_2010/bsolo_pb10-l2 : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493 1.16/1.52 c pb/competition_2010/bsolo_pb10-l3 : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927 1.16/1.52 c pb/competition_2010/wbo1.4a : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114 1.16/1.52 c pb/competition_2010/wbo1.4b : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796 1.16/1.52 c pb/other/clasp-1.3.3 : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586 1.16/1.52 c pb/other/sat4j-pb-v20090829 : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315 1.16/1.52 c pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110 1.16/1.55 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1555384332', u'HOME/instance-2676149-1277134602.opb'] for 0:00:10 12.31/11.94 c DEBUG: probabilities of action success (DCM model): 12.31/11.94 c pb/competition_2010/bsolo_pb10-l1 : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203 12.31/11.94 c pb/competition_2010/bsolo_pb10-l2 : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839 12.31/11.94 c pb/competition_2010/bsolo_pb10-l3 : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668 12.31/11.94 c pb/competition_2010/wbo1.4a : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920 12.31/11.94 c pb/competition_2010/wbo1.4b : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713 12.31/11.94 c pb/other/clasp-1.3.3 : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405 12.31/11.94 c pb/other/sat4j-pb-v20090829 : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733 12.31/11.94 c pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874 12.31/11.94 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1243390957', u'HOME/instance-2676149-1277134602.opb'] for 0:00:50 66.40/62.43 c DEBUG: probabilities of action success (DCM model): 66.40/62.43 c pb/competition_2010/bsolo_pb10-l1 : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502 66.40/62.43 c pb/competition_2010/bsolo_pb10-l2 : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606 66.40/62.43 c pb/competition_2010/bsolo_pb10-l3 : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877 66.40/62.43 c pb/competition_2010/wbo1.4a : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608 66.40/62.43 c pb/competition_2010/wbo1.4b : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592 66.40/62.43 c pb/other/clasp-1.3.3 : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135 66.40/62.43 c pb/other/sat4j-pb-v20090829 : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124 66.40/62.43 c pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541 66.40/62.43 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676149-1277134602.opb'] for 0:00:50 121.64/113.64 c DEBUG: probabilities of action success (DCM model): 121.64/113.64 c pb/competition_2010/bsolo_pb10-l1 : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900 121.64/113.64 c pb/competition_2010/bsolo_pb10-l2 : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225 121.64/113.64 c pb/competition_2010/bsolo_pb10-l3 : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184 121.64/113.64 c pb/competition_2010/wbo1.4a : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342 121.64/113.64 c pb/competition_2010/wbo1.4b : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401 121.64/113.64 c pb/other/clasp-1.3.3 : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027 121.64/113.64 c pb/other/sat4j-pb-v20090829 : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982 121.64/113.64 c pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127 121.64/113.64 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=171240406', u'HOME/instance-2676149-1277134602.opb'] for 0:01:40 188.77/176.07 s UNSATISFIABLE
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2676149-1277134602/watcher-2676149-1277134602 -o /tmp/evaluation-result-2676149-1277134602/solver-2676149-1277134602 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676149-1277134602.opb 2008663915 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.49 0.48 0.69 2/106 10304 /proc/meminfo: memFree=1527032/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=16708 CPUtime=0 /proc/10304/stat : 10304 (python) R 10302 10304 10098 0 -1 4202496 759 0 0 0 0 0 0 0 21 0 1 0 89064266 17108992 523 1992294400 4194304 4196484 140734951559568 18446744073709551615 248569531807 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/10304/statm: 4177 523 281 1 0 273 0 [startup+0.0349999 s] /proc/loadavg: 0.49 0.48 0.69 2/106 10304 /proc/meminfo: memFree=1527032/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=17432 CPUtime=0.02 /proc/10304/stat : 10304 (python) S 10302 10304 10098 0 -1 4202496 1700 0 0 0 1 1 0 0 15 0 1 0 89064266 17850368 729 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553166848 0 2147483391 16781312 2 18446744071699387582 0 0 17 1 0 0 0 /proc/10304/statm: 4358 729 354 1 0 338 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 17432 [startup+0.104817 s] /proc/loadavg: 0.49 0.48 0.69 2/106 10304 /proc/meminfo: memFree=1527032/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=31864 CPUtime=0.08 /proc/10304/stat : 10304 (python) R 10302 10304 10098 0 -1 4202496 2346 0 0 0 5 3 0 0 15 0 1 0 89064266 32628736 1323 1992294400 4194304 4196484 140734958895184 18446744073709551615 47324883298240 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/10304/statm: 7966 1326 459 1 0 838 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 31864 [startup+0.301832 s] /proc/loadavg: 0.49 0.48 0.69 2/106 10304 /proc/meminfo: memFree=1527032/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=70600 CPUtime=0.23 /proc/10304/stat : 10304 (python) R 10302 10304 10098 0 -1 4202496 3942 0 0 0 15 8 0 0 15 0 1 0 89064266 72294400 2778 1992294400 4194304 4196484 140734958895184 18446744073709551615 47324883266629 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/10304/statm: 17650 2778 673 1 0 2137 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 70600 [startup+0.70188 s] /proc/loadavg: 0.49 0.48 0.69 2/106 10304 /proc/meminfo: memFree=1527032/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=98792 CPUtime=0.52 /proc/10304/stat : 10304 (python) R 10302 10304 10098 0 -1 4202496 4869 0 0 0 32 20 0 0 16 0 1 0 89064266 101163008 3581 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553168528 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/10304/statm: 24698 3581 1022 1 0 2555 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 98792 [startup+1.50197 s] /proc/loadavg: 0.49 0.48 0.69 2/107 10309 /proc/meminfo: memFree=1511276/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=129828 CPUtime=1.16 /proc/10304/stat : 10304 (python) R 10302 10304 10098 0 -1 4202496 9753 926 0 0 80 36 0 0 17 0 1 0 89064266 132943872 6170 1992294400 4194304 4196484 140734958895184 18446744073709551615 248564992852 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/10304/statm: 32457 6170 1077 1 0 5127 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 129828 [startup+3.10116 s] /proc/loadavg: 0.49 0.48 0.69 2/108 10310 /proc/meminfo: memFree=1505068/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=132048 CPUtime=1.38 /proc/10304/stat : 10304 (python) S 10302 10304 10098 0 -1 4202496 10250 926 0 0 98 40 0 0 15 0 1 0 89064266 135217152 6305 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553188879 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0 /proc/10304/statm: 33012 6305 1133 1 0 5164 0 [pid=10310] ppid=10304 vsize=2324 CPUtime=1.53 /proc/10310/stat : 10310 (clasp-1.3.3-x86) R 10304 10310 10310 0 -1 4202496 645 0 0 0 153 0 0 0 22 0 1 0 89064421 2379776 329 1992294400 134512640 136080129 4289816064 18446744073709551615 134850395 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/10310/statm: 581 329 175 383 0 196 0 Current children cumulated CPU time (s) 2.91 Current children cumulated vsize (KiB) 134372 [startup+6.30154 s] /proc/loadavg: 0.53 0.49 0.69 3/108 10310 /proc/meminfo: memFree=1504200/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=132048 CPUtime=1.61 /proc/10304/stat : 10304 (python) S 10302 10304 10098 0 -1 4202496 10262 926 0 0 119 42 0 0 15 0 1 0 89064266 135217152 6305 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553188879 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0 /proc/10304/statm: 33012 6305 1133 1 0 5164 0 [pid=10310] ppid=10304 vsize=2588 CPUtime=4.7 /proc/10310/stat : 10310 (clasp-1.3.3-x86) R 10304 10310 10310 0 -1 4202496 707 0 0 0 469 1 0 0 25 0 1 0 89064421 2650112 391 1992294400 134512640 136080129 4289816064 18446744073709551615 134849563 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/10310/statm: 647 391 175 383 0 262 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 134636 [startup+12.7013 s] /proc/loadavg: 0.57 0.50 0.70 4/108 10313 /proc/meminfo: memFree=1505076/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=134108 CPUtime=12.5 /proc/10304/stat : 10304 (python) S 10302 10304 10098 0 -1 4202496 11551 2647 0 0 169 51 1027 3 15 0 1 0 89064266 137326592 6329 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553188879 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0 /proc/10304/statm: 33527 6329 1143 1 0 5164 0 [pid=10313] ppid=10304 vsize=2196 CPUtime=0.73 /proc/10313/stat : 10313 (clasp-1.3.3-x86) R 10304 10313 10313 0 -1 4202496 624 0 0 0 73 0 0 0 19 0 1 0 89065461 2248704 308 1992294400 134512640 136080129 4289760928 18446744073709551615 134589227 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/10313/statm: 549 308 175 383 0 164 0 Current children cumulated CPU time (s) 13.23 Current children cumulated vsize (KiB) 136304 [startup+25.5018 s] /proc/loadavg: 0.66 0.52 0.70 2/108 10313 /proc/meminfo: memFree=1504456/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=134108 CPUtime=13.44 /proc/10304/stat : 10304 (python) S 10302 10304 10098 0 -1 4202496 11596 2647 0 0 253 61 1027 3 15 0 1 0 89064266 137326592 6329 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553188879 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0 /proc/10304/statm: 33527 6329 1143 1 0 5164 0 [pid=10313] ppid=10304 vsize=3120 CPUtime=13.44 /proc/10313/stat : 10313 (clasp-1.3.3-x86) R 10304 10313 10313 0 -1 4202496 848 0 0 0 1344 0 0 0 25 0 1 0 89065461 3194880 532 1992294400 134512640 136080129 4289760928 18446744073709551615 134808292 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/10313/statm: 780 532 175 383 0 395 0 Current children cumulated CPU time (s) 26.88 Current children cumulated vsize (KiB) 137228 [startup+51.1018 s] /proc/loadavg: 0.85 0.57 0.71 2/108 10315 /proc/meminfo: memFree=1503588/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=134108 CPUtime=15.41 /proc/10304/stat : 10304 (python) S 10302 10304 10098 0 -1 4202496 11677 2647 0 0 428 83 1027 3 16 0 1 0 89064266 137326592 6329 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553188879 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0 /proc/10304/statm: 33527 6329 1143 1 0 5164 0 [pid=10313] ppid=10304 vsize=3932 CPUtime=38.88 /proc/10313/stat : 10313 (clasp-1.3.3-x86) R 10304 10313 10313 0 -1 4202496 1046 0 0 0 3887 1 0 0 25 0 1 0 89065461 4026368 730 1992294400 134512640 136080129 4289760928 18446744073709551615 134808135 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/10313/statm: 983 730 175 383 0 598 0 Current children cumulated CPU time (s) 54.29 Current children cumulated vsize (KiB) 138040 [startup+102.309 s] /proc/loadavg: 1.01 0.65 0.73 2/108 10320 /proc/meminfo: memFree=1462048/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=134108 CPUtime=69.98 /proc/10304/stat : 10304 (python) S 10302 10304 10098 0 -1 4202496 12919 4688 0 0 821 133 6038 6 16 0 1 0 89064266 137326592 6332 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553188879 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0 /proc/10304/statm: 33527 6332 1143 1 0 5164 0 [pid=10318] ppid=10304 vsize=46096 CPUtime=39.59 /proc/10318/stat : 10318 (wbo1.4a) R 10304 10318 10318 0 -1 4202496 11399 0 0 0 3896 63 0 0 25 0 1 0 89070510 47202304 11064 1992294400 134512640 135751879 4293553328 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0 /proc/10318/statm: 11524 11064 139 303 0 11219 0 Current children cumulated CPU time (s) 109.57 Current children cumulated vsize (KiB) 180204 [startup+162.3 s] /proc/loadavg: 1.00 0.71 0.74 2/108 10323 /proc/meminfo: memFree=1502720/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=134108 CPUtime=125.42 /proc/10304/stat : 10304 (python) S 10302 10304 10098 0 -1 4202496 14217 19435 0 0 1232 181 11040 89 15 0 1 0 89064266 137326592 6333 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553188879 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0 /proc/10304/statm: 33527 6333 1143 1 0 5164 0 [pid=10323] ppid=10304 vsize=4192 CPUtime=48.63 /proc/10323/stat : 10323 (clasp-1.3.3-x86) R 10304 10323 10323 0 -1 4202496 1125 0 0 0 4862 1 0 0 25 0 1 0 89075630 4292608 808 1992294400 134512640 136080129 4292092816 18446744073709551615 134850016 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/10323/statm: 1048 808 175 383 0 663 0 Current children cumulated CPU time (s) 174.05 Current children cumulated vsize (KiB) 138300 Solver just ended. Dumping a history of the last processes samples [startup+166.3 s] /proc/loadavg: 1.00 0.72 0.75 2/108 10323 /proc/meminfo: memFree=1502596/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=134108 CPUtime=125.75 /proc/10304/stat : 10304 (python) S 10302 10304 10098 0 -1 4202496 14220 19435 0 0 1261 185 11040 89 15 0 1 0 89064266 137326592 6333 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553188879 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0 /proc/10304/statm: 33527 6333 1143 1 0 5164 0 [pid=10323] ppid=10304 vsize=4336 CPUtime=52.63 /proc/10323/stat : 10323 (clasp-1.3.3-x86) R 10304 10323 10323 0 -1 4202496 1140 0 0 0 5262 1 0 0 25 0 1 0 89075630 4440064 823 1992294400 134512640 136080129 4292092816 18446744073709551615 134588761 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/10323/statm: 1084 823 175 383 0 699 0 Current children cumulated CPU time (s) 178.38 Current children cumulated vsize (KiB) 138444 [startup+172.708 s] /proc/loadavg: 1.00 0.72 0.75 2/108 10323 /proc/meminfo: memFree=1502472/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=134108 CPUtime=126.2 /proc/10304/stat : 10304 (python) S 10302 10304 10098 0 -1 4202496 14222 19435 0 0 1301 190 11040 89 16 0 1 0 89064266 137326592 6333 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553188879 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0 /proc/10304/statm: 33527 6333 1143 1 0 5164 0 [pid=10323] ppid=10304 vsize=4472 CPUtime=59.03 /proc/10323/stat : 10323 (clasp-1.3.3-x86) R 10304 10323 10323 0 -1 4202496 1174 0 0 0 5902 1 0 0 25 0 1 0 89075630 4579328 857 1992294400 134512640 136080129 4292092816 18446744073709551615 134610270 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/10323/statm: 1118 857 175 383 0 733 0 Current children cumulated CPU time (s) 185.23 Current children cumulated vsize (KiB) 138580 [startup+174.3 s] /proc/loadavg: 1.00 0.73 0.75 2/108 10323 /proc/meminfo: memFree=1502472/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=134108 CPUtime=126.32 /proc/10304/stat : 10304 (python) S 10302 10304 10098 0 -1 4202496 14223 19435 0 0 1312 191 11040 89 15 0 1 0 89064266 137326592 6333 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553188879 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0 /proc/10304/statm: 33527 6333 1143 1 0 5164 0 [pid=10323] ppid=10304 vsize=4472 CPUtime=60.62 /proc/10323/stat : 10323 (clasp-1.3.3-x86) R 10304 10323 10323 0 -1 4202496 1186 0 0 0 6061 1 0 0 25 0 1 0 89075630 4579328 869 1992294400 134512640 136080129 4292092816 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/10323/statm: 1118 869 175 383 0 733 0 Current children cumulated CPU time (s) 186.94 Current children cumulated vsize (KiB) 138580 [startup+175.1 s] /proc/loadavg: 1.00 0.73 0.75 2/108 10323 /proc/meminfo: memFree=1502348/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=134108 CPUtime=126.4 /proc/10304/stat : 10304 (python) S 10302 10304 10098 0 -1 4202496 14224 19435 0 0 1319 192 11040 89 16 0 1 0 89064266 137326592 6333 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553188879 0 0 16781312 2 159836005329808138 0 0 17 1 0 0 0 /proc/10304/statm: 33527 6333 1143 1 0 5164 0 [pid=10323] ppid=10304 vsize=4472 CPUtime=61.42 /proc/10323/stat : 10323 (clasp-1.3.3-x86) R 10304 10323 10323 0 -1 4202496 1186 0 0 0 6141 1 0 0 25 0 1 0 89075630 4579328 869 1992294400 134512640 136080129 4292092816 18446744073709551615 134588566 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/10323/statm: 1118 869 175 383 0 733 0 Current children cumulated CPU time (s) 187.82 Current children cumulated vsize (KiB) 138580 [startup+175.904 s] /proc/loadavg: 1.00 0.73 0.75 2/108 10323 /proc/meminfo: memFree=1504580/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=134108 CPUtime=126.48 /proc/10304/stat : 10304 (python) R 10302 10304 10098 0 -1 4202496 14224 19435 0 0 1326 193 11040 89 16 0 1 0 89064266 137326592 6333 1992294400 4194304 4196484 140734958895184 18446744073709551615 248553212039 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/10304/statm: 33527 6333 1143 1 0 5164 0 [pid=10323] ppid=10304 vsize=0 CPUtime=62.2 /proc/10323/stat : 10323 (clasp-1.3.3-x86) Z 10304 10323 10323 0 -1 4202524 1200 0 0 0 6219 1 0 0 18 0 1 0 89075630 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 0 0 0 0 /proc/10323/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 188.68 Current children cumulated vsize (KiB) 134108 [startup+176.103 s] /proc/loadavg: 1.00 0.73 0.75 2/108 10323 /proc/meminfo: memFree=1504580/2059040 swapFree=4136396/4192956 [pid=10304] ppid=10302 vsize=134104 CPUtime=188.86 /proc/10304/stat : 10304 (python) R 10302 10304 10098 0 -1 4202496 18030 21547 0 0 1339 196 17259 92 15 0 1 0 89064266 137322496 6336 1992294400 4194304 4196484 140734958895184 18446744073709551615 47324883379789 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/10304/statm: 33526 6336 1143 1 0 5163 0 Current children cumulated CPU time (s) 188.86 Current children cumulated vsize (KiB) 134104 Child status: 20 Real time (s): 176.145 CPU time (s): 188.928 CPU user time (s): 186.034 CPU system time (s): 2.89456 CPU usage (%): 107.257 Max. virtual memory (cumulated for all children) (KiB): 189860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 186.034 system time used= 2.89456 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40643 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= 3396 involuntary context switches= 3731 runsolver used 0.335948 second user time and 0.847871 second system time The end
Begin job on node001 at 2010-06-21 17:36:42 IDJOB=2676149 IDBENCH=1346 IDSOLVER=1178 FILE ID=node001/2676149-1277134602 PBS_JOBID= 11182107 Free space on /tmp= 62536 MiB SOLVER NAME= borg-pb 10.05.30 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb COMMAND LINE= solver BENCHNAME RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676149-1277134602/watcher-2676149-1277134602 -o /tmp/evaluation-result-2676149-1277134602/solver-2676149-1277134602 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676149-1277134602.opb 2008663915 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 23d2095f3ee13b7452c309e9137df723 RANDOM SEED=2008663915 node001.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.202 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.202 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1527312 kB Buffers: 134584 kB Cached: 291128 kB SwapCached: 9148 kB Active: 222592 kB Inactive: 216092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1527312 kB SwapTotal: 4192956 kB SwapFree: 4136396 kB Dirty: 20896 kB Writeback: 0 kB AnonPages: 11596 kB Mapped: 9232 kB Slab: 71168 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182440 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62516 MiB End job on node001 at 2010-06-21 17:39:39