Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.0 | UNSAT | 532.193 | 532.365 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb |
MD5SUM | ff92e7f0cc5c4d2f39e30a6748b3406b |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 6.77697 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 723 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875991-1245124216.opb. 0.00/0.00 c Instance file HOME/instance-1875991-1245124216.opb 0.00/0.00 c File size is 83383 bytes. 0.00/0.01 c Highest Coefficient sum: 723 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 231 | 0.00/0.01 c | Number Clauses: 2684 | 0.00/0.01 c | Number Cardinality: 22 | 0.00/0.01 c | Number PB Constraints: 1 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 102 | 231 2707 8338 | 5500 102 22 | 0.002 % | 0.00/0.02 c | 252 | 231 2707 8338 | 6050 252 22 | 0.002 % | 0.00/0.03 c | 477 | 231 2707 8338 | 6655 477 23 | 0.002 % | 0.00/0.05 c | 815 | 231 2707 8338 | 7320 815 27 | 0.002 % | 0.07/0.08 c | 1323 | 231 2707 8338 | 8052 1323 29 | 0.002 % | 0.09/0.13 c | 2082 | 231 2707 8338 | 8857 2082 30 | 0.002 % | 0.19/0.21 c | 3225 | 231 2707 8338 | 9743 3225 32 | 0.002 % | 0.29/0.37 c | 4934 | 231 2707 8338 | 10717 4934 35 | 0.002 % | 0.59/0.63 c | 7499 | 231 2707 8338 | 11789 7499 36 | 0.002 % | 1.09/1.15 c | 11343 | 231 2707 8338 | 12968 11343 35 | 0.002 % | 1.89/1.94 c | 17110 | 231 2707 8338 | 14265 10568 35 | 0.002 % | 3.09/3.15 c | 25761 | 231 2707 8338 | 15692 12041 36 | 0.002 % | 5.29/5.31 c | 38736 | 231 2707 8338 | 17261 9234 35 | 0.002 % | 8.28/8.38 c | 58197 | 231 2707 8338 | 18987 11348 38 | 0.002 % | 13.38/13.49 c | 87392 | 231 2707 8338 | 20886 11924 37 | 0.002 % | 22.99/23.01 c | 131181 | 231 2707 8338 | 22974 13736 43 | 0.002 % | 37.97/38.06 c | 196865 | 231 2707 8338 | 25272 21695 37 | 0.002 % | 60.97/61.05 c | 295393 | 231 2707 8338 | 27799 12973 35 | 0.002 % | 99.66/99.73 c | 443183 | 231 2707 8338 | 30579 18786 40 | 0.002 % | 168.03/168.17 c | 664866 | 231 2707 8338 | 33637 24887 39 | 0.002 % | 268.50/268.62 c | 997391 | 231 2707 8338 | 37001 18833 37 | 0.002 % | 435.45/435.67 c | 1496181 | 230 2707 8338 | 40701 20079 44 | 0.435 % | 497.04/497.21 c =============================================================================== 532.02/532.27 c core #1 532.02/532.27 c Core size: 2586 Core Weight: 2147483647 Total Weight: 2147483647 532.02/532.27 c restarts : 23 532.02/532.27 c conflicts : 1637601 (3102 /sec) 532.02/532.27 c decisions : 2154543 (1.35 % random) (4081 /sec) 532.02/532.27 c propagations : 68699444 (130137 /sec) 532.02/532.27 c conflict literals : 66215821 (0.00 % deleted) 532.02/532.27 c Memory used : 573.18 MB 532.02/532.27 c CPU time : 527.903 s 532.02/532.27 c 532.02/532.27 s UNSATISFIABLE
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-1875991-1245124216/watcher-1875991-1245124216 -o /tmp/evaluation-result-1875991-1245124216/solver-1875991-1245124216 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875991-1245124216.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: 0.92 0.98 0.99 3/64 32321 /proc/meminfo: memFree=1475560/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=2608 CPUtime=0 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 180022000 2670592 174 1992294400 134512640 135709839 4294956240 18446744073709551615 134547987 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 652 174 125 292 0 336 0 [startup+0.0776951 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32321 /proc/meminfo: memFree=1475560/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=2920 CPUtime=0.07 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 347 0 0 0 7 0 0 0 18 0 1 0 180022000 2990080 310 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 730 310 135 292 0 435 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2920 [startup+0.101699 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32321 /proc/meminfo: memFree=1475560/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=3052 CPUtime=0.09 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 380 0 0 0 9 0 0 0 18 0 1 0 180022000 3125248 343 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 763 343 135 292 0 468 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3052 [startup+0.301732 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32321 /proc/meminfo: memFree=1475560/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=3976 CPUtime=0.29 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 598 0 0 0 28 1 0 0 19 0 1 0 180022000 4071424 561 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 994 561 135 292 0 699 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3976 [startup+0.701798 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32321 /proc/meminfo: memFree=1475560/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=5316 CPUtime=0.69 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 924 0 0 0 68 1 0 0 22 0 1 0 180022000 5443584 887 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 1329 887 135 292 0 1034 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5316 [startup+1.50193 s] /proc/loadavg: 0.92 0.98 0.99 2/65 32322 /proc/meminfo: memFree=1471776/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=7164 CPUtime=1.49 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 1382 0 0 0 147 2 0 0 25 0 1 0 180022000 7335936 1345 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 1791 1345 135 292 0 1496 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7164 [startup+3.1012 s] /proc/loadavg: 0.92 0.98 0.99 2/65 32322 /proc/meminfo: memFree=1469024/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=10860 CPUtime=3.09 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 2317 0 0 0 305 4 0 0 25 0 1 0 180022000 11120640 2280 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 2715 2280 135 292 0 2420 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10860 [startup+6.30173 s] /proc/loadavg: 0.93 0.98 0.99 2/65 32322 /proc/meminfo: memFree=1462048/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=17332 CPUtime=6.29 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 3934 0 0 0 621 8 0 0 25 0 1 0 180022000 17747968 3897 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 4333 3897 135 292 0 4038 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17332 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.99 2/65 32322 /proc/meminfo: memFree=1449248/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=29368 CPUtime=12.68 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 6936 0 0 0 1251 17 0 0 25 0 1 0 180022000 30072832 6899 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 7342 6899 135 292 0 7047 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29368 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/65 32322 /proc/meminfo: memFree=1428960/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=48660 CPUtime=25.49 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 11778 0 0 0 2518 31 0 0 25 0 1 0 180022000 49827840 11741 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 12165 11741 135 292 0 11870 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48660 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/65 32322 /proc/meminfo: memFree=1392416/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=85632 CPUtime=51.07 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 20992 0 0 0 5045 62 0 0 25 0 1 0 180022000 87687168 20955 1992294400 134512640 135709839 4294956240 18446744073709551615 134568271 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 21408 20955 135 292 0 21113 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 85632 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 32324 /proc/meminfo: memFree=1328288/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=149052 CPUtime=102.26 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 36851 0 0 0 10115 111 0 0 25 0 1 0 180022000 152629248 36814 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 37263 36814 135 292 0 36968 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 149052 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=1266016/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=211856 CPUtime=162.24 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 52521 0 0 0 16065 159 0 0 25 0 1 0 180022000 216940544 52484 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 52964 52484 135 292 0 52669 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 211856 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=1198880/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=278464 CPUtime=222.22 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 69169 0 0 0 22010 212 0 0 25 0 1 0 180022000 285147136 69132 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 69616 69132 135 292 0 69321 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 278464 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=1139040/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=338328 CPUtime=282.19 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 84140 0 0 0 27963 256 0 0 25 0 1 0 180022000 346447872 84103 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 84582 84103 135 292 0 84287 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 338328 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=1078560/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=398560 CPUtime=342.18 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 99187 0 0 0 33914 304 0 0 25 0 1 0 180022000 408125440 99150 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 99640 99150 135 292 0 99345 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 398560 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=1020320/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=457040 CPUtime=402.16 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 113827 0 0 0 39866 350 0 0 25 0 1 0 180022000 468008960 113790 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 114260 113790 135 292 0 113965 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 457040 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=968544/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=508204 CPUtime=462.14 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 126613 0 0 0 45824 390 0 0 25 0 1 0 180022000 520400896 126576 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 127051 126576 135 292 0 126756 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 508204 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=889312/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=586936 CPUtime=522.13 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 146304 0 0 0 51793 420 0 0 25 0 1 0 180022000 601022464 146267 1992294400 134512640 135709839 4294956240 18446744073709551615 134583612 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 146734 146267 136 292 0 146439 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 586936 Solver just ended. Dumping a history of the last processes samples [startup+524.706 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=889312/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=586936 CPUtime=524.53 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 146304 0 0 0 52033 420 0 0 25 0 1 0 180022000 601022464 146267 1992294400 134512640 135709839 4294956240 18446744073709551615 134584174 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 146734 146267 136 292 0 146439 0 Current children cumulated CPU time (s) 524.53 Current children cumulated vsize (KiB) 586936 [startup+527.901 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=889312/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=586936 CPUtime=527.73 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 146304 0 0 0 52353 420 0 0 25 0 1 0 180022000 601022464 146267 1992294400 134512640 135709839 4294956240 18446744073709551615 134521266 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 146734 146267 136 292 0 146439 0 Current children cumulated CPU time (s) 527.73 Current children cumulated vsize (KiB) 586936 [startup+529.502 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=889312/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=586936 CPUtime=529.33 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 146304 0 0 0 52513 420 0 0 25 0 1 0 180022000 601022464 146267 1992294400 134512640 135709839 4294956240 18446744073709551615 134583751 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 146734 146267 136 292 0 146439 0 Current children cumulated CPU time (s) 529.33 Current children cumulated vsize (KiB) 586936 [startup+531.103 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=889312/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=586936 CPUtime=530.93 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 146304 0 0 0 52673 420 0 0 25 0 1 0 180022000 601022464 146267 1992294400 134512640 135709839 4294956240 18446744073709551615 134583741 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 146734 146267 136 292 0 146439 0 Current children cumulated CPU time (s) 530.93 Current children cumulated vsize (KiB) 586936 [startup+531.901 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=889312/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=586936 CPUtime=531.72 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194304 146304 0 0 0 52752 420 0 0 25 0 1 0 180022000 601022464 146267 1992294400 134512640 135709839 4294956240 18446744073709551615 134674314 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 146734 146267 136 292 0 146439 0 Current children cumulated CPU time (s) 531.72 Current children cumulated vsize (KiB) 586936 [startup+532.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32324 /proc/meminfo: memFree=1056096/2055920 swapFree=4192812/4192956 [pid=32321] ppid=32319 vsize=0 CPUtime=532.13 /proc/32321/stat : 32321 (wbo) R 32319 32321 30391 0 -1 4194308 146306 0 0 0 52790 423 0 0 25 0 1 0 180022000 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/32321/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 532.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 532.365 CPU time (s): 532.193 CPU user time (s): 527.903 CPU system time (s): 4.29035 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 586936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 527.903 system time used= 4.29035 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 146306 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= 939 runsolver used 0.382941 second user time and 1.12383 second system time The end
Begin job on node15 at 2009-06-16 05:50:16 IDJOB=1875991 IDBENCH=1364 IDSOLVER=698 FILE ID=node15/1875991-1245124216 PBS_JOBID= 9363653 Free space on /tmp= 66304 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875991-1245124216/watcher-1875991-1245124216 -o /tmp/evaluation-result-1875991-1245124216/solver-1875991-1245124216 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875991-1245124216.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ff92e7f0cc5c4d2f39e30a6748b3406b RANDOM SEED=901072911 node15.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.261 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 : 5931.00 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.261 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: 1475976 kB Buffers: 37472 kB Cached: 461580 kB SwapCached: 0 kB Active: 70160 kB Inactive: 442304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1475976 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2456 kB Writeback: 0 kB Mapped: 23200 kB Slab: 53448 kB Committed_AS: 164640 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875991-1245124216.opb Free space on /tmp at the end= 66300 MiB End job on node15 at 2009-06-16 05:59:08