Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | UNSAT | 1473.86 | 1474.28 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb |
MD5SUM | 30c4f9acafc0f3a30de05f75833db699 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 9.1836 |
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 | 689 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 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 HOME/instance-1878849-1245123919.opb 0.00/0.00 c File size is 83381 bytes. 0.00/0.01 c Highest Coefficient sum: 689 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.012 s 0.00/0.01 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5709 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.022 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 231 2586 8096 3 5470 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1473.78/1474.27 c 100 231 2686 12028 4 5675 2069 100 3125 0.03 1473.78/1474.27 c 250 231 2836 18133 6 5974 2276 250 5000 0.05 1473.78/1474.27 c 475 231 3061 29986 9 6425 2504 475 5459 0.09 1473.78/1474.27 c 814 231 3400 49959 14 7104 2755 814 4963 0.16 1473.78/1474.27 c 1322 231 3908 79528 20 8121 3031 1322 4348 0.30 1473.78/1474.27 c 2085 231 4671 124054 26 9646 3335 2085 3521 0.59 1473.78/1474.27 c 3231 231 5817 176855 30 11939 3669 3231 2918 1.11 1473.78/1474.27 c 4955 231 5626 124419 22 11556 4036 3040 3021 1.64 1473.78/1474.27 c 7539 231 6102 125080 20 12508 4440 3516 3014 2.50 1473.78/1474.27 c 11419 231 5361 96528 18 11026 4885 2775 3061 3.73 1473.78/1474.27 c 17241 231 6080 126813 20 12464 5374 3494 3048 5.66 1473.78/1474.27 c 25980 231 6415 136694 21 13135 5912 3829 2857 9.09 1473.78/1474.27 c 39092 231 7284 187818 25 14872 6504 4698 2587 15.11 1473.78/1474.27 c 58763 231 6683 148939 22 13670 7155 4097 2417 24.31 1473.78/1474.27 c 88273 231 6769 161632 23 13843 7871 4183 2210 39.92 1473.78/1474.27 c 132543 231 6530 145223 22 13363 8659 3944 2050 64.64 1473.78/1474.27 c 198954 231 10770 306649 28 21844 9525 8184 1876 106.01 1473.78/1474.27 c 298574 231 8087 192808 23 16478 10478 5501 1794 166.42 1473.78/1474.27 c 448010 231 7946 197480 24 16195 11526 5360 1631 274.68 1473.78/1474.27 c 672169 231 9152 246187 26 18607 12679 6566 1488 451.67 1473.78/1474.27 c 1008412 231 10190 261805 25 20685 13947 7604 1356 743.25 1473.78/1474.27 c 1512784 231 11857 321510 27 24019 15342 9271 1228 1230.97 1473.78/1474.27 c Backtracks by Clause: 0 1473.78/1474.27 c Backtracks by PB constraint: 0 1473.78/1474.27 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1473.78/1474.27 c 22 1737417 404598 2509691 11197 275609 8611 1178 1473.85 1473.78/1474.27 s UNSATISFIABLE 1473.78/1474.27 c Total time: 1473.85 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878849-1245123919/watcher-1878849-1245123919 -o /tmp/evaluation-result-1878849-1245123919/solver-1878849-1245123919 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878849-1245123919.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4059 /proc/meminfo: memFree=692344/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=10792 CPUtime=0 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 179988842 11051008 233 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 2698 233 174 640 0 2033 0 [startup+0.00990905 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4059 /proc/meminfo: memFree=692344/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=10928 CPUtime=0 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 290 0 0 0 0 0 0 0 18 0 1 0 179988842 11190272 274 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 2732 274 183 640 0 2067 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10928 [startup+0.101917 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4059 /proc/meminfo: memFree=692344/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=11496 CPUtime=0.09 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 477 0 0 0 9 0 0 0 18 0 1 0 179988842 11771904 440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 2874 440 195 640 0 2230 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11496 [startup+0.301937 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4059 /proc/meminfo: memFree=692344/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=12136 CPUtime=0.29 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 644 0 0 0 29 0 0 0 19 0 1 0 179988842 12427264 607 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 3034 607 195 640 0 2390 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12136 [startup+0.701978 s] /proc/loadavg: 0.99 0.98 0.99 3/64 4059 /proc/meminfo: memFree=692344/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=12904 CPUtime=0.69 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 856 0 0 0 69 0 0 0 22 0 1 0 179988842 13213696 819 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 3226 819 195 640 0 2582 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12904 [startup+1.50106 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4060 /proc/meminfo: memFree=689328/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=13936 CPUtime=1.48 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 1102 0 0 0 148 0 0 0 25 0 1 0 179988842 14270464 1065 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 3484 1065 195 640 0 2840 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 13936 [startup+3.10122 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4060 /proc/meminfo: memFree=688688/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=13940 CPUtime=3.09 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 1103 0 0 0 308 1 0 0 25 0 1 0 179988842 14274560 1066 1992294400 134512640 137136520 4294956256 18446744073709551615 134598778 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 3485 1066 195 640 0 2841 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13940 [startup+6.30155 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4060 /proc/meminfo: memFree=688496/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=13940 CPUtime=6.29 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 1104 0 0 0 627 2 0 0 25 0 1 0 179988842 14274560 1067 1992294400 134512640 137136520 4294956256 18446744073709551615 136509091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 3485 1067 195 640 0 2841 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13940 [startup+12.7012 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4060 /proc/meminfo: memFree=687800/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=14568 CPUtime=12.69 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 1275 0 0 0 1265 4 0 0 25 0 1 0 179988842 14917632 1238 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 3642 1238 195 640 0 2998 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14568 [startup+25.5015 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4060 /proc/meminfo: memFree=687224/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=15200 CPUtime=25.49 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 1412 0 0 0 2542 7 0 0 25 0 1 0 179988842 15564800 1375 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 3800 1375 195 640 0 3156 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15200 [startup+51.1011 s] /proc/loadavg: 1.07 1.00 1.00 2/65 4060 /proc/meminfo: memFree=686712/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=15772 CPUtime=51.07 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 1555 0 0 0 5093 14 0 0 25 0 1 0 179988842 16150528 1518 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 3943 1518 195 640 0 3299 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15772 [startup+102.305 s] /proc/loadavg: 1.08 1.01 1.00 2/65 4060 /proc/meminfo: memFree=686072/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=16372 CPUtime=102.26 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 1725 0 0 0 10200 26 0 0 25 0 1 0 179988842 16764928 1688 1992294400 134512640 137136520 4294956256 18446744073709551615 136502073 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4093 1688 195 640 0 3449 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16372 [startup+162.301 s] /proc/loadavg: 1.14 1.04 1.01 2/65 4060 /proc/meminfo: memFree=685560/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=16860 CPUtime=162.24 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 1843 0 0 0 16186 38 0 0 25 0 1 0 179988842 17264640 1806 1992294400 134512640 137136520 4294956256 18446744073709551615 136499644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4215 1806 195 640 0 3571 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16860 [startup+222.302 s] /proc/loadavg: 1.05 1.03 1.00 2/65 4060 /proc/meminfo: memFree=685048/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=17476 CPUtime=222.22 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 1985 0 0 0 22175 47 0 0 25 0 1 0 179988842 17895424 1948 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4369 1948 195 640 0 3725 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 17476 [startup+282.302 s] /proc/loadavg: 1.02 1.02 1.00 2/65 4060 /proc/meminfo: memFree=684600/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=17940 CPUtime=282.21 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2098 0 0 0 28164 57 0 0 25 0 1 0 179988842 18370560 2061 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4485 2061 195 640 0 3841 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 17940 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 4060 /proc/meminfo: memFree=684472/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=17940 CPUtime=342.2 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2114 0 0 0 34152 68 0 0 25 0 1 0 179988842 18370560 2077 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4485 2077 195 640 0 3841 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 17940 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4060 /proc/meminfo: memFree=684536/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=17940 CPUtime=402.17 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2114 0 0 0 40140 77 0 0 25 0 1 0 179988842 18370560 2077 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4485 2077 195 640 0 3841 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 17940 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4062 /proc/meminfo: memFree=684152/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=18316 CPUtime=462.16 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2194 0 0 0 46129 87 0 0 25 0 1 0 179988842 18755584 2157 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4579 2157 195 640 0 3935 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 18316 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4062 /proc/meminfo: memFree=684088/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=18412 CPUtime=522.14 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2228 0 0 0 52116 98 0 0 25 0 1 0 179988842 18853888 2191 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4603 2191 195 640 0 3959 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 18412 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4062 /proc/meminfo: memFree=683896/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=18624 CPUtime=582.13 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2272 0 0 0 58102 111 0 0 25 0 1 0 179988842 19070976 2235 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4656 2235 195 640 0 4012 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 18624 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4062 /proc/meminfo: memFree=683832/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=18624 CPUtime=642.11 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2272 0 0 0 64090 121 0 0 25 0 1 0 179988842 19070976 2235 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4656 2235 195 640 0 4012 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 18624 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=682872/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=19608 CPUtime=882.04 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2521 0 0 0 88045 159 0 0 25 0 1 0 179988842 20078592 2484 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4902 2484 195 640 0 4258 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 19608 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4062 /proc/meminfo: memFree=682872/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=19604 CPUtime=942.02 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2521 0 0 0 94033 169 0 0 25 0 1 0 179988842 20074496 2484 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4901 2484 195 640 0 4257 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 19604 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682808/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=19604 CPUtime=1002 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2521 0 0 0 100022 178 0 0 25 0 1 0 179988842 20074496 2484 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4901 2484 195 640 0 4257 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 19604 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=683000/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=19604 CPUtime=1061.98 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2521 0 0 0 106011 187 0 0 25 0 1 0 179988842 20074496 2484 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4901 2484 195 640 0 4257 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 19604 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682936/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=19600 CPUtime=1121.98 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2521 0 0 0 112003 195 0 0 25 0 1 0 179988842 20070400 2484 1992294400 134512640 137136520 4294956256 18446744073709551615 136499623 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4900 2484 195 640 0 4256 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 19600 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682872/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=19600 CPUtime=1181.96 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2521 0 0 0 117993 203 0 0 25 0 1 0 179988842 20070400 2484 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4900 2484 195 640 0 4256 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 19600 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682744/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=19728 CPUtime=1241.94 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2550 0 0 0 123981 213 0 0 25 0 1 0 179988842 20201472 2513 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 4932 2513 195 640 0 4288 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 19728 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682168/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=20240 CPUtime=1301.93 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2683 0 0 0 129972 221 0 0 25 0 1 0 179988842 20725760 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 5060 2646 195 640 0 4416 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 20240 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682168/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=20240 CPUtime=1361.9 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2683 0 0 0 135962 228 0 0 25 0 1 0 179988842 20725760 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 5060 2646 195 640 0 4416 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 20240 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682104/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=20240 CPUtime=1421.89 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2683 0 0 0 141953 236 0 0 25 0 1 0 179988842 20725760 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 5060 2646 195 640 0 4416 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 20240 Solver just ended. Dumping a history of the last processes samples [startup+1433.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682104/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=20240 CPUtime=1433.09 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2683 0 0 0 143071 238 0 0 25 0 1 0 179988842 20725760 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 5060 2646 195 640 0 4416 0 Current children cumulated CPU time (s) 1433.09 Current children cumulated vsize (KiB) 20240 [startup+1459.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682104/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=20240 CPUtime=1458.67 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2683 0 0 0 145625 242 0 0 25 0 1 0 179988842 20725760 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 5060 2646 195 640 0 4416 0 Current children cumulated CPU time (s) 1458.67 Current children cumulated vsize (KiB) 20240 [startup+1465.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682104/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=20240 CPUtime=1465.07 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2683 0 0 0 146264 243 0 0 25 0 1 0 179988842 20725760 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 5060 2646 195 640 0 4416 0 Current children cumulated CPU time (s) 1465.07 Current children cumulated vsize (KiB) 20240 [startup+1468.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682104/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=20240 CPUtime=1468.27 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2683 0 0 0 146584 243 0 0 25 0 1 0 179988842 20725760 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 5060 2646 195 640 0 4416 0 Current children cumulated CPU time (s) 1468.27 Current children cumulated vsize (KiB) 20240 [startup+1471.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682040/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=20240 CPUtime=1471.47 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2683 0 0 0 146903 244 0 0 25 0 1 0 179988842 20725760 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 5060 2646 195 640 0 4416 0 Current children cumulated CPU time (s) 1471.47 Current children cumulated vsize (KiB) 20240 [startup+1473.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682040/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=20240 CPUtime=1473.08 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2683 0 0 0 147063 245 0 0 25 0 1 0 179988842 20725760 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 5060 2646 195 640 0 4416 0 Current children cumulated CPU time (s) 1473.08 Current children cumulated vsize (KiB) 20240 [startup+1473.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682040/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=20240 CPUtime=1473.48 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2683 0 0 0 147103 245 0 0 25 0 1 0 179988842 20725760 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 5060 2646 195 640 0 4416 0 Current children cumulated CPU time (s) 1473.48 Current children cumulated vsize (KiB) 20240 [startup+1474.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682040/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=20240 CPUtime=1473.68 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2683 0 0 0 147123 245 0 0 25 0 1 0 179988842 20725760 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 5060 2646 195 640 0 4416 0 Current children cumulated CPU time (s) 1473.68 Current children cumulated vsize (KiB) 20240 [startup+1474.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4068 /proc/meminfo: memFree=682040/2055920 swapFree=4192952/4192956 [pid=4059] ppid=4057 vsize=20240 CPUtime=1473.78 /proc/4059/stat : 4059 (bsolo) R 4057 4059 3233 0 -1 4194304 2683 0 0 0 147133 245 0 0 25 0 1 0 179988842 20725760 2646 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4059/statm: 5060 2646 195 640 0 4416 0 Current children cumulated CPU time (s) 1473.78 Current children cumulated vsize (KiB) 20240 Child status: 0 Real time (s): 1474.28 CPU time (s): 1473.86 CPU user time (s): 1471.4 CPU system time (s): 2.45163 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 20240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1471.4 system time used= 2.45163 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2685 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= 2 involuntary context switches= 2720 runsolver used 0.907861 second user time and 3.22451 second system time The end
Begin job on node45 at 2009-06-16 05:45:19 IDJOB=1878849 IDBENCH=1362 IDSOLVER=700 FILE ID=node45/1878849-1245123919 PBS_JOBID= 9363671 Free space on /tmp= 66172 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878849-1245123919/watcher-1878849-1245123919 -o /tmp/evaluation-result-1878849-1245123919/solver-1878849-1245123919 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878849-1245123919.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 30c4f9acafc0f3a30de05f75833db699 RANDOM SEED=178918856 node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.240 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.240 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: 692760 kB Buffers: 84888 kB Cached: 1176304 kB SwapCached: 4 kB Active: 179092 kB Inactive: 1096032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 692760 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 4024 kB Writeback: 0 kB Mapped: 23696 kB Slab: 74068 kB Committed_AS: 147040 kB PageTables: 1380 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= 66168 MiB End job on node45 at 2009-06-16 06:09:53