Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1798.76 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb |
MD5SUM | 1ce0037c3d80e79a7b72360f6130d1f3 |
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 | 60.5208 |
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 | 713 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656790-1276286136.opb 0.00/0.00 c File size is 83373 bytes. 0.00/0.01 c Highest Coefficient sum: 713 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.014 s 0.00/0.01 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5711 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.025 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 5473 1880 0 0 0.03 0.00/0.02 c Switching off lower bounding mode. 1797.94/1798.75 c 101 231 2743 13668 4 5791 2069 157 2195 0.05 1797.94/1798.75 c 252 231 2969 23760 8 6242 2276 383 3000 0.08 1797.94/1798.75 c 477 231 3241 36419 11 6795 2504 655 2962 0.16 1797.94/1798.75 c 817 231 3641 51762 14 7595 2755 1055 2610 0.31 1797.94/1798.75 c 1325 231 4183 72233 17 8682 3031 1597 2426 0.55 1797.94/1798.75 c 2091 231 5009 109682 21 10400 3335 2423 2151 0.97 1797.94/1798.75 c 3238 231 4452 92124 20 9290 3669 1866 1901 1.70 1797.94/1798.75 c 4959 231 6253 170318 27 12969 4036 3667 1834 2.70 1797.94/1798.75 c 7544 231 4841 92604 19 10093 4440 2255 1822 4.14 1797.94/1798.75 c 11425 231 6745 169394 25 13843 4885 4159 1788 6.39 1797.94/1798.75 c 17248 231 5239 117904 22 10873 5374 2653 1701 10.14 1797.94/1798.75 c 25988 231 6036 140447 23 12478 5912 3450 1630 15.93 1797.94/1798.75 c 39100 231 7777 209261 26 16068 6504 5191 1572 24.86 1797.94/1798.75 c 58773 231 8599 270216 31 17625 7155 6013 1448 40.58 1797.94/1798.75 c 88284 231 7406 195081 26 15164 7871 4820 1439 61.34 1797.94/1798.75 c 132556 231 6523 182692 28 13462 8659 3937 1354 97.90 1797.94/1798.75 c 198967 231 7060 175102 24 14433 9525 4474 1268 156.90 1797.94/1798.75 c 298589 231 8269 221925 26 16867 10478 5683 1173 254.52 1797.94/1798.75 c 448024 231 9266 250564 27 18862 11526 6680 1110 403.60 1797.94/1798.75 c 672183 231 12403 407763 32 25366 12679 9817 1031 651.90 1797.94/1798.75 c 1008426 231 13076 412612 31 26591 13947 10490 940 1072.56 1797.94/1798.75 c 1512799 231 12534 406350 32 25612 15342 9948 852 1773.62 1797.94/1798.75 c Resources Exceeded 1797.94/1798.75 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.75 c 22 1531366 314632 2100116 16583 490827 13997 851 1798.00 1797.94/1798.75 s UNKNOWN 1797.94/1798.75 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-2656790-1276286136/watcher-2656790-1276286136 -o /tmp/evaluation-result-2656790-1276286136/solver-2656790-1276286136 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656790-1276286136.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.08 1.12 1.08 3/106 6371 /proc/meminfo: memFree=1554540/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=10880 CPUtime=0 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 328 0 0 0 0 0 0 0 19 0 1 0 4215229 11141120 246 1992294400 134512640 137138936 4288430928 18446744073709551615 134529505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 2720 246 173 642 0 2055 0 [startup+0.0461669 s] /proc/loadavg: 1.08 1.12 1.08 3/106 6371 /proc/meminfo: memFree=1554540/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=11328 CPUtime=0.04 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 484 0 0 0 4 0 0 0 19 0 1 0 4215229 11599872 381 1992294400 134512640 137138936 4288430928 18446744073709551615 134542313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 2832 381 192 642 0 2188 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11328 [startup+0.101178 s] /proc/loadavg: 1.08 1.12 1.08 3/106 6371 /proc/meminfo: memFree=1554540/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=11452 CPUtime=0.09 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 518 0 0 0 9 0 0 0 20 0 1 0 4215229 11726848 415 1992294400 134512640 137138936 4288430928 18446744073709551615 134543142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 2863 415 192 642 0 2219 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11452 [startup+0.300221 s] /proc/loadavg: 1.08 1.12 1.08 3/106 6371 /proc/meminfo: memFree=1554540/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=11820 CPUtime=0.29 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 613 0 0 0 29 0 0 0 20 0 1 0 4215229 12103680 510 1992294400 134512640 137138936 4288430928 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 2955 510 192 642 0 2311 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11820 [startup+0.700306 s] /proc/loadavg: 1.08 1.12 1.08 3/106 6371 /proc/meminfo: memFree=1554540/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=12316 CPUtime=0.69 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 752 0 0 0 69 0 0 0 21 0 1 0 4215229 12611584 649 1992294400 134512640 137138936 4288430928 18446744073709551615 134575334 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 3079 649 192 642 0 2435 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12316 [startup+1.50047 s] /proc/loadavg: 1.08 1.12 1.08 2/107 6372 /proc/meminfo: memFree=1552176/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=13300 CPUtime=1.49 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 999 0 0 0 148 1 0 0 23 0 1 0 4215229 13619200 896 1992294400 134512640 137138936 4288430928 18446744073709551615 134603284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 3325 896 192 642 0 2681 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13300 [startup+3.10081 s] /proc/loadavg: 1.08 1.12 1.08 2/107 6372 /proc/meminfo: memFree=1551308/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=13916 CPUtime=3.09 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 1138 0 0 0 308 1 0 0 25 0 1 0 4215229 14249984 1035 1992294400 134512640 137138936 4288430928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 3479 1035 192 642 0 2835 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13916 [startup+6.30049 s] /proc/loadavg: 1.07 1.11 1.08 2/107 6372 /proc/meminfo: memFree=1550564/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=14048 CPUtime=6.29 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 1172 0 0 0 627 2 0 0 25 0 1 0 4215229 14385152 1069 1992294400 134512640 137138936 4288430928 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 3512 1069 192 642 0 2868 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14048 [startup+12.7008 s] /proc/loadavg: 1.07 1.11 1.08 2/107 6372 /proc/meminfo: memFree=1549944/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=14656 CPUtime=12.69 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 1321 0 0 0 1265 4 0 0 25 0 1 0 4215229 15007744 1218 1992294400 134512640 137138936 4288430928 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 3664 1218 192 642 0 3020 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14656 [startup+25.5016 s] /proc/loadavg: 1.05 1.11 1.08 2/107 6372 /proc/meminfo: memFree=1549324/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=15268 CPUtime=25.48 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 1481 0 0 0 2541 7 0 0 25 0 1 0 4215229 15634432 1378 1992294400 134512640 137138936 4288430928 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 3817 1378 192 642 0 3173 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15268 [startup+51.101 s] /proc/loadavg: 1.03 1.10 1.08 2/107 6372 /proc/meminfo: memFree=1548456/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=16132 CPUtime=51.06 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 1691 0 0 0 5092 14 0 0 25 0 1 0 4215229 16519168 1588 1992294400 134512640 137138936 4288430928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 4033 1588 192 642 0 3389 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 16132 [startup+102.308 s] /proc/loadavg: 1.01 1.08 1.07 2/107 6374 /proc/meminfo: memFree=1547216/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=17336 CPUtime=102.26 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 1989 0 0 0 10199 27 0 0 25 0 1 0 4215229 17752064 1886 1992294400 134512640 137138936 4288430928 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 4334 1886 192 642 0 3690 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 17336 [startup+162.302 s] /proc/loadavg: 1.00 1.06 1.07 2/107 6376 /proc/meminfo: memFree=1546968/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=17340 CPUtime=162.22 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 1989 0 0 0 16181 41 0 0 25 0 1 0 4215229 17756160 1886 1992294400 134512640 137138936 4288430928 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 4335 1886 192 642 0 3691 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 17340 [startup+222.301 s] /proc/loadavg: 1.11 1.08 1.07 2/107 6378 /proc/meminfo: memFree=1546720/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=17580 CPUtime=222.2 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2058 0 0 0 22164 56 0 0 25 0 1 0 4215229 18001920 1955 1992294400 134512640 137138936 4288430928 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 4395 1955 192 642 0 3751 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 17580 [startup+282.301 s] /proc/loadavg: 1.04 1.06 1.06 2/107 6380 /proc/meminfo: memFree=1546100/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=18060 CPUtime=282.17 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2192 0 0 0 28146 71 0 0 25 0 1 0 4215229 18493440 2089 1992294400 134512640 137138936 4288430928 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 4515 2089 192 642 0 3871 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 18060 [startup+342.301 s] /proc/loadavg: 1.01 1.05 1.06 2/107 6389 /proc/meminfo: memFree=1544984/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=18552 CPUtime=342.14 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2299 0 0 0 34128 86 0 0 25 0 1 0 4215229 18997248 2196 1992294400 134512640 137138936 4288430928 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 4638 2196 192 642 0 3994 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 18552 [startup+402.3 s] /proc/loadavg: 1.00 1.04 1.05 2/107 6391 /proc/meminfo: memFree=1544984/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=18508 CPUtime=402.11 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2299 0 0 0 40111 100 0 0 25 0 1 0 4215229 18952192 2196 1992294400 134512640 137138936 4288430928 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 4627 2196 192 642 0 3983 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 18508 [startup+462.301 s] /proc/loadavg: 1.00 1.03 1.05 2/107 6393 /proc/meminfo: memFree=1544984/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=18880 CPUtime=462.08 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2387 0 0 0 46097 111 0 0 25 0 1 0 4215229 19333120 2284 1992294400 134512640 137138936 4288430928 18446744073709551615 134542857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 4720 2284 192 642 0 4076 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 18880 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.04 2/107 6395 /proc/meminfo: memFree=1544736/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=19372 CPUtime=522.06 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2504 0 0 0 52083 123 0 0 25 0 1 0 4215229 19836928 2401 1992294400 134512640 137138936 4288430928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 4843 2401 192 642 0 4199 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 19372 [startup+582.302 s] /proc/loadavg: 1.00 1.02 1.04 2/107 6397 /proc/meminfo: memFree=1544736/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=19372 CPUtime=582.04 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2504 0 0 0 58068 136 0 0 25 0 1 0 4215229 19836928 2401 1992294400 134512640 137138936 4288430928 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 4843 2401 192 642 0 4199 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 19372 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.03 2/107 6397 /proc/meminfo: memFree=1544612/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=19372 CPUtime=642.02 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2504 0 0 0 64055 147 0 0 25 0 1 0 4215229 19836928 2401 1992294400 134512640 137138936 4288430928 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 4843 2401 192 642 0 4199 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 19372 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1543496/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=20196 CPUtime=1061.84 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2716 0 0 0 105958 226 0 0 25 0 1 0 4215229 20680704 2613 1992294400 134512640 137138936 4288430928 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5049 2613 192 642 0 4405 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 20196 [startup+1122.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 6414 /proc/meminfo: memFree=1542752/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=20448 CPUtime=1121.81 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2783 0 0 0 111943 238 0 0 25 0 1 0 4215229 20938752 2680 1992294400 134512640 137138936 4288430928 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5112 2680 192 642 0 4468 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 20448 [startup+1182.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 6416 /proc/meminfo: memFree=1542752/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=20448 CPUtime=1181.79 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2783 0 0 0 117929 250 0 0 25 0 1 0 4215229 20938752 2680 1992294400 134512640 137138936 4288430928 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5112 2680 192 642 0 4468 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 20448 [startup+1242.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 6416 /proc/meminfo: memFree=1542380/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=20784 CPUtime=1241.76 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2858 0 0 0 123915 261 0 0 25 0 1 0 4215229 21282816 2755 1992294400 134512640 137138936 4288430928 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5196 2755 192 642 0 4552 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 20784 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6418 /proc/meminfo: memFree=1542256/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=20892 CPUtime=1301.75 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2883 0 0 0 129904 271 0 0 25 0 1 0 4215229 21393408 2780 1992294400 134512640 137138936 4288430928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5223 2780 192 642 0 4579 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 20892 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6420 /proc/meminfo: memFree=1542256/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=20888 CPUtime=1361.71 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 2883 0 0 0 135889 282 0 0 25 0 1 0 4215229 21389312 2780 1992294400 134512640 137138936 4288430928 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5222 2780 192 642 0 4578 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 20888 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6422 /proc/meminfo: memFree=1541512/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21496 CPUtime=1421.7 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3048 0 0 0 141877 293 0 0 25 0 1 0 4215229 22011904 2945 1992294400 134512640 137138936 4288430928 18446744073709551615 136297621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5374 2945 192 642 0 4730 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 21496 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6424 /proc/meminfo: memFree=1541512/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21496 CPUtime=1481.67 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3048 0 0 0 147859 308 0 0 25 0 1 0 4215229 22011904 2945 1992294400 134512640 137138936 4288430928 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5374 2945 192 642 0 4730 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 21496 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6424 /proc/meminfo: memFree=1541512/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21496 CPUtime=1541.64 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3048 0 0 0 153845 319 0 0 25 0 1 0 4215229 22011904 2945 1992294400 134512640 137138936 4288430928 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5374 2945 192 642 0 4730 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 21496 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6426 /proc/meminfo: memFree=1541388/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21496 CPUtime=1601.61 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3048 0 0 0 159830 331 0 0 25 0 1 0 4215229 22011904 2945 1992294400 134512640 137138936 4288430928 18446744073709551615 134543896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5374 2945 192 642 0 4730 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 21496 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6428 /proc/meminfo: memFree=1541388/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21460 CPUtime=1661.6 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3048 0 0 0 165817 343 0 0 25 0 1 0 4215229 21975040 2940 1992294400 134512640 137138936 4288430928 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5365 2940 192 642 0 4721 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 21460 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6430 /proc/meminfo: memFree=1541388/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21460 CPUtime=1721.57 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3048 0 0 0 171803 354 0 0 25 0 1 0 4215229 21975040 2940 1992294400 134512640 137138936 4288430928 18446744073709551615 134542330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5365 2940 192 642 0 4721 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 21460 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6432 /proc/meminfo: memFree=1541388/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21464 CPUtime=1781.55 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3049 0 0 0 177789 366 0 0 25 0 1 0 4215229 21979136 2941 1992294400 134512640 137138936 4288430928 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5366 2941 192 642 0 4722 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 21464 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6432 /proc/meminfo: memFree=1541388/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21460 CPUtime=1791.14 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3049 0 0 0 178747 367 0 0 25 0 1 0 4215229 21975040 2940 1992294400 134512640 137138936 4288430928 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5365 2940 192 642 0 4721 0 Current children cumulated CPU time (s) 1791.14 Current children cumulated vsize (KiB) 21460 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6432 /proc/meminfo: memFree=1541388/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21460 CPUtime=1794.35 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3049 0 0 0 179067 368 0 0 25 0 1 0 4215229 21975040 2940 1992294400 134512640 137138936 4288430928 18446744073709551615 134599224 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5365 2940 192 642 0 4721 0 Current children cumulated CPU time (s) 1794.35 Current children cumulated vsize (KiB) 21460 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6432 /proc/meminfo: memFree=1541388/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21460 CPUtime=1795.94 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3049 0 0 0 179226 368 0 0 25 0 1 0 4215229 21975040 2940 1992294400 134512640 137138936 4288430928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5365 2940 192 642 0 4721 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 21460 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6432 /proc/meminfo: memFree=1541388/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21460 CPUtime=1796.74 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3049 0 0 0 179305 369 0 0 25 0 1 0 4215229 21975040 2940 1992294400 134512640 137138936 4288430928 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5365 2940 192 642 0 4721 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 21460 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6432 /proc/meminfo: memFree=1541388/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21460 CPUtime=1797.54 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3049 0 0 0 179385 369 0 0 25 0 1 0 4215229 21975040 2940 1992294400 134512640 137138936 4288430928 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5365 2940 192 642 0 4721 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (KiB) 21460 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6432 /proc/meminfo: memFree=1541388/2059040 swapFree=4192956/4192956 [pid=6371] ppid=6369 vsize=21460 CPUtime=1797.94 /proc/6371/stat : 6371 (bsolo_pb10) R 6369 6371 5582 0 -1 4202496 3049 0 0 0 179425 369 0 0 25 0 1 0 4215229 21975040 2940 1992294400 134512640 137138936 4288430928 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6371/statm: 5365 2940 192 642 0 4721 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 21460 Child status: 0 Real time (s): 1798.76 CPU time (s): 1798 CPU user time (s): 1794.31 CPU system time (s): 3.69744 CPU usage (%): 99.9582 Max. virtual memory (cumulated for all children) (KiB): 21496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.31 system time used= 3.69744 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3049 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= 1 involuntary context switches= 7960 runsolver used 2.95955 second user time and 8.49671 second system time The end
Begin job on node010 at 2010-06-11 21:55:36 IDJOB=2656790 IDBENCH=1284 IDSOLVER=1162 FILE ID=node010/2656790-1276286136 PBS_JOBID= 11173098 Free space on /tmp= 62500 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656790-1276286136/watcher-2656790-1276286136 -o /tmp/evaluation-result-2656790-1276286136/solver-2656790-1276286136 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656790-1276286136.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1ce0037c3d80e79a7b72360f6130d1f3 RANDOM SEED=639789212 node010.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.267 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 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.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1555068 kB Buffers: 65460 kB Cached: 311592 kB SwapCached: 0 kB Active: 174676 kB Inactive: 261696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1555068 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4012 kB Writeback: 0 kB AnonPages: 59216 kB Mapped: 15392 kB Slab: 45840 kB PageTables: 3948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181084 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62496 MiB End job on node010 at 2010-06-11 22:25:35