Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.16 | ? | 1800.01 | 1801.27 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb |
MD5SUM | fb1b2fb5676286fc8681e7e6d0d2728f |
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 | 255.099 |
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 | 669 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/350300-1176495696/instance-350300-1176495696.opb 0.00/0.01 c File size is 83375 bytes. 0.00/0.03 c Highest Coefficient sum: 669 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.015 s 0.00/0.03 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709 0.00/0.03 c Obj. Vars: 0 (0 % of total variables) 0.00/0.04 c Pre-processing Time: 0.025 s 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 231 2586 8096 3 5473 1880 0 0 0.03 0.00/0.04 c Switching off LPR mode. 1799.93/1801.26 c 102 231 2688 13546 5 5680 2069 102 2914 0.04 1799.93/1801.26 c 254 231 2840 21494 7 5984 2276 254 4792 0.05 1799.93/1801.26 c 479 231 3065 34102 11 6434 2504 479 5702 0.08 1799.93/1801.26 c 817 231 3403 49949 14 7110 2755 817 6142 0.13 1799.93/1801.26 c 1326 231 3912 74699 19 8128 3031 1326 5790 0.23 1799.93/1801.26 c 2090 231 4676 106798 22 9656 3335 2090 5358 0.39 1799.93/1801.26 c 3239 231 5825 155937 26 11955 3669 3239 4937 0.66 1799.93/1801.26 c 4961 231 5573 127780 22 11447 4036 2987 4825 1.03 1799.93/1801.26 c 7546 231 6050 157987 26 12404 4440 3464 4473 1.69 1799.93/1801.26 c 11426 231 5270 118606 22 10844 4885 2684 4263 2.68 1799.93/1801.26 c 17249 231 6083 160871 26 12469 5374 3497 3845 4.49 1799.93/1801.26 c 25988 231 6445 176704 27 13194 5912 3859 3570 7.28 1799.93/1801.26 c 39100 231 7229 212361 29 14761 6504 4643 3361 11.63 1799.93/1801.26 c 58771 231 6734 202921 30 13772 7155 4148 2988 19.67 1799.93/1801.26 c 88283 231 6761 201477 29 13826 7871 4175 2658 33.21 1799.93/1801.26 c 132554 231 6522 192693 29 13348 8659 3936 2405 55.11 1799.93/1801.26 c 198965 231 10654 366918 34 21613 9525 8068 2242 88.72 1799.93/1801.26 c 298586 231 7832 245740 31 15969 10478 5246 2084 143.21 1799.93/1801.26 c 448022 231 12594 428646 34 25491 11526 10008 1974 226.87 1799.93/1801.26 c 672181 231 13348 481295 36 26999 12679 10762 1809 371.47 1799.93/1801.26 c 1008426 231 14161 543275 38 28625 13947 11575 1611 625.67 1799.93/1801.26 c 1512799 231 15213 573799 37 30730 15342 12627 1443 1047.77 1799.93/1801.26 c 2269363 231 16374 620337 37 33053 16877 13788 1313 1728.12 1799.93/1801.26 c Resources Exceeded 1799.93/1801.26 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1801.26 c 23 2348304 420440 3063029 18374 723425 15788 1304 1800.00 1799.93/1801.26 s UNKNOWN 1799.93/1801.26 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/node11/watcher-350300-1176495696 -o ROOT/results/node11/solver-350300-1176495696 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350300-1176495696/instance-350300-1176495696.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.08 1.02 0.91 3/77 13109 /proc/meminfo: memFree=1025344/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=3780 CPUtime=0 /proc/13109/stat : 13109 (bsolo3.0.16) D 13107 13109 12738 0 -1 4194304 186 0 1 0 0 0 0 0 18 0 1 0 90618578 3870720 155 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/13109/statm: 945 155 129 324 0 14 0 [startup+0.079889 s] /proc/loadavg: 1.08 1.02 0.91 3/77 13109 /proc/meminfo: memFree=1025344/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=4716 CPUtime=0.06 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 591 0 3 0 6 0 0 0 18 0 1 0 90618578 4829184 541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 1179 541 311 324 0 248 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4716 [startup+0.101892 s] /proc/loadavg: 1.08 1.02 0.91 3/77 13109 /proc/meminfo: memFree=1025344/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=4848 CPUtime=0.08 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 623 0 3 0 8 0 0 0 18 0 1 0 90618578 4964352 573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 1212 573 311 324 0 281 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4848 [startup+0.301915 s] /proc/loadavg: 1.08 1.02 0.91 3/77 13109 /proc/meminfo: memFree=1025344/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=5640 CPUtime=0.28 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 826 0 3 0 28 0 0 0 19 0 1 0 90618578 5775360 776 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 1410 776 311 324 0 479 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5640 [startup+0.701962 s] /proc/loadavg: 1.08 1.02 0.91 3/77 13109 /proc/meminfo: memFree=1025344/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=6676 CPUtime=0.67 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 1106 0 3 0 67 0 0 0 23 0 1 0 90618578 6836224 1056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 1669 1056 311 324 0 738 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 6676 [startup+1.50106 s] /proc/loadavg: 1.08 1.02 0.91 2/78 13110 /proc/meminfo: memFree=1021496/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=7068 CPUtime=1.48 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 1191 0 3 0 147 1 0 0 25 0 1 0 90618578 7237632 1141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8410436 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 1767 1141 311 324 0 836 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7068 [startup+3.10124 s] /proc/loadavg: 1.08 1.02 0.91 2/78 13110 /proc/meminfo: memFree=1020856/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=7464 CPUtime=3.08 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 1307 0 3 0 307 1 0 0 25 0 1 0 90618578 7643136 1257 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 1866 1257 311 324 0 935 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 7464 [startup+6.30162 s] /proc/loadavg: 1.07 1.02 0.91 2/78 13110 /proc/meminfo: memFree=1020088/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=8216 CPUtime=6.27 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 1471 0 3 0 624 3 0 0 25 0 1 0 90618578 8413184 1421 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 2054 1421 311 324 0 1123 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 8216 [startup+12.7014 s] /proc/loadavg: 1.07 1.02 0.91 2/78 13110 /proc/meminfo: memFree=1019640/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=8992 CPUtime=12.66 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 1666 0 3 0 1262 4 0 0 25 0 1 0 90618578 9207808 1616 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 2248 1616 311 324 0 1317 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 8992 [startup+25.5019 s] /proc/loadavg: 1.05 1.01 0.91 2/78 13110 /proc/meminfo: memFree=1018808/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=9640 CPUtime=25.46 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 1852 0 3 0 2538 8 0 0 25 0 1 0 90618578 9871360 1802 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 2410 1802 311 324 0 1479 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 9640 [startup+51.1019 s] /proc/loadavg: 1.03 1.01 0.91 2/78 13110 /proc/meminfo: memFree=1017976/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=10556 CPUtime=51.04 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 2077 0 3 0 5091 13 0 0 25 0 1 0 90618578 10809344 2027 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 2639 2027 311 324 0 1708 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 10556 [startup+102.306 s] /proc/loadavg: 1.01 1.01 0.91 2/78 13110 /proc/meminfo: memFree=1017080/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=11412 CPUtime=102.2 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 2273 0 3 0 10199 21 0 0 25 0 1 0 90618578 11685888 2223 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 2853 2223 311 324 0 1922 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 11412 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13110 /proc/meminfo: memFree=1016504/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=11928 CPUtime=162.17 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 2424 0 3 0 16185 32 0 0 25 0 1 0 90618578 12214272 2374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551201 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 2982 2374 311 324 0 2051 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 11928 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13110 /proc/meminfo: memFree=1016440/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=11928 CPUtime=222.13 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 2424 0 3 0 22170 43 0 0 25 0 1 0 90618578 12214272 2374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 2982 2374 311 324 0 2051 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 11928 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13110 /proc/meminfo: memFree=1015416/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=12964 CPUtime=282.07 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 2679 0 3 0 28155 52 0 0 25 0 1 0 90618578 13275136 2629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8412738 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3241 2629 311 324 0 2310 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 12964 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13110 /proc/meminfo: memFree=1015416/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=12964 CPUtime=342.04 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 2679 0 3 0 34142 62 0 0 25 0 1 0 90618578 13275136 2629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3241 2629 311 324 0 2310 0 Current children cumulated CPU time (s) 342.04 Current children cumulated vsize (KiB) 12964 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13110 /proc/meminfo: memFree=1014904/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=13580 CPUtime=402.01 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 2819 0 3 0 40129 72 0 0 25 0 1 0 90618578 13905920 2769 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8410436 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3395 2769 311 324 0 2464 0 Current children cumulated CPU time (s) 402.01 Current children cumulated vsize (KiB) 13580 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13110 /proc/meminfo: memFree=1014712/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=13780 CPUtime=461.96 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 2870 0 3 0 46116 80 0 0 25 0 1 0 90618578 14110720 2820 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3445 2820 311 324 0 2514 0 Current children cumulated CPU time (s) 461.96 Current children cumulated vsize (KiB) 13780 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13110 /proc/meminfo: memFree=1014648/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=13776 CPUtime=521.94 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 2870 0 3 0 52105 89 0 0 25 0 1 0 90618578 14106624 2820 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3444 2820 311 324 0 2513 0 Current children cumulated CPU time (s) 521.94 Current children cumulated vsize (KiB) 13776 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13110 /proc/meminfo: memFree=1014648/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=13776 CPUtime=581.91 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 2870 0 3 0 58093 98 0 0 25 0 1 0 90618578 14106624 2820 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8410442 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3444 2820 311 324 0 2513 0 Current children cumulated CPU time (s) 581.91 Current children cumulated vsize (KiB) 13776 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13110 /proc/meminfo: memFree=1013752/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=14764 CPUtime=641.85 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3116 0 3 0 64079 106 0 0 25 0 1 0 90618578 15118336 3066 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3691 3066 311 324 0 2760 0 Current children cumulated CPU time (s) 641.85 Current children cumulated vsize (KiB) 14764 ################ # More data... # ################ /proc/meminfo: memFree=1012472/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=16044 CPUtime=1121.49 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3439 0 3 0 111974 175 0 0 25 0 1 0 90618578 16429056 3388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 4011 3388 311 324 0 3080 0 Current children cumulated CPU time (s) 1121.49 Current children cumulated vsize (KiB) 16044 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13110 /proc/meminfo: memFree=1012472/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=16004 CPUtime=1181.45 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3439 0 3 0 117961 184 0 0 25 0 1 0 90618578 16388096 3388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 4001 3388 311 324 0 3070 0 Current children cumulated CPU time (s) 1181.45 Current children cumulated vsize (KiB) 16004 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=16000 CPUtime=1241.42 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3439 0 3 0 123950 192 0 0 25 0 1 0 90618578 16384000 3388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 4000 3388 311 324 0 3069 0 Current children cumulated CPU time (s) 1241.42 Current children cumulated vsize (KiB) 16000 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=16000 CPUtime=1301.38 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3439 0 3 0 129938 200 0 0 25 0 1 0 90618578 16384000 3388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 4000 3388 311 324 0 3069 0 Current children cumulated CPU time (s) 1301.38 Current children cumulated vsize (KiB) 16000 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=15952 CPUtime=1361.34 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3439 0 3 0 135926 208 0 0 25 0 1 0 90618578 16334848 3381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3988 3381 311 324 0 3057 0 Current children cumulated CPU time (s) 1361.34 Current children cumulated vsize (KiB) 15952 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=15952 CPUtime=1421.31 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3439 0 3 0 141915 216 0 0 25 0 1 0 90618578 16334848 3381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3988 3381 311 324 0 3057 0 Current children cumulated CPU time (s) 1421.31 Current children cumulated vsize (KiB) 15952 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=15952 CPUtime=1481.27 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3439 0 3 0 147903 224 0 0 25 0 1 0 90618578 16334848 3381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3988 3381 311 324 0 3057 0 Current children cumulated CPU time (s) 1481.27 Current children cumulated vsize (KiB) 15952 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=15952 CPUtime=1541.21 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3439 0 3 0 153890 231 0 0 25 0 1 0 90618578 16334848 3381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8421093 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3988 3381 311 324 0 3057 0 Current children cumulated CPU time (s) 1541.21 Current children cumulated vsize (KiB) 15952 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=15952 CPUtime=1601.16 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3439 0 3 0 159878 238 0 0 25 0 1 0 90618578 16334848 3381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3988 3381 311 324 0 3057 0 Current children cumulated CPU time (s) 1601.16 Current children cumulated vsize (KiB) 15952 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=15952 CPUtime=1661.11 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3439 0 3 0 165864 247 0 0 25 0 1 0 90618578 16334848 3381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3988 3381 311 324 0 3057 0 Current children cumulated CPU time (s) 1661.11 Current children cumulated vsize (KiB) 15952 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012472/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=15760 CPUtime=1721.07 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3439 0 3 0 171852 255 0 0 25 0 1 0 90618578 16138240 3333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 3940 3333 311 324 0 3009 0 Current children cumulated CPU time (s) 1721.07 Current children cumulated vsize (KiB) 15760 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=16152 CPUtime=1781.04 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3522 0 3 0 177841 263 0 0 25 0 1 0 90618578 16539648 3416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8410416 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 4038 3416 311 324 0 3107 0 Current children cumulated CPU time (s) 1781.04 Current children cumulated vsize (KiB) 16152 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=16152 CPUtime=1790.63 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3522 0 3 0 178799 264 0 0 25 0 1 0 90618578 16539648 3416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 4038 3416 311 324 0 3107 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (KiB) 16152 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=16152 CPUtime=1793.84 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3522 0 3 0 179119 265 0 0 25 0 1 0 90618578 16539648 3416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 4038 3416 311 324 0 3107 0 Current children cumulated CPU time (s) 1793.84 Current children cumulated vsize (KiB) 16152 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=16152 CPUtime=1797.03 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3522 0 3 0 179437 266 0 0 25 0 1 0 90618578 16539648 3416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 4038 3416 311 324 0 3107 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 16152 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=16152 CPUtime=1798.63 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3522 0 3 0 179597 266 0 0 25 0 1 0 90618578 16539648 3416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 4038 3416 311 324 0 3107 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (KiB) 16152 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=16152 CPUtime=1799.43 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3522 0 3 0 179677 266 0 0 25 0 1 0 90618578 16539648 3416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8421093 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 4038 3416 311 324 0 3107 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (KiB) 16152 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=16152 CPUtime=1799.83 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3522 0 3 0 179717 266 0 0 25 0 1 0 90618578 16539648 3416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 4038 3416 311 324 0 3107 0 Current children cumulated CPU time (s) 1799.83 Current children cumulated vsize (KiB) 16152 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 0.91 2/78 13112 /proc/meminfo: memFree=1012280/2055920 swapFree=4192952/4192956 [pid=13109] ppid=13107 vsize=16152 CPUtime=1799.93 /proc/13109/stat : 13109 (bsolo3.0.16) R 13107 13109 12738 0 -1 4194304 3522 0 3 0 179727 266 0 0 25 0 1 0 90618578 16539648 3416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8413025 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13109/statm: 4038 3416 311 324 0 3107 0 Current children cumulated CPU time (s) 1799.93 Current children cumulated vsize (KiB) 16152 Child status: 0 Real time (s): 1801.27 CPU time (s): 1800.01 CPU user time (s): 1797.34 CPU system time (s): 2.66559 CPU usage (%): 99.9297 Max. virtual memory (cumulated for all children) (KiB): 16152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.34 system time used= 2.66559 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3523 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 41329 runsolver used 1.93371 second user time and 4.6253 second system time The end
Begin job on node11 on Fri Apr 13 20:21:36 UTC 2007 IDJOB= 350300 IDBENCH= 1275 IDSOLVER= 163 FILE ID= node11/350300-1176495696 PBS_JOBID= 4556682 Free space on /tmp= 66466 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.1900567985.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350300-1176495696/instance-350300-1176495696.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-350300-1176495696 -o ROOT/results/node11/solver-350300-1176495696 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350300-1176495696/instance-350300-1176495696.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= fb1b2fb5676286fc8681e7e6d0d2728f RANDOM SEED= 168086262 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1025816 kB Buffers: 51220 kB Cached: 849572 kB SwapCached: 4 kB Active: 310684 kB Inactive: 645008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1025816 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 4560 kB Writeback: 0 kB Mapped: 73780 kB Slab: 59916 kB Committed_AS: 5062180 kB PageTables: 1848 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= 66466 MiB End job on node11 on Fri Apr 13 20:51:38 UTC 2007