Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | ? | 1798.01 | 1798.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-3-c.opb |
MD5SUM | bc7893eb7aff4749139e472af91e587e |
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 | 2650 |
Total number of constraints | 6619 |
Number of constraints which are clauses | 6619 |
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 | 2650 |
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 | 2650 |
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 | 2650 |
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: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878394-1245158987.opb 0.00/0.00 c File size is 223485 bytes. 0.00/0.03 c Highest Coefficient sum: 2650 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.03 s 0.00/0.03 c Var: 2650 Constr: 6619 6619/0/0 Lit: 18160 Watch. Lit: 13238 0.00/0.03 c Obj. Vars: 2650 (100 % of total variables) 0.07/0.09 c Pre-processing Time: 0.09 s 0.07/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.07/0.09 c 0 2461 6302 17400 2 12604 2100 0 0 0.09 0.07/0.09 c Switching off lower bounding mode. 1797.97/1798.62 c 100 2461 6402 21660 3 12804 2311 100 719 0.14 1797.97/1798.62 c 251 2461 6553 27668 4 13106 2543 251 1068 0.23 1797.97/1798.62 c 476 2461 6778 35891 5 13556 2798 476 1217 0.39 1797.97/1798.62 c 815 2461 7117 47872 6 14234 3078 815 1205 0.68 1797.97/1798.62 c 1323 2461 7625 65968 8 15250 3386 1323 1325 1.00 1797.97/1798.62 c 2086 2461 8388 95325 11 16776 3725 2086 1354 1.54 1797.97/1798.62 c 3233 2461 9535 149586 15 19070 4098 3233 1333 2.42 1797.97/1798.62 c 4955 2461 8947 130525 14 17894 4508 2645 1280 3.87 1797.97/1798.62 c 7539 2461 9012 145912 16 18024 4959 2710 1190 6.33 1797.97/1798.62 c 11419 2461 10059 193856 19 20118 5455 3757 1147 9.95 1797.97/1798.62 c 17241 2461 9718 171849 17 19436 6001 3416 1090 15.80 1797.97/1798.62 c 25978 2461 11884 309705 26 23768 6602 5582 1038 25.02 1797.97/1798.62 c 39089 2461 10664 219805 20 21328 7263 4362 975 40.06 1797.97/1798.62 c 58760 2461 10862 224959 20 21724 7990 4560 926 63.39 1797.97/1798.62 c 88271 2461 10412 210970 20 20824 8790 4110 883 99.88 1797.97/1798.62 c 132542 2461 12646 309425 24 25292 9670 6344 836 158.48 1797.97/1798.62 c 198953 2461 12822 320119 24 25644 10638 6520 791 251.22 1797.97/1798.62 c 298574 2461 11877 260329 21 23754 11702 5575 751 397.48 1797.97/1798.62 c 448009 2461 14151 380677 26 28302 12873 7849 712 628.58 1797.97/1798.62 c 672168 2461 17233 538088 31 34466 14161 10931 678 991.37 1797.97/1798.62 c 1008413 2461 15582 443899 28 31164 15578 9280 639 1577.45 1797.97/1798.62 c Resources Exceeded 1797.97/1798.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.62 c 21 1126880 54892 1190967 21608 721483 15306 626 1798.00 1797.97/1798.62 s UNKNOWN 1797.97/1798.62 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-1878394-1245158987/watcher-1878394-1245158987 -o /tmp/evaluation-result-1878394-1245158987/solver-1878394-1245158987 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878394-1245158987.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 3458 /proc/meminfo: memFree=1854648/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=18776 CPUtime=0 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 273 0 0 0 0 0 0 0 18 0 1 0 183499623 19226624 257 1992294400 134512640 137136520 4294956256 18446744073709551615 134534144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 4694 259 174 640 0 3995 0 [startup+0.076655 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3458 /proc/meminfo: memFree=1854648/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=12224 CPUtime=0.07 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 690 0 0 0 7 0 0 0 18 0 1 0 183499623 12517376 619 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 3056 620 192 640 0 2412 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12224 [startup+0.10166 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3458 /proc/meminfo: memFree=1854648/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=12232 CPUtime=0.09 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 756 0 0 0 9 0 0 0 18 0 1 0 183499623 12525568 643 1992294400 134512640 137136520 4294956256 18446744073709551615 134544576 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 3058 643 196 640 0 2414 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12232 [startup+0.301697 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3458 /proc/meminfo: memFree=1854648/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=12232 CPUtime=0.29 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 761 0 0 0 29 0 0 0 19 0 1 0 183499623 12525568 648 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 3058 648 196 640 0 2414 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12232 [startup+0.701774 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3458 /proc/meminfo: memFree=1854648/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=12568 CPUtime=0.69 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 825 0 0 0 69 0 0 0 22 0 1 0 183499623 12869632 712 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 3142 712 196 640 0 2498 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12568 [startup+1.50193 s] /proc/loadavg: 0.92 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1852272/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=13188 CPUtime=1.49 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 1001 0 0 0 148 1 0 0 25 0 1 0 183499623 13504512 888 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 3297 888 196 640 0 2653 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13188 [startup+3.10124 s] /proc/loadavg: 0.92 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1851184/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=14600 CPUtime=3.09 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 1350 0 0 0 308 1 0 0 25 0 1 0 183499623 14950400 1237 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 3650 1237 196 640 0 3006 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14600 [startup+6.30185 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1849712/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=15400 CPUtime=6.29 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 1530 0 0 0 628 1 0 0 25 0 1 0 183499623 15769600 1417 1992294400 134512640 137136520 4294956256 18446744073709551615 136295682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 3850 1417 196 640 0 3206 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15400 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1848376/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=16452 CPUtime=12.68 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 1797 0 0 0 1265 3 0 0 25 0 1 0 183499623 16846848 1684 1992294400 134512640 137136520 4294956256 18446744073709551615 134543875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 4113 1684 196 640 0 3469 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16452 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1847800/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=17028 CPUtime=25.48 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 1954 0 0 0 2543 5 0 0 25 0 1 0 183499623 17436672 1841 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 4257 1841 196 640 0 3613 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17028 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1847096/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=17768 CPUtime=51.07 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 2132 0 0 0 5099 8 0 0 25 0 1 0 183499623 18194432 2019 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 4442 2019 196 640 0 3798 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17768 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1846392/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=18496 CPUtime=102.26 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 2315 0 0 0 10211 15 0 0 25 0 1 0 183499623 18939904 2202 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 4624 2202 196 640 0 3980 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18496 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1845752/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=19048 CPUtime=162.24 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 2454 0 0 0 16201 23 0 0 25 0 1 0 183499623 19505152 2341 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 4762 2341 196 640 0 4118 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 19048 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1844984/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=19752 CPUtime=222.21 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 2644 0 0 0 22191 30 0 0 25 0 1 0 183499623 20226048 2531 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 4938 2531 196 640 0 4294 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 19752 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1844280/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=20448 CPUtime=282.19 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 2803 0 0 0 28182 37 0 0 25 0 1 0 183499623 20938752 2690 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5112 2690 196 640 0 4468 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 20448 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1844408/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=20448 CPUtime=342.17 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 2803 0 0 0 34172 45 0 0 25 0 1 0 183499623 20938752 2690 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5112 2690 196 640 0 4468 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 20448 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1844344/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=20448 CPUtime=402.15 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 2803 0 0 0 40162 53 0 0 25 0 1 0 183499623 20938752 2690 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5112 2690 196 640 0 4468 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 20448 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1843832/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=20936 CPUtime=462.13 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 2934 0 0 0 46154 59 0 0 25 0 1 0 183499623 21438464 2821 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5234 2821 196 640 0 4590 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 20936 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1843832/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=20936 CPUtime=522.11 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 2935 0 0 0 52146 65 0 0 25 0 1 0 183499623 21438464 2822 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5234 2822 196 640 0 4590 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 20936 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1843768/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=21004 CPUtime=582.09 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 2945 0 0 0 58139 70 0 0 25 0 1 0 183499623 21508096 2832 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5251 2832 196 640 0 4607 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 21004 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1843064/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=21672 CPUtime=642.07 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 3104 0 0 0 64130 77 0 0 25 0 1 0 183499623 22192128 2991 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5418 2991 196 640 0 4774 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 21672 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1841272/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=23368 CPUtime=1121.9 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 3537 0 0 0 112062 128 0 0 25 0 1 0 183499623 23928832 3424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5842 3424 196 640 0 5198 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 23368 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1841208/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=23368 CPUtime=1181.89 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 3537 0 0 0 118053 136 0 0 25 0 1 0 183499623 23928832 3424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5842 3424 196 640 0 5198 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 23368 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1841144/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=23368 CPUtime=1241.86 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 3537 0 0 0 124043 143 0 0 25 0 1 0 183499623 23928832 3424 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5842 3424 196 640 0 5198 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 23368 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3459 /proc/meminfo: memFree=1841144/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=23368 CPUtime=1301.84 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 3537 0 0 0 130035 149 0 0 25 0 1 0 183499623 23928832 3424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5842 3424 196 640 0 5198 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 23368 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1840952/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=23368 CPUtime=1361.83 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 3537 0 0 0 136027 156 0 0 25 0 1 0 183499623 23928832 3424 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5842 3424 196 640 0 5198 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 23368 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1840952/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=23368 CPUtime=1421.81 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 3537 0 0 0 142018 163 0 0 25 0 1 0 183499623 23928832 3424 1992294400 134512640 137136520 4294956256 18446744073709551615 134544013 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5842 3424 196 640 0 5198 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 23368 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1840952/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=23368 CPUtime=1481.78 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 3537 0 0 0 148009 169 0 0 25 0 1 0 183499623 23928832 3424 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5842 3424 196 640 0 5198 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 23368 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1840952/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=23352 CPUtime=1541.76 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 3537 0 0 0 154001 175 0 0 25 0 1 0 183499623 23912448 3424 1992294400 134512640 137136520 4294956256 18446744073709551615 134544390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5838 3424 196 640 0 5194 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 23352 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1840760/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=23600 CPUtime=1601.74 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 3596 0 0 0 159992 182 0 0 25 0 1 0 183499623 24166400 3483 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5900 3483 196 640 0 5256 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 23600 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1840696/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=23600 CPUtime=1661.72 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 3605 0 0 0 165984 188 0 0 25 0 1 0 183499623 24166400 3492 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 5900 3492 196 640 0 5256 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 23600 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1840632/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=24100 CPUtime=1721.7 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 3713 0 0 0 171976 194 0 0 25 0 1 0 183499623 24678400 3600 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 6025 3600 196 640 0 5381 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 24100 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1838520/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=25848 CPUtime=1781.68 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 4153 0 0 0 177966 202 0 0 25 0 1 0 183499623 26468352 4040 1992294400 134512640 137136520 4294956256 18446744073709551615 136503150 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 6462 4040 196 640 0 5818 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 25848 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1838520/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=25844 CPUtime=1791.28 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 4153 0 0 0 178925 203 0 0 25 0 1 0 183499623 26464256 4040 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 6461 4040 196 640 0 5817 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 25844 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1838520/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=25844 CPUtime=1794.47 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 4153 0 0 0 179244 203 0 0 25 0 1 0 183499623 26464256 4040 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 6461 4040 196 640 0 5817 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 25844 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1838520/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=25844 CPUtime=1796.07 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 4153 0 0 0 179404 203 0 0 25 0 1 0 183499623 26464256 4040 1992294400 134512640 137136520 4294956256 18446744073709551615 135982505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 6461 4040 196 640 0 5817 0 Current children cumulated CPU time (s) 1796.07 Current children cumulated vsize (KiB) 25844 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1838520/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=25844 CPUtime=1796.88 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 4153 0 0 0 179484 204 0 0 25 0 1 0 183499623 26464256 4040 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 6461 4040 196 640 0 5817 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 25844 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1838520/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=25844 CPUtime=1797.68 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 4153 0 0 0 179564 204 0 0 25 0 1 0 183499623 26464256 4040 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 6461 4040 196 640 0 5817 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (KiB) 25844 [startup+1798.51 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1838520/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=25844 CPUtime=1797.88 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 4153 0 0 0 179584 204 0 0 25 0 1 0 183499623 26464256 4040 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 6461 4040 196 640 0 5817 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (KiB) 25844 [startup+1798.6 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3461 /proc/meminfo: memFree=1838520/2055920 swapFree=4183064/4192956 [pid=3458] ppid=3456 vsize=25844 CPUtime=1797.97 /proc/3458/stat : 3458 (bsolo) R 3456 3458 3415 0 -1 4194304 4153 0 0 0 179593 204 0 0 25 0 1 0 183499623 26464256 4040 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3458/statm: 6461 4040 196 640 0 5817 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 25844 Child status: 0 Real time (s): 1798.62 CPU time (s): 1798.01 CPU user time (s): 1795.96 CPU system time (s): 2.04469 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 25856 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.96 system time used= 2.04469 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4154 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= 1902 runsolver used 1.26581 second user time and 3.87141 second system time The end
Begin job on node5 at 2009-06-16 15:29:47 IDJOB=1878394 IDBENCH=2175 IDSOLVER=700 FILE ID=node5/1878394-1245158987 PBS_JOBID= 9363854 Free space on /tmp= 66256 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878394-1245158987/watcher-1878394-1245158987 -o /tmp/evaluation-result-1878394-1245158987/solver-1878394-1245158987 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878394-1245158987.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bc7893eb7aff4749139e472af91e587e RANDOM SEED=1571118367 node5.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.259 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.259 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: 1855128 kB Buffers: 38964 kB Cached: 82404 kB SwapCached: 3684 kB Active: 47360 kB Inactive: 81792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855128 kB SwapTotal: 4192956 kB SwapFree: 4183064 kB Dirty: 4420 kB Writeback: 0 kB Mapped: 14456 kB Slab: 57676 kB Committed_AS: 150756 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-1878394-1245158987.opb Free space on /tmp at the end= 66252 MiB End job on node5 at 2009-06-16 15:59:46