Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798.1 | 1798.66 |
Name | /OPT-SMALLINT-LIN/flexray/ normalized-fx97.opb |
MD5SUM | 22116bd56344f7c7bb7157cc5841f631 |
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 | 8424 |
Total number of constraints | 9089 |
Number of constraints which are clauses | 8415 |
Number of constraints which are cardinality constraints (but not clauses) | 98 |
Number of constraints which are nor clauses,nor cardinality constraints | 576 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 576 |
Number of terms in the objective function | 9 |
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 | 9 |
Number of bits of the sum of numbers in the objective function | 4 |
Biggest number in a constraint | 42 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1199 |
Number of bits of the biggest sum of numbers | 11 |
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-2657239-1276689243.opb 0.00/0.00 c File size is 792041 bytes. 0.09/0.15 c Highest Coefficient sum: 1199 0.09/0.15 c Parsing was ok!! 0.09/0.15 c Total parsing time: 0.152 s 0.09/0.16 c Var: 8424 Constr: 9186 8512/98/576 Lit: 89541 Watch. Lit: 78440 0.09/0.16 c Obj. Vars: 9 (0.106838 % of total variables) 11.19/11.22 c Pre-processing Time: 11.222 s 11.19/11.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.19/11.22 c 0 8415 770 72702 94 64481 165230 0 0 11.22 11.19/11.22 c Switching off lower bounding mode. 1797.95/1798.55 c 100 8415 870 76736 88 64282 181754 100 8 11.31 1797.95/1798.55 c 251 8415 1021 103736 101 64408 199930 251 22 11.40 1797.95/1798.55 c 477 8415 1247 132111 105 65043 219924 477 40 11.70 1797.95/1798.55 c 815 8415 1585 306583 193 65663 241917 815 68 11.96 1797.95/1798.55 c 1323 8415 2093 361225 172 66695 266109 1323 104 12.68 1797.95/1798.55 c 2086 8415 2856 477877 167 68189 292720 2086 153 13.61 1797.95/1798.55 c 3233 8415 4003 666800 166 70475 321993 3233 203 15.92 1797.95/1798.55 c 4954 8415 5724 867586 151 74021 354193 4954 273 18.09 1797.95/1798.55 c 7538 8415 8308 1218311 146 79085 389613 7538 363 20.76 1797.95/1798.55 c 11417 8415 12187 1612276 132 87011 428575 11417 451 25.30 1797.95/1798.55 c 17239 8415 18009 2233356 124 98631 471433 17239 475 36.23 1797.95/1798.55 c 25980 8415 26750 5103885 190 115937 518577 25980 469 55.30 1797.95/1798.55 c 39090 8415 39860 6561444 164 142206 570435 39090 420 92.97 1797.95/1798.55 c 58760 8415 59530 18275490 306 181585 627479 58760 352 166.68 1797.95/1798.55 c 88270 8415 89040 23149141 259 240685 690227 88270 276 319.69 1797.95/1798.55 c 132542 8415 133312 75521445 566 329117 759250 132542 155 850.22 1797.95/1798.55 c Reducing formula size due to memory constraints 1797.95/1798.55 c Memory Limit: 1000.00 MB Used: 1000.19 MB 1797.95/1798.55 c 198953 8415 15824 764785 48 94237 18476 15054 153 1295.46 1797.95/1798.55 c 298574 8415 10137 7091036 699 82799 20324 9367 166 1797.97 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 18 298575 92504 2262000 10138 7091139 9368 166 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-2657239-1276689243/watcher-2657239-1276689243 -o /tmp/evaluation-result-2657239-1276689243/solver-2657239-1276689243 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657239-1276689243.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.00 0.99 0.99 3/106 10401 /proc/meminfo: memFree=1706092/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=11708 CPUtime=0 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 44510759 11988992 273 1992294400 134512640 137138936 4294345616 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 2927 274 176 642 0 2089 0 [startup+0.051651 s] /proc/loadavg: 1.00 0.99 0.99 3/106 10401 /proc/meminfo: memFree=1706092/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=12948 CPUtime=0.04 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 739 0 0 0 4 0 0 0 20 0 1 0 44510759 13258752 657 1992294400 134512640 137138936 4294345616 18446744073709551615 134517595 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 3237 657 234 642 0 2399 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12948 [startup+0.101655 s] /proc/loadavg: 1.00 0.99 0.99 3/106 10401 /proc/meminfo: memFree=1706092/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=13336 CPUtime=0.09 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 888 0 0 0 9 0 0 0 20 0 1 0 44510759 13656064 806 1992294400 134512640 137138936 4294345616 18446744073709551615 136670813 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 3334 806 295 642 0 2496 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13336 [startup+0.301676 s] /proc/loadavg: 1.00 0.99 0.99 3/106 10401 /proc/meminfo: memFree=1706092/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=15600 CPUtime=0.29 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 1720 0 0 0 29 0 0 0 20 0 1 0 44510759 15974400 1444 1992294400 134512640 137138936 4294345616 18446744073709551615 135984584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 3900 1444 184 642 0 3256 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15600 [startup+0.701715 s] /proc/loadavg: 1.00 0.99 0.99 3/106 10401 /proc/meminfo: memFree=1706092/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=15600 CPUtime=0.69 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 1720 0 0 0 69 0 0 0 21 0 1 0 44510759 15974400 1444 1992294400 134512640 137138936 4294345616 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 3900 1444 184 642 0 3256 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15600 [startup+1.5018 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10402 /proc/meminfo: memFree=1700752/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=15600 CPUtime=1.49 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 1720 0 0 0 149 0 0 0 23 0 1 0 44510759 15974400 1444 1992294400 134512640 137138936 4294345616 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 3900 1444 184 642 0 3256 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15600 [startup+3.10096 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10402 /proc/meminfo: memFree=1700380/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=15600 CPUtime=3.09 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 1720 0 0 0 308 1 0 0 25 0 1 0 44510759 15974400 1444 1992294400 134512640 137138936 4294345616 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 3900 1444 184 642 0 3256 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15600 [startup+6.30128 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10404 /proc/meminfo: memFree=1700008/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=15812 CPUtime=6.29 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 1820 0 0 0 627 2 0 0 25 0 1 0 44510759 16191488 1478 1992294400 134512640 137138936 4294345616 18446744073709551615 134532475 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 3953 1478 185 642 0 3309 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15812 [startup+12.7009 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10404 /proc/meminfo: memFree=1697652/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=18904 CPUtime=12.68 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 2642 0 0 0 1260 8 0 0 25 0 1 0 44510759 19357696 2300 1992294400 134512640 137138936 4294345616 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 4726 2300 190 642 0 4082 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18904 [startup+25.5012 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10404 /proc/meminfo: memFree=1680664/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=35568 CPUtime=25.49 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 6808 0 0 0 2499 50 0 0 25 0 1 0 44510759 36421632 6466 1992294400 134512640 137138936 4294345616 18446744073709551615 134542737 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 8892 6466 190 642 0 8248 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35568 [startup+51.1018 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10404 /proc/meminfo: memFree=1647680/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=69828 CPUtime=51.07 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 15355 0 0 0 5000 107 0 0 25 0 1 0 44510759 71503872 15013 1992294400 134512640 137138936 4294345616 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 17457 15013 190 642 0 16813 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 69828 [startup+102.309 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10406 /proc/meminfo: memFree=1591756/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=124028 CPUtime=102.25 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 28897 0 0 0 10091 134 0 0 25 0 1 0 44510759 127004672 28555 1992294400 134512640 137138936 4294345616 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 31007 28555 190 642 0 30363 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 124028 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10408 /proc/meminfo: memFree=1469120/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=246828 CPUtime=162.23 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 59622 0 0 0 16061 162 0 0 25 0 1 0 44510759 252751872 59280 1992294400 134512640 137138936 4294345616 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 61707 59280 190 642 0 61063 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 246828 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10408 /proc/meminfo: memFree=1432416/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=282828 CPUtime=222.21 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 68614 0 0 0 22045 176 0 0 25 0 1 0 44510759 289615872 68272 1992294400 134512640 137138936 4294345616 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 70707 68272 190 642 0 70063 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 282828 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10410 /proc/meminfo: memFree=1408980/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=306524 CPUtime=282.2 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 74526 0 0 0 28035 185 0 0 25 0 1 0 44510759 313880576 74184 1992294400 134512640 137138936 4294345616 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 76631 74184 190 642 0 75987 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 306524 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10412 /proc/meminfo: memFree=1315112/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=400796 CPUtime=342.18 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 98105 0 0 0 34019 199 0 0 25 0 1 0 44510759 410415104 97763 1992294400 134512640 137138936 4294345616 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 100199 97763 190 642 0 99555 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 400796 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10414 /proc/meminfo: memFree=1203512/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=512412 CPUtime=402.16 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 126015 0 0 0 39997 219 0 0 25 0 1 0 44510759 524709888 125673 1992294400 134512640 137138936 4294345616 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 128103 125673 190 642 0 127459 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 512412 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10425 /proc/meminfo: memFree=1119688/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=594860 CPUtime=462.14 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 146624 0 0 0 45981 233 0 0 25 0 1 0 44510759 609136640 146282 1992294400 134512640 137138936 4294345616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 148715 146282 190 642 0 148071 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 594860 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10425 /proc/meminfo: memFree=1035368/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=680324 CPUtime=522.12 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 167970 0 0 0 51966 246 0 0 25 0 1 0 44510759 696651776 167628 1992294400 134512640 137138936 4294345616 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 170081 167628 190 642 0 169437 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 680324 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10427 /proc/meminfo: memFree=965432/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=748944 CPUtime=582.1 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 185134 0 0 0 57954 256 0 0 25 0 1 0 44510759 766918656 184792 1992294400 134512640 137138936 4294345616 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 187236 184792 190 642 0 186592 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 748944 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 10429 /proc/meminfo: memFree=897232/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=816460 CPUtime=642.09 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 202010 0 0 0 63944 265 0 0 25 0 1 0 44510759 836055040 201668 1992294400 134512640 137138936 4294345616 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 204115 201668 190 642 0 203471 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 816460 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=686432/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1026640 CPUtime=1121.95 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 254563 0 0 0 111853 342 0 0 25 0 1 0 44510759 1051279360 254221 1992294400 134512640 137138936 4294345616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 256660 254221 190 642 0 256016 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1026640 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10443 /proc/meminfo: memFree=680976/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1031884 CPUtime=1181.93 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 255891 0 0 0 117846 347 0 0 25 0 1 0 44510759 1056649216 255549 1992294400 134512640 137138936 4294345616 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 257971 255549 190 642 0 257327 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1031884 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10445 /proc/meminfo: memFree=675768/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1241.91 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 123840 351 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1036504 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10447 /proc/meminfo: memFree=675768/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1301.9 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 129831 359 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134572786 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1036504 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10452 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1361.87 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 135821 366 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1036504 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10452 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1421.86 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 141815 371 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1036504 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10454 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1481.83 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 147808 375 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1036504 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10456 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1541.81 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 153797 384 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134544862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1036504 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10458 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1601.79 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 159790 389 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1036504 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10460 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1661.77 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 165782 395 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1036504 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10460 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1721.75 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 171775 400 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1036504 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10462 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1781.74 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 177769 405 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1036504 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 10462 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1791.35 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 178729 406 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 1036504 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10462 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1794.55 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 179049 406 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 1036504 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10462 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1796.14 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 179208 406 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 1036504 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10462 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1796.94 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 179288 406 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134555544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 1036504 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10462 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1797.74 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 179368 406 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134540788 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 1036504 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10462 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=1036504 CPUtime=1797.95 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202496 257203 0 0 0 179389 406 0 0 25 0 1 0 44510759 1061380096 256680 1992294400 134512640 137138936 4294345616 18446744073709551615 134544752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10401/statm: 259126 256680 190 642 0 258482 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 1036504 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10462 /proc/meminfo: memFree=675396/2059040 swapFree=4134608/4192956 [pid=10401] ppid=10399 vsize=0 CPUtime=1798.03 /proc/10401/stat : 10401 (bsolo_pb10) R 10399 10401 10300 0 -1 4202500 257203 0 0 0 179393 410 0 0 25 0 1 0 44510759 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/10401/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.66 CPU time (s): 1798.1 CPU user time (s): 1793.94 CPU system time (s): 4.16637 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 1037228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.94 system time used= 4.16637 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 257203 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= 6980 runsolver used 2.99554 second user time and 8.46271 second system time The end
Begin job on node017 at 2010-06-16 13:54:03 IDJOB=2657239 IDBENCH=71849 IDSOLVER=1163 FILE ID=node017/2657239-1276689243 PBS_JOBID= 11172607 Free space on /tmp= 62540 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx97.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657239-1276689243/watcher-2657239-1276689243 -o /tmp/evaluation-result-2657239-1276689243/solver-2657239-1276689243 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657239-1276689243.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 22116bd56344f7c7bb7157cc5841f631 RANDOM SEED=906554183 node017.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.201 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.40 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1706496 kB Buffers: 115928 kB Cached: 140868 kB SwapCached: 11780 kB Active: 106528 kB Inactive: 164964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1706496 kB SwapTotal: 4192956 kB SwapFree: 4134608 kB Dirty: 4652 kB Writeback: 0 kB AnonPages: 13088 kB Mapped: 9288 kB Slab: 59328 kB PageTables: 3920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183252 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= 62536 MiB End job on node017 at 2010-06-16 14:24:02