Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? | 1798.01 | 1798.47 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb |
MD5SUM | 39b4faf02952fa93fd33b15cbf6e7d18 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 3.50447 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 108 |
Total number of constraints | 9 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
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-1879421-1245243685.opb 0.00/0.00 c File size is 24020 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694 0.00/0.00 c Obj. Vars: 9 (2.08333 % of total variables) 0.00/0.00 c Pre-processing Time: 0.008 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 1797.93/1798.46 c 103 432 849 18659 21 5544 4058 188 2942 0.04 1797.93/1798.46 c 253 432 1097 38452 35 7828 4464 436 1902 0.13 1797.93/1798.46 c 478 432 1510 75349 49 10734 4911 849 2025 0.24 1797.93/1798.46 c 816 432 2077 131600 63 14589 5403 1416 1371 0.59 1797.93/1798.46 c 1325 432 3078 213974 69 34776 5944 2417 1225 1.08 1797.93/1798.46 c 2088 432 4542 332220 73 53828 6539 3881 598 3.49 1797.93/1798.46 c 3235 432 6716 509057 75 82492 7193 6055 291 11.08 1797.93/1798.46 c 4958 432 5954 456624 76 70526 7913 5293 327 15.16 1797.93/1798.46 c 7542 432 6153 485190 78 63416 8705 5492 359 20.99 1797.93/1798.46 c 11421 432 9043 939754 103 111673 9576 8382 223 51.17 1797.93/1798.46 c 17243 432 5563 394262 70 75865 10534 4902 153 112.27 1797.93/1798.46 c 25980 432 10782 908797 84 134739 11588 10121 144 180.26 1797.93/1798.46 c 39090 432 11094 852536 76 172887 12747 10433 114 341.80 1797.93/1798.46 c 58761 432 7997 661369 82 148346 14022 7336 84 692.10 1797.93/1798.46 c 88273 432 10846 865110 79 180064 15425 10185 76 1160.17 1797.93/1798.46 c 132545 432 9964 832664 83 91744 16968 9303 73 1791.37 1797.93/1798.46 c Resources Exceeded 1797.93/1798.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.46 c 16 134598 1438 139697 13003 1095195 12342 74 1798.00 1797.93/1798.46 s UNKNOWN 1797.93/1798.46 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-1879421-1245243685/watcher-1879421-1245243685 -o /tmp/evaluation-result-1879421-1245243685/solver-1879421-1245243685 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879421-1245243685.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 20140 /proc/meminfo: memFree=1854268/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=10708 CPUtime=0 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 191966477 10964992 263 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 2677 264 186 640 0 2033 0 [startup+0.0860561 s] /proc/loadavg: 0.92 0.98 0.99 3/64 20140 /proc/meminfo: memFree=1854268/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=11232 CPUtime=0.08 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 427 0 0 0 8 0 0 0 18 0 1 0 191966477 11501568 405 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 2808 405 198 640 0 2164 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11232 [startup+0.102057 s] /proc/loadavg: 0.92 0.98 0.99 3/64 20140 /proc/meminfo: memFree=1854268/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=11360 CPUtime=0.1 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 445 0 0 0 10 0 0 0 18 0 1 0 191966477 11632640 423 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 2840 423 198 640 0 2196 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11360 [startup+0.301076 s] /proc/loadavg: 0.92 0.98 0.99 3/64 20140 /proc/meminfo: memFree=1854268/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=12136 CPUtime=0.29 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 649 0 0 0 29 0 0 0 19 0 1 0 191966477 12427264 627 1992294400 134512640 137136520 4294956256 18446744073709551615 134617439 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 3034 627 198 640 0 2390 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12136 [startup+0.701117 s] /proc/loadavg: 0.92 0.98 0.99 3/64 20140 /proc/meminfo: memFree=1854268/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=13304 CPUtime=0.69 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 940 0 0 0 69 0 0 0 23 0 1 0 191966477 13623296 918 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 3326 918 198 640 0 2682 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13304 [startup+1.5012 s] /proc/loadavg: 0.92 0.98 0.99 2/65 20141 /proc/meminfo: memFree=1850292/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=15372 CPUtime=1.49 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 1434 0 0 0 148 1 0 0 25 0 1 0 191966477 15740928 1412 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 3843 1412 198 640 0 3199 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15372 [startup+3.10136 s] /proc/loadavg: 0.92 0.98 0.99 2/65 20141 /proc/meminfo: memFree=1848500/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=16680 CPUtime=3.09 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 1762 0 0 0 308 1 0 0 25 0 1 0 191966477 17080320 1740 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 4170 1740 198 640 0 3526 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16680 [startup+6.30169 s] /proc/loadavg: 1.01 1.00 1.00 2/65 20141 /proc/meminfo: memFree=1846388/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=18380 CPUtime=6.29 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 2193 0 0 0 628 1 0 0 25 0 1 0 191966477 18821120 2171 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 4595 2171 198 640 0 3951 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18380 [startup+12.7013 s] /proc/loadavg: 1.17 1.03 1.01 2/65 20141 /proc/meminfo: memFree=1843844/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=20704 CPUtime=12.69 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 2794 0 0 0 1267 2 0 0 25 0 1 0 191966477 21200896 2772 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 5176 2772 198 640 0 4532 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20704 [startup+25.5017 s] /proc/loadavg: 1.26 1.06 1.02 2/65 20141 /proc/meminfo: memFree=1839172/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=25476 CPUtime=25.49 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 3969 0 0 0 2545 4 0 0 25 0 1 0 191966477 26087424 3947 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 6369 3947 198 640 0 5725 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25476 [startup+51.1013 s] /proc/loadavg: 1.17 1.06 1.02 2/65 20141 /proc/meminfo: memFree=1837764/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=26888 CPUtime=51.07 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 4336 0 0 0 5103 4 0 0 25 0 1 0 191966477 27533312 4314 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 6722 4314 198 640 0 6078 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26888 [startup+102.302 s] /proc/loadavg: 1.07 1.05 1.01 2/65 20141 /proc/meminfo: memFree=1834628/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=29924 CPUtime=102.26 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 5084 0 0 0 10220 6 0 0 25 0 1 0 191966477 30642176 5062 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 7481 5062 198 640 0 6837 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29924 [startup+162.302 s] /proc/loadavg: 1.02 1.03 1.01 2/65 20141 /proc/meminfo: memFree=1834564/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=29928 CPUtime=162.25 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 5085 0 0 0 16218 7 0 0 25 0 1 0 191966477 30646272 5063 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 7482 5063 198 640 0 6838 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 29928 [startup+222.306 s] /proc/loadavg: 1.01 1.03 1.00 2/65 20142 /proc/meminfo: memFree=1832708/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=31748 CPUtime=222.24 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 5547 0 0 0 22214 10 0 0 25 0 1 0 191966477 32509952 5525 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 7937 5525 198 640 0 7293 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 31748 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 20142 /proc/meminfo: memFree=1832708/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=31748 CPUtime=282.21 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 5547 0 0 0 28210 11 0 0 25 0 1 0 191966477 32509952 5525 1992294400 134512640 137136520 4294956256 18446744073709551615 134544455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 7937 5525 198 640 0 7293 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 31748 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 20142 /proc/meminfo: memFree=1832708/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=31748 CPUtime=342.2 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 5547 0 0 0 34208 12 0 0 25 0 1 0 191966477 32509952 5525 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 7937 5525 198 640 0 7293 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 31748 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 20142 /proc/meminfo: memFree=1831108/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=33448 CPUtime=402.19 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 5976 0 0 0 40205 14 0 0 25 0 1 0 191966477 34250752 5954 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 8362 5954 198 640 0 7718 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 33448 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20142 /proc/meminfo: memFree=1831044/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=33448 CPUtime=462.17 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 5976 0 0 0 46202 15 0 0 25 0 1 0 191966477 34250752 5954 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 8362 5954 198 640 0 7718 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 33448 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20142 /proc/meminfo: memFree=1830340/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=34092 CPUtime=522.16 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6140 0 0 0 52200 16 0 0 25 0 1 0 191966477 34910208 6118 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 8523 6118 198 640 0 7879 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 34092 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20142 /proc/meminfo: memFree=1830276/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=34092 CPUtime=582.14 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6140 0 0 0 58197 17 0 0 25 0 1 0 191966477 34910208 6118 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 8523 6118 198 640 0 7879 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 34092 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20142 /proc/meminfo: memFree=1830212/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=34220 CPUtime=642.13 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6165 0 0 0 64195 18 0 0 25 0 1 0 191966477 35041280 6143 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 8555 6143 198 640 0 7911 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 34220 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1826692/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37448 CPUtime=1062.02 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6967 0 0 0 106176 26 0 0 25 0 1 0 191966477 38346752 6945 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9362 6945 198 640 0 8718 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 37448 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20143 /proc/meminfo: memFree=1826628/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37448 CPUtime=1122.01 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6967 0 0 0 112173 28 0 0 25 0 1 0 191966477 38346752 6945 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9362 6945 198 640 0 8718 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 37448 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20143 /proc/meminfo: memFree=1826564/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1181.99 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6968 0 0 0 118170 29 0 0 25 0 1 0 191966477 38350848 6946 1992294400 134512640 137136520 4294956256 18446744073709551615 134540969 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6946 198 640 0 8719 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 37452 [startup+1242.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 20143 /proc/meminfo: memFree=1826372/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1241.97 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6968 0 0 0 124167 30 0 0 25 0 1 0 191966477 38350848 6946 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6946 198 640 0 8719 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 37452 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 20143 /proc/meminfo: memFree=1826372/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1301.96 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6968 0 0 0 130165 31 0 0 25 0 1 0 191966477 38350848 6946 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6946 198 640 0 8719 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 37452 [startup+1362.3 s] /proc/loadavg: 1.04 1.02 1.00 2/65 20143 /proc/meminfo: memFree=1826372/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1361.95 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6968 0 0 0 136162 33 0 0 25 0 1 0 191966477 38350848 6946 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6946 198 640 0 8719 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 37452 [startup+1422.3 s] /proc/loadavg: 1.05 1.03 1.00 2/65 20143 /proc/meminfo: memFree=1826436/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1421.93 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6968 0 0 0 142160 33 0 0 25 0 1 0 191966477 38350848 6946 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6946 198 640 0 8719 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 37452 [startup+1482.3 s] /proc/loadavg: 1.13 1.05 1.01 2/65 20143 /proc/meminfo: memFree=1826372/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1481.91 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6968 0 0 0 148156 35 0 0 25 0 1 0 191966477 38350848 6946 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6946 198 640 0 8719 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 37452 [startup+1542.31 s] /proc/loadavg: 1.15 1.07 1.01 2/65 20143 /proc/meminfo: memFree=1826436/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1541.9 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6968 0 0 0 154154 36 0 0 25 0 1 0 191966477 38350848 6946 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6946 198 640 0 8719 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 37452 [startup+1602.3 s] /proc/loadavg: 1.12 1.07 1.01 2/65 20143 /proc/meminfo: memFree=1826308/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1601.88 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6968 0 0 0 160152 36 0 0 25 0 1 0 191966477 38350848 6946 1992294400 134512640 137136520 4294956256 18446744073709551615 134544431 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6946 198 640 0 8719 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 37452 [startup+1662.3 s] /proc/loadavg: 1.14 1.08 1.02 2/65 20143 /proc/meminfo: memFree=1826308/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37456 CPUtime=1661.86 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6969 0 0 0 166148 38 0 0 25 0 1 0 191966477 38354944 6947 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9364 6947 198 640 0 8720 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 37456 [startup+1722.3 s] /proc/loadavg: 1.14 1.09 1.02 2/65 20143 /proc/meminfo: memFree=1826244/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1721.85 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6969 0 0 0 172145 40 0 0 25 0 1 0 191966477 38350848 6947 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6947 198 640 0 8719 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 37452 [startup+1782.3 s] /proc/loadavg: 1.05 1.08 1.01 2/65 20143 /proc/meminfo: memFree=1826116/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1781.84 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6969 0 0 0 178143 41 0 0 25 0 1 0 191966477 38350848 6947 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6947 198 640 0 8719 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 37452 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.04 1.07 1.01 2/65 20143 /proc/meminfo: memFree=1826116/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1791.54 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6969 0 0 0 179113 41 0 0 25 0 1 0 191966477 38350848 6947 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6947 198 640 0 8719 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (KiB) 37452 [startup+1795.2 s] /proc/loadavg: 1.04 1.07 1.01 2/65 20143 /proc/meminfo: memFree=1826116/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1794.74 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6969 0 0 0 179433 41 0 0 25 0 1 0 191966477 38350848 6947 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6947 198 640 0 8719 0 Current children cumulated CPU time (s) 1794.74 Current children cumulated vsize (KiB) 37452 [startup+1796.8 s] /proc/loadavg: 1.04 1.07 1.01 2/65 20143 /proc/meminfo: memFree=1826116/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1796.33 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6969 0 0 0 179592 41 0 0 25 0 1 0 191966477 38350848 6947 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6947 198 640 0 8719 0 Current children cumulated CPU time (s) 1796.33 Current children cumulated vsize (KiB) 37452 [startup+1797.6 s] /proc/loadavg: 1.04 1.07 1.01 2/65 20143 /proc/meminfo: memFree=1826116/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1797.13 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6969 0 0 0 179672 41 0 0 25 0 1 0 191966477 38350848 6947 1992294400 134512640 137136520 4294956256 18446744073709551615 134616028 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6947 198 640 0 8719 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 37452 [startup+1798 s] /proc/loadavg: 1.04 1.07 1.01 2/65 20143 /proc/meminfo: memFree=1826116/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1797.53 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6969 0 0 0 179712 41 0 0 25 0 1 0 191966477 38350848 6947 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6947 198 640 0 8719 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 37452 [startup+1798.4 s] /proc/loadavg: 1.04 1.07 1.01 2/65 20143 /proc/meminfo: memFree=1826116/2055920 swapFree=4178700/4192956 [pid=20140] ppid=20138 vsize=37452 CPUtime=1797.93 /proc/20140/stat : 20140 (bsolo) R 20138 20140 19643 0 -1 4194304 6969 0 0 0 179752 41 0 0 25 0 1 0 191966477 38350848 6947 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/20140/statm: 9363 6947 198 640 0 8719 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 37452 Child status: 0 Real time (s): 1798.47 CPU time (s): 1798.01 CPU user time (s): 1797.59 CPU system time (s): 0.423935 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 37456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.59 system time used= 0.423935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6970 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= 3284 runsolver used 1.56376 second user time and 4.30135 second system time The end
Begin job on node90 at 2009-06-17 15:01:26 IDJOB=1879421 IDBENCH=47971 IDSOLVER=701 FILE ID=node90/1879421-1245243685 PBS_JOBID= 9372263 Free space on /tmp= 66528 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879421-1245243685/watcher-1879421-1245243685 -o /tmp/evaluation-result-1879421-1245243685/solver-1879421-1245243685 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879421-1245243685.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 39b4faf02952fa93fd33b15cbf6e7d18 RANDOM SEED=434880453 node90.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.231 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.231 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1854748 kB Buffers: 7996 kB Cached: 129924 kB SwapCached: 8008 kB Active: 17036 kB Inactive: 130864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854748 kB SwapTotal: 4192956 kB SwapFree: 4178700 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 15832 kB Slab: 39216 kB Committed_AS: 129296 kB PageTables: 1436 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-1879421-1245243685.opb Free space on /tmp at the end= 66524 MiB End job on node90 at 2009-06-17 15:31:24