Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | UNSAT | 1143.75 | 1144.06 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb |
MD5SUM | ad2f2eb73d6b7e5f546be528b10bc762 |
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 | 7.48386 |
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 | 745 |
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-1878838-1245122410.opb 0.00/0.00 c File size is 83379 bytes. 0.00/0.01 c Highest Coefficient sum: 745 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 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.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 5474 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1143.69/1144.05 c 100 231 2686 12137 4 5676 2069 100 3030 0.03 1143.69/1144.05 c 250 231 2836 18077 6 5977 2276 250 4901 0.05 1143.69/1144.05 c 477 231 3063 25400 8 6431 2504 477 5962 0.08 1143.69/1144.05 c 815 231 3401 36746 10 7106 2755 815 6127 0.13 1143.69/1144.05 c 1326 231 3912 55181 14 8129 3031 1326 5434 0.24 1143.69/1144.05 c 2089 231 4675 79428 16 9654 3335 2089 5021 0.42 1143.69/1144.05 c 3235 231 5821 121395 20 11946 3669 3235 4195 0.77 1143.69/1144.05 c 4958 231 5603 117506 20 11510 4036 3017 3864 1.28 1143.69/1144.05 c 7543 231 6082 124449 20 12469 4440 3496 3568 2.11 1143.69/1144.05 c 11422 231 5335 103899 19 10975 4885 2749 3267 3.50 1143.69/1144.05 c 17245 231 6054 126039 20 12411 5374 3468 3115 5.54 1143.69/1144.05 c 25985 231 6409 130645 20 13123 5912 3823 2989 8.69 1143.69/1144.05 c 39095 231 7327 166237 22 14958 6504 4741 2863 13.65 1143.69/1144.05 c 58766 231 6818 149156 21 13940 7155 4232 2664 22.05 1143.69/1144.05 c 88277 231 6820 155392 22 13945 7871 4234 2474 35.68 1143.69/1144.05 c 132547 231 6692 144151 21 13688 8659 4106 2257 58.71 1143.69/1144.05 c 198958 231 11001 292306 26 22306 9525 8415 2073 95.93 1143.69/1144.05 c 298578 231 8549 208971 24 17402 10478 5963 1879 158.87 1143.69/1144.05 c 448013 231 8211 191942 23 16726 11526 5625 1657 270.34 1143.69/1144.05 c 672171 231 9328 225890 24 18961 12679 6742 1481 453.60 1143.69/1144.05 c 1008414 230 11099 290383 26 22502 13947 8513 1337 753.95 1143.69/1144.05 c Backtracks by Clause: 0 1143.69/1144.05 c Backtracks by PB constraint: 0 1143.69/1144.05 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1143.69/1144.05 c 21 1424566 327082 2065753 10440 210824 7854 1245 1143.74 1143.69/1144.05 s UNSATISFIABLE 1143.69/1144.05 c Total time: 1143.74 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-1878838-1245122410/watcher-1878838-1245122410 -o /tmp/evaluation-result-1878838-1245122410/solver-1878838-1245122410 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878838-1245122410.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 3120 /proc/meminfo: memFree=1634176/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=10792 CPUtime=0 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 179841977 11051008 233 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 2698 233 174 640 0 2033 0 [startup+0.0696009 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3120 /proc/meminfo: memFree=1634176/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=11236 CPUtime=0.06 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 438 0 0 0 6 0 0 0 18 0 1 0 179841977 11505664 401 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 2809 401 195 640 0 2165 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11236 [startup+0.101603 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3120 /proc/meminfo: memFree=1634176/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=11368 CPUtime=0.09 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 467 0 0 0 9 0 0 0 18 0 1 0 179841977 11640832 430 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 2842 430 195 640 0 2198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11368 [startup+0.301621 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3120 /proc/meminfo: memFree=1634176/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=11880 CPUtime=0.29 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 604 0 0 0 29 0 0 0 19 0 1 0 179841977 12165120 567 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 2970 567 195 640 0 2326 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11880 [startup+0.701659 s] /proc/loadavg: 1.00 1.00 1.00 3/64 3120 /proc/meminfo: memFree=1634176/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=12772 CPUtime=0.69 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 804 0 0 0 69 0 0 0 22 0 1 0 179841977 13078528 767 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 3193 767 195 640 0 2549 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12772 [startup+1.50173 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1631352/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=13280 CPUtime=1.49 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 926 0 0 0 148 1 0 0 25 0 1 0 179841977 13598720 889 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 3320 889 195 640 0 2676 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13280 [startup+3.10188 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1631096/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=13536 CPUtime=3.09 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 998 0 0 0 308 1 0 0 25 0 1 0 179841977 13860864 961 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 3384 961 195 640 0 2740 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13536 [startup+6.30118 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1630456/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=14036 CPUtime=6.29 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 1122 0 0 0 627 2 0 0 25 0 1 0 179841977 14372864 1085 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 3509 1085 195 640 0 2865 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14036 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1629816/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=14412 CPUtime=12.68 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 1230 0 0 0 1264 4 0 0 25 0 1 0 179841977 14757888 1193 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 3603 1193 195 640 0 2959 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14412 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1629112/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=15056 CPUtime=25.49 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 1394 0 0 0 2540 9 0 0 25 0 1 0 179841977 15417344 1357 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 3764 1357 195 640 0 3120 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15056 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1628408/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=15824 CPUtime=51.08 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 1573 0 0 0 5093 15 0 0 25 0 1 0 179841977 16203776 1536 1992294400 134512640 137136520 4294956256 18446744073709551615 134573532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 3956 1536 195 640 0 3312 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15824 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1627768/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=16548 CPUtime=102.26 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 1768 0 0 0 10199 27 0 0 25 0 1 0 179841977 16945152 1731 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4137 1731 195 640 0 3493 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16548 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1627448/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=17028 CPUtime=162.25 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 1869 0 0 0 16183 42 0 0 25 0 1 0 179841977 17436672 1832 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4257 1832 195 640 0 3613 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 17028 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1626808/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=17376 CPUtime=222.23 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 1964 0 0 0 22169 54 0 0 25 0 1 0 179841977 17793024 1927 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4344 1927 195 640 0 3700 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 17376 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1626680/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=17508 CPUtime=282.21 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2002 0 0 0 28154 67 0 0 25 0 1 0 179841977 17928192 1965 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4377 1965 195 640 0 3733 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 17508 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1626168/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=17988 CPUtime=342.19 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2111 0 0 0 34142 77 0 0 25 0 1 0 179841977 18419712 2074 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4497 2074 195 640 0 3853 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 17988 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1626168/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=17976 CPUtime=402.18 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2111 0 0 0 40129 89 0 0 25 0 1 0 179841977 18407424 2074 1992294400 134512640 137136520 4294956256 18446744073709551615 134543912 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4494 2074 195 640 0 3850 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 17976 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1626040/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=18088 CPUtime=462.16 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2137 0 0 0 46117 99 0 0 25 0 1 0 179841977 18522112 2100 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4522 2100 195 640 0 3878 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 18088 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1625400/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=18684 CPUtime=522.15 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2294 0 0 0 52105 110 0 0 25 0 1 0 179841977 19132416 2257 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4671 2257 195 640 0 4027 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 18684 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1625336/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=18684 CPUtime=582.13 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2294 0 0 0 58093 120 0 0 25 0 1 0 179841977 19132416 2257 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4671 2257 195 640 0 4027 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 18684 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1625272/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=18684 CPUtime=642.12 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2294 0 0 0 64081 131 0 0 25 0 1 0 179841977 19132416 2257 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4671 2257 195 640 0 4027 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 18684 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1625336/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=18684 CPUtime=702.1 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2294 0 0 0 70067 143 0 0 25 0 1 0 179841977 19132416 2257 1992294400 134512640 137136520 4294956256 18446744073709551615 136499654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4671 2257 195 640 0 4027 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 18684 [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1625208/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=18772 CPUtime=762.08 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2309 0 0 0 76056 152 0 0 25 0 1 0 179841977 19222528 2272 1992294400 134512640 137136520 4294956256 18446744073709551615 134544592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4693 2272 195 640 0 4049 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 18772 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624824/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19152 CPUtime=822.06 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2405 0 0 0 82046 160 0 0 25 0 1 0 179841977 19611648 2368 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4788 2368 195 640 0 4144 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 19152 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624248/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=882.05 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 88034 171 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 19660 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624248/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=942.04 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 94021 183 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 19660 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624248/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=1002.01 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 100008 193 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 19660 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624184/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=1062 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 105996 204 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 19660 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624184/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=1121.98 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 111983 215 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 19660 Solver just ended. Dumping a history of the last processes samples [startup+1126.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624120/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=1125.99 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 112383 216 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 1125.99 Current children cumulated vsize (KiB) 19660 [startup+1132.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624120/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=1132.39 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 113022 217 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 1132.39 Current children cumulated vsize (KiB) 19660 [startup+1139.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624120/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=1138.78 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 113660 218 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 1138.78 Current children cumulated vsize (KiB) 19660 [startup+1142.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624120/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=1141.98 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 113980 218 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 136509126 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 1141.98 Current children cumulated vsize (KiB) 19660 [startup+1143.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624120/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=1142.78 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 114059 219 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 1142.78 Current children cumulated vsize (KiB) 19660 [startup+1143.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624120/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=1143.18 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 114099 219 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 1143.18 Current children cumulated vsize (KiB) 19660 [startup+1143.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624120/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=1143.59 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 114140 219 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 1143.59 Current children cumulated vsize (KiB) 19660 [startup+1144.01 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3121 /proc/meminfo: memFree=1624120/2055920 swapFree=4192812/4192956 [pid=3120] ppid=3118 vsize=19660 CPUtime=1143.69 /proc/3120/stat : 3120 (bsolo) R 3118 3120 1126 0 -1 4194304 2536 0 0 0 114150 219 0 0 25 0 1 0 179841977 20131840 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3120/statm: 4915 2499 195 640 0 4271 0 Current children cumulated CPU time (s) 1143.69 Current children cumulated vsize (KiB) 19660 Child status: 0 Real time (s): 1144.06 CPU time (s): 1143.75 CPU user time (s): 1141.55 CPU system time (s): 2.19567 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 19660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1141.55 system time used= 2.19567 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2538 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= 1989 runsolver used 0.886865 second user time and 2.27965 second system time The end
Begin job on node14 at 2009-06-16 05:20:11 IDJOB=1878838 IDBENCH=1348 IDSOLVER=700 FILE ID=node14/1878838-1245122410 PBS_JOBID= 9363651 Free space on /tmp= 66376 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878838-1245122410/watcher-1878838-1245122410 -o /tmp/evaluation-result-1878838-1245122410/solver-1878838-1245122410 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878838-1245122410.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ad2f2eb73d6b7e5f546be528b10bc762 RANDOM SEED=507088297 node14.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: 1634592 kB Buffers: 31620 kB Cached: 309876 kB SwapCached: 0 kB Active: 75400 kB Inactive: 280040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1634592 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4016 kB Writeback: 0 kB Mapped: 23720 kB Slab: 51824 kB Committed_AS: 167540 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= 66372 MiB End job on node14 at 2009-06-16 05:39:15