Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.16 | ? | 1800 | 1800.57 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb |
MD5SUM | f4b978648ea0f0ad7162795950b3a449 |
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 | 153.747 |
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 | 625 |
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/359741-1176941240/instance-359741-1176941240.opb 0.00/0.00 c File size is 83373 bytes. 0.00/0.01 c Highest Coefficient sum: 625 0.00/0.01 c Parsing was ok!! 0.00/0.01 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. 1799.93/1800.56 c 102 231 2688 13756 5 5677 2069 102 2684 0.04 1799.93/1800.56 c 253 231 2839 21743 7 5981 2276 253 4517 0.06 1799.93/1800.56 c 479 231 3065 32890 10 6432 2504 479 5771 0.08 1799.93/1800.56 c 819 231 3405 50134 14 7113 2755 819 6111 0.13 1799.93/1800.56 c 1332 231 3918 75958 19 8140 3031 1332 5504 0.24 1799.93/1800.56 c 2095 231 4681 110238 23 9665 3335 2095 4906 0.43 1799.93/1800.56 c 3244 231 5830 164180 28 11964 3669 3244 4121 0.79 1799.93/1800.56 c 4966 231 5618 150792 26 11539 4036 3032 3714 1.34 1799.93/1800.56 c 7550 231 6075 173912 28 12452 4440 3489 3501 2.16 1799.93/1800.56 c 11429 231 5303 146114 27 10909 4885 2717 3161 3.62 1799.93/1800.56 c 17251 231 6032 175133 29 12366 5374 3446 2976 5.79 1799.93/1800.56 c 25988 231 6404 188663 29 13111 5912 3818 2888 9.00 1799.93/1800.56 c 39098 231 7280 245593 33 14861 6504 4694 2731 14.32 1799.93/1800.56 c 58768 231 6862 225024 32 14028 7155 4276 2553 23.01 1799.93/1800.56 c 88279 231 6887 237522 34 14078 7871 4301 2290 38.54 1799.93/1800.56 c 132550 231 6595 185564 28 13493 8659 4009 2216 59.80 1799.93/1800.56 c 198961 231 10794 361686 33 21893 9525 8208 2157 92.23 1799.93/1800.56 c 298581 231 8006 253959 31 16316 10478 5420 1964 151.98 1799.93/1800.56 c 448017 231 12880 479954 37 26062 11526 10294 1815 246.77 1799.93/1800.56 c 672175 231 13606 525126 38 27514 12679 11020 1626 413.27 1799.93/1800.56 c 1008419 231 14235 508211 35 28773 13947 11649 1506 669.47 1799.93/1800.56 c 1512793 231 14956 570920 38 30216 15342 12370 1348 1121.82 1799.93/1800.56 c Resources Exceeded 1799.93/1800.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.56 c 22 2217438 378707 2841103 10553 400177 7967 1231 1800.00 1799.93/1800.56 s UNKNOWN 1799.93/1800.56 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-359741-1176941240 -o ROOT/results/node71/solver-359741-1176941240 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359741-1176941240/instance-359741-1176941240.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: 1.00 1.00 1.00 3/64 27902 /proc/meminfo: memFree=1225208/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=4008 CPUtime=0 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 170113297 4104192 337 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 1002 337 282 324 0 50 0 [startup+0.0870259 s] /proc/loadavg: 1.00 1.00 1.00 3/64 27902 /proc/meminfo: memFree=1225208/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=4716 CPUtime=0.08 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 621 0 0 0 8 0 0 0 18 0 1 0 170113297 4829184 568 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 1179 568 310 324 0 248 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4716 [startup+0.101027 s] /proc/loadavg: 1.00 1.00 1.00 3/64 27902 /proc/meminfo: memFree=1225208/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=4844 CPUtime=0.09 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 642 0 0 0 9 0 0 0 18 0 1 0 170113297 4960256 589 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 1211 589 310 324 0 280 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4844 [startup+0.301054 s] /proc/loadavg: 1.00 1.00 1.00 3/64 27902 /proc/meminfo: memFree=1225208/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=5628 CPUtime=0.29 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 825 0 0 0 29 0 0 0 19 0 1 0 170113297 5763072 772 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 1407 772 311 324 0 476 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5628 [startup+0.701109 s] /proc/loadavg: 1.00 1.00 1.00 3/64 27902 /proc/meminfo: memFree=1225208/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=6540 CPUtime=0.69 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 1074 0 0 0 68 1 0 0 22 0 1 0 170113297 6696960 1021 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 1635 1021 311 324 0 704 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6540 [startup+1.50122 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1221744/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=7192 CPUtime=1.49 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 1224 0 0 0 148 1 0 0 25 0 1 0 170113297 7364608 1171 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 1798 1171 311 324 0 867 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7192 [startup+3.10244 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1221296/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=7712 CPUtime=3.09 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 1363 0 0 0 307 2 0 0 25 0 1 0 170113297 7897088 1310 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 1928 1310 311 324 0 997 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7712 [startup+6.30187 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1220408/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=8228 CPUtime=6.29 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 1483 0 0 0 626 3 0 0 25 0 1 0 170113297 8425472 1430 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 2057 1430 311 324 0 1126 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8228 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1219512/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=9116 CPUtime=12.68 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 1699 0 0 0 1264 4 0 0 25 0 1 0 170113297 9334784 1646 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 2279 1646 311 324 0 1348 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 9116 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1218488/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=10148 CPUtime=25.48 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 1966 0 0 0 2541 7 0 0 25 0 1 0 170113297 10391552 1913 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 2537 1913 311 324 0 1606 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10148 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1217464/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=11164 CPUtime=51.08 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2218 0 0 0 5094 14 0 0 25 0 1 0 170113297 11431936 2165 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 2791 2165 311 324 0 1860 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 11164 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1217272/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=11376 CPUtime=102.26 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2277 0 0 0 10202 24 0 0 25 0 1 0 170113297 11649024 2224 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 2844 2224 311 324 0 1913 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11376 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1216568/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=12088 CPUtime=162.23 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2446 0 0 0 16189 34 0 0 25 0 1 0 170113297 12378112 2393 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3022 2393 311 324 0 2091 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 12088 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1216184/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=12444 CPUtime=222.22 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2536 0 0 0 22176 46 0 0 25 0 1 0 170113297 12742656 2483 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3111 2483 311 324 0 2180 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 12444 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1215480/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=13088 CPUtime=282.21 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2712 0 0 0 28163 58 0 0 25 0 1 0 170113297 13402112 2659 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3272 2659 311 324 0 2341 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 13088 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1215160/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=13436 CPUtime=342.18 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2785 0 0 0 34151 67 0 0 25 0 1 0 170113297 13758464 2732 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3359 2732 311 324 0 2428 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 13436 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1215224/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=13428 CPUtime=402.16 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2785 0 0 0 40140 76 0 0 25 0 1 0 170113297 13750272 2732 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3357 2732 311 324 0 2426 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 13428 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1214648/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=13952 CPUtime=462.14 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2915 0 0 0 46127 87 0 0 25 0 1 0 170113297 14286848 2862 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3488 2862 311 324 0 2557 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 13952 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1214648/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=13884 CPUtime=522.12 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2915 0 0 0 52115 97 0 0 25 0 1 0 170113297 14217216 2862 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3471 2862 311 324 0 2540 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 13884 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1214712/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=13876 CPUtime=582.1 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2915 0 0 0 58102 108 0 0 25 0 1 0 170113297 14209024 2862 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3469 2862 311 324 0 2538 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 13876 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1214648/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=13876 CPUtime=642.09 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 2915 0 0 0 64090 119 0 0 25 0 1 0 170113297 14209024 2862 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3469 2862 311 324 0 2538 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 13876 ################ # More data... # ################ /proc/meminfo: memFree=1213816/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=14744 CPUtime=1061.96 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3134 0 0 0 106014 182 0 0 25 0 1 0 170113297 15097856 3079 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3686 3079 311 324 0 2755 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 14744 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1213880/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=14740 CPUtime=1121.94 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3134 0 0 0 112003 191 0 0 25 0 1 0 170113297 15093760 3078 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3685 3078 311 324 0 2754 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 14740 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1213112/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=15436 CPUtime=1181.92 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3308 0 0 0 117991 201 0 0 25 0 1 0 170113297 15806464 3252 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3859 3252 311 324 0 2928 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 15436 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1213048/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=15540 CPUtime=1241.9 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3318 0 0 0 123980 210 0 0 25 0 1 0 170113297 15912960 3262 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550989 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3885 3262 311 324 0 2954 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 15540 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212792/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=15860 CPUtime=1301.89 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3397 0 0 0 129970 219 0 0 25 0 1 0 170113297 16240640 3341 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3965 3341 311 324 0 3034 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 15860 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212664/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=15980 CPUtime=1361.86 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3429 0 0 0 135958 228 0 0 25 0 1 0 170113297 16363520 3373 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7638772 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3995 3373 311 324 0 3064 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 15980 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212600/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=15976 CPUtime=1421.85 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3429 0 0 0 141947 238 0 0 25 0 1 0 170113297 16359424 3373 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3994 3373 311 324 0 3063 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 15976 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212600/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=15976 CPUtime=1481.82 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3435 0 0 0 147936 246 0 0 25 0 1 0 170113297 16359424 3379 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3994 3379 311 324 0 3063 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 15976 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212600/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=15976 CPUtime=1541.81 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3435 0 0 0 153925 256 0 0 25 0 1 0 170113297 16359424 3379 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3994 3379 311 324 0 3063 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 15976 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212600/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=15976 CPUtime=1601.78 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3435 0 0 0 159914 264 0 0 25 0 1 0 170113297 16359424 3379 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7638772 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3994 3379 311 324 0 3063 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 15976 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212600/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=15976 CPUtime=1661.76 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3435 0 0 0 165903 273 0 0 25 0 1 0 170113297 16359424 3379 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 3994 3379 311 324 0 3063 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 15976 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=16364 CPUtime=1721.75 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 171894 281 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134552596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 4091 3469 311 324 0 3160 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 16364 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=16364 CPUtime=1781.73 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 177882 291 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 4091 3469 311 324 0 3160 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 16364 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=16364 CPUtime=1791.33 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 178841 292 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 4091 3469 311 324 0 3160 0 Current children cumulated CPU time (s) 1791.33 Current children cumulated vsize (KiB) 16364 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=16364 CPUtime=1794.53 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 179160 293 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 4091 3469 311 324 0 3160 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (KiB) 16364 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=16364 CPUtime=1797.72 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 179479 293 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160521836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 4091 3469 311 324 0 3160 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 16364 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=16364 CPUtime=1799.33 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 179639 294 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 4091 3469 311 324 0 3160 0 Current children cumulated CPU time (s) 1799.33 Current children cumulated vsize (KiB) 16364 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=16364 CPUtime=1799.73 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 179679 294 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7639391 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 4091 3469 311 324 0 3160 0 Current children cumulated CPU time (s) 1799.73 Current children cumulated vsize (KiB) 16364 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27903 /proc/meminfo: memFree=1212216/2055920 swapFree=4184232/4192956 [pid=27902] ppid=27900 vsize=16364 CPUtime=1799.93 /proc/27902/stat : 27902 (bsolo3.0.16) R 27900 27902 27203 0 -1 4194304 3525 0 0 0 179699 294 0 0 25 0 1 0 170113297 16756736 3469 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27902/statm: 4091 3469 311 324 0 3160 0 Current children cumulated CPU time (s) 1799.93 Current children cumulated vsize (KiB) 16364 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800 CPU user time (s): 1797.06 CPU system time (s): 2.94255 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 16364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.06 system time used= 2.94255 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3526 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= 1779 runsolver used 1.24881 second user time and 3.67544 second system time The end
Begin job on node71 on Thu Apr 19 00:07:20 UTC 2007 IDJOB= 359741 IDBENCH= 1317 IDSOLVER= 163 FILE ID= node71/359741-1176941240 PBS_JOBID= 4605712 Free space on /tmp= 66443 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.1900559676.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359741-1176941240/instance-359741-1176941240.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-359741-1176941240 -o ROOT/results/node71/solver-359741-1176941240 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/359741-1176941240/instance-359741-1176941240.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= f4b978648ea0f0ad7162795950b3a449 RANDOM SEED= 542979647 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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.234 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.234 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: 1225616 kB Buffers: 31508 kB Cached: 718564 kB SwapCached: 2620 kB Active: 171196 kB Inactive: 588784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1225616 kB SwapTotal: 4192956 kB SwapFree: 4184232 kB Dirty: 4460 kB Writeback: 0 kB Mapped: 16012 kB Slab: 56344 kB Committed_AS: 2561328 kB PageTables: 1448 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= 66443 MiB End job on node71 on Thu Apr 19 00:37:21 UTC 2007