Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | ? | 1798.02 | 1798.61 |
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.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: Cardinality Constraint 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-1876365-1245220899.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.01 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.145 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.14 0.09/0.14 c Switching off lower bounding mode. 1797.90/1798.58 c 102 771 356 10920 30 6607 18130 104 600 0.17 1797.90/1798.58 c 252 771 506 15521 30 6955 19944 254 1145 0.22 1797.90/1798.58 c 477 771 735 25906 35 7365 21939 483 1703 0.28 1797.90/1798.58 c 815 771 1084 42024 38 8095 24133 832 1890 0.43 1797.90/1798.58 c 1323 771 1619 64587 39 9136 26547 1367 2277 0.58 1797.90/1798.58 c 2086 771 2399 95160 39 10731 29202 2147 2365 0.88 1797.90/1798.58 c 3232 771 3584 160268 44 13150 32123 3332 2359 1.37 1797.90/1798.58 c 4953 771 5425 269225 49 16933 35336 5173 2121 2.33 1797.90/1798.58 c 7539 771 8183 443170 54 22457 38870 7931 1795 4.20 1797.90/1798.58 c 11418 771 12407 775216 62 31113 42758 12155 1549 7.37 1797.90/1798.58 c 17240 771 19431 1272101 65 45596 47034 19179 1104 15.60 1797.90/1798.58 c 25977 771 29243 1999297 68 66058 51738 28991 777 33.42 1797.90/1798.58 c 39089 771 43632 3136558 71 95800 56912 43380 491 79.47 1797.90/1798.58 c 58760 771 21549 1581868 73 49867 62604 21297 372 157.69 1797.90/1798.58 c 88270 771 54814 4296880 78 118164 68865 54562 345 255.59 1797.90/1798.58 c 132543 771 48135 4479916 93 106080 75752 47883 309 428.30 1797.90/1798.58 c 198955 771 61867 5733080 92 140917 83328 61615 268 740.88 1797.90/1798.58 c 298577 771 34366 2152084 62 75527 91661 34114 217 1372.00 1797.90/1798.58 c Resources Exceeded 1797.90/1798.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.58 c 18 387787 116722 973767 50905 3883079 50653 215 1798.00 1797.90/1798.58 s UNKNOWN 1797.90/1798.58 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-1876365-1245220899/watcher-1876365-1245220899 -o /tmp/evaluation-result-1876365-1245220899/solver-1876365-1245220899 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876365-1245220899.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 1.00 0.98 3/64 6064 /proc/meminfo: memFree=1539368/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=10648 CPUtime=0 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 231 0 0 0 0 0 0 0 20 0 1 0 189685678 10903552 215 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 2662 215 171 640 0 2000 0 [startup+0.0589269 s] /proc/loadavg: 1.00 1.00 0.98 3/64 6064 /proc/meminfo: memFree=1539368/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=11112 CPUtime=0.05 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 381 0 0 0 5 0 0 0 20 0 1 0 189685678 11378688 347 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 2778 347 189 640 0 2134 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11112 [startup+0.101934 s] /proc/loadavg: 1.00 1.00 0.98 3/64 6064 /proc/meminfo: memFree=1539368/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=11112 CPUtime=0.09 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 389 0 0 0 9 0 0 0 20 0 1 0 189685678 11378688 355 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 2778 355 191 640 0 2134 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11112 [startup+0.301967 s] /proc/loadavg: 1.00 1.00 0.98 3/64 6064 /proc/meminfo: memFree=1539368/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=11348 CPUtime=0.29 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 448 0 0 0 29 0 0 0 21 0 1 0 189685678 11620352 414 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 2837 414 198 640 0 2193 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11348 [startup+0.701034 s] /proc/loadavg: 1.00 1.00 0.98 3/64 6064 /proc/meminfo: memFree=1539368/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=12068 CPUtime=0.68 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 635 0 0 0 68 0 0 0 25 0 1 0 189685678 12357632 601 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 3017 601 198 640 0 2373 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 12068 [startup+1.50117 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1537248/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=13504 CPUtime=1.49 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 1005 0 0 0 148 1 0 0 25 0 1 0 189685678 13828096 971 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 3376 971 198 640 0 2732 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13504 [startup+3.10143 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1535072/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=16016 CPUtime=3.09 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 1630 0 0 0 307 2 0 0 25 0 1 0 189685678 16400384 1596 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 4004 1596 198 640 0 3360 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16016 [startup+6.30197 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1529696/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=20936 CPUtime=6.29 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 2854 0 0 0 626 3 0 0 25 0 1 0 189685678 21438464 2820 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 5234 2820 198 640 0 4590 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20936 [startup+12.701 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1522400/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=27636 CPUtime=12.68 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 4526 0 0 0 1261 7 0 0 25 0 1 0 189685678 28299264 4492 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 6909 4492 198 640 0 6265 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27636 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1513824/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=35936 CPUtime=25.48 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 6608 0 0 0 2537 11 0 0 25 0 1 0 189685678 36798464 6574 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 8984 6574 198 640 0 8340 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35936 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1502624/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=47168 CPUtime=51.07 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 9426 0 0 0 5090 17 0 0 25 0 1 0 189685678 48300032 9392 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 11792 9392 198 640 0 11148 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 47168 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1487840/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=61708 CPUtime=102.26 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 13059 0 0 0 10203 23 0 0 25 0 1 0 189685678 63188992 13025 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 15427 13025 198 640 0 14783 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 61708 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1478496/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=70876 CPUtime=162.23 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 15380 0 0 0 16191 32 0 0 25 0 1 0 189685678 72577024 15290 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 17719 15290 198 640 0 17075 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 70876 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1478560/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=70876 CPUtime=222.22 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 15380 0 0 0 22185 37 0 0 25 0 1 0 189685678 72577024 15290 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 17719 15290 198 640 0 17075 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 70876 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1466848/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=83172 CPUtime=282.19 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 18452 0 0 0 28173 46 0 0 25 0 1 0 189685678 85168128 18362 1992294400 134512640 137136520 4294956256 18446744073709551615 134544176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 20793 18362 198 640 0 20149 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 83172 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1456608/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=92700 CPUtime=342.18 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 20930 0 0 0 34160 58 0 0 25 0 1 0 189685678 94924800 20772 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 23175 20772 198 640 0 22531 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 92700 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1456672/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=92700 CPUtime=402.15 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 20930 0 0 0 40153 62 0 0 25 0 1 0 189685678 94924800 20772 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 23175 20772 198 640 0 22531 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 92700 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1456672/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=92700 CPUtime=462.14 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 20930 0 0 0 46146 68 0 0 25 0 1 0 189685678 94924800 20772 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 23175 20772 198 640 0 22531 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 92700 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1455328/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=94416 CPUtime=522.12 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 21345 0 0 0 52141 71 0 0 25 0 1 0 189685678 96681984 21187 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 23604 21187 198 640 0 22960 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 94416 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6065 /proc/meminfo: memFree=1445664/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=103556 CPUtime=582.1 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 23713 0 0 0 58132 78 0 0 25 0 1 0 189685678 106041344 23480 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 25889 23480 198 640 0 25245 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 103556 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6067 /proc/meminfo: memFree=1445728/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=103556 CPUtime=642.08 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 23713 0 0 0 64124 84 0 0 25 0 1 0 189685678 106041344 23480 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 25889 23480 198 640 0 25245 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 103556 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1437088/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112300 CPUtime=1121.93 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 25971 0 0 0 112076 117 0 0 25 0 1 0 189685678 114995200 25656 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28075 25656 198 640 0 27431 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 112300 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6073 /proc/meminfo: memFree=1436896/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112300 CPUtime=1181.91 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 25971 0 0 0 118070 121 0 0 25 0 1 0 189685678 114995200 25656 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28075 25656 198 640 0 27431 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 112300 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6073 /proc/meminfo: memFree=1436896/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112300 CPUtime=1241.88 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 25971 0 0 0 124064 124 0 0 25 0 1 0 189685678 114995200 25656 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28075 25656 198 640 0 27431 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 112300 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6073 /proc/meminfo: memFree=1436768/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112664 CPUtime=1301.86 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26049 0 0 0 130061 125 0 0 25 0 1 0 189685678 115367936 25734 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28166 25734 198 640 0 27522 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 112664 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6073 /proc/meminfo: memFree=1436704/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112664 CPUtime=1361.84 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26049 0 0 0 136054 130 0 0 25 0 1 0 189685678 115367936 25734 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28166 25734 198 640 0 27522 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 112664 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6073 /proc/meminfo: memFree=1436704/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112664 CPUtime=1421.83 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26049 0 0 0 142048 135 0 0 25 0 1 0 189685678 115367936 25734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28166 25734 198 640 0 27522 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 112664 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6073 /proc/meminfo: memFree=1436640/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112664 CPUtime=1481.81 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26049 0 0 0 148038 143 0 0 25 0 1 0 189685678 115367936 25734 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28166 25734 198 640 0 27522 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 112664 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6073 /proc/meminfo: memFree=1436640/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112664 CPUtime=1541.79 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26049 0 0 0 154031 148 0 0 25 0 1 0 189685678 115367936 25734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28166 25734 198 640 0 27522 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 112664 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6073 /proc/meminfo: memFree=1436704/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112668 CPUtime=1601.77 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26050 0 0 0 160025 152 0 0 25 0 1 0 189685678 115372032 25735 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28167 25735 198 640 0 27523 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 112668 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 6073 /proc/meminfo: memFree=1436640/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112696 CPUtime=1661.75 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26060 0 0 0 166020 155 0 0 25 0 1 0 189685678 115400704 25745 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28174 25745 198 640 0 27530 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 112696 [startup+1722.3 s] /proc/loadavg: 1.06 1.02 0.99 2/65 6073 /proc/meminfo: memFree=1436640/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112696 CPUtime=1721.73 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26060 0 0 0 172010 163 0 0 25 0 1 0 189685678 115400704 25745 1992294400 134512640 137136520 4294956256 18446744073709551615 136502080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28174 25745 198 640 0 27530 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 112696 [startup+1782.3 s] /proc/loadavg: 1.07 1.03 0.99 2/65 6073 /proc/meminfo: memFree=1436640/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112696 CPUtime=1781.71 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26060 0 0 0 178005 166 0 0 25 0 1 0 189685678 115400704 25745 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28174 25745 198 640 0 27530 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 112696 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.06 1.02 0.99 2/65 6073 /proc/meminfo: memFree=1436640/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112696 CPUtime=1791.31 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26060 0 0 0 178964 167 0 0 25 0 1 0 189685678 115400704 25745 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28174 25745 198 640 0 27530 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (KiB) 112696 [startup+1795.1 s] /proc/loadavg: 1.06 1.02 0.99 2/65 6073 /proc/meminfo: memFree=1436640/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112696 CPUtime=1794.51 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26060 0 0 0 179284 167 0 0 25 0 1 0 189685678 115400704 25745 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28174 25745 198 640 0 27530 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (KiB) 112696 [startup+1796.7 s] /proc/loadavg: 1.06 1.02 0.99 2/65 6073 /proc/meminfo: memFree=1436640/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112696 CPUtime=1796.1 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26060 0 0 0 179443 167 0 0 25 0 1 0 189685678 115400704 25745 1992294400 134512640 137136520 4294956256 18446744073709551615 134544080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28174 25745 198 640 0 27530 0 Current children cumulated CPU time (s) 1796.1 Current children cumulated vsize (KiB) 112696 [startup+1797.5 s] /proc/loadavg: 1.06 1.02 0.99 2/65 6073 /proc/meminfo: memFree=1436640/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112696 CPUtime=1796.9 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26060 0 0 0 179523 167 0 0 25 0 1 0 189685678 115400704 25745 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28174 25745 198 640 0 27530 0 Current children cumulated CPU time (s) 1796.9 Current children cumulated vsize (KiB) 112696 [startup+1798.3 s] /proc/loadavg: 1.06 1.02 0.99 2/65 6073 /proc/meminfo: memFree=1436640/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112696 CPUtime=1797.7 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26060 0 0 0 179603 167 0 0 25 0 1 0 189685678 115400704 25745 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28174 25745 198 640 0 27530 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (KiB) 112696 [startup+1798.51 s] /proc/loadavg: 1.06 1.02 0.99 2/65 6073 /proc/meminfo: memFree=1436640/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=112696 CPUtime=1797.9 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194304 26060 0 0 0 179623 167 0 0 25 0 1 0 189685678 115400704 25745 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 28174 25745 198 640 0 27530 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 112696 [startup+1798.6 s] /proc/loadavg: 1.06 1.02 0.99 2/65 6073 /proc/meminfo: memFree=1436640/2055920 swapFree=4192956/4192956 [pid=6064] ppid=6062 vsize=0 CPUtime=1798.01 /proc/6064/stat : 6064 (bsolo) R 6062 6064 5549 0 -1 4194308 26061 0 0 0 179632 169 0 0 25 0 1 0 189685678 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6064/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.61 CPU time (s): 1798.02 CPU user time (s): 1796.32 CPU system time (s): 1.69774 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 112696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.32 system time used= 1.69774 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26061 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= 2819 runsolver used 1.3168 second user time and 3.81442 second system time The end
Begin job on node57 at 2009-06-17 08:41:39 IDJOB=1876365 IDBENCH=71846 IDSOLVER=699 FILE ID=node57/1876365-1245220899 PBS_JOBID= 9368413 Free space on /tmp= 66564 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx30.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876365-1245220899/watcher-1876365-1245220899 -o /tmp/evaluation-result-1876365-1245220899/solver-1876365-1245220899 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876365-1245220899.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a013c9210a7cfe037db9246041ce6240 RANDOM SEED=1067090149 node57.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.263 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.263 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: 1539848 kB Buffers: 62828 kB Cached: 364008 kB SwapCached: 0 kB Active: 75736 kB Inactive: 364008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1539848 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4008 kB Writeback: 0 kB Mapped: 22712 kB Slab: 62408 kB Committed_AS: 87608 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876365-1245220899.opb Free space on /tmp at the end= 66560 MiB End job on node57 at 2009-06-17 09:11:38