Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | UNSAT | 1551.58 | 1552.04 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb |
MD5SUM | 490d573a1d39845890b306c349815f34 |
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 | 31.3106 |
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 | 749 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432337-1177942789/instance-432337-1177942789.opb 0.00/0.00 c File size is 83383 bytes. 0.00/0.02 c Highest Coefficient sum: 749 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.016 s 0.00/0.02 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5711 0.00/0.02 c Obj. Vars: 0 (0 % of total variables) 0.00/0.03 c Pre-processing Time: 0.027 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 231 2586 8096 3 5473 1880 0 0 0.03 0.00/0.03 c Switching off LPR mode. 1551.55/1552.01 c 105 231 2691 13579 5 5686 2069 105 2763 0.04 1551.55/1552.01 c 255 231 2841 20818 7 5986 2276 255 4722 0.05 1551.55/1552.01 c 484 231 3070 31177 10 6444 2504 484 5975 0.08 1551.55/1552.01 c 823 231 3409 48573 14 7123 2755 823 6282 0.13 1551.55/1552.01 c 1331 231 3917 70360 17 8139 3031 1331 6133 0.22 1551.55/1552.01 c 2094 231 4680 103321 22 9663 3335 2094 5598 0.37 1551.55/1552.01 c 3243 231 5829 158561 27 11963 3669 3243 4639 0.70 1551.55/1552.01 c 4967 231 5633 149941 26 11571 4036 3047 4212 1.18 1551.55/1552.01 c 7552 231 6114 169676 27 12533 4440 3528 3908 1.93 1551.55/1552.01 c 11433 231 5386 143998 26 11077 4885 2800 3492 3.27 1551.55/1552.01 c 17257 231 6124 143530 23 12551 5374 3538 3352 5.15 1551.55/1552.01 c 25994 231 6457 163187 25 13217 5912 3871 3379 7.69 1551.55/1552.01 c 39104 231 7310 199694 27 14925 6504 4724 3206 12.20 1551.55/1552.01 c 58778 231 6886 178479 25 14076 7155 4300 3058 19.22 1551.55/1552.01 c 88288 231 6875 171461 24 14053 7871 4289 2913 30.30 1551.55/1552.01 c 132558 231 6647 157220 23 13598 8659 4061 2773 47.80 1551.55/1552.01 c 198968 231 10991 343348 31 22287 9525 8405 2507 79.34 1551.55/1552.01 c 298589 231 8484 219409 25 17272 10478 5898 2325 128.42 1551.55/1552.01 c 448026 231 8397 233971 27 17099 11526 5811 2091 214.16 1551.55/1552.01 c 672186 231 9475 279826 29 19255 12679 6889 1897 354.31 1551.55/1552.01 c 1008430 231 10645 318710 29 21595 13947 8059 1733 581.87 1551.55/1552.01 c 1512801 231 12264 387716 31 24833 15342 9678 1558 970.82 1551.55/1552.01 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1551.55/1552.01 c 22 2144687 439016 2965650 14025 430734 11439 1382 1551.57 1551.55/1552.01 s UNSATISFIABLE 1551.55/1552.01 c Total time: 1551.57 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-432337-1177942789 -o ROOT/results/node12/solver-432337-1177942789 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432337-1177942789/instance-432337-1177942789.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: 0.00 0.00 0.00 3/77 32017 /proc/meminfo: memFree=1768064/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=19632 CPUtime=0 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 270316274 20103168 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 4908 332 279 324 0 3957 0 [startup+0.105554 s] /proc/loadavg: 0.00 0.00 0.00 3/77 32017 /proc/meminfo: memFree=1768064/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=4848 CPUtime=0.09 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 635 0 0 0 9 0 0 0 18 0 1 0 270316274 4964352 585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 1212 585 308 324 0 282 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4848 [startup+0.201564 s] /proc/loadavg: 0.00 0.00 0.00 3/77 32017 /proc/meminfo: memFree=1768064/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=5236 CPUtime=0.19 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 745 0 0 0 19 0 0 0 18 0 1 0 270316274 5361664 694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 1309 694 309 324 0 379 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5236 [startup+0.301573 s] /proc/loadavg: 0.00 0.00 0.00 3/77 32017 /proc/meminfo: memFree=1768064/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=5624 CPUtime=0.29 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 828 0 0 0 29 0 0 0 19 0 1 0 270316274 5758976 777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 1406 777 309 324 0 476 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5624 [startup+0.701613 s] /proc/loadavg: 0.00 0.00 0.00 3/77 32017 /proc/meminfo: memFree=1768064/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=6668 CPUtime=0.69 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1096 0 0 0 68 1 0 0 23 0 1 0 270316274 6828032 1045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550997 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 1667 1045 309 324 0 737 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6668 [startup+1.50169 s] /proc/loadavg: 0.00 0.00 0.00 2/78 32018 /proc/meminfo: memFree=1764600/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=7200 CPUtime=1.49 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1238 0 0 0 148 1 0 0 25 0 1 0 270316274 7372800 1187 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 1800 1187 309 324 0 870 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7200 [startup+3.10185 s] /proc/loadavg: 0.08 0.02 0.01 2/78 32018 /proc/meminfo: memFree=1764216/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=7848 CPUtime=3.09 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1392 0 0 0 308 1 0 0 25 0 1 0 270316274 8036352 1341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 1962 1341 309 324 0 1032 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7848 [startup+6.30117 s] /proc/loadavg: 0.08 0.02 0.01 2/78 32018 /proc/meminfo: memFree=1763256/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=8100 CPUtime=6.29 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1440 0 0 0 628 1 0 0 25 0 1 0 270316274 8294400 1389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091749 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 2025 1389 309 324 0 1095 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8100 [startup+12.7018 s] /proc/loadavg: 0.22 0.05 0.02 2/78 32018 /proc/meminfo: memFree=1763192/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=8232 CPUtime=12.69 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1489 0 0 0 1268 1 0 0 25 0 1 0 270316274 8429568 1438 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551520 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 2058 1438 309 324 0 1128 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8232 [startup+25.5011 s] /proc/loadavg: 0.34 0.08 0.02 2/78 32018 /proc/meminfo: memFree=1762040/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=9536 CPUtime=25.48 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1806 0 0 0 2547 1 0 0 25 0 1 0 270316274 9764864 1755 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 2384 1755 309 324 0 1454 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9536 [startup+51.1016 s] /proc/loadavg: 0.56 0.15 0.05 2/78 32018 /proc/meminfo: memFree=1761784/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=9804 CPUtime=51.07 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 1888 0 0 0 5105 2 0 0 25 0 1 0 270316274 10039296 1837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571853 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 2451 1837 309 324 0 1521 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9804 [startup+102.302 s] /proc/loadavg: 0.82 0.29 0.10 2/78 32018 /proc/meminfo: memFree=1761144/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=10548 CPUtime=102.25 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2056 0 0 0 10223 2 0 0 25 0 1 0 270316274 10801152 2005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10128892 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 2637 2005 309 324 0 1707 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 10548 [startup+162.302 s] /proc/loadavg: 0.93 0.42 0.15 2/78 32018 /proc/meminfo: memFree=1760440/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=11156 CPUtime=162.24 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2226 0 0 0 16221 3 0 0 25 0 1 0 270316274 11423744 2175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 2789 2175 309 324 0 1859 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 11156 [startup+222.306 s] /proc/loadavg: 0.97 0.52 0.20 2/78 32018 /proc/meminfo: memFree=1759672/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=11932 CPUtime=222.23 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2418 0 0 0 22219 4 0 0 25 0 1 0 270316274 12218368 2367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 2983 2367 309 324 0 2053 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 11932 [startup+282.302 s] /proc/loadavg: 0.99 0.61 0.25 2/78 32018 /proc/meminfo: memFree=1759608/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=11932 CPUtime=282.2 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2418 0 0 0 28216 4 0 0 25 0 1 0 270316274 12218368 2367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 2983 2367 309 324 0 2053 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 11932 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.30 2/78 32018 /proc/meminfo: memFree=1759608/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=11932 CPUtime=342.18 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2418 0 0 0 34214 4 0 0 25 0 1 0 270316274 12218368 2367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 2983 2367 309 324 0 2053 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 11932 [startup+402.302 s] /proc/loadavg: 1.08 0.76 0.34 2/78 32018 /proc/meminfo: memFree=1758136/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=13448 CPUtime=402.17 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2785 0 0 0 40212 5 0 0 25 0 1 0 270316274 13770752 2734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3362 2734 309 324 0 2432 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 13448 [startup+462.302 s] /proc/loadavg: 1.13 0.83 0.40 2/78 32018 /proc/meminfo: memFree=1758200/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=13444 CPUtime=462.15 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2785 0 0 0 46209 6 0 0 25 0 1 0 270316274 13766656 2734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3361 2734 309 324 0 2431 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 13444 [startup+522.302 s] /proc/loadavg: 1.17 0.89 0.44 2/78 32018 /proc/meminfo: memFree=1758200/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=13436 CPUtime=522.14 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2785 0 0 0 52208 6 0 0 25 0 1 0 270316274 13758464 2734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3359 2734 309 324 0 2429 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 13436 [startup+582.302 s] /proc/loadavg: 1.06 0.91 0.47 2/78 32018 /proc/meminfo: memFree=1758200/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=13432 CPUtime=582.12 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2785 0 0 0 58205 7 0 0 25 0 1 0 270316274 13754368 2734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3358 2734 309 324 0 2428 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 13432 [startup+642.301 s] /proc/loadavg: 1.02 0.92 0.50 2/78 32018 /proc/meminfo: memFree=1757688/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=13972 CPUtime=642.1 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2919 0 0 0 64203 7 0 0 25 0 1 0 270316274 14307328 2868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3493 2868 309 324 0 2563 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 13972 ################ # More data... # ################ /proc/meminfo: memFree=1757624/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=13968 CPUtime=822.06 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2919 0 0 0 82197 9 0 0 25 0 1 0 270316274 14303232 2868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551478 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3492 2868 309 324 0 2562 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 13968 [startup+882.305 s] /proc/loadavg: 1.00 0.95 0.60 2/78 32020 /proc/meminfo: memFree=1757688/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=13968 CPUtime=882.04 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2919 0 0 0 88195 9 0 0 25 0 1 0 270316274 14303232 2868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10137359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3492 2868 309 324 0 2562 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 13968 [startup+942.301 s] /proc/loadavg: 1.00 0.96 0.63 2/78 32020 /proc/meminfo: memFree=1757688/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=13968 CPUtime=942.02 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 2919 0 0 0 94192 10 0 0 25 0 1 0 270316274 14303232 2868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3492 2868 309 324 0 2562 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 13968 [startup+1002.3 s] /proc/loadavg: 1.00 0.97 0.65 2/78 32020 /proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1002 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 100190 10 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 15160 [startup+1062.3 s] /proc/loadavg: 1.00 0.97 0.67 2/78 32020 /proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1061.99 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 106188 11 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 15160 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.68 2/78 32020 /proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1121.97 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 112186 11 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 15160 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.70 2/78 32020 /proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1181.96 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 118184 12 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 15160 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.72 2/78 32020 /proc/meminfo: memFree=1756344/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1241.94 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 124182 12 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 15160 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.73 2/78 32020 /proc/meminfo: memFree=1756344/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1301.93 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 130180 13 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 15160 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.75 2/78 32020 /proc/meminfo: memFree=1756280/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1361.9 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 136177 13 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 15160 [startup+1422.3 s] /proc/loadavg: 1.00 0.97 0.76 2/78 32020 /proc/meminfo: memFree=1756280/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1421.89 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 142176 13 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 15160 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.77 2/78 32020 /proc/meminfo: memFree=1756280/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1481.87 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 148173 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 15160 [startup+1542.31 s] /proc/loadavg: 1.00 0.97 0.78 2/78 32020 /proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1541.85 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 154171 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 15160 Solver just ended. Dumping a history of the last processes samples [startup+1542.4 s] /proc/loadavg: 1.00 0.97 0.78 2/78 32020 /proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1541.95 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 154181 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10137317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 15160 [startup+1548.8 s] /proc/loadavg: 1.00 0.97 0.78 2/78 32020 /proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1548.35 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 154821 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1548.35 Current children cumulated vsize (KiB) 15160 [startup+1550.4 s] /proc/loadavg: 1.00 0.97 0.78 2/78 32020 /proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1549.95 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 154981 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1549.95 Current children cumulated vsize (KiB) 15160 [startup+1551.2 s] /proc/loadavg: 1.00 0.97 0.78 2/78 32020 /proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1550.75 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 155061 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1550.75 Current children cumulated vsize (KiB) 15160 [startup+1551.6 s] /proc/loadavg: 1.00 0.97 0.78 2/78 32020 /proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1551.15 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 155101 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10127233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1551.15 Current children cumulated vsize (KiB) 15160 [startup+1552 s] /proc/loadavg: 1.00 0.97 0.78 2/78 32020 /proc/meminfo: memFree=1756408/2055920 swapFree=4160076/4192956 [pid=32017] ppid=32015 vsize=15160 CPUtime=1551.55 /proc/32017/stat : 32017 (bsolo3.0.17) R 32015 32017 31954 0 -1 4194304 3229 0 0 0 155141 14 0 0 25 0 1 0 270316274 15523840 3178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32017/statm: 3790 3178 309 324 0 2860 0 Current children cumulated CPU time (s) 1551.55 Current children cumulated vsize (KiB) 15160 Child status: 0 Real time (s): 1552.04 CPU time (s): 1551.58 CPU user time (s): 1551.42 CPU system time (s): 0.150977 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 15160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1551.42 system time used= 0.150977 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3233 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11 involuntary context switches= 32784 runsolver used 1.23081 second user time and 3.20551 second system time The end
Begin job on node12 on Mon Apr 30 14:19:49 UTC 2007 IDJOB= 432337 IDBENCH= 1324 IDSOLVER= 199 FILE ID= node12/432337-1177942789 PBS_JOBID= 4727830 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432337-1177942789/instance-432337-1177942789.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-432337-1177942789 -o ROOT/results/node12/solver-432337-1177942789 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432337-1177942789/instance-432337-1177942789.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 490d573a1d39845890b306c349815f34 RANDOM SEED= 230898619 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1768472 kB Buffers: 38524 kB Cached: 155316 kB SwapCached: 11792 kB Active: 133264 kB Inactive: 83716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1768472 kB SwapTotal: 4192956 kB SwapFree: 4160076 kB Dirty: 6748 kB Writeback: 0 kB Mapped: 29960 kB Slab: 55968 kB Committed_AS: 6240412 kB PageTables: 1792 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= 66558 MiB End job on node12 on Mon Apr 30 14:45:41 UTC 2007