Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? (TO) | 1800.17 | 1800.99 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb |
MD5SUM | 9b7cb599a49db47c0ffbf25416bcef37 |
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 | 16.1485 |
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 | 216 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
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-1879518-1245244729.opb 0.00/0.00 c File size is 43525 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044 0.00/0.00 c Obj. Vars: 8 (1.0101 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 792 1180 4960 4 4260 6656 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1800.08/1800.90 c 101 792 1379 16333 11 7317 7322 199 2525 0.04 1800.08/1800.90 c 251 792 1611 31095 19 9047 8055 431 2952 0.09 1800.08/1800.90 c 477 792 2020 58153 28 15032 8861 840 2856 0.17 1800.08/1800.90 c 816 792 2581 98932 38 20552 9748 1401 2823 0.29 1800.08/1800.90 c 1324 792 3540 159532 45 33200 10723 2360 2177 0.61 1800.08/1800.90 c 2087 792 5033 260728 51 60325 11796 3853 1434 1.46 1800.08/1800.90 c 3236 792 7183 405773 56 91972 12976 6003 731 4.42 1800.08/1800.90 c 4957 792 10282 627438 61 117522 14274 9102 813 6.09 1800.08/1800.90 c 7542 792 15352 995821 64 181680 15702 14172 605 12.45 1800.08/1800.90 c 11421 792 13749 925786 67 146222 17273 12569 437 26.12 1800.08/1800.90 c 17243 792 15634 945004 60 171948 19001 14454 241 71.52 1800.08/1800.90 c 25980 792 12252 847135 69 162596 20902 11072 146 177.38 1800.08/1800.90 c 39092 792 14921 975114 65 205536 22993 13741 147 265.21 1800.08/1800.90 c 58762 792 16049 1078592 67 194521 25293 14869 123 474.85 1800.08/1800.90 c 88273 792 16548 1063774 64 165838 27823 15368 96 914.89 1800.08/1800.90 c Caught signal: 15 1800.08/1800.90 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.90 c 15 127121 1914 137279 15864 1189850 14684 70 1800.09 1800.08/1800.90 s UNKNOWN 1800.08/1800.90 c Total time: 1800.09 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-1879518-1245244729/watcher-1879518-1245244729 -o /tmp/evaluation-result-1879518-1245244729/solver-1879518-1245244729 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879518-1245244729.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.97 3/64 13473 /proc/meminfo: memFree=1869376/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=10748 CPUtime=0 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 192073690 11005952 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 2687 246 177 640 0 2032 0 [startup+0.038732 s] /proc/loadavg: 0.92 0.98 0.97 3/64 13473 /proc/meminfo: memFree=1869376/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=11232 CPUtime=0.03 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 409 0 0 0 3 0 0 0 18 0 1 0 192073690 11501568 382 1992294400 134512640 137136520 4294956256 18446744073709551615 136502382 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 2808 382 197 640 0 2164 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11232 [startup+0.101743 s] /proc/loadavg: 0.92 0.98 0.97 3/64 13473 /proc/meminfo: memFree=1869376/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=11488 CPUtime=0.09 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 491 0 0 0 9 0 0 0 18 0 1 0 192073690 11763712 464 1992294400 134512640 137136520 4294956256 18446744073709551615 136502279 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 2872 464 198 640 0 2228 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11488 [startup+0.30178 s] /proc/loadavg: 0.92 0.98 0.97 3/64 13473 /proc/meminfo: memFree=1869376/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=12780 CPUtime=0.29 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 798 0 0 0 29 0 0 0 19 0 1 0 192073690 13086720 771 1992294400 134512640 137136520 4294956256 18446744073709551615 136502374 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 3195 771 198 640 0 2551 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12780 [startup+0.701853 s] /proc/loadavg: 0.92 0.98 0.97 3/64 13473 /proc/meminfo: memFree=1869376/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=14052 CPUtime=0.69 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 1136 0 0 0 69 0 0 0 23 0 1 0 192073690 14389248 1109 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 3513 1109 198 640 0 2869 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14052 [startup+1.502 s] /proc/loadavg: 0.92 0.98 0.97 2/65 13474 /proc/meminfo: memFree=1865336/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=16112 CPUtime=1.49 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 1651 0 0 0 149 0 0 0 25 0 1 0 192073690 16498688 1624 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 4028 1624 198 640 0 3384 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16112 [startup+3.1013 s] /proc/loadavg: 0.92 0.98 0.97 2/65 13474 /proc/meminfo: memFree=1862968/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=17536 CPUtime=3.08 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 1982 0 0 0 308 0 0 0 25 0 1 0 192073690 17956864 1955 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 4384 1955 198 640 0 3740 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17536 [startup+6.30189 s] /proc/loadavg: 0.93 0.98 0.97 2/65 13474 /proc/meminfo: memFree=1858040/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=23452 CPUtime=6.29 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 3482 0 0 0 627 2 0 0 25 0 1 0 192073690 24014848 3455 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 5863 3455 198 640 0 5219 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23452 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.97 2/65 13474 /proc/meminfo: memFree=1849976/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=29640 CPUtime=12.68 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 5024 0 0 0 1265 3 0 0 25 0 1 0 192073690 30351360 4997 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 7410 4997 198 640 0 6766 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29640 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.97 2/65 13474 /proc/meminfo: memFree=1847224/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=32344 CPUtime=25.48 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 5706 0 0 0 2544 4 0 0 25 0 1 0 192073690 33120256 5679 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 8086 5679 198 640 0 7442 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32344 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.97 2/65 13474 /proc/meminfo: memFree=1846520/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=33136 CPUtime=51.06 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 5907 0 0 0 5101 5 0 0 25 0 1 0 192073690 33931264 5880 1992294400 134512640 137136520 4294956256 18446744073709551615 134544431 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 8284 5880 198 640 0 7640 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 33136 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.97 2/65 13474 /proc/meminfo: memFree=1843128/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=36444 CPUtime=102.24 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 6725 0 0 0 10217 7 0 0 25 0 1 0 192073690 37318656 6698 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 9111 6698 198 640 0 8467 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 36444 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 13474 /proc/meminfo: memFree=1841080/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=38476 CPUtime=162.2 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 7233 0 0 0 16211 9 0 0 25 0 1 0 192073690 39399424 7206 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 9619 7206 198 640 0 8975 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 38476 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 13474 /proc/meminfo: memFree=1838904/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=40576 CPUtime=222.18 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 7770 0 0 0 22206 12 0 0 25 0 1 0 192073690 41549824 7743 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 10144 7743 198 640 0 9500 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 40576 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 13474 /proc/meminfo: memFree=1836216/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=43596 CPUtime=282.15 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 8498 0 0 0 28200 15 0 0 25 0 1 0 192073690 44642304 8471 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 10899 8471 198 640 0 10255 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 43596 [startup+342.302 s] /proc/loadavg: 1.03 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1834872/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=44708 CPUtime=342.12 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 8795 0 0 0 34196 16 0 0 25 0 1 0 192073690 45780992 8768 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 11177 8768 198 640 0 10533 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 44708 [startup+402.301 s] /proc/loadavg: 1.01 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1834488/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=45124 CPUtime=402.09 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 8899 0 0 0 40191 18 0 0 25 0 1 0 192073690 46206976 8872 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 11281 8872 198 640 0 10637 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 45124 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1834424/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=45120 CPUtime=462.07 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 8899 0 0 0 46188 19 0 0 25 0 1 0 192073690 46202880 8872 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 11280 8872 198 640 0 10636 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 45120 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1832248/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=47240 CPUtime=522.05 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9430 0 0 0 52184 21 0 0 25 0 1 0 192073690 48373760 9403 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 11810 9403 198 640 0 11166 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 47240 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1831288/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=48140 CPUtime=582.02 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9655 0 0 0 58179 23 0 0 25 0 1 0 192073690 49295360 9628 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12035 9628 198 640 0 11391 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 48140 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1831288/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=48140 CPUtime=641.99 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9655 0 0 0 64175 24 0 0 25 0 1 0 192073690 49295360 9628 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12035 9628 198 640 0 11391 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 48140 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1831096/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=48136 CPUtime=881.9 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9655 0 0 0 88163 27 0 0 25 0 1 0 192073690 49291264 9628 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12034 9628 198 640 0 11390 0 Current children cumulated CPU time (s) 881.9 Current children cumulated vsize (KiB) 48136 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1831032/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=48136 CPUtime=941.86 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9655 0 0 0 94158 28 0 0 25 0 1 0 192073690 49291264 9628 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12034 9628 198 640 0 11390 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 48136 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1831032/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=48144 CPUtime=1001.83 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9659 0 0 0 100153 30 0 0 25 0 1 0 192073690 49299456 9632 1992294400 134512640 137136520 4294956256 18446744073709551615 136295552 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12036 9632 198 640 0 11392 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 48144 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1830968/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=48144 CPUtime=1061.81 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9659 0 0 0 106149 32 0 0 25 0 1 0 192073690 49299456 9632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12036 9632 198 640 0 11392 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 48144 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1830968/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=48144 CPUtime=1121.79 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9659 0 0 0 112146 33 0 0 25 0 1 0 192073690 49299456 9632 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12036 9632 198 640 0 11392 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 48144 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1830904/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=48144 CPUtime=1181.76 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9659 0 0 0 118142 34 0 0 25 0 1 0 192073690 49299456 9632 1992294400 134512640 137136520 4294956256 18446744073709551615 134544176 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12036 9632 198 640 0 11392 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 48144 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1830840/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=48144 CPUtime=1241.72 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9659 0 0 0 124138 34 0 0 25 0 1 0 192073690 49299456 9632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12036 9632 198 640 0 11392 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 48144 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1830776/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=48144 CPUtime=1301.7 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9659 0 0 0 130135 35 0 0 25 0 1 0 192073690 49299456 9632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12036 9632 198 640 0 11392 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 48144 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1830776/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=48144 CPUtime=1361.67 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9659 0 0 0 136132 35 0 0 25 0 1 0 192073690 49299456 9632 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12036 9632 198 640 0 11392 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 48144 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1830200/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=49068 CPUtime=1421.65 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 9865 0 0 0 142128 37 0 0 25 0 1 0 192073690 50245632 9838 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12267 9838 198 640 0 11623 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 49068 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1827960/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=51176 CPUtime=1481.61 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 10420 0 0 0 148123 38 0 0 25 0 1 0 192073690 52404224 10393 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12794 10393 198 640 0 12150 0 Current children cumulated CPU time (s) 1481.61 Current children cumulated vsize (KiB) 51176 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1827896/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=51176 CPUtime=1541.58 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 10420 0 0 0 154120 38 0 0 25 0 1 0 192073690 52404224 10393 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12794 10393 198 640 0 12150 0 Current children cumulated CPU time (s) 1541.58 Current children cumulated vsize (KiB) 51176 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1827832/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=51176 CPUtime=1601.57 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 10420 0 0 0 160118 39 0 0 25 0 1 0 192073690 52404224 10393 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12794 10393 198 640 0 12150 0 Current children cumulated CPU time (s) 1601.57 Current children cumulated vsize (KiB) 51176 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1827832/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=51176 CPUtime=1661.53 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 10420 0 0 0 166114 39 0 0 25 0 1 0 192073690 52404224 10393 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 12794 10393 198 640 0 12150 0 Current children cumulated CPU time (s) 1661.53 Current children cumulated vsize (KiB) 51176 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1827576/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=52216 CPUtime=1721.5 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 10649 0 0 0 172110 40 0 0 25 0 1 0 192073690 53469184 10622 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 13054 10622 198 640 0 12410 0 Current children cumulated CPU time (s) 1721.5 Current children cumulated vsize (KiB) 52216 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1824888/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=53996 CPUtime=1781.48 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 11121 0 0 0 178107 41 0 0 25 0 1 0 192073690 55291904 11094 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 13499 11094 198 640 0 12855 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (KiB) 53996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1824888/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=53996 CPUtime=1800.08 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 11121 0 0 0 179967 41 0 0 25 0 1 0 192073690 55291904 11094 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 13499 11094 198 640 0 12855 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 53996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.98 2/65 13474 /proc/meminfo: memFree=1824888/2055920 swapFree=4181928/4192956 [pid=13473] ppid=13471 vsize=53996 CPUtime=1800.08 /proc/13473/stat : 13473 (bsolo) R 13471 13473 13202 0 -1 4194304 11121 0 0 0 179967 41 0 0 25 0 1 0 192073690 55291904 11094 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13473/statm: 13499 11094 198 640 0 12855 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 53996 Child status: 15 Real time (s): 1800.99 CPU time (s): 1800.17 CPU user time (s): 1799.75 CPU system time (s): 0.421935 CPU usage (%): 99.9545 Max. virtual memory (cumulated for all children) (KiB): 54104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.75 system time used= 0.421935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11122 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= 6137 runsolver used 1.9567 second user time and 4.6043 second system time The end
Begin job on node7 at 2009-06-17 15:18:49 IDJOB=1879518 IDBENCH=48068 IDSOLVER=701 FILE ID=node7/1879518-1245244729 PBS_JOBID= 9372335 Free space on /tmp= 66272 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879518-1245244729/watcher-1879518-1245244729 -o /tmp/evaluation-result-1879518-1245244729/solver-1879518-1245244729 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879518-1245244729.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b7cb599a49db47c0ffbf25416bcef37 RANDOM SEED=726334951 node7.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.274 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.274 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: 1870048 kB Buffers: 35412 kB Cached: 88444 kB SwapCached: 5072 kB Active: 21628 kB Inactive: 110372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1870048 kB SwapTotal: 4192956 kB SwapFree: 4181928 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 14364 kB Slab: 39776 kB Committed_AS: 182520 kB PageTables: 1452 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-1879518-1245244729.opb Free space on /tmp at the end= 66268 MiB End job on node7 at 2009-06-17 15:48:52