Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
borg-pb 10.05.30 | UNSAT | 160.67 | 152.079 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb |
MD5SUM | 9f20f031d3068edba1350cbde5c721b5 |
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 | 160.67 |
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 | 641 |
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.09/1.44 c DEBUG: probabilities of action success (DCM model): 1.09/1.44 c pb/competition_2010/bsolo_pb10-l1 : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331 1.09/1.44 c pb/competition_2010/bsolo_pb10-l2 : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493 1.09/1.44 c pb/competition_2010/bsolo_pb10-l3 : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927 1.09/1.44 c pb/competition_2010/wbo1.4a : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114 1.09/1.44 c pb/competition_2010/wbo1.4b : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796 1.09/1.44 c pb/other/clasp-1.3.3 : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586 1.09/1.44 c pb/other/sat4j-pb-v20090829 : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315 1.09/1.44 c pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110 1.09/1.47 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1174900519', u'HOME/instance-2676084-1277134579.opb'] for 0:00:10 12.04/11.72 c DEBUG: probabilities of action success (DCM model): 12.04/11.72 c pb/competition_2010/bsolo_pb10-l1 : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203 12.04/11.72 c pb/competition_2010/bsolo_pb10-l2 : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839 12.04/11.72 c pb/competition_2010/bsolo_pb10-l3 : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668 12.04/11.72 c pb/competition_2010/wbo1.4a : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920 12.04/11.72 c pb/competition_2010/wbo1.4b : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713 12.04/11.72 c pb/other/clasp-1.3.3 : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405 12.04/11.72 c pb/other/sat4j-pb-v20090829 : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733 12.04/11.72 c pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874 12.04/11.72 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1311663046', u'HOME/instance-2676084-1277134579.opb'] for 0:00:50 65.29/62.36 c DEBUG: probabilities of action success (DCM model): 65.29/62.36 c pb/competition_2010/bsolo_pb10-l1 : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502 65.29/62.36 c pb/competition_2010/bsolo_pb10-l2 : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606 65.29/62.36 c pb/competition_2010/bsolo_pb10-l3 : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877 65.29/62.36 c pb/competition_2010/wbo1.4a : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608 65.29/62.36 c pb/competition_2010/wbo1.4b : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592 65.29/62.36 c pb/other/clasp-1.3.3 : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135 65.29/62.36 c pb/other/sat4j-pb-v20090829 : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124 65.29/62.36 c pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541 65.29/62.36 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2676084-1277134579.opb'] for 0:00:50 119.94/113.89 c DEBUG: probabilities of action success (DCM model): 119.94/113.89 c pb/competition_2010/bsolo_pb10-l1 : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900 119.94/113.89 c pb/competition_2010/bsolo_pb10-l2 : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225 119.94/113.89 c pb/competition_2010/bsolo_pb10-l3 : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184 119.94/113.89 c pb/competition_2010/wbo1.4a : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342 119.94/113.89 c pb/competition_2010/wbo1.4b : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401 119.94/113.89 c pb/other/clasp-1.3.3 : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027 119.94/113.89 c pb/other/sat4j-pb-v20090829 : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982 119.94/113.89 c pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127 119.94/113.89 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=35587904', u'HOME/instance-2676084-1277134579.opb'] for 0:01:40 160.57/152.01 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-2676084-1277134579/watcher-2676084-1277134579 -o /tmp/evaluation-result-2676084-1277134579/solver-2676084-1277134579 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676084-1277134579.opb 1925057695 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.37 0.31 0.59 3/106 3736 /proc/meminfo: memFree=1584228/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=16712 CPUtime=0 /proc/3736/stat : 3736 (python) R 3734 3736 3641 0 -1 4202496 757 0 0 0 0 0 0 0 19 0 1 0 89061694 17113088 523 1992294400 4194304 4196484 140736160906192 18446744073709551615 228898660096 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/3736/statm: 4178 525 281 1 0 274 0 [startup+0.065502 s] /proc/loadavg: 0.37 0.31 0.59 3/106 3736 /proc/meminfo: memFree=1584228/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=18496 CPUtime=0.05 /proc/3736/stat : 3736 (python) R 3734 3736 3641 0 -1 4202496 2067 0 0 0 3 2 0 0 17 0 1 0 89061694 18939904 1071 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898660224 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/3736/statm: 4624 1071 423 1 0 604 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 18496 [startup+0.101499 s] /proc/loadavg: 0.37 0.31 0.59 3/106 3736 /proc/meminfo: memFree=1584228/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=32160 CPUtime=0.08 /proc/3736/stat : 3736 (python) R 3734 3736 3641 0 -1 4202496 2415 0 0 0 5 3 0 0 17 0 1 0 89061694 32931840 1391 1992294400 4194304 4196484 140735986208912 18446744073709551615 46940864880139 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/3736/statm: 8040 1391 459 1 0 912 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 32160 [startup+0.30152 s] /proc/loadavg: 0.37 0.31 0.59 3/106 3736 /proc/meminfo: memFree=1584228/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=71520 CPUtime=0.25 /proc/3736/stat : 3736 (python) R 3734 3736 3641 0 -1 4202496 4140 0 0 0 17 8 0 0 17 0 1 0 89061694 73236480 2959 1992294400 4194304 4196484 140735986208912 18446744073709551615 46940865251552 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/3736/statm: 17880 2959 693 1 0 2367 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 71520 [startup+0.701564 s] /proc/loadavg: 0.37 0.31 0.59 3/106 3736 /proc/meminfo: memFree=1584228/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=100296 CPUtime=0.6 /proc/3736/stat : 3736 (python) R 3734 3736 3641 0 -1 4202496 5263 0 0 0 39 21 0 0 17 0 1 0 89061694 102703104 3943 1992294400 4194304 4196484 140735986208912 18446744073709551615 46940898806456 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/3736/statm: 25074 3943 1023 1 0 2931 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 100296 [startup+1.50166 s] /proc/loadavg: 0.37 0.31 0.59 2/107 3741 /proc/meminfo: memFree=1565124/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=132052 CPUtime=1.19 /proc/3736/stat : 3736 (python) R 3734 3736 3641 0 -1 4202496 10246 925 0 0 84 35 0 0 16 0 1 0 89061694 135221248 6307 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898656180 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/3736/statm: 33013 6307 1133 1 0 5165 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 132052 [startup+3.10183 s] /proc/loadavg: 0.37 0.31 0.59 2/108 3742 /proc/meminfo: memFree=1562388/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=132052 CPUtime=1.3 /proc/3736/stat : 3736 (python) S 3734 3736 3641 0 -1 4202496 10260 925 0 0 94 36 0 0 15 0 1 0 89061694 135221248 6307 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898680335 0 0 16781312 2 159836005329808049 0 0 17 1 0 0 0 /proc/3736/statm: 33013 6307 1133 1 0 5165 0 [pid=3742] ppid=3736 vsize=2328 CPUtime=1.61 /proc/3742/stat : 3742 (clasp-1.3.3-x86) R 3736 3742 3742 0 -1 4202496 648 0 0 0 161 0 0 0 20 0 1 0 89061841 2383872 332 1992294400 134512640 136080129 4294181216 18446744073709551615 134842470 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/3742/statm: 582 332 175 383 0 197 0 Current children cumulated CPU time (s) 2.91 Current children cumulated vsize (KiB) 134380 [startup+6.30119 s] /proc/loadavg: 0.42 0.32 0.59 2/108 3742 /proc/meminfo: memFree=1561644/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=132052 CPUtime=1.5 /proc/3736/stat : 3736 (python) S 3734 3736 3641 0 -1 4202496 10272 925 0 0 111 39 0 0 15 0 1 0 89061694 135221248 6307 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898680335 0 0 16781312 2 159836005329808049 0 0 17 1 0 0 0 /proc/3736/statm: 33013 6307 1133 1 0 5165 0 [pid=3742] ppid=3736 vsize=2592 CPUtime=4.79 /proc/3742/stat : 3742 (clasp-1.3.3-x86) R 3736 3742 3742 0 -1 4202496 720 0 0 0 479 0 0 0 25 0 1 0 89061841 2654208 404 1992294400 134512640 136080129 4294181216 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/3742/statm: 648 404 175 383 0 263 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 134644 [startup+12.7019 s] /proc/loadavg: 0.47 0.33 0.59 2/108 3745 /proc/meminfo: memFree=1562520/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=134112 CPUtime=12.17 /proc/3736/stat : 3736 (python) S 3734 3736 3641 0 -1 4202496 11558 2648 0 0 152 47 1015 3 15 0 1 0 89061694 137330688 6329 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898680335 0 0 16781312 2 159688670771686065 0 0 17 0 0 0 0 /proc/3736/statm: 33528 6329 1143 1 0 5165 0 [pid=3745] ppid=3736 vsize=2328 CPUtime=0.96 /proc/3745/stat : 3745 (clasp-1.3.3-x86) R 3736 3745 3745 0 -1 4202496 641 0 0 0 96 0 0 0 19 0 1 0 89062867 2383872 323 1992294400 134512640 136080129 4294543728 18446744073709551615 134850395 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/3745/statm: 582 323 175 383 0 197 0 Current children cumulated CPU time (s) 13.13 Current children cumulated vsize (KiB) 136440 [startup+25.5009 s] /proc/loadavg: 0.59 0.36 0.60 2/108 3745 /proc/meminfo: memFree=1561900/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=134112 CPUtime=12.91 /proc/3736/stat : 3736 (python) S 3734 3736 3641 0 -1 4202496 11599 2648 0 0 213 60 1015 3 15 0 1 0 89061694 137330688 6329 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898680335 0 0 16781312 2 159688670771686065 0 0 17 0 0 0 0 /proc/3736/statm: 33528 6329 1143 1 0 5165 0 [pid=3745] ppid=3736 vsize=3124 CPUtime=13.67 /proc/3745/stat : 3745 (clasp-1.3.3-x86) R 3736 3745 3745 0 -1 4202496 865 0 0 0 1366 1 0 0 25 0 1 0 89062867 3198976 547 1992294400 134512640 136080129 4294543728 18446744073709551615 134804979 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/3745/statm: 781 547 175 383 0 396 0 Current children cumulated CPU time (s) 26.58 Current children cumulated vsize (KiB) 137236 [startup+51.1007 s] /proc/loadavg: 0.73 0.41 0.61 2/108 3745 /proc/meminfo: memFree=1561032/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=134112 CPUtime=14.41 /proc/3736/stat : 3736 (python) S 3734 3736 3641 0 -1 4202496 11684 2648 0 0 341 82 1015 3 15 0 1 0 89061694 137330688 6329 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898680335 0 0 16781312 2 159688670771686065 0 0 17 0 0 0 0 /proc/3736/statm: 33528 6329 1143 1 0 5165 0 [pid=3745] ppid=3736 vsize=4052 CPUtime=39.1 /proc/3745/stat : 3745 (clasp-1.3.3-x86) R 3736 3745 3745 0 -1 4202496 1100 0 0 0 3909 1 0 0 25 0 1 0 89062867 4149248 782 1992294400 134512640 136080129 4294543728 18446744073709551615 134849144 0 0 16781312 16386 0 0 0 17 1 0 0 0 /proc/3745/statm: 1013 782 175 383 0 628 0 Current children cumulated CPU time (s) 53.51 Current children cumulated vsize (KiB) 138164 [startup+102.308 s] /proc/loadavg: 0.88 0.50 0.63 2/108 3750 /proc/meminfo: memFree=1519988/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=134112 CPUtime=68.22 /proc/3736/stat : 3736 (python) S 3734 3736 3641 0 -1 4202496 12932 4700 0 0 646 131 6039 6 15 0 1 0 89061694 137330688 6333 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898680335 0 0 16781312 2 159688670771686065 0 0 17 0 0 0 0 /proc/3736/statm: 33528 6333 1143 1 0 5165 0 [pid=3748] ppid=3736 vsize=46044 CPUtime=39.65 /proc/3748/stat : 3748 (wbo1.4a) R 3736 3748 3748 0 -1 4202496 11386 0 0 0 3899 66 0 0 25 0 1 0 89067931 47149056 11050 1992294400 134512640 135751879 4289001632 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0 /proc/3748/statm: 11511 11050 139 303 0 11206 0 Current children cumulated CPU time (s) 107.87 Current children cumulated vsize (KiB) 180156 Solver just ended. Dumping a history of the last processes samples [startup+127.9 s] /proc/loadavg: 0.99 0.56 0.64 2/108 3753 /proc/meminfo: memFree=1562024/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=134112 CPUtime=121.01 /proc/3736/stat : 3736 (python) S 3734 3736 3641 0 -1 4202496 14162 19563 0 0 794 147 11068 92 16 0 1 0 89061694 137330688 6333 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898680335 0 0 16781312 2 159836005329808049 0 0 17 1 0 0 0 /proc/3736/statm: 33528 6333 1143 1 0 5165 0 [pid=3753] ppid=3736 vsize=3124 CPUtime=13.98 /proc/3753/stat : 3753 (clasp-1.3.3-x86) R 3736 3753 3753 0 -1 4202496 860 0 0 0 1398 0 0 0 25 0 1 0 89073084 3198976 539 1992294400 134512640 136080129 4288565648 18446744073709551615 134579562 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/3753/statm: 781 539 175 383 0 396 0 Current children cumulated CPU time (s) 134.99 Current children cumulated vsize (KiB) 137236 [startup+140.701 s] /proc/loadavg: 0.99 0.58 0.65 2/108 3753 /proc/meminfo: memFree=1561404/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=134112 CPUtime=121.81 /proc/3736/stat : 3736 (python) S 3734 3736 3641 0 -1 4202496 14206 19563 0 0 863 158 11068 92 16 0 1 0 89061694 137330688 6333 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898680335 0 0 16781312 2 159836005329808049 0 0 17 1 0 0 0 /proc/3736/statm: 33528 6333 1143 1 0 5165 0 [pid=3753] ppid=3736 vsize=3672 CPUtime=26.78 /proc/3753/stat : 3753 (clasp-1.3.3-x86) R 3736 3753 3753 0 -1 4202496 1006 0 0 0 2678 0 0 0 25 0 1 0 89073084 3760128 685 1992294400 134512640 136080129 4288565648 18446744073709551615 134849853 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/3753/statm: 918 685 175 383 0 533 0 Current children cumulated CPU time (s) 148.59 Current children cumulated vsize (KiB) 137784 [startup+147.1 s] /proc/loadavg: 0.99 0.58 0.65 2/108 3755 /proc/meminfo: memFree=1561280/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=134112 CPUtime=122.21 /proc/3736/stat : 3736 (python) S 3734 3736 3641 0 -1 4202496 14227 19563 0 0 898 163 11068 92 15 0 1 0 89061694 137330688 6333 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898680335 0 0 16781312 2 159836005329808049 0 0 17 1 0 0 0 /proc/3736/statm: 33528 6333 1143 1 0 5165 0 [pid=3753] ppid=3736 vsize=3808 CPUtime=33.17 /proc/3753/stat : 3753 (clasp-1.3.3-x86) R 3736 3753 3753 0 -1 4202496 1035 0 0 0 3317 0 0 0 25 0 1 0 89073084 3899392 714 1992294400 134512640 136080129 4288565648 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/3753/statm: 952 714 175 383 0 567 0 Current children cumulated CPU time (s) 155.38 Current children cumulated vsize (KiB) 137920 [startup+150.3 s] /proc/loadavg: 0.99 0.59 0.65 2/108 3755 /proc/meminfo: memFree=1561156/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=134112 CPUtime=122.4 /proc/3736/stat : 3736 (python) S 3734 3736 3641 0 -1 4202496 14234 19563 0 0 915 165 11068 92 15 0 1 0 89061694 137330688 6333 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898680335 0 0 16781312 2 159836005329808049 0 0 17 1 0 0 0 /proc/3736/statm: 33528 6333 1143 1 0 5165 0 [pid=3753] ppid=3736 vsize=3940 CPUtime=36.37 /proc/3753/stat : 3753 (clasp-1.3.3-x86) R 3736 3753 3753 0 -1 4202496 1056 0 0 0 3637 0 0 0 25 0 1 0 89073084 4034560 735 1992294400 134512640 136080129 4288565648 18446744073709551615 134610270 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/3753/statm: 985 735 175 383 0 600 0 Current children cumulated CPU time (s) 158.77 Current children cumulated vsize (KiB) 138052 [startup+151.1 s] /proc/loadavg: 0.99 0.59 0.65 2/108 3755 /proc/meminfo: memFree=1561156/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=134112 CPUtime=122.44 /proc/3736/stat : 3736 (python) S 3734 3736 3641 0 -1 4202496 14235 19563 0 0 918 166 11068 92 15 0 1 0 89061694 137330688 6333 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898680335 0 0 16781312 2 159836005329808049 0 0 17 1 0 0 0 /proc/3736/statm: 33528 6333 1143 1 0 5165 0 [pid=3753] ppid=3736 vsize=3940 CPUtime=37.17 /proc/3753/stat : 3753 (clasp-1.3.3-x86) R 3736 3753 3753 0 -1 4202496 1056 0 0 0 3717 0 0 0 25 0 1 0 89073084 4034560 735 1992294400 134512640 136080129 4288565648 18446744073709551615 134845911 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/3753/statm: 985 735 175 383 0 600 0 Current children cumulated CPU time (s) 159.61 Current children cumulated vsize (KiB) 138052 [startup+151.5 s] /proc/loadavg: 0.99 0.59 0.65 2/108 3755 /proc/meminfo: memFree=1561156/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=134112 CPUtime=122.47 /proc/3736/stat : 3736 (python) S 3734 3736 3641 0 -1 4202496 14236 19563 0 0 921 166 11068 92 15 0 1 0 89061694 137330688 6333 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898680335 0 0 16781312 2 159836005329808049 0 0 17 1 0 0 0 /proc/3736/statm: 33528 6333 1143 1 0 5165 0 [pid=3753] ppid=3736 vsize=3940 CPUtime=37.57 /proc/3753/stat : 3753 (clasp-1.3.3-x86) R 3736 3753 3753 0 -1 4202496 1056 0 0 0 3757 0 0 0 25 0 1 0 89073084 4034560 735 1992294400 134512640 136080129 4288565648 18446744073709551615 134804917 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/3753/statm: 985 735 175 383 0 600 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (KiB) 138052 [startup+151.9 s] /proc/loadavg: 0.99 0.59 0.65 2/108 3755 /proc/meminfo: memFree=1561156/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=134112 CPUtime=122.53 /proc/3736/stat : 3736 (python) R 3734 3736 3641 0 -1 4202496 14238 19563 0 0 926 167 11068 92 16 0 1 0 89061694 137330688 6333 1992294400 4194304 4196484 140735986208912 18446744073709551615 46940865351864 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/3736/statm: 33528 6333 1143 1 0 5165 0 [pid=3753] ppid=3736 vsize=0 CPUtime=37.94 /proc/3753/stat : 3753 (clasp-1.3.3-x86) Z 3736 3753 3753 0 -1 4202524 1070 0 0 0 3794 0 0 0 25 0 1 0 89073084 0 0 1992294400 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 0 0 0 0 /proc/3753/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 160.47 Current children cumulated vsize (KiB) 134112 [startup+152 s] /proc/loadavg: 0.99 0.59 0.65 2/108 3755 /proc/meminfo: memFree=1561156/2059040 swapFree=4139928/4192956 [pid=3736] ppid=3734 vsize=134112 CPUtime=160.57 /proc/3736/stat : 3736 (python) R 3734 3736 3641 0 -1 4202496 14374 21095 0 0 933 168 14863 93 15 0 1 0 89061694 137330688 6333 1992294400 4194304 4196484 140735986208912 18446744073709551615 228898480533 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/3736/statm: 33528 6333 1143 1 0 5165 0 Current children cumulated CPU time (s) 160.57 Current children cumulated vsize (KiB) 134112 Child status: 20 Real time (s): 152.079 CPU time (s): 160.67 CPU user time (s): 158.032 CPU system time (s): 2.6376 CPU usage (%): 105.649 Max. virtual memory (cumulated for all children) (KiB): 190340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 158.032 system time used= 2.6376 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40661 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= 2582 involuntary context switches= 3053 runsolver used 0.307953 second user time and 0.803877 second system time The end
Begin job on node005 at 2010-06-21 17:36:19 IDJOB=2676084 IDBENCH=1270 IDSOLVER=1178 FILE ID=node005/2676084-1277134579 PBS_JOBID= 11182103 Free space on /tmp= 62580 MiB SOLVER NAME= borg-pb 10.05.30 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb COMMAND LINE= solver BENCHNAME RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2676084-1277134579/watcher-2676084-1277134579 -o /tmp/evaluation-result-2676084-1277134579/solver-2676084-1277134579 -C 1800 -W 2000 -M 1800 solver HOME/instance-2676084-1277134579.opb 1925057695 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9f20f031d3068edba1350cbde5c721b5 RANDOM SEED=1925057695 node005.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.246 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.49 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.246 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1584756 kB Buffers: 125860 kB Cached: 242664 kB SwapCached: 6372 kB Active: 213108 kB Inactive: 169160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1584756 kB SwapTotal: 4192956 kB SwapFree: 4139928 kB Dirty: 22160 kB Writeback: 24 kB AnonPages: 11560 kB Mapped: 12916 kB Slab: 70312 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182040 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= 62560 MiB End job on node005 at 2010-06-21 17:38:52