Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 | ? | 1798 | 1798.49 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb |
MD5SUM | 8485c5b622ae9efcb86cc93d1fd8b600 |
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 | 100.466 |
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 | 697 |
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: Cardinality Constraint 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-1877388-1245120778.opb 0.00/0.00 c File size is 83377 bytes. 0.00/0.01 c Highest Coefficient sum: 697 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: 5706 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 5472 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1797.91/1798.49 c 100 231 2759 13796 5 5826 2069 173 2500 0.04 1797.91/1798.49 c 250 231 2954 21136 7 6216 2276 368 3378 0.07 1797.91/1798.49 c 476 231 3224 34804 10 6755 2504 638 3424 0.14 1797.91/1798.49 c 814 231 3639 55309 15 7589 2755 1053 3142 0.26 1797.91/1798.49 c 1322 231 4245 86444 20 8818 3031 1659 2836 0.47 1797.91/1798.49 c 2085 231 5085 122079 24 10604 3335 2499 2396 0.87 1797.91/1798.49 c 3232 231 4511 79178 17 9333 3669 1925 2224 1.45 1797.91/1798.49 c 4954 231 4422 80416 18 9285 4036 1836 2205 2.25 1797.91/1798.49 c 7540 231 4956 116940 23 10220 4440 2370 2116 3.56 1797.91/1798.49 c 11419 231 6739 140930 20 13829 4885 4153 2136 5.34 1797.91/1798.49 c 17241 231 5255 112866 21 10916 5374 2669 2061 8.36 1797.91/1798.49 c 25978 231 6156 148440 24 12699 5912 3570 1944 13.36 1797.91/1798.49 c 39089 231 7644 218417 28 15828 6504 5058 1854 21.08 1797.91/1798.49 c 58760 231 8351 251884 30 17255 7155 5765 1711 34.33 1797.91/1798.49 c 88272 231 6243 163238 26 12865 7871 3657 1596 55.31 1797.91/1798.49 c 132544 231 8789 225612 25 17901 8659 6203 1502 88.24 1797.91/1798.49 c 198957 231 8873 216768 24 18130 9525 6287 1409 141.14 1797.91/1798.49 c 298580 231 9842 286248 29 20089 10478 7256 1309 228.03 1797.91/1798.49 c 448015 231 11286 346921 30 22916 11526 8700 1205 371.79 1797.91/1798.49 c 672175 231 12358 388826 31 25076 12679 9772 1085 619.47 1797.91/1798.49 c 1008418 231 14539 480696 33 29761 13947 11953 972 1037.24 1797.91/1798.49 c 1512790 231 13319 499505 37 27130 15342 10733 893 1692.79 1797.91/1798.49 c Resources Exceeded 1797.91/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.49 c 22 1586434 311935 2145040 14522 553943 11936 882 1798.00 1797.91/1798.49 s UNKNOWN 1797.91/1798.49 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-1877388-1245120778/watcher-1877388-1245120778 -o /tmp/evaluation-result-1877388-1245120778/solver-1877388-1245120778 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877388-1245120778.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.01 1.01 1.00 3/64 1401 /proc/meminfo: memFree=914864/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=10792 CPUtime=0 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 179678438 11051008 233 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 2698 234 174 640 0 2033 0 [startup+0.04016 s] /proc/loadavg: 1.01 1.01 1.00 3/64 1401 /proc/meminfo: memFree=914864/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=11244 CPUtime=0.03 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 420 0 0 0 3 0 0 0 18 0 1 0 179678438 11513856 383 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 2811 383 196 640 0 2167 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11244 [startup+0.101176 s] /proc/loadavg: 1.01 1.01 1.00 3/64 1401 /proc/meminfo: memFree=914864/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=11364 CPUtime=0.09 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 457 0 0 0 9 0 0 0 18 0 1 0 179678438 11636736 420 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 2841 420 196 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.30119 s] /proc/loadavg: 1.01 1.01 1.00 3/64 1401 /proc/meminfo: memFree=914864/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=11868 CPUtime=0.29 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 587 0 0 0 29 0 0 0 19 0 1 0 179678438 12152832 550 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 2967 550 196 640 0 2323 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11868 [startup+0.701237 s] /proc/loadavg: 1.01 1.01 1.00 3/64 1401 /proc/meminfo: memFree=914864/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=12608 CPUtime=0.69 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 769 0 0 0 68 1 0 0 22 0 1 0 179678438 12910592 732 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 3152 732 196 640 0 2508 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12608 [startup+1.50133 s] /proc/loadavg: 1.01 1.01 1.00 2/65 1402 /proc/meminfo: memFree=912360/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=13340 CPUtime=1.49 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 966 0 0 0 148 1 0 0 25 0 1 0 179678438 13660160 929 1992294400 134512640 137136520 4294956256 18446744073709551615 136509137 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 3335 929 196 640 0 2691 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13340 [startup+3.10152 s] /proc/loadavg: 1.01 1.01 1.00 2/65 1402 /proc/meminfo: memFree=911784/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=13468 CPUtime=3.09 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 990 0 0 0 308 1 0 0 25 0 1 0 179678438 13791232 953 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 3367 953 196 640 0 2723 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13468 [startup+6.30189 s] /proc/loadavg: 1.01 1.01 1.00 2/65 1402 /proc/meminfo: memFree=911144/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=13964 CPUtime=6.29 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 1105 0 0 0 627 2 0 0 25 0 1 0 179678438 14299136 1068 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 3491 1068 196 640 0 2847 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13964 [startup+12.7016 s] /proc/loadavg: 1.01 1.00 1.00 2/65 1402 /proc/meminfo: memFree=910504/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=14452 CPUtime=12.68 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 1243 0 0 0 1266 2 0 0 25 0 1 0 179678438 14798848 1206 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 3613 1206 196 640 0 2969 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14452 [startup+25.5022 s] /proc/loadavg: 1.01 1.00 1.00 2/65 1402 /proc/meminfo: memFree=909352/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=15680 CPUtime=25.49 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 1543 0 0 0 2543 6 0 0 25 0 1 0 179678438 16056320 1506 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 3920 1506 197 640 0 3276 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15680 [startup+51.1021 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1402 /proc/meminfo: memFree=909032/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=16028 CPUtime=51.08 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 1639 0 0 0 5099 9 0 0 25 0 1 0 179678438 16412672 1602 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 4007 1602 197 640 0 3363 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16028 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1402 /proc/meminfo: memFree=908136/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=16992 CPUtime=102.27 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 1871 0 0 0 10209 18 0 0 25 0 1 0 179678438 17399808 1834 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 4248 1834 197 640 0 3604 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16992 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1402 /proc/meminfo: memFree=907496/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=17612 CPUtime=162.25 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 2021 0 0 0 16198 27 0 0 25 0 1 0 179678438 18034688 1984 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 4403 1984 197 640 0 3759 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 17612 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1402 /proc/meminfo: memFree=907496/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=17612 CPUtime=222.23 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 2021 0 0 0 22186 37 0 0 25 0 1 0 179678438 18034688 1984 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 4403 1984 197 640 0 3759 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 17612 [startup+282.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 1402 /proc/meminfo: memFree=906920/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=18096 CPUtime=282.21 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 2150 0 0 0 28175 46 0 0 25 0 1 0 179678438 18530304 2113 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 4524 2113 197 640 0 3880 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 18096 [startup+342.302 s] /proc/loadavg: 1.02 1.01 1.00 2/65 1402 /proc/meminfo: memFree=906536/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=18552 CPUtime=342.2 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 2254 0 0 0 34166 54 0 0 25 0 1 0 179678438 18997248 2217 1992294400 134512640 137136520 4294956256 18446744073709551615 134551207 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 4638 2217 197 640 0 3994 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 18552 [startup+402.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 1402 /proc/meminfo: memFree=906536/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=18540 CPUtime=402.18 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 2255 0 0 0 40153 65 0 0 25 0 1 0 179678438 18984960 2218 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 4635 2218 197 640 0 3991 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 18540 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1402 /proc/meminfo: memFree=906472/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=18536 CPUtime=462.17 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 2255 0 0 0 46143 74 0 0 25 0 1 0 179678438 18980864 2218 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 4634 2218 197 640 0 3990 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 18536 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=905888/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=19004 CPUtime=522.14 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 2384 0 0 0 52133 81 0 0 25 0 1 0 179678438 19460096 2347 1992294400 134512640 137136520 4294956256 18446744073709551615 134607060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 4751 2347 197 640 0 4107 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 19004 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=905888/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=19004 CPUtime=582.13 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 2384 0 0 0 58122 91 0 0 25 0 1 0 179678438 19460096 2347 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 4751 2347 197 640 0 4107 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 19004 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=904928/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=19984 CPUtime=642.12 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 2613 0 0 0 64112 100 0 0 25 0 1 0 179678438 20463616 2576 1992294400 134512640 137136520 4294956256 18446744073709551615 134551322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 4996 2576 197 640 0 4352 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 19984 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=904040/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=20872 CPUtime=1121.98 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 2836 0 0 0 112034 164 0 0 25 0 1 0 179678438 21372928 2799 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5218 2799 197 640 0 4574 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 20872 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902632/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22292 CPUtime=1181.97 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3195 0 0 0 118024 173 0 0 25 0 1 0 179678438 22827008 3158 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5573 3158 197 640 0 4929 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 22292 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902504/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22292 CPUtime=1241.95 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3195 0 0 0 124016 179 0 0 25 0 1 0 179678438 22827008 3158 1992294400 134512640 137136520 4294956256 18446744073709551615 136499994 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5573 3158 197 640 0 4929 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 22292 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902440/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22292 CPUtime=1301.93 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3195 0 0 0 130007 186 0 0 25 0 1 0 179678438 22827008 3158 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5573 3158 197 640 0 4929 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 22292 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902376/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22264 CPUtime=1361.92 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3195 0 0 0 135998 194 0 0 25 0 1 0 179678438 22798336 3158 1992294400 134512640 137136520 4294956256 18446744073709551615 134598607 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5566 3158 197 640 0 4922 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 22264 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902312/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22264 CPUtime=1421.9 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3195 0 0 0 141990 200 0 0 25 0 1 0 179678438 22798336 3158 1992294400 134512640 137136520 4294956256 18446744073709551615 134598008 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5566 3158 197 640 0 4922 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 22264 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902376/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22264 CPUtime=1481.89 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3195 0 0 0 147981 208 0 0 25 0 1 0 179678438 22798336 3158 1992294400 134512640 137136520 4294956256 18446744073709551615 134606742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5566 3158 197 640 0 4922 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 22264 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902504/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=21932 CPUtime=1541.87 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3195 0 0 0 153973 214 0 0 25 0 1 0 179678438 22458368 3082 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5483 3082 197 640 0 4839 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 21932 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902504/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=21932 CPUtime=1601.86 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3195 0 0 0 159964 222 0 0 25 0 1 0 179678438 22458368 3082 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5483 3082 197 640 0 4839 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 21932 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902632/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=21932 CPUtime=1661.84 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3195 0 0 0 165956 228 0 0 25 0 1 0 179678438 22458368 3082 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5483 3082 197 640 0 4839 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 21932 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902376/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22280 CPUtime=1721.82 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3270 0 0 0 171946 236 0 0 25 0 1 0 179678438 22814720 3157 1992294400 134512640 137136520 4294956256 18446744073709551615 136502079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5570 3157 197 640 0 4926 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 22280 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902376/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22280 CPUtime=1781.81 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3270 0 0 0 177937 244 0 0 25 0 1 0 179678438 22814720 3157 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5570 3157 197 640 0 4926 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 22280 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902376/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22280 CPUtime=1791.41 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3270 0 0 0 178896 245 0 0 25 0 1 0 179678438 22814720 3157 1992294400 134512640 137136520 4294956256 18446744073709551615 134544098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5570 3157 197 640 0 4926 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 22280 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902376/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22280 CPUtime=1794.61 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3270 0 0 0 179216 245 0 0 25 0 1 0 179678438 22814720 3157 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5570 3157 197 640 0 4926 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 22280 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902376/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22280 CPUtime=1796.2 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3270 0 0 0 179375 245 0 0 25 0 1 0 179678438 22814720 3157 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5570 3157 197 640 0 4926 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 22280 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902376/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22280 CPUtime=1797 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3270 0 0 0 179455 245 0 0 25 0 1 0 179678438 22814720 3157 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5570 3157 197 640 0 4926 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 22280 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902376/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22280 CPUtime=1797.41 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3270 0 0 0 179495 246 0 0 25 0 1 0 179678438 22814720 3157 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5570 3157 197 640 0 4926 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (KiB) 22280 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902376/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22280 CPUtime=1797.8 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3270 0 0 0 179534 246 0 0 25 0 1 0 179678438 22814720 3157 1992294400 134512640 137136520 4294956256 18446744073709551615 134573451 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5570 3157 197 640 0 4926 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 22280 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1408 /proc/meminfo: memFree=902376/2055920 swapFree=4192812/4192956 [pid=1401] ppid=1399 vsize=22280 CPUtime=1797.91 /proc/1401/stat : 1401 (bsolo) R 1399 1401 428 0 -1 4194304 3270 0 0 0 179545 246 0 0 25 0 1 0 179678438 22814720 3157 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1401/statm: 5570 3157 197 640 0 4926 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 22280 Child status: 0 Real time (s): 1798.49 CPU time (s): 1798 CPU user time (s): 1795.54 CPU system time (s): 2.46462 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 22292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.54 system time used= 2.46462 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3271 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= 2829 runsolver used 1.20582 second user time and 3.82142 second system time The end
Begin job on node11 at 2009-06-16 04:52:58 IDJOB=1877388 IDBENCH=1327 IDSOLVER=699 FILE ID=node11/1877388-1245120778 PBS_JOBID= 9363661 Free space on /tmp= 66196 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877388-1245120778/watcher-1877388-1245120778 -o /tmp/evaluation-result-1877388-1245120778/solver-1877388-1245120778 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877388-1245120778.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8485c5b622ae9efcb86cc93d1fd8b600 RANDOM SEED=1078449678 node11.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.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: 915344 kB Buffers: 57652 kB Cached: 1001448 kB SwapCached: 0 kB Active: 75848 kB Inactive: 996636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 915344 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4220 kB Writeback: 0 kB Mapped: 23192 kB Slab: 54052 kB Committed_AS: 167128 kB PageTables: 1452 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= 66192 MiB End job on node11 at 2009-06-16 05:22:57