Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | UNSAT | 1434.19 | 1434.57 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567024.opb |
MD5SUM | 42a09607e2cf515cb7da5ec0628015c7 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 6.23105 |
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 | 755 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432353-1177942830/instance-432353-1177942830.opb 0.00/0.00 c File size is 83381 bytes. 0.00/0.02 c Highest Coefficient sum: 755 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.016 s 0.00/0.02 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709 0.00/0.02 c Obj. Vars: 0 (0 % of total variables) 0.00/0.03 c Pre-processing Time: 0.027 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 231 2586 8096 3 5474 1880 0 0 0.03 0.00/0.03 c Switching off LPR mode. 1434.13/1434.55 c 100 231 2686 12016 4 5677 2069 100 2857 0.04 1434.13/1434.55 c 251 231 2837 17585 6 5979 2276 251 5122 0.05 1434.13/1434.55 c 477 231 3063 26380 8 6431 2504 477 6359 0.07 1434.13/1434.55 c 816 231 3402 40554 11 7107 2755 816 6375 0.13 1434.13/1434.55 c 1326 231 3912 63051 16 8129 3031 1326 6254 0.21 1434.13/1434.55 c 2089 231 4675 95484 20 9654 3335 2089 5770 0.36 1434.13/1434.55 c 3235 231 5821 142073 24 11945 3669 3235 4757 0.68 1434.13/1434.55 c 4957 231 5610 132729 23 11524 4036 3024 4418 1.12 1434.13/1434.55 c 7541 231 6073 163645 26 12450 4440 3487 4013 1.88 1434.13/1434.55 c 11421 231 5295 116162 21 10894 4885 2709 3680 3.10 1434.13/1434.55 c 17244 231 6076 154948 25 12456 5374 3490 3577 4.82 1434.13/1434.55 c 25981 231 6464 173241 26 13232 5912 3878 3372 7.70 1434.13/1434.55 c 39091 231 7319 193516 26 14942 6504 4733 3302 11.84 1434.13/1434.55 c 58763 231 6785 186555 27 13875 7155 4199 3120 18.83 1434.13/1434.55 c 88273 231 6787 167181 24 13879 7871 4201 2947 29.95 1434.13/1434.55 c 132546 231 6590 155467 23 13485 8659 4004 2778 47.70 1434.13/1434.55 c 198956 231 10937 340186 31 22178 9525 8351 2502 79.49 1434.13/1434.55 c 298577 231 8333 222212 26 16971 10478 5747 2318 128.78 1434.13/1434.55 c 448014 231 8043 210327 26 16389 11526 5457 2103 212.99 1434.13/1434.55 c 672173 231 9092 274159 30 18488 12679 6506 1842 364.74 1434.13/1434.55 c 1008416 231 9924 291990 29 20151 13947 7338 1650 611.05 1434.13/1434.55 c 1512787 231 11284 360474 31 22871 15342 8698 1469 1029.61 1434.13/1434.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1434.13/1434.55 c 22 1974906 393403 2710128 14471 398678 11885 1377 1434.19 1434.13/1434.55 s UNSATISFIABLE 1434.13/1434.55 c Total time: 1434.19 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-432353-1177942830 -o ROOT/results/node14/solver-432353-1177942830 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432353-1177942830/instance-432353-1177942830.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.13 0.03 0.01 3/77 4476 /proc/meminfo: memFree=1560128/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=19632 CPUtime=0 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242200827 20103168 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 4908 333 279 324 0 3957 0 [startup+0.0748939 s] /proc/loadavg: 0.13 0.03 0.01 3/77 4476 /proc/meminfo: memFree=1560128/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=4720 CPUtime=0.06 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 589 0 0 0 6 0 0 0 18 0 1 0 242200827 4833280 538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 1180 538 308 324 0 250 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4720 [startup+0.101896 s] /proc/loadavg: 0.13 0.03 0.01 3/77 4476 /proc/meminfo: memFree=1560128/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=4720 CPUtime=0.09 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 620 0 0 0 9 0 0 0 18 0 1 0 242200827 4833280 569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 1180 569 308 324 0 250 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4720 [startup+0.301914 s] /proc/loadavg: 0.13 0.03 0.01 3/77 4476 /proc/meminfo: memFree=1560128/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=5500 CPUtime=0.29 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 812 0 0 0 29 0 0 0 19 0 1 0 242200827 5632000 761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 1375 761 309 324 0 445 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5500 [startup+0.701951 s] /proc/loadavg: 0.13 0.03 0.01 3/77 4476 /proc/meminfo: memFree=1560128/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=6536 CPUtime=0.69 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 1052 0 0 0 69 0 0 0 23 0 1 0 242200827 6692864 1001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 1634 1001 309 324 0 704 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6536 [startup+1.50103 s] /proc/loadavg: 0.13 0.03 0.01 2/78 4477 /proc/meminfo: memFree=1556920/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=7064 CPUtime=1.49 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 1205 0 0 0 149 0 0 0 25 0 1 0 242200827 7233536 1154 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 1766 1154 309 324 0 836 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7064 [startup+3.10118 s] /proc/loadavg: 0.13 0.03 0.01 2/78 4477 /proc/meminfo: memFree=1556408/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=7588 CPUtime=3.09 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 1331 0 0 0 309 0 0 0 25 0 1 0 242200827 7770112 1280 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 1897 1280 309 324 0 967 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7588 [startup+6.30148 s] /proc/loadavg: 0.20 0.05 0.01 2/78 4477 /proc/meminfo: memFree=1555768/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=7984 CPUtime=6.28 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 1431 0 0 0 628 0 0 0 25 0 1 0 242200827 8175616 1380 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 1996 1380 309 324 0 1066 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 7984 [startup+12.7011 s] /proc/loadavg: 0.26 0.06 0.02 2/78 4477 /proc/meminfo: memFree=1554872/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=8632 CPUtime=12.69 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 1592 0 0 0 1268 1 0 0 25 0 1 0 242200827 8839168 1541 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 2158 1541 309 324 0 1228 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8632 [startup+25.5013 s] /proc/loadavg: 0.42 0.11 0.03 2/78 4477 /proc/meminfo: memFree=1554296/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=9280 CPUtime=25.48 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 1741 0 0 0 2547 1 0 0 25 0 1 0 242200827 9502720 1690 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 2320 1690 309 324 0 1390 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9280 [startup+51.1017 s] /proc/loadavg: 0.62 0.18 0.06 2/78 4477 /proc/meminfo: memFree=1553592/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=9940 CPUtime=51.06 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 1913 0 0 0 5105 1 0 0 25 0 1 0 242200827 10178560 1862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 2485 1862 309 324 0 1555 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 9940 [startup+102.304 s] /proc/loadavg: 0.85 0.31 0.11 2/78 4477 /proc/meminfo: memFree=1553016/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=10552 CPUtime=102.26 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2068 0 0 0 10224 2 0 0 25 0 1 0 242200827 10805248 2017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 2638 2017 309 324 0 1708 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10552 [startup+162.301 s] /proc/loadavg: 0.94 0.43 0.16 2/78 4477 /proc/meminfo: memFree=1552312/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=11180 CPUtime=162.24 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2235 0 0 0 16222 2 0 0 25 0 1 0 242200827 11448320 2184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 2795 2184 309 324 0 1865 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 11180 [startup+222.302 s] /proc/loadavg: 0.97 0.53 0.21 2/78 4477 /proc/meminfo: memFree=1551800/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=11820 CPUtime=222.23 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2385 0 0 0 22220 3 0 0 25 0 1 0 242200827 12103680 2334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 2955 2334 309 324 0 2025 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 11820 [startup+282.301 s] /proc/loadavg: 0.99 0.61 0.25 2/78 4477 /proc/meminfo: memFree=1551480/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=12080 CPUtime=282.21 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2451 0 0 0 28218 3 0 0 25 0 1 0 242200827 12369920 2400 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3020 2400 309 324 0 2090 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 12080 [startup+342.302 s] /proc/loadavg: 0.99 0.68 0.30 2/78 4477 /proc/meminfo: memFree=1551352/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=12212 CPUtime=342.2 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2481 0 0 0 34216 4 0 0 25 0 1 0 242200827 12505088 2430 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3053 2430 309 324 0 2123 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 12212 [startup+402.302 s] /proc/loadavg: 0.99 0.74 0.34 2/78 4477 /proc/meminfo: memFree=1550776/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=12736 CPUtime=402.18 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2618 0 0 0 40214 4 0 0 25 0 1 0 242200827 13041664 2567 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3184 2567 309 324 0 2254 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 12736 [startup+462.301 s] /proc/loadavg: 0.99 0.78 0.38 2/78 4477 /proc/meminfo: memFree=1550840/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=12736 CPUtime=462.17 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2625 0 0 0 46212 5 0 0 25 0 1 0 242200827 13041664 2574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3184 2574 309 324 0 2254 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 12736 [startup+522.302 s] /proc/loadavg: 0.99 0.82 0.41 2/78 4477 /proc/meminfo: memFree=1550520/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=12996 CPUtime=522.15 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2688 0 0 0 52210 5 0 0 25 0 1 0 242200827 13307904 2637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3249 2637 309 324 0 2319 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 12996 [startup+582.301 s] /proc/loadavg: 0.99 0.85 0.45 2/78 4477 /proc/meminfo: memFree=1550520/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=12996 CPUtime=582.14 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2688 0 0 0 58208 6 0 0 25 0 1 0 242200827 13307904 2637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7368421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3249 2637 309 324 0 2319 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 12996 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.48 2/78 4477 /proc/meminfo: memFree=1549816/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=13764 CPUtime=642.12 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2867 0 0 0 64206 6 0 0 25 0 1 0 242200827 14094336 2816 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3441 2816 309 324 0 2511 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 13764 ################ # More data... # ################ /proc/meminfo: memFree=1549432/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14148 CPUtime=702.11 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2965 0 0 0 70204 7 0 0 25 0 1 0 242200827 14487552 2914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3537 2914 309 324 0 2607 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 14148 [startup+762.305 s] /proc/loadavg: 0.99 0.91 0.54 2/78 4477 /proc/meminfo: memFree=1549432/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14148 CPUtime=762.09 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2966 0 0 0 76202 7 0 0 25 0 1 0 242200827 14487552 2915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3537 2915 309 324 0 2607 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 14148 [startup+822.302 s] /proc/loadavg: 0.99 0.92 0.56 2/78 4477 /proc/meminfo: memFree=1549432/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14148 CPUtime=822.08 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2966 0 0 0 82200 8 0 0 25 0 1 0 242200827 14487552 2915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3537 2915 309 324 0 2607 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 14148 [startup+882.302 s] /proc/loadavg: 0.99 0.93 0.59 2/78 4477 /proc/meminfo: memFree=1549432/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14148 CPUtime=882.06 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2966 0 0 0 88198 8 0 0 25 0 1 0 242200827 14487552 2915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3537 2915 309 324 0 2607 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 14148 [startup+942.301 s] /proc/loadavg: 0.99 0.94 0.61 2/78 4477 /proc/meminfo: memFree=1549368/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14148 CPUtime=942.04 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2966 0 0 0 94196 8 0 0 25 0 1 0 242200827 14487552 2915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551478 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3537 2915 309 324 0 2607 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 14148 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.63 2/78 4477 /proc/meminfo: memFree=1549432/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14148 CPUtime=1002.03 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 2966 0 0 0 100194 9 0 0 25 0 1 0 242200827 14487552 2915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3537 2915 309 324 0 2607 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 14148 [startup+1062.3 s] /proc/loadavg: 0.99 0.96 0.65 2/78 4477 /proc/meminfo: memFree=1549176/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14408 CPUtime=1062.02 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3031 0 0 0 106192 10 0 0 25 0 1 0 242200827 14753792 2980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3602 2980 309 324 0 2672 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 14408 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/78 4477 /proc/meminfo: memFree=1548856/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14748 CPUtime=1122 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3114 0 0 0 112190 10 0 0 25 0 1 0 242200827 15101952 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3687 3063 309 324 0 2757 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 14748 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.69 2/78 4479 /proc/meminfo: memFree=1548792/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14748 CPUtime=1181.98 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3114 0 0 0 118188 10 0 0 25 0 1 0 242200827 15101952 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3687 3063 309 324 0 2757 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 14748 [startup+1242.3 s] /proc/loadavg: 1.06 0.99 0.71 2/78 4479 /proc/meminfo: memFree=1548792/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14748 CPUtime=1241.97 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3114 0 0 0 124186 11 0 0 25 0 1 0 242200827 15101952 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3687 3063 309 324 0 2757 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 14748 [startup+1302.3 s] /proc/loadavg: 1.06 1.00 0.73 2/78 4479 /proc/meminfo: memFree=1548792/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14748 CPUtime=1301.96 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3114 0 0 0 130185 11 0 0 25 0 1 0 242200827 15101952 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3687 3063 309 324 0 2757 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 14748 [startup+1362.3 s] /proc/loadavg: 1.13 1.03 0.75 2/78 4479 /proc/meminfo: memFree=1548792/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14748 CPUtime=1361.94 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3114 0 0 0 136182 12 0 0 25 0 1 0 242200827 15101952 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3687 3063 309 324 0 2757 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 14748 [startup+1422.31 s] /proc/loadavg: 1.04 1.02 0.77 2/78 4479 /proc/meminfo: memFree=1548792/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14748 CPUtime=1421.93 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3114 0 0 0 142181 12 0 0 25 0 1 0 242200827 15101952 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3687 3063 309 324 0 2757 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 14748 Solver just ended. Dumping a history of the last processes samples [startup+1427.1 s] /proc/loadavg: 1.04 1.02 0.77 2/78 4479 /proc/meminfo: memFree=1548792/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14748 CPUtime=1426.73 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3114 0 0 0 142660 13 0 0 25 0 1 0 242200827 15101952 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3687 3063 309 324 0 2757 0 Current children cumulated CPU time (s) 1426.73 Current children cumulated vsize (KiB) 14748 [startup+1430.3 s] /proc/loadavg: 1.04 1.02 0.77 2/78 4479 /proc/meminfo: memFree=1548792/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14748 CPUtime=1429.93 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3114 0 0 0 142980 13 0 0 25 0 1 0 242200827 15101952 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3687 3063 309 324 0 2757 0 Current children cumulated CPU time (s) 1429.93 Current children cumulated vsize (KiB) 14748 [startup+1431.9 s] /proc/loadavg: 1.04 1.02 0.77 2/78 4479 /proc/meminfo: memFree=1548792/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14748 CPUtime=1431.53 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3114 0 0 0 143140 13 0 0 25 0 1 0 242200827 15101952 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3687 3063 309 324 0 2757 0 Current children cumulated CPU time (s) 1431.53 Current children cumulated vsize (KiB) 14748 [startup+1433.5 s] /proc/loadavg: 1.04 1.02 0.77 2/78 4479 /proc/meminfo: memFree=1548792/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14748 CPUtime=1433.13 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3114 0 0 0 143300 13 0 0 25 0 1 0 242200827 15101952 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3687 3063 309 324 0 2757 0 Current children cumulated CPU time (s) 1433.13 Current children cumulated vsize (KiB) 14748 [startup+1434.3 s] /proc/loadavg: 1.04 1.02 0.77 2/78 4479 /proc/meminfo: memFree=1548792/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14748 CPUtime=1433.93 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3114 0 0 0 143380 13 0 0 25 0 1 0 242200827 15101952 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7360070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3687 3063 309 324 0 2757 0 Current children cumulated CPU time (s) 1433.93 Current children cumulated vsize (KiB) 14748 [startup+1434.5 s] /proc/loadavg: 1.04 1.02 0.77 2/78 4479 /proc/meminfo: memFree=1548792/2055920 swapFree=4148856/4192956 [pid=4476] ppid=4474 vsize=14748 CPUtime=1434.13 /proc/4476/stat : 4476 (bsolo3.0.17) R 4474 4476 4365 0 -1 4194304 3114 0 0 0 143400 13 0 0 25 0 1 0 242200827 15101952 3063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4476/statm: 3687 3063 309 324 0 2757 0 Current children cumulated CPU time (s) 1434.13 Current children cumulated vsize (KiB) 14748 Child status: 0 Real time (s): 1434.57 CPU time (s): 1434.19 CPU user time (s): 1434.06 CPU system time (s): 0.134979 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 14748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1434.06 system time used= 0.134979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3118 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= 12 involuntary context switches= 29657 runsolver used 1.09683 second user time and 3.10153 second system time The end
Begin job on node14 on Mon Apr 30 14:20:31 UTC 2007 IDJOB= 432353 IDBENCH= 1340 IDSOLVER= 199 FILE ID= node14/432353-1177942830 PBS_JOBID= 4727667 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432353-1177942830/instance-432353-1177942830.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-432353-1177942830 -o ROOT/results/node14/solver-432353-1177942830 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432353-1177942830/instance-432353-1177942830.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 42a09607e2cf515cb7da5ec0628015c7 RANDOM SEED= 315357833 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.227 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.227 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1560536 kB Buffers: 46472 kB Cached: 357700 kB SwapCached: 12124 kB Active: 292544 kB Inactive: 135212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1560536 kB SwapTotal: 4192956 kB SwapFree: 4148856 kB Dirty: 6812 kB Writeback: 0 kB Mapped: 30060 kB Slab: 53192 kB Committed_AS: 7945792 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node14 on Mon Apr 30 14:44:25 UTC 2007