Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | ? | 1798.01 | 1798.53 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-5-c.opb |
MD5SUM | 47657fb6d35516304c5b4897d4fb805d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2678 |
Total number of constraints | 6689 |
Number of constraints which are clauses | 6689 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 2678 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2678 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2678 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876967-1245160708.opb 0.00/0.00 c File size is 225949 bytes. 0.00/0.03 c Highest Coefficient sum: 2678 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.031 s 0.00/0.03 c Var: 2678 Constr: 6689 6689/0/0 Lit: 18356 Watch. Lit: 13378 0.00/0.03 c Obj. Vars: 2678 (100 % of total variables) 0.05/0.09 c Pre-processing Time: 0.09 s 0.05/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.05/0.09 c 0 2489 6372 17596 2 12744 2123 0 0 0.09 0.05/0.09 c Switching off lower bounding mode. 1797.97/1798.52 c 100 2489 6548 23927 3 13096 2336 176 398 0.25 1797.97/1798.52 c 250 2489 6831 36465 5 13662 2570 459 465 0.54 1797.97/1798.52 c 475 2489 7249 52528 7 14498 2828 877 529 0.90 1797.97/1798.52 c 815 2489 7878 76270 9 15756 3111 1506 554 1.47 1797.97/1798.52 c 1323 2489 8811 113084 12 17622 3423 2439 544 2.43 1797.97/1798.52 c 2087 2489 8165 84598 10 16330 3766 1793 557 3.75 1797.97/1798.52 c 3233 2489 8283 90155 10 16566 4143 1911 577 5.60 1797.97/1798.52 c 4954 2489 9315 133331 14 18630 4558 2943 620 7.98 1797.97/1798.52 c 7538 2489 9272 117356 12 18544 5014 2900 668 11.27 1797.97/1798.52 c 11417 2489 11389 239865 21 22778 5516 5017 683 16.70 1797.97/1798.52 c 17239 2489 11245 245393 21 22490 6068 4873 657 26.22 1797.97/1798.52 c 25976 2489 12227 283056 23 24454 6675 5855 633 40.97 1797.97/1798.52 c 39086 2489 13227 443810 33 26454 7343 6855 614 63.60 1797.97/1798.52 c 58756 2489 13704 485837 35 27408 8078 7332 562 104.45 1797.97/1798.52 c 88267 2489 12338 335677 27 24676 8886 5966 538 163.95 1797.97/1798.52 c 132537 2489 11958 330771 27 23916 9775 5586 507 261.15 1797.97/1798.52 c 198947 2489 11888 336398 28 23776 10753 5516 485 409.50 1797.97/1798.52 c 298570 2489 15731 540186 34 31462 11829 9359 461 646.27 1797.97/1798.52 c 448006 2489 16449 598059 36 32898 13012 10077 437 1023.95 1797.97/1798.52 c 672164 2489 15269 560976 36 30538 14314 8897 409 1639.79 1797.97/1798.52 c Resources Exceeded 1797.97/1798.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.52 c 20 724747 47251 781381 16646 631454 10274 403 1798.00 1797.97/1798.52 s UNKNOWN 1797.97/1798.52 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-1876967-1245160708/watcher-1876967-1245160708 -o /tmp/evaluation-result-1876967-1245160708/solver-1876967-1245160708 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876967-1245160708.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 5229 /proc/meminfo: memFree=1887344/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=18752 CPUtime=0 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 183670765 19202048 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 4695 248 172 640 0 3995 0 [startup+0.0526269 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5229 /proc/meminfo: memFree=1887344/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=12088 CPUtime=0.05 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 655 0 0 0 5 0 0 0 18 0 1 0 183670765 12378112 583 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 3022 583 188 640 0 2378 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12088 [startup+0.101633 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5229 /proc/meminfo: memFree=1887344/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=12248 CPUtime=0.09 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 765 0 0 0 8 1 0 0 18 0 1 0 183670765 12541952 650 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 3062 650 197 640 0 2418 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12248 [startup+0.301654 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5229 /proc/meminfo: memFree=1887344/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=12248 CPUtime=0.29 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 765 0 0 0 28 1 0 0 19 0 1 0 183670765 12541952 650 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 3062 650 197 640 0 2418 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12248 [startup+0.7017 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5229 /proc/meminfo: memFree=1887344/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=12484 CPUtime=0.69 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 816 0 0 0 68 1 0 0 22 0 1 0 183670765 12783616 701 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 3121 701 197 640 0 2477 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12484 [startup+1.50179 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5230 /proc/meminfo: memFree=1885032/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=13064 CPUtime=1.49 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 949 0 0 0 148 1 0 0 25 0 1 0 183670765 13377536 834 1992294400 134512640 137136520 4294956256 18446744073709551615 134606943 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 3266 834 197 640 0 2622 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13064 [startup+3.10197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5230 /proc/meminfo: memFree=1884200/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=14116 CPUtime=3.09 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 1212 0 0 0 308 1 0 0 25 0 1 0 183670765 14454784 1097 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 3529 1097 197 640 0 2885 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14116 [startup+6.30134 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5230 /proc/meminfo: memFree=1882984/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=14484 CPUtime=6.29 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 1323 0 0 0 628 1 0 0 25 0 1 0 183670765 14831616 1208 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 3621 1208 197 640 0 2977 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14484 [startup+12.7021 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5230 /proc/meminfo: memFree=1882280/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=15200 CPUtime=12.69 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 1490 0 0 0 1267 2 0 0 25 0 1 0 183670765 15564800 1375 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 3800 1375 197 640 0 3156 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15200 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5230 /proc/meminfo: memFree=1881000/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=16296 CPUtime=25.49 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 1774 0 0 0 2546 3 0 0 25 0 1 0 183670765 16687104 1659 1992294400 134512640 137136520 4294956256 18446744073709551615 136518947 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 4074 1659 197 640 0 3430 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16296 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5230 /proc/meminfo: memFree=1879848/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=17408 CPUtime=51.08 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 2061 0 0 0 5103 5 0 0 25 0 1 0 183670765 17825792 1946 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 4352 1946 197 640 0 3708 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17408 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5230 /proc/meminfo: memFree=1878056/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=19280 CPUtime=102.26 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 2525 0 0 0 10217 9 0 0 25 0 1 0 183670765 19742720 2410 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 4820 2410 197 640 0 4176 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19280 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1877416/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=19784 CPUtime=162.24 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 2654 0 0 0 16209 15 0 0 25 0 1 0 183670765 20258816 2539 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 4946 2539 197 640 0 4302 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 19784 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1876392/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=20872 CPUtime=222.23 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 2908 0 0 0 22202 21 0 0 25 0 1 0 183670765 21372928 2793 1992294400 134512640 137136520 4294956256 18446744073709551615 134606742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 5218 2793 197 640 0 4574 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 20872 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1876008/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=21212 CPUtime=282.21 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3004 0 0 0 28194 27 0 0 25 0 1 0 183670765 21721088 2889 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 5303 2889 197 640 0 4659 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 21212 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1875816/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=21440 CPUtime=342.19 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3050 0 0 0 34186 33 0 0 25 0 1 0 183670765 21954560 2935 1992294400 134512640 137136520 4294956256 18446744073709551615 134606786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 5360 2935 197 640 0 4716 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 21440 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1875752/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=21380 CPUtime=402.17 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3050 0 0 0 40179 38 0 0 25 0 1 0 183670765 21893120 2935 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 5345 2935 197 640 0 4701 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 21380 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1875176/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=22000 CPUtime=462.15 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3190 0 0 0 46172 43 0 0 25 0 1 0 183670765 22528000 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 5500 3075 197 640 0 4856 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 22000 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1875112/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=21968 CPUtime=522.13 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3190 0 0 0 52166 47 0 0 25 0 1 0 183670765 22495232 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 5492 3075 197 640 0 4848 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 21968 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1875112/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=21944 CPUtime=582.12 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3190 0 0 0 58159 53 0 0 25 0 1 0 183670765 22470656 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134597904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 5486 3075 197 640 0 4842 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 21944 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1875048/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=21944 CPUtime=642.1 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3190 0 0 0 64153 57 0 0 25 0 1 0 183670765 22470656 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 5486 3075 197 640 0 4842 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 21944 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1872936/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=23872 CPUtime=1061.98 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3674 0 0 0 106105 93 0 0 25 0 1 0 183670765 24444928 3559 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 5968 3559 197 640 0 5324 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 23872 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1872680/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=24108 CPUtime=1121.96 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3729 0 0 0 112099 97 0 0 25 0 1 0 183670765 24686592 3614 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6027 3614 197 640 0 5383 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 24108 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1872680/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=24076 CPUtime=1181.95 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3729 0 0 0 118093 102 0 0 25 0 1 0 183670765 24653824 3614 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6019 3614 197 640 0 5375 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 24076 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1872616/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=24068 CPUtime=1241.93 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3729 0 0 0 124085 108 0 0 25 0 1 0 183670765 24645632 3612 1992294400 134512640 137136520 4294956256 18446744073709551615 136294906 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6017 3612 197 640 0 5373 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 24068 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1872424/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=24284 CPUtime=1301.92 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3780 0 0 0 130079 113 0 0 25 0 1 0 183670765 24866816 3662 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6071 3662 197 640 0 5427 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 24284 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1872360/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=24284 CPUtime=1361.9 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3781 0 0 0 136072 118 0 0 25 0 1 0 183670765 24866816 3663 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6071 3663 197 640 0 5427 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 24284 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1872360/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=24284 CPUtime=1421.87 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3782 0 0 0 142063 124 0 0 25 0 1 0 183670765 24866816 3664 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6071 3664 197 640 0 5427 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 24284 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1872168/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=24416 CPUtime=1481.86 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3812 0 0 0 148056 130 0 0 25 0 1 0 183670765 25001984 3694 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6104 3694 197 640 0 5460 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 24416 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1872168/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=24416 CPUtime=1541.84 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3812 0 0 0 154050 134 0 0 25 0 1 0 183670765 25001984 3694 1992294400 134512640 137136520 4294956256 18446744073709551615 134543898 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6104 3694 197 640 0 5460 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 24416 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1871976/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=24548 CPUtime=1601.82 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 3849 0 0 0 160045 137 0 0 25 0 1 0 183670765 25137152 3731 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6137 3731 197 640 0 5493 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 24548 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1871272/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=25292 CPUtime=1661.81 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 4018 0 0 0 166039 142 0 0 25 0 1 0 183670765 25899008 3900 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6323 3900 197 640 0 5679 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 25292 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1871080/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=25464 CPUtime=1721.79 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 4073 0 0 0 172032 147 0 0 25 0 1 0 183670765 26075136 3955 1992294400 134512640 137136520 4294956256 18446744073709551615 134616728 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6366 3955 197 640 0 5722 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 25464 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1871016/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=25456 CPUtime=1781.77 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 4073 0 0 0 178027 150 0 0 25 0 1 0 183670765 26066944 3955 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6364 3955 197 640 0 5720 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 25456 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1871016/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=25456 CPUtime=1791.37 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 4073 0 0 0 178987 150 0 0 25 0 1 0 183670765 26066944 3955 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6364 3955 197 640 0 5720 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 25456 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1870888/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=25660 CPUtime=1794.57 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 4110 0 0 0 179306 151 0 0 25 0 1 0 183670765 26275840 3992 1992294400 134512640 137136520 4294956256 18446744073709551615 134606762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6415 3992 197 640 0 5771 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 25660 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1870888/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=25660 CPUtime=1796.17 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 4110 0 0 0 179466 151 0 0 25 0 1 0 183670765 26275840 3992 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6415 3992 197 640 0 5771 0 Current children cumulated CPU time (s) 1796.17 Current children cumulated vsize (KiB) 25660 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1870888/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=25660 CPUtime=1796.97 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 4110 0 0 0 179546 151 0 0 25 0 1 0 183670765 26275840 3992 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6415 3992 197 640 0 5771 0 Current children cumulated CPU time (s) 1796.97 Current children cumulated vsize (KiB) 25660 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1870888/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=25660 CPUtime=1797.76 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 4110 0 0 0 179625 151 0 0 25 0 1 0 183670765 26275840 3992 1992294400 134512640 137136520 4294956256 18446744073709551615 136500560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6415 3992 197 640 0 5771 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 25660 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5236 /proc/meminfo: memFree=1870888/2055920 swapFree=4182468/4192956 [pid=5229] ppid=5227 vsize=25660 CPUtime=1797.97 /proc/5229/stat : 5229 (bsolo) R 5227 5229 5157 0 -1 4194304 4110 0 0 0 179646 151 0 0 25 0 1 0 183670765 26275840 3992 1992294400 134512640 137136520 4294956256 18446744073709551615 136518982 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5229/statm: 6415 3992 197 640 0 5771 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 25660 Child status: 0 Real time (s): 1798.53 CPU time (s): 1798.01 CPU user time (s): 1796.49 CPU system time (s): 1.51977 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 25716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.49 system time used= 1.51977 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4111 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= 1746 runsolver used 1.37479 second user time and 3.70744 second system time The end
Begin job on node23 at 2009-06-16 15:58:28 IDJOB=1876967 IDBENCH=2198 IDSOLVER=699 FILE ID=node23/1876967-1245160708 PBS_JOBID= 9363852 Free space on /tmp= 66272 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876967-1245160708/watcher-1876967-1245160708 -o /tmp/evaluation-result-1876967-1245160708/solver-1876967-1245160708 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876967-1245160708.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 47657fb6d35516304c5b4897d4fb805d RANDOM SEED=1155737580 node23.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.236 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.236 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: 1887696 kB Buffers: 30268 kB Cached: 75996 kB SwapCached: 4304 kB Active: 57776 kB Inactive: 56372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1887696 kB SwapTotal: 4192956 kB SwapFree: 4182468 kB Dirty: 4164 kB Writeback: 0 kB Mapped: 14552 kB Slab: 40064 kB Committed_AS: 163196 kB PageTables: 1392 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-1876967-1245160708.opb Free space on /tmp at the end= 66268 MiB End job on node23 at 2009-06-16 16:28:27