Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 pb | ? | 1798.01 | 1798.51 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb |
MD5SUM | ff92e7f0cc5c4d2f39e30a6748b3406b |
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 | 6.77697 |
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 | 723 |
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: Generic Pseudo-Boolean 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-1880281-1245124294.opb 0.00/0.00 c File size is 83383 bytes. 0.00/0.01 c Highest Coefficient sum: 723 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: 5713 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.023 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 5475 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1798.00/1798.50 c 102 231 2789 18230 6 7660 2069 203 2217 0.05 1798.00/1798.50 c 254 231 3091 34827 11 12114 2276 505 2673 0.10 1798.00/1798.50 c 479 231 3537 72571 20 24070 2504 951 1939 0.25 1798.00/1798.50 c 819 231 4213 135163 32 43311 2755 1627 1273 0.64 1798.00/1798.50 c 1327 231 5221 232879 44 69107 3031 2635 849 1.56 1798.00/1798.50 c 2090 231 5105 221609 43 67975 3335 2519 547 3.82 1798.00/1798.50 c 3238 231 5638 237587 42 98739 3669 3052 508 6.36 1798.00/1798.50 c 4959 231 5217 233489 44 109554 4036 2631 313 15.84 1798.00/1798.50 c 7546 231 6161 358545 58 153917 4440 3575 221 34.00 1798.00/1798.50 c 11425 231 6896 453281 65 192121 4885 4310 160 71.22 1798.00/1798.50 c 17247 231 5800 341852 58 162344 5374 3214 119 144.42 1798.00/1798.50 c 25984 231 6456 395816 61 180323 5912 3870 105 245.45 1798.00/1798.50 c 39094 231 8085 553529 68 210341 6504 5499 98 395.45 1798.00/1798.50 c 58766 231 7088 448118 63 200562 7155 4502 87 671.76 1798.00/1798.50 c 88279 231 7041 445198 63 198564 7871 4455 83 1060.87 1798.00/1798.50 c 132549 231 10445 781708 74 308226 8659 7859 79 1670.52 1798.00/1798.50 c Resources Exceeded 1798.00/1798.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.00/1798.50 c 16 140626 24141 184333 8883 621554 6297 78 1798.00 1798.00/1798.50 s UNKNOWN 1798.00/1798.50 c Total time: 1798 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-1880281-1245124294/watcher-1880281-1245124294 -o /tmp/evaluation-result-1880281-1245124294/solver-1880281-1245124294 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880281-1245124294.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: 1.00 1.00 1.00 3/64 1081 /proc/meminfo: memFree=1285344/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=10792 CPUtime=0 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 180029531 11051008 233 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 2698 233 174 640 0 2033 0 [startup+0.10252 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1081 /proc/meminfo: memFree=1285344/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=11628 CPUtime=0.09 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 524 0 0 0 9 0 0 0 18 0 1 0 180029531 11907072 487 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 2907 487 196 640 0 2263 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11628 [startup+0.201529 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1081 /proc/meminfo: memFree=1285344/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=12148 CPUtime=0.19 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 654 0 0 0 19 0 0 0 18 0 1 0 180029531 12439552 617 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 3037 617 196 640 0 2393 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12148 [startup+0.301539 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1081 /proc/meminfo: memFree=1285344/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=12540 CPUtime=0.29 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 758 0 0 0 29 0 0 0 19 0 1 0 180029531 12840960 721 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 3135 721 196 640 0 2491 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12540 [startup+0.701576 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1081 /proc/meminfo: memFree=1285344/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=13848 CPUtime=0.69 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 1070 0 0 0 69 0 0 0 22 0 1 0 180029531 14180352 1033 1992294400 134512640 137136520 4294956256 18446744073709551615 134544176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 3462 1033 196 640 0 2818 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13848 [startup+1.50165 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1281048/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=15536 CPUtime=1.49 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 1494 0 0 0 149 0 0 0 25 0 1 0 180029531 15908864 1457 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 3884 1457 196 640 0 3240 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15536 [startup+3.10181 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1279128/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=16708 CPUtime=3.09 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 1789 0 0 0 308 1 0 0 25 0 1 0 180029531 17108992 1752 1992294400 134512640 137136520 4294956256 18446744073709551615 134605983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 4177 1752 196 640 0 3533 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16708 [startup+6.30112 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1278680/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=16840 CPUtime=6.29 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 1819 0 0 0 628 1 0 0 25 0 1 0 180029531 17244160 1782 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 4210 1782 197 640 0 3566 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16840 [startup+12.7027 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1276640/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=18804 CPUtime=12.69 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 2321 0 0 0 1267 2 0 0 25 0 1 0 180029531 19255296 2284 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 4701 2284 197 640 0 4057 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18804 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1275488/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=19980 CPUtime=25.48 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 2611 0 0 0 2546 2 0 0 25 0 1 0 180029531 20459520 2574 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 4995 2574 197 640 0 4351 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19980 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1273888/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=21684 CPUtime=51.08 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 3029 0 0 0 5104 4 0 0 25 0 1 0 180029531 22204416 2992 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 5421 2992 197 640 0 4777 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21684 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1272160/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=23232 CPUtime=102.26 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 3443 0 0 0 10221 5 0 0 25 0 1 0 180029531 23789568 3406 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 5808 3406 197 640 0 5164 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23232 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1271776/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=23620 CPUtime=162.25 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 3532 0 0 0 16218 7 0 0 25 0 1 0 180029531 24186880 3495 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 5905 3495 197 640 0 5261 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 23620 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1271328/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=24148 CPUtime=222.23 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 3656 0 0 0 22215 8 0 0 25 0 1 0 180029531 24727552 3619 1992294400 134512640 137136520 4294956256 18446744073709551615 136503730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 6037 3619 197 640 0 5393 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 24148 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1270176/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=25316 CPUtime=282.21 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 3943 0 0 0 28212 9 0 0 25 0 1 0 180029531 25923584 3906 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 6329 3906 197 640 0 5685 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 25316 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1270240/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=25316 CPUtime=342.19 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 3943 0 0 0 34209 10 0 0 25 0 1 0 180029531 25923584 3906 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 6329 3906 197 640 0 5685 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 25316 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1269856/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=25696 CPUtime=402.17 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4035 0 0 0 40206 11 0 0 25 0 1 0 180029531 26312704 3998 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 6424 3998 197 640 0 5780 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 25696 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1269024/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=26464 CPUtime=462.16 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4225 0 0 0 46203 13 0 0 25 0 1 0 180029531 27099136 4188 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 6616 4188 197 640 0 5972 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 26464 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1084 /proc/meminfo: memFree=1269024/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=26460 CPUtime=522.14 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4236 0 0 0 52200 14 0 0 25 0 1 0 180029531 27095040 4199 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 6615 4199 197 640 0 5971 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 26460 [startup+582.301 s] /proc/loadavg: 1.04 1.01 1.00 2/65 1090 /proc/meminfo: memFree=1268896/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=26588 CPUtime=582.13 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4267 0 0 0 58198 15 0 0 25 0 1 0 180029531 27226112 4230 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 6647 4230 197 640 0 6003 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 26588 [startup+642.301 s] /proc/loadavg: 1.01 1.01 1.00 2/65 1090 /proc/meminfo: memFree=1268768/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=26720 CPUtime=642.11 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4295 0 0 0 64195 16 0 0 25 0 1 0 180029531 27361280 4258 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 6680 4258 197 640 0 6036 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 26720 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1266848/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=28668 CPUtime=1121.98 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4779 0 0 0 112173 25 0 0 25 0 1 0 180029531 29356032 4742 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7167 4742 197 640 0 6523 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 28668 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265952/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=29444 CPUtime=1181.96 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4992 0 0 0 118170 26 0 0 25 0 1 0 180029531 30150656 4955 1992294400 134512640 137136520 4294956256 18446744073709551615 134540850 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7361 4955 197 640 0 6717 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 29444 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265952/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=29444 CPUtime=1241.94 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4992 0 0 0 124167 27 0 0 25 0 1 0 180029531 30150656 4955 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7361 4955 197 640 0 6717 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 29444 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265888/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=29444 CPUtime=1301.93 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4992 0 0 0 130164 29 0 0 25 0 1 0 180029531 30150656 4955 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7361 4955 197 640 0 6717 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 29444 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265952/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=29444 CPUtime=1361.91 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4992 0 0 0 136162 29 0 0 25 0 1 0 180029531 30150656 4955 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7361 4955 197 640 0 6717 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 29444 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265952/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=29444 CPUtime=1421.9 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4992 0 0 0 142159 31 0 0 25 0 1 0 180029531 30150656 4955 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7361 4955 197 640 0 6717 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 29444 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265952/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=29444 CPUtime=1481.88 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4992 0 0 0 148156 32 0 0 25 0 1 0 180029531 30150656 4955 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7361 4955 197 640 0 6717 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 29444 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265952/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=29444 CPUtime=1541.87 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4992 0 0 0 154154 33 0 0 25 0 1 0 180029531 30150656 4955 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7361 4955 197 640 0 6717 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 29444 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265888/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=29444 CPUtime=1601.85 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4992 0 0 0 160150 35 0 0 25 0 1 0 180029531 30150656 4955 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7361 4955 197 640 0 6717 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 29444 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265952/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=29444 CPUtime=1661.83 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 4992 0 0 0 166147 36 0 0 25 0 1 0 180029531 30150656 4955 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7361 4955 197 640 0 6717 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 29444 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265056/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=30368 CPUtime=1721.82 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 5205 0 0 0 172144 38 0 0 25 0 1 0 180029531 31096832 5168 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7592 5168 197 640 0 6948 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 30368 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265056/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=30368 CPUtime=1781.8 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 5205 0 0 0 178141 39 0 0 25 0 1 0 180029531 31096832 5168 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7592 5168 197 640 0 6948 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 30368 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265056/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=30368 CPUtime=1791.5 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 5205 0 0 0 179111 39 0 0 25 0 1 0 180029531 31096832 5168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7592 5168 197 640 0 6948 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (KiB) 30368 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265056/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=30368 CPUtime=1794.7 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 5205 0 0 0 179431 39 0 0 25 0 1 0 180029531 31096832 5168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7592 5168 197 640 0 6948 0 Current children cumulated CPU time (s) 1794.7 Current children cumulated vsize (KiB) 30368 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265056/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=30368 CPUtime=1796.29 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 5205 0 0 0 179590 39 0 0 25 0 1 0 180029531 31096832 5168 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7592 5168 197 640 0 6948 0 Current children cumulated CPU time (s) 1796.29 Current children cumulated vsize (KiB) 30368 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265056/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=30368 CPUtime=1797.09 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 5205 0 0 0 179670 39 0 0 25 0 1 0 180029531 31096832 5168 1992294400 134512640 137136520 4294956256 18446744073709551615 134605495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7592 5168 197 640 0 6948 0 Current children cumulated CPU time (s) 1797.09 Current children cumulated vsize (KiB) 30368 [startup+1798 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265056/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=30368 CPUtime=1797.49 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 5205 0 0 0 179710 39 0 0 25 0 1 0 180029531 31096832 5168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7592 5168 197 640 0 6948 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (KiB) 30368 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265056/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=30368 CPUtime=1797.89 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194304 5205 0 0 0 179750 39 0 0 25 0 1 0 180029531 31096832 5168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 7592 5168 197 640 0 6948 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 30368 [startup+1798.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1090 /proc/meminfo: memFree=1265056/2055920 swapFree=4182564/4192956 [pid=1081] ppid=1079 vsize=0 CPUtime=1798 /proc/1081/stat : 1081 (bsolo) R 1079 1081 32622 0 -1 4194308 5206 0 0 0 179760 40 0 0 25 0 1 0 180029531 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1081/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.51 CPU time (s): 1798.01 CPU user time (s): 1797.61 CPU system time (s): 0.400939 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 30368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.61 system time used= 0.400939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5206 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= 2559 runsolver used 1.34679 second user time and 4.01539 second system time The end
Begin job on node18 at 2009-06-16 05:51:34 IDJOB=1880281 IDBENCH=1364 IDSOLVER=701 FILE ID=node18/1880281-1245124294 PBS_JOBID= 9363673 Free space on /tmp= 66172 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880281-1245124294/watcher-1880281-1245124294 -o /tmp/evaluation-result-1880281-1245124294/solver-1880281-1245124294 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880281-1245124294.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ff92e7f0cc5c4d2f39e30a6748b3406b RANDOM SEED=1304266150 node18.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.236 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.236 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: 1285760 kB Buffers: 77800 kB Cached: 610384 kB SwapCached: 4192 kB Active: 60180 kB Inactive: 635372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1285760 kB SwapTotal: 4192956 kB SwapFree: 4182564 kB Dirty: 4016 kB Writeback: 0 kB Mapped: 13052 kB Slab: 60584 kB Committed_AS: 135872 kB PageTables: 1376 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 node18 at 2009-06-16 06:21:32