Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798.02 | 1798.57 |
Name | /OPT-SMALLINT-LIN/flexray/ normalized-fx30.opb |
MD5SUM | a013c9210a7cfe037db9246041ce6240 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
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 | 774 |
Total number of constraints | 994 |
Number of constraints which are clauses | 771 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 192 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 192 |
Number of terms in the objective function | 3 |
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 | 3 |
Number of bits of the sum of numbers in the objective function | 2 |
Biggest number in a constraint | 42 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 380 |
Number of bits of the biggest sum of numbers | 9 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657236-1276688701.opb 0.00/0.00 c File size is 72189 bytes. 0.00/0.01 c Highest Coefficient sum: 380 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 s 0.00/0.01 c Var: 774 Constr: 1024 801/31/192 Lit: 8847 Watch. Lit: 7560 0.00/0.01 c Obj. Vars: 3 (0.387597 % of total variables) 0.09/0.14 c Pre-processing Time: 0.147 s 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 771 252 7302 28 6399 16481 0 0 0.15 0.09/0.14 c Switching off lower bounding mode. 1797.95/1798.55 c 102 771 354 10835 30 6603 18130 102 621 0.16 1797.95/1798.55 c 252 771 504 15436 30 6951 19944 252 1253 0.20 1797.95/1798.55 c 477 771 729 25610 35 7353 21939 477 2004 0.24 1797.95/1798.55 c 815 771 1067 41071 38 8061 24133 815 2376 0.34 1797.95/1798.55 c 1323 771 1575 61463 39 9045 26547 1323 3013 0.44 1797.95/1798.55 c 2086 771 2338 109340 46 10571 29202 2086 3274 0.64 1797.95/1798.55 c 3232 771 3484 166372 47 12927 32123 3232 3212 1.01 1797.95/1798.55 c 4954 771 5206 275773 52 16307 35336 4954 3002 1.65 1797.95/1798.55 c 7539 771 7791 449176 57 21525 38870 7539 2723 2.77 1797.95/1798.55 c 11418 771 11670 711743 60 29267 42758 11418 2364 4.83 1797.95/1798.55 c 17241 771 17493 1078749 61 40913 47034 17241 1707 10.10 1797.95/1798.55 c 25978 771 26230 2064461 78 58355 51738 25978 1338 19.40 1797.95/1798.55 c 39090 771 39342 3253431 82 84611 56912 39090 804 48.58 1797.95/1798.55 c 58761 771 15721 1090897 69 37353 62604 15469 433 135.56 1797.95/1798.55 c 88271 771 45231 3346040 73 96357 68865 44979 406 217.16 1797.95/1798.55 c 132541 771 34511 2273744 65 74925 75752 34259 372 355.46 1797.95/1798.55 c 198953 771 39753 2758653 69 85417 83328 39501 307 646.70 1797.95/1798.55 c 298574 771 71658 5483904 76 149211 91661 71406 282 1056.83 1797.95/1798.55 c 448009 771 66492 7190105 108 138879 100828 66240 254 1762.05 1797.95/1798.55 c Resources Exceeded 1797.95/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.55 c 19 454272 164828 1755617 72755 7651032 72503 252 1798.00 1797.95/1798.55 s UNKNOWN 1797.95/1798.55 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-2657236-1276688701/watcher-2657236-1276688701 -o /tmp/evaluation-result-2657236-1276688701/solver-2657236-1276688701 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657236-1276688701.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.04 1.01 3/106 16233 /proc/meminfo: memFree=1735008/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=10864 CPUtime=0 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 10162279 11124736 252 1992294400 134512640 137138936 4292668624 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 2716 253 175 642 0 2054 0 [startup+0.066837 s] /proc/loadavg: 1.04 1.04 1.01 3/106 16233 /proc/meminfo: memFree=1735008/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=11188 CPUtime=0.06 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 443 0 0 0 6 0 0 0 20 0 1 0 10162279 11456512 343 1992294400 134512640 137138936 4292668624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 2797 343 184 642 0 2153 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11188 [startup+0.10084 s] /proc/loadavg: 1.04 1.04 1.01 3/106 16233 /proc/meminfo: memFree=1735008/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=11188 CPUtime=0.09 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 450 0 0 0 9 0 0 0 20 0 1 0 10162279 11456512 350 1992294400 134512640 137138936 4292668624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 2797 350 185 642 0 2153 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11188 [startup+0.30086 s] /proc/loadavg: 1.04 1.04 1.01 3/106 16233 /proc/meminfo: memFree=1735008/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=11436 CPUtime=0.29 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 532 0 0 0 29 0 0 0 20 0 1 0 10162279 11710464 432 1992294400 134512640 137138936 4292668624 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 2859 432 190 642 0 2215 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11436 [startup+0.700901 s] /proc/loadavg: 1.04 1.04 1.01 3/106 16233 /proc/meminfo: memFree=1735008/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=12692 CPUtime=0.69 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 838 0 0 0 68 1 0 0 20 0 1 0 10162279 12996608 738 1992294400 134512640 137138936 4292668624 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 3173 738 190 642 0 2529 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12692 [startup+1.50098 s] /proc/loadavg: 1.04 1.04 1.01 2/107 16234 /proc/meminfo: memFree=1731900/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=14700 CPUtime=1.49 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 1328 0 0 0 147 2 0 0 22 0 1 0 10162279 15052800 1228 1992294400 134512640 137138936 4292668624 18446744073709551615 134575402 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 3675 1228 190 642 0 3031 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14700 [startup+3.10115 s] /proc/loadavg: 1.04 1.04 1.01 2/107 16234 /proc/meminfo: memFree=1729048/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=18092 CPUtime=3.09 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 2176 0 0 0 305 4 0 0 25 0 1 0 10162279 18526208 2076 1992294400 134512640 137138936 4292668624 18446744073709551615 136504105 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 4523 2076 190 642 0 3879 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18092 [startup+6.30047 s] /proc/loadavg: 1.04 1.04 1.01 2/107 16234 /proc/meminfo: memFree=1723096/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=23212 CPUtime=6.29 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 3454 0 0 0 623 6 0 0 25 0 1 0 10162279 23769088 3354 1992294400 134512640 137138936 4292668624 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 5803 3354 190 642 0 5159 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23212 [startup+12.7011 s] /proc/loadavg: 1.03 1.04 1.01 2/107 16234 /proc/meminfo: memFree=1715160/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=30680 CPUtime=12.68 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 5323 0 0 0 1257 11 0 0 25 0 1 0 10162279 31416320 5223 1992294400 134512640 137138936 4292668624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 7670 5223 190 642 0 7026 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30680 [startup+25.5004 s] /proc/loadavg: 1.03 1.04 1.01 2/107 16234 /proc/meminfo: memFree=1701644/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=43360 CPUtime=25.48 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 8494 0 0 0 2529 19 0 0 25 0 1 0 10162279 44400640 8394 1992294400 134512640 137138936 4292668624 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 10840 8394 190 642 0 10196 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43360 [startup+51.101 s] /proc/loadavg: 1.02 1.03 1.00 2/107 16234 /proc/meminfo: memFree=1687508/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=57312 CPUtime=51.07 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 11997 0 0 0 5079 28 0 0 25 0 1 0 10162279 58687488 11897 1992294400 134512640 137138936 4292668624 18446744073709551615 134542802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 14328 11897 190 642 0 13684 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 57312 [startup+102.308 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16236 /proc/meminfo: memFree=1675356/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=69300 CPUtime=102.27 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 14986 0 0 0 10190 37 0 0 25 0 1 0 10162279 70963200 14886 1992294400 134512640 137138936 4292668624 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 17325 14886 190 642 0 16681 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 69300 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16238 /proc/meminfo: memFree=1669528/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=74916 CPUtime=162.24 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 16433 0 0 0 16176 48 0 0 25 0 1 0 10162279 76713984 16277 1992294400 134512640 137138936 4292668624 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 18729 16277 190 642 0 18085 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 74916 [startup+222.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16240 /proc/meminfo: memFree=1669528/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=74916 CPUtime=222.22 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 16433 0 0 0 22167 55 0 0 25 0 1 0 10162279 76713984 16277 1992294400 134512640 137138936 4292668624 18446744073709551615 136511197 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 18729 16277 190 642 0 18085 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 74916 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16242 /proc/meminfo: memFree=1669528/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=74936 CPUtime=282.21 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 16438 0 0 0 28157 64 0 0 25 0 1 0 10162279 76734464 16282 1992294400 134512640 137138936 4292668624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 18734 16282 190 642 0 18090 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 74936 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16242 /proc/meminfo: memFree=1663700/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=80512 CPUtime=342.18 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 17919 0 0 0 34145 73 0 0 25 0 1 0 10162279 82444288 17695 1992294400 134512640 137138936 4292668624 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 20128 17695 190 642 0 19484 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 80512 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16244 /proc/meminfo: memFree=1663700/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=80512 CPUtime=402.17 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 17919 0 0 0 40127 90 0 0 25 0 1 0 10162279 82444288 17695 1992294400 134512640 137138936 4292668624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 20128 17695 190 642 0 19484 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 80512 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16246 /proc/meminfo: memFree=1663700/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=80512 CPUtime=462.16 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 17919 0 0 0 46119 97 0 0 25 0 1 0 10162279 82444288 17695 1992294400 134512640 137138936 4292668624 18446744073709551615 136520964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 20128 17695 190 642 0 19484 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 80512 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16248 /proc/meminfo: memFree=1663576/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=80516 CPUtime=522.13 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 17920 0 0 0 52112 101 0 0 25 0 1 0 10162279 82448384 17696 1992294400 134512640 137138936 4292668624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 20129 17696 190 642 0 19485 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 80516 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16250 /proc/meminfo: memFree=1656632/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=87408 CPUtime=582.12 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 19724 0 0 0 58103 109 0 0 25 0 1 0 10162279 89505792 19425 1992294400 134512640 137138936 4292668624 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 21852 19425 190 642 0 21208 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 87408 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16250 /proc/meminfo: memFree=1656632/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=87408 CPUtime=642.1 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 19724 0 0 0 64092 118 0 0 25 0 1 0 10162279 89505792 19425 1992294400 134512640 137138936 4292668624 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 21852 19425 190 642 0 21208 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 87408 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1645472/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=97620 CPUtime=1061.96 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 22337 0 0 0 106010 186 0 0 25 0 1 0 10162279 99962880 21956 1992294400 134512640 137138936 4292668624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 24405 21956 190 642 0 23761 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 97620 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16273 /proc/meminfo: memFree=1641256/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=102508 CPUtime=1121.94 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 23554 0 0 0 111996 198 0 0 25 0 1 0 10162279 104968192 23173 1992294400 134512640 137138936 4292668624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 25627 23173 190 642 0 24983 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 102508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16275 /proc/meminfo: memFree=1629352/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=114044 CPUtime=1181.93 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 26545 0 0 0 117985 208 0 0 25 0 1 0 10162279 116781056 26074 1992294400 134512640 137138936 4292668624 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 28511 26074 190 642 0 27867 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 114044 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16275 /proc/meminfo: memFree=1629352/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=114044 CPUtime=1241.91 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 26545 0 0 0 123968 223 0 0 25 0 1 0 10162279 116781056 26074 1992294400 134512640 137138936 4292668624 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 28511 26074 190 642 0 27867 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 114044 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16277 /proc/meminfo: memFree=1629352/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=114044 CPUtime=1301.9 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 26545 0 0 0 129952 238 0 0 25 0 1 0 10162279 116781056 26074 1992294400 134512640 137138936 4292668624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 28511 26074 190 642 0 27867 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 114044 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16279 /proc/meminfo: memFree=1629352/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=114044 CPUtime=1361.87 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 26545 0 0 0 135940 247 0 0 25 0 1 0 10162279 116781056 26074 1992294400 134512640 137138936 4292668624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 28511 26074 190 642 0 27867 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 114044 [startup+1422.31 s] /proc/loadavg: 1.07 1.02 1.00 2/107 16281 /proc/meminfo: memFree=1619680/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=124080 CPUtime=1421.87 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 29051 0 0 0 141924 263 0 0 25 0 1 0 10162279 127057920 28580 1992294400 134512640 137138936 4292668624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 31020 28580 190 642 0 30376 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 124080 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 16283 /proc/meminfo: memFree=1611744/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=132136 CPUtime=1481.83 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 31050 0 0 0 147914 269 0 0 25 0 1 0 10162279 135307264 30579 1992294400 134512640 137138936 4292668624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 33034 30579 190 642 0 32390 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 132136 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 16283 /proc/meminfo: memFree=1598104/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=145736 CPUtime=1541.82 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 34458 0 0 0 153904 278 0 0 25 0 1 0 10162279 149233664 33987 1992294400 134512640 137138936 4292668624 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 36434 33987 190 642 0 35790 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 145736 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16285 /proc/meminfo: memFree=1595128/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=148548 CPUtime=1601.8 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 35150 0 0 0 159886 294 0 0 25 0 1 0 10162279 152113152 34679 1992294400 134512640 137138936 4292668624 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 37137 34679 190 642 0 36493 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 148548 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16287 /proc/meminfo: memFree=1595128/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=148548 CPUtime=1661.78 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 35150 0 0 0 165876 302 0 0 25 0 1 0 10162279 152113152 34679 1992294400 134512640 137138936 4292668624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 37137 34679 190 642 0 36493 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 148548 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16289 /proc/meminfo: memFree=1595004/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=148548 CPUtime=1721.76 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 35150 0 0 0 171867 309 0 0 25 0 1 0 10162279 152113152 34679 1992294400 134512640 137138936 4292668624 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 37137 34679 190 642 0 36493 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 148548 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16291 /proc/meminfo: memFree=1594880/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=148548 CPUtime=1781.74 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 35150 0 0 0 177857 317 0 0 25 0 1 0 10162279 152113152 34679 1992294400 134512640 137138936 4292668624 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 37137 34679 190 642 0 36493 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 148548 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16291 /proc/meminfo: memFree=1594880/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=148548 CPUtime=1791.35 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 35150 0 0 0 178817 318 0 0 25 0 1 0 10162279 152113152 34679 1992294400 134512640 137138936 4292668624 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 37137 34679 190 642 0 36493 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 148548 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16291 /proc/meminfo: memFree=1594880/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=148548 CPUtime=1794.55 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 35150 0 0 0 179136 319 0 0 25 0 1 0 10162279 152113152 34679 1992294400 134512640 137138936 4292668624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 37137 34679 190 642 0 36493 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 148548 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16291 /proc/meminfo: memFree=1594880/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=148548 CPUtime=1796.14 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 35150 0 0 0 179295 319 0 0 25 0 1 0 10162279 152113152 34679 1992294400 134512640 137138936 4292668624 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 37137 34679 190 642 0 36493 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 148548 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16291 /proc/meminfo: memFree=1594880/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=148548 CPUtime=1796.94 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 35150 0 0 0 179375 319 0 0 25 0 1 0 10162279 152113152 34679 1992294400 134512640 137138936 4292668624 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 37137 34679 190 642 0 36493 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 148548 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16291 /proc/meminfo: memFree=1594880/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=148548 CPUtime=1797.74 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 35150 0 0 0 179455 319 0 0 25 0 1 0 10162279 152113152 34679 1992294400 134512640 137138936 4292668624 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 37137 34679 190 642 0 36493 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 148548 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16291 /proc/meminfo: memFree=1594880/2059040 swapFree=4192956/4192956 [pid=16233] ppid=16231 vsize=148548 CPUtime=1797.95 /proc/16233/stat : 16233 (bsolo_pb10) R 16231 16233 15530 0 -1 4202496 35150 0 0 0 179476 319 0 0 25 0 1 0 10162279 152113152 34679 1992294400 134512640 137138936 4292668624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16233/statm: 37137 34679 190 642 0 36493 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 148548 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.02 CPU user time (s): 1794.81 CPU system time (s): 3.20951 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 148548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.81 system time used= 3.20951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35150 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= 1 involuntary context switches= 5214 runsolver used 3.14552 second user time and 8.31774 second system time The end
Begin job on node045 at 2010-06-16 13:45:01 IDJOB=2657236 IDBENCH=71846 IDSOLVER=1163 FILE ID=node045/2657236-1276688701 PBS_JOBID= 11172573 Free space on /tmp= 62460 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx30.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657236-1276688701/watcher-2657236-1276688701 -o /tmp/evaluation-result-2657236-1276688701/solver-2657236-1276688701 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657236-1276688701.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a013c9210a7cfe037db9246041ce6240 RANDOM SEED=1324874941 node045.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.247 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.247 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1735412 kB Buffers: 78808 kB Cached: 119244 kB SwapCached: 0 kB Active: 94024 kB Inactive: 163404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1735412 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4008 kB Writeback: 16 kB AnonPages: 59412 kB Mapped: 15408 kB Slab: 44576 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180712 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62456 MiB End job on node045 at 2010-06-16 14:14:59