Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? | 1798.01 | 1798.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-4.opb |
MD5SUM | 172d8bfe30610a29dfe3bb9d98ed3f4c |
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 | 6352 |
Total number of constraints | 13489 |
Number of constraints which are clauses | 13489 |
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 | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 6352 |
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 | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
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: Generic Pseudo-Boolean 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-1879817-1245154505.opb 0.00/0.00 c File size is 455441 bytes. 0.00/0.06 c Highest Coefficient sum: 6352 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.061 s 0.06/0.06 c Var: 6352 Constr: 13489 13489/0/0 Lit: 33997 Watch. Lit: 26837 0.06/0.06 c Obj. Vars: 6352 (100 % of total variables) 0.09/0.15 c Pre-processing Time: 0.148 s 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 1957 5822 16470 2 11644 1940 0 0 0.15 0.09/0.15 c Switching off lower bounding mode. 1797.99/1798.51 c 100 1957 6022 23048 3 12044 2135 200 284 0.35 1797.99/1798.51 c 251 1957 6324 34846 5 12648 2349 502 386 0.65 1797.99/1798.51 c 477 1957 6776 52648 7 13552 2584 954 410 1.16 1797.99/1798.51 c 816 1957 7454 79188 10 14908 2843 1632 412 1.98 1797.99/1798.51 c 1327 1957 8476 117850 13 16952 3128 2654 413 3.21 1797.99/1798.51 c 2091 1957 10004 169246 16 20008 3441 4182 466 4.48 1797.99/1798.51 c 3238 1957 12298 242932 19 24596 3786 6476 500 6.47 1797.99/1798.51 c 4959 1957 9274 126909 13 18548 4165 3452 536 9.24 1797.99/1798.51 c 7543 1957 7930 123926 15 15860 4582 2108 488 15.43 1797.99/1798.51 c 11423 1957 8815 171378 19 17630 5041 2993 487 23.42 1797.99/1798.51 c 17245 1957 13357 397525 29 26714 5546 7535 491 35.06 1797.99/1798.51 c 25982 1957 8993 133668 14 17986 6101 3171 496 52.31 1797.99/1798.51 c 39092 1957 12632 312719 24 25264 6712 6810 508 76.88 1797.99/1798.51 c 58764 1957 12844 290121 22 25688 7384 7022 502 116.93 1797.99/1798.51 c 88276 1957 14956 417251 27 29912 8123 9134 488 180.80 1797.99/1798.51 c 132546 1957 18328 557972 30 36656 8936 12506 469 282.37 1797.99/1798.51 c 198957 1957 17922 624190 34 35844 9830 12100 447 445.04 1797.99/1798.51 c 298577 1957 11292 257564 22 22584 10814 5470 422 706.98 1797.99/1798.51 c 448013 1957 16276 518686 31 32552 11896 10454 408 1097.98 1797.99/1798.51 c 672172 1957 21609 722995 33 43218 13086 15787 391 1715.14 1797.99/1798.51 c Resources Exceeded 1797.99/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.51 c 20 701517 44050 755623 15042 417701 9220 390 1798.01 1797.99/1798.51 s UNKNOWN 1797.99/1798.51 c Total time: 1798.01 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-1879817-1245154505/watcher-1879817-1245154505 -o /tmp/evaluation-result-1879817-1245154505/solver-1879817-1245154505 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879817-1245154505.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.00 0.00 0.00 3/66 13422 /proc/meminfo: memFree=1716024/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=19120 CPUtime=0 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 274 0 0 0 0 0 0 0 18 0 1 0 68173950 19578880 258 1992294400 134512640 137136520 4294956256 18446744073709551615 134531237 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 4780 258 173 640 0 4024 0 [startup+0.063782 s] /proc/loadavg: 0.00 0.00 0.00 3/66 13422 /proc/meminfo: memFree=1716024/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=12848 CPUtime=0.06 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 912 0 0 0 6 0 0 0 18 0 1 0 68173950 13156352 784 1992294400 134512640 137136520 4294956256 18446744073709551615 134549450 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 3257 792 184 640 0 2613 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12848 [startup+0.101786 s] /proc/loadavg: 0.00 0.00 0.00 3/66 13422 /proc/meminfo: memFree=1716024/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=13688 CPUtime=0.09 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 1113 0 0 0 9 0 0 0 18 0 1 0 68173950 14016512 985 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 3422 985 188 640 0 2778 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13688 [startup+0.301812 s] /proc/loadavg: 0.00 0.00 0.00 3/66 13422 /proc/meminfo: memFree=1716024/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=13752 CPUtime=0.29 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 1172 0 0 0 28 1 0 0 19 0 1 0 68173950 14082048 1026 1992294400 134512640 137136520 4294956256 18446744073709551615 136509026 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 3438 1026 197 640 0 2794 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13752 [startup+0.701863 s] /proc/loadavg: 0.00 0.00 0.00 3/66 13422 /proc/meminfo: memFree=1716024/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=13752 CPUtime=0.69 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 1172 0 0 0 68 1 0 0 23 0 1 0 68173950 14082048 1026 1992294400 134512640 137136520 4294956256 18446744073709551615 134544854 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 3438 1026 197 640 0 2794 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13752 [startup+1.50197 s] /proc/loadavg: 0.00 0.00 0.00 2/67 13423 /proc/meminfo: memFree=1712560/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=13856 CPUtime=1.49 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 1178 0 0 0 148 1 0 0 25 0 1 0 68173950 14188544 1032 1992294400 134512640 137136520 4294956256 18446744073709551615 136502371 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 3464 1032 197 640 0 2820 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13856 [startup+3.10117 s] /proc/loadavg: 0.00 0.00 0.00 2/67 13423 /proc/meminfo: memFree=1712240/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=14460 CPUtime=3.09 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 1342 0 0 0 308 1 0 0 25 0 1 0 68173950 14807040 1196 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 3615 1196 197 640 0 2971 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14460 [startup+6.30159 s] /proc/loadavg: 0.08 0.02 0.01 2/67 13423 /proc/meminfo: memFree=1710576/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=16212 CPUtime=6.28 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 1779 0 0 0 627 1 0 0 25 0 1 0 68173950 16601088 1633 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 4053 1633 197 640 0 3409 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16212 [startup+12.7014 s] /proc/loadavg: 0.15 0.03 0.01 2/67 13423 /proc/meminfo: memFree=1708912/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=17332 CPUtime=12.69 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 2060 0 0 0 1267 2 0 0 25 0 1 0 68173950 17747968 1914 1992294400 134512640 137136520 4294956256 18446744073709551615 134606791 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 4333 1914 197 640 0 3689 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17332 [startup+25.5011 s] /proc/loadavg: 0.34 0.08 0.02 2/67 13423 /proc/meminfo: memFree=1706480/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=20200 CPUtime=25.49 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 2765 0 0 0 2545 4 0 0 25 0 1 0 68173950 20684800 2619 1992294400 134512640 137136520 4294956256 18446744073709551615 134605821 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 5050 2619 197 640 0 4406 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20200 [startup+51.1014 s] /proc/loadavg: 0.56 0.15 0.05 2/67 13423 /proc/meminfo: memFree=1706160/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=20364 CPUtime=51.07 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 2819 0 0 0 5101 6 0 0 25 0 1 0 68173950 20852736 2673 1992294400 134512640 137136520 4294956256 18446744073709551615 134616579 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 5091 2673 197 640 0 4447 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20364 [startup+102.306 s] /proc/loadavg: 0.81 0.28 0.10 2/67 13423 /proc/meminfo: memFree=1705968/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=20468 CPUtime=102.26 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 2844 0 0 0 10215 11 0 0 25 0 1 0 68173950 20959232 2698 1992294400 134512640 137136520 4294956256 18446744073709551615 134544050 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 5117 2698 197 640 0 4473 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20468 [startup+162.302 s] /proc/loadavg: 0.93 0.41 0.15 2/67 13423 /proc/meminfo: memFree=1705712/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=20700 CPUtime=162.24 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 2903 0 0 0 16209 15 0 0 25 0 1 0 68173950 21196800 2757 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 5175 2757 197 640 0 4531 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20700 [startup+222.301 s] /proc/loadavg: 0.97 0.51 0.20 2/67 13423 /proc/meminfo: memFree=1705072/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=21372 CPUtime=222.23 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3075 0 0 0 22203 20 0 0 25 0 1 0 68173950 21884928 2929 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 5343 2929 197 640 0 4699 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21372 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/67 13423 /proc/meminfo: memFree=1704880/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=21620 CPUtime=282.21 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3131 0 0 0 28196 25 0 0 25 0 1 0 68173950 22138880 2973 1992294400 134512640 137136520 4294956256 18446744073709551615 134605821 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 5405 2973 197 640 0 4761 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 21620 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.29 2/67 13423 /proc/meminfo: memFree=1703792/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=22608 CPUtime=342.19 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3390 0 0 0 34190 29 0 0 25 0 1 0 68173950 23150592 3232 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 5652 3232 197 640 0 5008 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 22608 [startup+402.302 s] /proc/loadavg: 0.99 0.73 0.33 2/67 13423 /proc/meminfo: memFree=1703728/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=22608 CPUtime=402.18 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3392 0 0 0 40183 35 0 0 25 0 1 0 68173950 23150592 3234 1992294400 134512640 137136520 4294956256 18446744073709551615 134605492 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 5652 3234 197 640 0 5008 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 22608 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/67 13423 /proc/meminfo: memFree=1702000/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=24324 CPUtime=462.16 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3822 0 0 0 46176 40 0 0 25 0 1 0 68173950 24907776 3664 1992294400 134512640 137136520 4294956256 18446744073709551615 135982494 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6081 3664 197 640 0 5437 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 24324 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.41 2/67 13423 /proc/meminfo: memFree=1701680/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=24720 CPUtime=522.15 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3913 0 0 0 52170 45 0 0 25 0 1 0 68173950 25313280 3755 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6180 3755 197 640 0 5536 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 24720 [startup+582.302 s] /proc/loadavg: 0.99 0.84 0.44 2/67 13423 /proc/meminfo: memFree=1701680/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=24716 CPUtime=582.12 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3913 0 0 0 58163 49 0 0 25 0 1 0 68173950 25309184 3755 1992294400 134512640 137136520 4294956256 18446744073709551615 134605804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6179 3755 197 640 0 5535 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 24716 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.47 2/67 13423 /proc/meminfo: memFree=1701616/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=24688 CPUtime=642.11 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3913 0 0 0 64158 53 0 0 25 0 1 0 68173950 25280512 3755 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6172 3755 197 640 0 5528 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 24688 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1701360/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=24664 CPUtime=1061.99 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3914 0 0 0 106112 87 0 0 25 0 1 0 68173950 25255936 3754 1992294400 134512640 137136520 4294956256 18446744073709551615 134543875 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6166 3754 197 640 0 5522 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 24664 [startup+1122.3 s] /proc/loadavg: 1.02 0.97 0.67 2/67 13423 /proc/meminfo: memFree=1701296/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=24668 CPUtime=1121.97 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3915 0 0 0 112106 91 0 0 25 0 1 0 68173950 25260032 3755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6167 3755 197 640 0 5523 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 24668 [startup+1182.3 s] /proc/loadavg: 1.01 0.97 0.69 2/67 13423 /proc/meminfo: memFree=1701296/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=24668 CPUtime=1181.96 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3915 0 0 0 118100 96 0 0 25 0 1 0 68173950 25260032 3755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6167 3755 197 640 0 5523 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 24668 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.71 2/67 13423 /proc/meminfo: memFree=1701168/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=24668 CPUtime=1241.94 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3915 0 0 0 124093 101 0 0 25 0 1 0 68173950 25260032 3755 1992294400 134512640 137136520 4294956256 18446744073709551615 134605473 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6167 3755 197 640 0 5523 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 24668 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.72 2/67 13423 /proc/meminfo: memFree=1701104/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=24668 CPUtime=1301.93 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3915 0 0 0 130088 105 0 0 25 0 1 0 68173950 25260032 3755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6167 3755 197 640 0 5523 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 24668 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/67 13423 /proc/meminfo: memFree=1701104/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=24668 CPUtime=1361.91 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3915 0 0 0 136080 111 0 0 25 0 1 0 68173950 25260032 3755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6167 3755 197 640 0 5523 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 24668 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/67 13423 /proc/meminfo: memFree=1701104/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=24668 CPUtime=1421.89 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3915 0 0 0 142073 116 0 0 25 0 1 0 68173950 25260032 3755 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6167 3755 197 640 0 5523 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 24668 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.76 2/67 13423 /proc/meminfo: memFree=1701168/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=24668 CPUtime=1481.87 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 3915 0 0 0 148066 121 0 0 25 0 1 0 68173950 25260032 3755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6167 3755 197 640 0 5523 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 24668 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.77 2/67 13423 /proc/meminfo: memFree=1701040/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=25056 CPUtime=1541.86 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 4004 0 0 0 154060 126 0 0 25 0 1 0 68173950 25657344 3844 1992294400 134512640 137136520 4294956256 18446744073709551615 134544597 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6264 3844 197 640 0 5620 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 25056 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.78 2/67 13423 /proc/meminfo: memFree=1700912/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=25036 CPUtime=1601.84 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 4004 0 0 0 160053 131 0 0 25 0 1 0 68173950 25636864 3844 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6259 3844 197 640 0 5615 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 25036 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.80 2/67 13423 /proc/meminfo: memFree=1700848/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=25036 CPUtime=1661.82 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 4004 0 0 0 166046 136 0 0 25 0 1 0 68173950 25636864 3844 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6259 3844 197 640 0 5615 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 25036 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.81 2/67 13423 /proc/meminfo: memFree=1700848/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=25040 CPUtime=1721.81 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 4005 0 0 0 172040 141 0 0 25 0 1 0 68173950 25640960 3845 1992294400 134512640 137136520 4294956256 18446744073709551615 134605502 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6260 3845 197 640 0 5616 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 25040 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.82 2/67 13423 /proc/meminfo: memFree=1700528/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=25244 CPUtime=1781.79 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 4058 0 0 0 178032 147 0 0 25 0 1 0 68173950 25849856 3898 1992294400 134512640 137136520 4294956256 18446744073709551615 134572220 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6311 3898 197 640 0 5667 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 25244 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 0.97 0.82 2/67 13423 /proc/meminfo: memFree=1700528/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=25244 CPUtime=1791.39 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 4058 0 0 0 178990 149 0 0 25 0 1 0 68173950 25849856 3898 1992294400 134512640 137136520 4294956256 18446744073709551615 134572318 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6311 3898 197 640 0 5667 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 25244 [startup+1795.1 s] /proc/loadavg: 1.00 0.97 0.82 2/67 13423 /proc/meminfo: memFree=1700528/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=25248 CPUtime=1794.59 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 4058 0 0 0 179310 149 0 0 25 0 1 0 68173950 25853952 3898 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6312 3898 197 640 0 5668 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 25248 [startup+1796.7 s] /proc/loadavg: 1.00 0.97 0.82 2/67 13423 /proc/meminfo: memFree=1700528/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=25248 CPUtime=1796.19 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 4058 0 0 0 179470 149 0 0 25 0 1 0 68173950 25853952 3898 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6312 3898 197 640 0 5668 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 25248 [startup+1797.5 s] /proc/loadavg: 1.00 0.97 0.82 2/67 13423 /proc/meminfo: memFree=1700528/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=25248 CPUtime=1796.99 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 4058 0 0 0 179550 149 0 0 25 0 1 0 68173950 25853952 3898 1992294400 134512640 137136520 4294956256 18446744073709551615 134573600 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6312 3898 197 640 0 5668 0 Current children cumulated CPU time (s) 1796.99 Current children cumulated vsize (KiB) 25248 [startup+1798.3 s] /proc/loadavg: 1.00 0.97 0.82 2/67 13423 /proc/meminfo: memFree=1700528/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=25248 CPUtime=1797.78 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 4058 0 0 0 179629 149 0 0 25 0 1 0 68173950 25853952 3898 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6312 3898 197 640 0 5668 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 25248 [startup+1798.51 s] /proc/loadavg: 1.00 0.97 0.82 2/67 13423 /proc/meminfo: memFree=1700528/2055920 swapFree=4192956/4192956 [pid=13422] ppid=13420 vsize=25248 CPUtime=1797.99 /proc/13422/stat : 13422 (bsolo) R 13420 13422 13379 0 -1 4194304 4058 0 0 0 179650 149 0 0 25 0 1 0 68173950 25853952 3898 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13422/statm: 6312 3898 197 640 0 5668 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 25248 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798.01 CPU user time (s): 1796.51 CPU system time (s): 1.49677 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 25248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.51 system time used= 1.49677 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4059 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= 1128 runsolver used 1.86072 second user time and 4.68729 second system time The end
Begin job on node40 at 2009-06-16 14:15:05 IDJOB=1879817 IDBENCH=2122 IDSOLVER=701 FILE ID=node40/1879817-1245154505 PBS_JOBID= 9363807 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879817-1245154505/watcher-1879817-1245154505 -o /tmp/evaluation-result-1879817-1245154505/solver-1879817-1245154505 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879817-1245154505.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 172d8bfe30610a29dfe3bb9d98ed3f4c RANDOM SEED=1029692528 node40.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.216 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.216 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: 1717224 kB Buffers: 40608 kB Cached: 216908 kB SwapCached: 0 kB Active: 132144 kB Inactive: 139920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1717224 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4404 kB Writeback: 0 kB Mapped: 24564 kB Slab: 52584 kB Committed_AS: 52312 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879817-1245154505.opb Free space on /tmp at the end= 66556 MiB End job on node40 at 2009-06-16 14:45:04