Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.16 | UNSAT | 1439.61 | 1440.03 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/360049-1176954604/instance-360049-1176954604.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. 1439.59/1440.01 c 100 231 2686 12016 4 5677 2069 100 2777 0.04 1439.59/1440.01 c 251 231 2837 17585 6 5979 2276 251 5020 0.05 1439.59/1440.01 c 477 231 3063 26380 8 6431 2504 477 6276 0.08 1439.59/1440.01 c 816 231 3402 40554 11 7107 2755 816 6325 0.13 1439.59/1440.01 c 1326 231 3912 63051 16 8129 3031 1326 6254 0.21 1439.59/1440.01 c 2089 231 4675 95484 20 9654 3335 2089 5802 0.36 1439.59/1440.01 c 3235 231 5821 142073 24 11945 3669 3235 4792 0.68 1439.59/1440.01 c 4957 231 5610 132729 23 11524 4036 3024 4433 1.12 1439.59/1440.01 c 7541 231 6073 163645 26 12450 4440 3487 4011 1.88 1439.59/1440.01 c 11421 231 5295 116162 21 10894 4885 2709 3660 3.12 1439.59/1440.01 c 17244 231 6076 154948 25 12456 5374 3490 3553 4.85 1439.59/1440.01 c 25981 231 6464 173241 26 13232 5912 3878 3334 7.79 1439.59/1440.01 c 39091 231 7319 193516 26 14942 6504 4733 3247 12.04 1439.59/1440.01 c 58763 231 6785 186555 27 13875 7155 4199 3061 19.19 1439.59/1440.01 c 88273 231 6787 167181 24 13879 7871 4201 2895 30.49 1439.59/1440.01 c 132546 231 6590 155467 23 13485 8659 4004 2734 48.48 1439.59/1440.01 c 198956 231 10937 340186 31 22178 9525 8351 2464 80.73 1439.59/1440.01 c 298577 231 8333 222212 26 16971 10478 5747 2286 130.60 1439.59/1440.01 c 448014 231 8043 210327 26 16389 11526 5457 2076 215.74 1439.59/1440.01 c 672173 231 9092 274159 30 18488 12679 6506 1826 367.95 1439.59/1440.01 c 1008416 231 9924 291990 29 20151 13947 7338 1639 615.15 1439.59/1440.01 c 1512787 231 11284 360474 31 22871 15342 8698 1462 1034.27 1439.59/1440.01 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1439.59/1440.01 c 22 1974906 393403 2710128 14471 398678 11885 1371 1439.61 1439.59/1440.01 s UNSATISFIABLE 1439.59/1440.01 c Total time: 1439.61 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node30/watcher-360049-1176954604 -o ROOT/results/node30/solver-360049-1176954604 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/360049-1176954604/instance-360049-1176954604.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.96 1.00 1.00 3/77 24663 /proc/meminfo: memFree=1298752/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=4008 CPUtime=0 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 143376113 4104192 337 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 1002 337 282 324 0 50 0 [startup+0.101042 s] /proc/loadavg: 0.96 1.00 1.00 3/77 24663 /proc/meminfo: memFree=1298752/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=4720 CPUtime=0.09 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 623 0 0 0 9 0 0 0 18 0 1 0 143376113 4833280 570 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 1180 570 310 324 0 249 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4720 [startup+0.201047 s] /proc/loadavg: 0.96 1.00 1.00 3/77 24663 /proc/meminfo: memFree=1298752/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=5232 CPUtime=0.19 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 729 0 0 0 19 0 0 0 18 0 1 0 143376113 5357568 676 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7452283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 1308 676 311 324 0 377 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5232 [startup+0.301055 s] /proc/loadavg: 0.96 1.00 1.00 3/77 24663 /proc/meminfo: memFree=1298752/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=5500 CPUtime=0.28 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 817 0 0 0 28 0 0 0 19 0 1 0 143376113 5632000 764 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 1375 764 311 324 0 444 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5500 [startup+0.701079 s] /proc/loadavg: 0.96 1.00 1.00 3/77 24663 /proc/meminfo: memFree=1298752/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=6536 CPUtime=0.69 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 1059 0 0 0 68 1 0 0 23 0 1 0 143376113 6692864 1006 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 1634 1006 311 324 0 703 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6536 [startup+1.50113 s] /proc/loadavg: 0.96 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1295608/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=7064 CPUtime=1.49 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 1210 0 0 0 148 1 0 0 25 0 1 0 143376113 7233536 1157 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 1766 1157 311 324 0 835 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7064 [startup+3.10123 s] /proc/loadavg: 0.97 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1294840/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=7588 CPUtime=3.08 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 1335 0 0 0 307 1 0 0 25 0 1 0 143376113 7770112 1282 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 1897 1282 311 324 0 966 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 7588 [startup+6.30143 s] /proc/loadavg: 0.97 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1294328/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=7984 CPUtime=6.29 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 1435 0 0 0 627 2 0 0 25 0 1 0 143376113 8175616 1382 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 1996 1382 311 324 0 1065 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7984 [startup+12.7018 s] /proc/loadavg: 0.97 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1293560/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=8628 CPUtime=12.68 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 1588 0 0 0 1265 3 0 0 25 0 1 0 143376113 8835072 1535 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 2157 1535 311 324 0 1226 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8628 [startup+25.5016 s] /proc/loadavg: 0.97 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1292984/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=9280 CPUtime=25.49 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 1745 0 0 0 2542 7 0 0 25 0 1 0 143376113 9502720 1692 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 2320 1692 311 324 0 1389 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9280 [startup+51.1012 s] /proc/loadavg: 0.98 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1292280/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=9940 CPUtime=51.08 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 1917 0 0 0 5094 14 0 0 25 0 1 0 143376113 10178560 1864 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 2485 1864 311 324 0 1554 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9940 [startup+102.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1291640/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=10552 CPUtime=102.27 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2072 0 0 0 10203 24 0 0 25 0 1 0 143376113 10805248 2019 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 2638 2019 311 324 0 1707 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 10552 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1290936/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=11180 CPUtime=162.25 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2239 0 0 0 16188 37 0 0 25 0 1 0 143376113 11448320 2186 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134552837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 2795 2186 311 324 0 1864 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 11180 [startup+222.306 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1290552/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=11564 CPUtime=222.24 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2337 0 0 0 22175 49 0 0 25 0 1 0 143376113 11841536 2284 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 2891 2284 311 324 0 1960 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 11564 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1290168/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=11948 CPUtime=282.23 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2428 0 0 0 28160 63 0 0 25 0 1 0 143376113 12234752 2375 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 2987 2375 311 324 0 2056 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 11948 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1289912/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=12212 CPUtime=342.22 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2485 0 0 0 34149 73 0 0 25 0 1 0 143376113 12505088 2432 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3053 2432 311 324 0 2122 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 12212 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1289400/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=12736 CPUtime=402.2 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2622 0 0 0 40137 83 0 0 25 0 1 0 143376113 13041664 2569 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3184 2569 311 324 0 2253 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 12736 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1289336/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=12736 CPUtime=462.19 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2629 0 0 0 46127 92 0 0 25 0 1 0 143376113 13041664 2576 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3184 2576 311 324 0 2253 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 12736 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1289080/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=12996 CPUtime=522.18 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2692 0 0 0 52114 104 0 0 25 0 1 0 143376113 13307904 2639 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3249 2639 311 324 0 2318 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 12996 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1289080/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=12996 CPUtime=582.16 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2692 0 0 0 58100 116 0 0 25 0 1 0 143376113 13307904 2639 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3249 2639 311 324 0 2318 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 12996 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24664 /proc/meminfo: memFree=1288312/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=13764 CPUtime=642.16 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2871 0 0 0 64090 126 0 0 25 0 1 0 143376113 14094336 2818 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3441 2818 311 324 0 2510 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 13764 ################ # More data... # ################ /proc/meminfo: memFree=1286656/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14148 CPUtime=702.06 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2969 0 0 0 70067 139 0 0 25 0 1 0 143376113 14487552 2916 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3537 2916 311 324 0 2606 0 Current children cumulated CPU time (s) 702.06 Current children cumulated vsize (KiB) 14148 [startup+762.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287608/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14148 CPUtime=762.03 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2970 0 0 0 76055 148 0 0 25 0 1 0 143376113 14487552 2917 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7458533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3537 2917 311 324 0 2606 0 Current children cumulated CPU time (s) 762.03 Current children cumulated vsize (KiB) 14148 [startup+822.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287736/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14148 CPUtime=822.02 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2970 0 0 0 82044 158 0 0 25 0 1 0 143376113 14487552 2917 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3537 2917 311 324 0 2606 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 14148 [startup+882.305 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287800/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14148 CPUtime=882.01 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2970 0 0 0 88033 168 0 0 25 0 1 0 143376113 14487552 2917 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3537 2917 311 324 0 2606 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 14148 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287800/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14148 CPUtime=941.99 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2970 0 0 0 94023 176 0 0 25 0 1 0 143376113 14487552 2917 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3537 2917 311 324 0 2606 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 14148 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287864/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14148 CPUtime=1001.98 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 2970 0 0 0 100013 185 0 0 25 0 1 0 143376113 14487552 2917 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3537 2917 311 324 0 2606 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 14148 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287736/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14408 CPUtime=1061.96 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3035 0 0 0 106001 195 0 0 25 0 1 0 143376113 14753792 2982 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3602 2982 311 324 0 2671 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 14408 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287352/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14748 CPUtime=1121.95 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3118 0 0 0 111988 207 0 0 25 0 1 0 143376113 15101952 3065 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3687 3065 311 324 0 2756 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 14748 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287352/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14748 CPUtime=1181.94 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3118 0 0 0 117976 218 0 0 25 0 1 0 143376113 15101952 3065 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7450200 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3687 3065 311 324 0 2756 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 14748 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287352/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14748 CPUtime=1241.93 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3118 0 0 0 123966 227 0 0 25 0 1 0 143376113 15101952 3065 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3687 3065 311 324 0 2756 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 14748 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287352/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14748 CPUtime=1301.91 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3118 0 0 0 129955 236 0 0 25 0 1 0 143376113 15101952 3065 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3687 3065 311 324 0 2756 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 14748 [startup+1362.3 s] /proc/loadavg: 1.03 1.01 1.00 2/78 24862 /proc/meminfo: memFree=1287352/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14748 CPUtime=1361.9 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3118 0 0 0 135943 247 0 0 25 0 1 0 143376113 15101952 3065 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3687 3065 311 324 0 2756 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 14748 [startup+1422.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287416/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14748 CPUtime=1421.89 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3118 0 0 0 141933 256 0 0 25 0 1 0 143376113 15101952 3065 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3687 3065 311 324 0 2756 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 14748 Solver just ended. Dumping a history of the last processes samples [startup+1433.6 s] /proc/loadavg: 1.01 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287352/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14748 CPUtime=1433.19 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3118 0 0 0 143060 259 0 0 25 0 1 0 143376113 15101952 3065 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7446605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3687 3065 311 324 0 2756 0 Current children cumulated CPU time (s) 1433.19 Current children cumulated vsize (KiB) 14748 [startup+1436.8 s] /proc/loadavg: 1.01 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287352/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14748 CPUtime=1436.38 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3118 0 0 0 143379 259 0 0 25 0 1 0 143376113 15101952 3065 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3687 3065 311 324 0 2756 0 Current children cumulated CPU time (s) 1436.38 Current children cumulated vsize (KiB) 14748 [startup+1438.4 s] /proc/loadavg: 1.01 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287352/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14748 CPUtime=1437.98 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3118 0 0 0 143539 259 0 0 25 0 1 0 143376113 15101952 3065 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3687 3065 311 324 0 2756 0 Current children cumulated CPU time (s) 1437.98 Current children cumulated vsize (KiB) 14748 [startup+1439.2 s] /proc/loadavg: 1.01 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287352/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14748 CPUtime=1438.78 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3118 0 0 0 143619 259 0 0 25 0 1 0 143376113 15101952 3065 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3687 3065 311 324 0 2756 0 Current children cumulated CPU time (s) 1438.78 Current children cumulated vsize (KiB) 14748 [startup+1439.6 s] /proc/loadavg: 1.01 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287352/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14748 CPUtime=1439.19 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3118 0 0 0 143659 260 0 0 25 0 1 0 143376113 15101952 3065 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3687 3065 311 324 0 2756 0 Current children cumulated CPU time (s) 1439.19 Current children cumulated vsize (KiB) 14748 [startup+1440.01 s] /proc/loadavg: 1.01 1.00 1.00 2/78 24862 /proc/meminfo: memFree=1287352/2055920 swapFree=4157140/4192956 [pid=24663] ppid=24661 vsize=14748 CPUtime=1439.59 /proc/24663/stat : 24663 (bsolo3.0.16) R 24661 24663 23425 0 -1 4194304 3118 0 0 0 143699 260 0 0 25 0 1 0 143376113 15101952 3065 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7450451 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24663/statm: 3687 3065 311 324 0 2756 0 Current children cumulated CPU time (s) 1439.59 Current children cumulated vsize (KiB) 14748 Child status: 0 Real time (s): 1440.03 CPU time (s): 1439.61 CPU user time (s): 1437.01 CPU system time (s): 2.6036 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 14748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1437.01 system time used= 2.6036 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3119 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= 11 involuntary context switches= 29620 runsolver used 1.77673 second user time and 3.41948 second system time The end
Begin job on node30 on Thu Apr 19 03:50:04 UTC 2007 IDJOB= 360049 IDBENCH= 1340 IDSOLVER= 163 FILE ID= node30/360049-1176954604 PBS_JOBID= 4605753 Free space on /tmp= 66392 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/360049-1176954604/instance-360049-1176954604.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-360049-1176954604 -o ROOT/results/node30/solver-360049-1176954604 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/360049-1176954604/instance-360049-1176954604.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 42a09607e2cf515cb7da5ec0628015c7 RANDOM SEED= 724242514 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node30.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.218 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.218 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: 1299224 kB Buffers: 36664 kB Cached: 651752 kB SwapCached: 15112 kB Active: 99380 kB Inactive: 612248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1299224 kB SwapTotal: 4192956 kB SwapFree: 4157140 kB Dirty: 4560 kB Writeback: 0 kB Mapped: 30344 kB Slab: 30580 kB Committed_AS: 2845120 kB PageTables: 1776 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= 66392 MiB End job on node30 on Thu Apr 19 04:14:05 UTC 2007