Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1799.02 |
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 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656847-1276306329.opb 0.00/0.00 c File size is 83383 bytes. 0.00/0.01 c Highest Coefficient sum: 649 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 s 0.00/0.01 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5707 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.024 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 231 2586 8096 3 5474 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1797.98/1799.01 c 101 231 2753 14269 5 5809 2069 167 2295 0.04 1797.98/1799.01 c 251 231 2965 23205 7 6235 2276 379 2698 0.09 1797.98/1799.01 c 476 231 3251 35294 10 6819 2504 665 2720 0.17 1797.98/1799.01 c 814 231 3663 52454 14 7650 2755 1077 2584 0.32 1797.98/1799.01 c 1323 231 4244 77039 18 8825 3031 1658 2401 0.55 1797.98/1799.01 c 2086 231 5125 120015 23 10597 3335 2539 2005 1.04 1797.98/1799.01 c 3232 231 4612 90373 19 9535 3669 2026 1852 1.75 1797.98/1799.01 c 4953 231 4462 76250 17 9233 4036 1876 1753 2.83 1797.98/1799.01 c 7537 231 5106 104212 20 10622 4440 2520 1750 4.31 1797.98/1799.01 c 11416 231 6813 158905 23 14015 4885 4227 1773 6.44 1797.98/1799.01 c 17241 231 5370 122664 22 11085 5374 2784 1697 10.16 1797.98/1799.01 c 25978 231 6332 166712 26 13029 5912 3746 1604 16.19 1797.98/1799.01 c 39088 231 8094 227297 28 16608 6504 5508 1565 24.98 1797.98/1799.01 c 58758 231 8931 258766 28 18396 7155 6345 1486 39.53 1797.98/1799.01 c 88268 231 7364 195771 26 15069 7871 4778 1391 63.45 1797.98/1799.01 c 132539 231 6818 165809 24 13971 8659 4232 1292 102.58 1797.98/1799.01 c 198949 231 6916 183770 26 14233 9525 4330 1232 161.35 1797.98/1799.01 c 298571 231 11566 394725 34 23696 10478 8980 1168 255.46 1797.98/1799.01 c 448006 231 10191 318440 31 20920 11526 7605 1093 409.78 1797.98/1799.01 c 672164 231 10399 375454 36 21199 12679 7813 1015 661.91 1797.98/1799.01 c 1008407 231 12398 420003 33 25213 13947 9812 935 1078.02 1797.98/1799.01 c 1512778 231 9761 250379 25 19854 15342 7175 849 1780.58 1797.98/1799.01 c Resources Exceeded 1797.98/1799.01 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1799.01 c 22 1525281 301651 2066409 15352 576724 12766 848 1798.00 1797.98/1799.01 s UNKNOWN 1797.98/1799.01 c Total time: 1798 s
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-2656847-1276306329/watcher-2656847-1276306329 -o /tmp/evaluation-result-2656847-1276306329/solver-2656847-1276306329 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656847-1276306329.opb 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.94 0.98 0.99 3/106 7249 /proc/meminfo: memFree=1538064/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=10880 CPUtime=0 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 336 0 0 0 0 0 0 0 20 0 1 0 6236368 11141120 254 1992294400 134512640 137138936 4287178176 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 2720 254 175 642 0 2055 0 [startup+0.0927011 s] /proc/loadavg: 0.94 0.98 0.99 3/106 7249 /proc/meminfo: memFree=1538064/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=11320 CPUtime=0.08 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 505 0 0 0 8 0 0 0 20 0 1 0 6236368 11591680 402 1992294400 134512640 137138936 4287178176 18446744073709551615 134617986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 2830 403 192 642 0 2186 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11320 [startup+0.100701 s] /proc/loadavg: 0.94 0.98 0.99 3/106 7249 /proc/meminfo: memFree=1538064/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=11448 CPUtime=0.09 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 510 0 0 0 9 0 0 0 20 0 1 0 6236368 11722752 407 1992294400 134512640 137138936 4287178176 18446744073709551615 134542868 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 2862 407 192 642 0 2218 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11448 [startup+0.300737 s] /proc/loadavg: 0.94 0.98 0.99 3/106 7249 /proc/meminfo: memFree=1538064/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=11828 CPUtime=0.29 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 613 0 0 0 29 0 0 0 20 0 1 0 6236368 12111872 510 1992294400 134512640 137138936 4287178176 18446744073709551615 136506299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 2957 510 192 642 0 2313 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11828 [startup+0.700812 s] /proc/loadavg: 0.94 0.98 0.99 3/106 7249 /proc/meminfo: memFree=1538064/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=12448 CPUtime=0.69 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 772 0 0 0 69 0 0 0 21 0 1 0 6236368 12746752 669 1992294400 134512640 137138936 4287178176 18446744073709551615 134606658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 3112 669 192 642 0 2468 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12448 [startup+1.50096 s] /proc/loadavg: 0.95 0.98 0.99 2/107 7250 /proc/meminfo: memFree=1535700/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=13424 CPUtime=1.49 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 1006 0 0 0 148 1 0 0 23 0 1 0 6236368 13746176 903 1992294400 134512640 137138936 4287178176 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 3356 903 192 642 0 2712 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13424 [startup+3.10126 s] /proc/loadavg: 0.95 0.98 0.99 2/107 7250 /proc/meminfo: memFree=1534832/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=13548 CPUtime=3.09 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 1037 0 0 0 308 1 0 0 25 0 1 0 6236368 13873152 934 1992294400 134512640 137138936 4287178176 18446744073709551615 134542930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 3387 934 192 642 0 2743 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13548 [startup+6.30085 s] /proc/loadavg: 0.95 0.98 0.99 2/107 7250 /proc/meminfo: memFree=1534336/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=13800 CPUtime=6.29 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 1117 0 0 0 627 2 0 0 25 0 1 0 6236368 14131200 1014 1992294400 134512640 137138936 4287178176 18446744073709551615 134542292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 3450 1014 192 642 0 2806 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13800 [startup+12.701 s] /proc/loadavg: 0.95 0.98 0.99 2/107 7250 /proc/meminfo: memFree=1533096/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=14900 CPUtime=12.69 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 1384 0 0 0 1265 4 0 0 25 0 1 0 6236368 15257600 1281 1992294400 134512640 137138936 4287178176 18446744073709551615 136504611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 3725 1281 192 642 0 3081 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14900 [startup+25.5004 s] /proc/loadavg: 0.96 0.98 0.99 2/107 7250 /proc/meminfo: memFree=1532972/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=15032 CPUtime=25.49 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 1418 0 0 0 2541 8 0 0 25 0 1 0 6236368 15392768 1315 1992294400 134512640 137138936 4287178176 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 3758 1315 192 642 0 3114 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15032 [startup+51.1011 s] /proc/loadavg: 0.97 0.98 0.99 2/107 7250 /proc/meminfo: memFree=1531484/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=16480 CPUtime=51.08 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 1786 0 0 0 5093 15 0 0 25 0 1 0 6236368 16875520 1683 1992294400 134512640 137138936 4287178176 18446744073709551615 134576138 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 4120 1683 192 642 0 3476 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16480 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7252 /proc/meminfo: memFree=1530616/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=17220 CPUtime=102.26 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 1979 0 0 0 10198 28 0 0 25 0 1 0 6236368 17633280 1876 1992294400 134512640 137138936 4287178176 18446744073709551615 136504142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 4305 1876 192 642 0 3661 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 17220 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7254 /proc/meminfo: memFree=1530616/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=17224 CPUtime=162.24 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 1980 0 0 0 16180 44 0 0 25 0 1 0 6236368 17637376 1877 1992294400 134512640 137138936 4287178176 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 4306 1877 192 642 0 3662 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 17224 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7256 /proc/meminfo: memFree=1529872/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=17968 CPUtime=222.21 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2157 0 0 0 22162 59 0 0 25 0 1 0 6236368 18399232 2054 1992294400 134512640 137138936 4287178176 18446744073709551615 134607142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 4492 2054 192 642 0 3848 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 17968 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7258 /proc/meminfo: memFree=1529128/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=18704 CPUtime=282.19 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2342 0 0 0 28144 75 0 0 25 0 1 0 6236368 19152896 2239 1992294400 134512640 137138936 4287178176 18446744073709551615 134606626 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 4676 2239 192 642 0 4032 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 18704 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7258 /proc/meminfo: memFree=1529128/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=18704 CPUtime=342.18 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2342 0 0 0 34130 88 0 0 25 0 1 0 6236368 19152896 2239 1992294400 134512640 137138936 4287178176 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 4676 2239 192 642 0 4032 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 18704 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7260 /proc/meminfo: memFree=1529004/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=18704 CPUtime=402.15 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2342 0 0 0 40111 104 0 0 25 0 1 0 6236368 19152896 2239 1992294400 134512640 137138936 4287178176 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 4676 2239 192 642 0 4032 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 18704 [startup+462.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7262 /proc/meminfo: memFree=1528756/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=18956 CPUtime=462.13 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2401 0 0 0 46094 119 0 0 25 0 1 0 6236368 19410944 2298 1992294400 134512640 137138936 4287178176 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 4739 2298 192 642 0 4095 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 18956 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7264 /proc/meminfo: memFree=1528756/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=18956 CPUtime=522.11 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2401 0 0 0 52078 133 0 0 25 0 1 0 6236368 19410944 2298 1992294400 134512640 137138936 4287178176 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 4739 2298 192 642 0 4095 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 18956 [startup+582.301 s] /proc/loadavg: 1.07 1.00 1.00 2/107 7266 /proc/meminfo: memFree=1528632/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=18956 CPUtime=582.09 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2401 0 0 0 58062 147 0 0 25 0 1 0 6236368 19410944 2298 1992294400 134512640 137138936 4287178176 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 4739 2298 192 642 0 4095 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 18956 [startup+642.301 s] /proc/loadavg: 1.02 1.00 1.00 2/107 7266 /proc/meminfo: memFree=1528384/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=19160 CPUtime=642.08 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2458 0 0 0 64048 160 0 0 25 0 1 0 6236368 19619840 2355 1992294400 134512640 137138936 4287178176 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 4790 2355 192 642 0 4146 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 19160 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1527144/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=20128 CPUtime=1061.93 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2694 0 0 0 105945 248 0 0 25 0 1 0 6236368 20611072 2591 1992294400 134512640 137138936 4287178176 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5032 2591 192 642 0 4388 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 20128 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7280 /proc/meminfo: memFree=1526772/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=20500 CPUtime=1121.91 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2790 0 0 0 111930 261 0 0 25 0 1 0 6236368 20992000 2687 1992294400 134512640 137138936 4287178176 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5125 2687 192 642 0 4481 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 20500 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7282 /proc/meminfo: memFree=1526772/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=20576 CPUtime=1181.89 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2804 0 0 0 117916 273 0 0 25 0 1 0 6236368 21069824 2701 1992294400 134512640 137138936 4287178176 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5144 2701 192 642 0 4500 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 20576 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7282 /proc/meminfo: memFree=1526152/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21020 CPUtime=1241.87 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2931 0 0 0 123902 285 0 0 25 0 1 0 6236368 21524480 2828 1992294400 134512640 137138936 4287178176 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5255 2828 192 642 0 4611 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 21020 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7284 /proc/meminfo: memFree=1525904/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21020 CPUtime=1301.86 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2931 0 0 0 129887 299 0 0 25 0 1 0 6236368 21524480 2828 1992294400 134512640 137138936 4287178176 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5255 2828 192 642 0 4611 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 21020 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7286 /proc/meminfo: memFree=1525904/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21020 CPUtime=1361.83 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2931 0 0 0 135871 312 0 0 25 0 1 0 6236368 21524480 2828 1992294400 134512640 137138936 4287178176 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5255 2828 192 642 0 4611 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 21020 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7288 /proc/meminfo: memFree=1525904/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21020 CPUtime=1421.82 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2931 0 0 0 141858 324 0 0 25 0 1 0 6236368 21524480 2828 1992294400 134512640 137138936 4287178176 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5255 2828 192 642 0 4611 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 21020 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7290 /proc/meminfo: memFree=1525904/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21020 CPUtime=1481.8 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2931 0 0 0 147844 336 0 0 25 0 1 0 6236368 21524480 2828 1992294400 134512640 137138936 4287178176 18446744073709551615 136521043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5255 2828 192 642 0 4611 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 21020 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7290 /proc/meminfo: memFree=1525904/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21144 CPUtime=1541.77 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2958 0 0 0 153831 346 0 0 25 0 1 0 6236368 21651456 2855 1992294400 134512640 137138936 4287178176 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5286 2855 192 642 0 4642 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 21144 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7292 /proc/meminfo: memFree=1525904/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21144 CPUtime=1601.75 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2958 0 0 0 159816 359 0 0 25 0 1 0 6236368 21651456 2855 1992294400 134512640 137138936 4287178176 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5286 2855 192 642 0 4642 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 21144 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7294 /proc/meminfo: memFree=1525780/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21144 CPUtime=1661.74 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2958 0 0 0 165805 369 0 0 25 0 1 0 6236368 21651456 2855 1992294400 134512640 137138936 4287178176 18446744073709551615 136511197 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5286 2855 192 642 0 4642 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 21144 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7296 /proc/meminfo: memFree=1525780/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21144 CPUtime=1721.71 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2958 0 0 0 171793 378 0 0 25 0 1 0 6236368 21651456 2855 1992294400 134512640 137138936 4287178176 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5286 2855 192 642 0 4642 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 21144 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7307 /proc/meminfo: memFree=1524912/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21144 CPUtime=1781.67 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2958 0 0 0 177775 392 0 0 25 0 1 0 6236368 21651456 2855 1992294400 134512640 137138936 4287178176 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5286 2855 192 642 0 4642 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 21144 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7307 /proc/meminfo: memFree=1524912/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21148 CPUtime=1791.27 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2959 0 0 0 178732 395 0 0 25 0 1 0 6236368 21655552 2856 1992294400 134512640 137138936 4287178176 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/7249/statm: 5287 2856 192 642 0 4643 0 Current children cumulated CPU time (s) 1791.27 Current children cumulated vsize (KiB) 21148 [startup+1795.4 s] /proc/loadavg: 1.00 1.00 1.00 3/112 7681 /proc/meminfo: memFree=1522948/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21148 CPUtime=1794.43 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2959 0 0 0 179046 397 0 0 25 0 1 0 6236368 21655552 2856 1992294400 134512640 137138936 4287178176 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5287 2856 192 642 0 4643 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (KiB) 21148 [startup+1797 s] /proc/loadavg: 1.16 1.03 1.01 2/107 7799 /proc/meminfo: memFree=1523632/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21148 CPUtime=1795.98 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2959 0 0 0 179200 398 0 0 25 0 1 0 6236368 21655552 2856 1992294400 134512640 137138936 4287178176 18446744073709551615 134599712 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5287 2856 192 642 0 4643 0 Current children cumulated CPU time (s) 1795.98 Current children cumulated vsize (KiB) 21148 [startup+1797.8 s] /proc/loadavg: 1.16 1.03 1.01 2/107 7799 /proc/meminfo: memFree=1523632/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21148 CPUtime=1796.78 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2959 0 0 0 179280 398 0 0 25 0 1 0 6236368 21655552 2856 1992294400 134512640 137138936 4287178176 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5287 2856 192 642 0 4643 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 21148 [startup+1798.6 s] /proc/loadavg: 1.16 1.03 1.01 2/107 7799 /proc/meminfo: memFree=1523632/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21148 CPUtime=1797.59 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2959 0 0 0 179360 399 0 0 25 0 1 0 6236368 21655552 2856 1992294400 134512640 137138936 4287178176 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5287 2856 192 642 0 4643 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 21148 [startup+1799 s] /proc/loadavg: 1.16 1.03 1.01 2/107 7799 /proc/meminfo: memFree=1523632/2059040 swapFree=4192956/4192956 [pid=7249] ppid=7247 vsize=21148 CPUtime=1797.98 /proc/7249/stat : 7249 (bsolo_pb10) R 7247 7249 7009 0 -1 4202496 2959 0 0 0 179399 399 0 0 25 0 1 0 6236368 21655552 2856 1992294400 134512640 137138936 4287178176 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7249/statm: 5287 2856 192 642 0 4643 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 21148 Child status: 0 Real time (s): 1799.02 CPU time (s): 1798 CPU user time (s): 1794.01 CPU system time (s): 3.99339 CPU usage (%): 99.9438 Max. virtual memory (cumulated for all children) (KiB): 21148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.01 system time used= 3.99339 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2959 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= 1 involuntary context switches= 16841 runsolver used 2.94955 second user time and 8.5417 second system time The end
Begin job on node007 at 2010-06-12 03:32:09 IDJOB=2656847 IDBENCH=1346 IDSOLVER=1162 FILE ID=node007/2656847-1276306329 PBS_JOBID= 11173135 Free space on /tmp= 62444 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656847-1276306329/watcher-2656847-1276306329 -o /tmp/evaluation-result-2656847-1276306329/solver-2656847-1276306329 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656847-1276306329.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 23d2095f3ee13b7452c309e9137df723 RANDOM SEED=1319723652 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1538592 kB Buffers: 81016 kB Cached: 312116 kB SwapCached: 0 kB Active: 174896 kB Inactive: 277476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1538592 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4028 kB Writeback: 0 kB AnonPages: 59276 kB Mapped: 15380 kB Slab: 46516 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180216 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= 62452 MiB End job on node007 at 2010-06-12 04:02:08