Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? | 1798.14 | 1798.68 |
Name | /OPT-SMALLINT-LIN/flexray/ normalized-fx49.opb |
MD5SUM | e08af5097f76b1d4e2b0ba1d8a42ed5a |
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 | 2130 |
Total number of constraints | 2495 |
Number of constraints which are clauses | 2125 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 320 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 320 |
Number of terms in the objective function | 5 |
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 | 5 |
Number of bits of the sum of numbers in the objective function | 3 |
Biggest number in a constraint | 42 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 636 |
Number of bits of the biggest sum of numbers | 10 |
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: 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-1879227-1245249107.opb 0.00/0.00 c File size is 208560 bytes. 0.00/0.03 c Highest Coefficient sum: 636 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.032 s 0.00/0.03 c Var: 2130 Constr: 2544 2174/50/320 Lit: 24185 Watch. Lit: 21198 0.00/0.03 c Obj. Vars: 5 (0.234742 % of total variables) 0.79/0.84 c Pre-processing Time: 0.84 s 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 0 2125 418 19930 47 17583 46019 0 0 0.84 0.79/0.84 c Switching off lower bounding mode. 1797.96/1798.56 c 101 2125 618 39355 63 25456 50621 200 110 0.91 1797.96/1798.56 c 251 2125 918 76193 82 35390 55684 500 250 1.00 1797.96/1798.56 c 476 2125 1368 134391 98 63240 61253 950 381 1.25 1797.96/1798.56 c 815 2125 2046 262599 128 85656 67379 1628 508 1.60 1797.96/1798.56 c 1324 2125 3064 379573 123 139707 74117 2646 589 2.25 1797.96/1798.56 c 2089 2125 4594 696336 151 211863 81529 4176 515 4.05 1797.96/1798.56 c 3235 2125 6885 1276020 185 313989 89682 6467 415 7.78 1797.96/1798.56 c 4956 2125 10323 2206890 213 445876 98651 9905 306 16.16 1797.96/1798.56 c 7540 2125 15482 3739521 241 660108 108517 15064 225 33.45 1797.96/1798.56 c 11421 2125 23205 6407652 276 1018967 119369 22787 146 78.19 1797.96/1798.56 c 17244 2125 34827 10130375 290 1443886 131306 34409 111 155.00 1797.96/1798.56 c 25981 2125 52271 16655590 318 2170811 144437 51853 74 348.14 1797.96/1798.56 c 39091 2125 78489 23941431 305 3177595 158881 78071 54 722.87 1797.96/1798.56 c 58761 2125 117777 37478894 318 4537117 174770 117359 39 1490.01 1797.96/1798.56 c Resources Exceeded 1797.96/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.56 c 14 65653 17955 197620 131544 42358083 131126 36 1798.03 1797.96/1798.56 s UNKNOWN 1797.96/1798.56 c Total time: 1798.03 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-1879227-1245249107/watcher-1879227-1245249107 -o /tmp/evaluation-result-1879227-1245249107/solver-1879227-1245249107 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879227-1245249107.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.91 3/65 20248 /proc/meminfo: memFree=1742896/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=10912 CPUtime=0 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 192509930 11173888 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 2729 245 175 640 0 2034 0 [startup+0.046858 s] /proc/loadavg: 1.00 0.99 0.91 3/65 20248 /proc/meminfo: memFree=1742896/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=11932 CPUtime=0.04 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 619 0 0 0 4 0 0 0 18 0 1 0 192509930 12218368 552 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 2983 552 189 640 0 2339 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11932 [startup+0.101863 s] /proc/loadavg: 1.00 0.99 0.91 3/65 20248 /proc/meminfo: memFree=1742896/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=11932 CPUtime=0.09 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 192509930 12218368 555 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 2983 555 189 640 0 2339 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11932 [startup+0.301885 s] /proc/loadavg: 1.00 0.99 0.91 3/65 20248 /proc/meminfo: memFree=1742896/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=11932 CPUtime=0.29 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 622 0 0 0 29 0 0 0 19 0 1 0 192509930 12218368 555 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 2983 555 189 640 0 2339 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11932 [startup+0.701932 s] /proc/loadavg: 1.00 0.99 0.91 3/65 20248 /proc/meminfo: memFree=1742896/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=11996 CPUtime=0.69 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 641 0 0 0 69 0 0 0 22 0 1 0 192509930 12283904 574 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 2999 574 191 640 0 2355 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11996 [startup+1.50202 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1740520/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=15696 CPUtime=1.49 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 1582 0 0 0 148 1 0 0 25 0 1 0 192509930 16072704 1515 1992294400 134512640 137136520 4294956256 18446744073709551615 134571152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 3924 1515 197 640 0 3280 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15696 [startup+3.10121 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1734376/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=22248 CPUtime=3.08 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 3207 0 0 0 306 2 0 0 25 0 1 0 192509930 22781952 3140 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 5562 3140 197 640 0 4918 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 22248 [startup+6.30158 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1724008/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=31456 CPUtime=6.28 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 5520 0 0 0 624 4 0 0 25 0 1 0 192509930 32210944 5453 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 7864 5453 197 640 0 7220 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 31456 [startup+12.7013 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1709992/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=43916 CPUtime=12.68 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 8645 0 0 0 1261 7 0 0 25 0 1 0 192509930 44969984 8578 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 10979 8578 197 640 0 10335 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 43916 [startup+25.5018 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1688104/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=65332 CPUtime=25.48 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 13975 0 0 0 2536 12 0 0 25 0 1 0 192509930 66899968 13908 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 16333 13908 198 640 0 15689 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 65332 [startup+51.1017 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1657000/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=96396 CPUtime=51.07 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 21737 0 0 0 5089 18 0 0 25 0 1 0 192509930 98709504 21670 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 24099 21670 198 640 0 23455 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 96396 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1615912/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=136984 CPUtime=102.26 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 31899 0 0 0 10199 27 0 0 25 0 1 0 192509930 140271616 31832 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 34246 31832 198 640 0 33602 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 136984 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1573032/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=180064 CPUtime=162.24 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 42674 0 0 0 16187 37 0 0 25 0 1 0 192509930 184385536 42607 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 45016 42607 198 640 0 44372 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 180064 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1540456/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=212180 CPUtime=222.22 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 50711 0 0 0 22178 44 0 0 25 0 1 0 192509930 217272320 50644 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 53045 50644 198 640 0 52401 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 212180 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1502632/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=250104 CPUtime=282.21 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 60190 0 0 0 28169 52 0 0 25 0 1 0 192509930 256106496 60123 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 62526 60123 198 640 0 61882 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 250104 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1476968/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=275552 CPUtime=342.19 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 66536 0 0 0 34162 57 0 0 25 0 1 0 192509930 282165248 66469 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 68888 66469 198 640 0 68244 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 275552 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1452904/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=299788 CPUtime=402.17 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 72608 0 0 0 40154 63 0 0 25 0 1 0 192509930 306982912 72541 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 74947 72541 198 640 0 74303 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 299788 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1431208/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=321212 CPUtime=462.15 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 77956 0 0 0 46148 67 0 0 25 0 1 0 192509930 328921088 77889 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 80303 77889 198 640 0 79659 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 321212 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1411944/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=340532 CPUtime=522.14 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 82799 0 0 0 52142 72 0 0 25 0 1 0 192509930 348704768 82732 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 85133 82732 198 640 0 84489 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 340532 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1395816/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=356480 CPUtime=582.12 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 86771 0 0 0 58138 74 0 0 25 0 1 0 192509930 365035520 86704 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 89120 86704 198 640 0 88476 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 356480 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1378984/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=373168 CPUtime=642.11 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 90937 0 0 0 64134 77 0 0 25 0 1 0 192509930 382124032 90870 1992294400 134512640 137136520 4294956256 18446744073709551615 134605495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 93292 90870 198 640 0 92648 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 373168 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1234216/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=517784 CPUtime=1121.96 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 127082 0 0 0 112084 112 0 0 25 0 1 0 192509930 530210816 127015 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 129446 127015 198 640 0 128802 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 517784 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1214056/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=537848 CPUtime=1181.94 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 132119 0 0 0 118079 115 0 0 25 0 1 0 192509930 550756352 132052 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 134462 132052 198 640 0 133818 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 537848 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20249 /proc/meminfo: memFree=1198568/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=553116 CPUtime=1241.92 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 135922 0 0 0 124073 119 0 0 25 0 1 0 192509930 566390784 135855 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 138279 135855 198 640 0 137635 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 553116 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20251 /proc/meminfo: memFree=1189736/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=561928 CPUtime=1301.91 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 138123 0 0 0 130070 121 0 0 25 0 1 0 192509930 575414272 138056 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 140482 138056 198 640 0 139838 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 561928 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20251 /proc/meminfo: memFree=1174504/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=577220 CPUtime=1361.89 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 141963 0 0 0 136065 124 0 0 25 0 1 0 192509930 591073280 141896 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 144305 141896 198 640 0 143661 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 577220 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20251 /proc/meminfo: memFree=1161896/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=589576 CPUtime=1421.88 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 145051 0 0 0 142060 128 0 0 25 0 1 0 192509930 603725824 144984 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 147394 144984 198 640 0 146750 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 589576 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20251 /proc/meminfo: memFree=1150760/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=600716 CPUtime=1481.86 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 147845 0 0 0 148055 131 0 0 25 0 1 0 192509930 615133184 147778 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 150179 147778 198 640 0 149535 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 600716 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20251 /proc/meminfo: memFree=1136872/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=614676 CPUtime=1541.84 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 151314 0 0 0 154050 134 0 0 25 0 1 0 192509930 629428224 151247 1992294400 134512640 137136520 4294956256 18446744073709551615 134571152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 153669 151247 198 640 0 153025 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 614676 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20251 /proc/meminfo: memFree=1120296/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=631432 CPUtime=1601.83 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 155502 0 0 0 160045 138 0 0 25 0 1 0 192509930 646586368 155435 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 157858 155435 198 640 0 157214 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 631432 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20251 /proc/meminfo: memFree=1105000/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=646368 CPUtime=1661.81 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 159250 0 0 0 166040 141 0 0 25 0 1 0 192509930 661880832 159183 1992294400 134512640 137136520 4294956256 18446744073709551615 134544515 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 161592 159183 198 640 0 160948 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 646368 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20251 /proc/meminfo: memFree=1089704/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=661840 CPUtime=1721.78 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 163120 0 0 0 172035 143 0 0 25 0 1 0 192509930 677724160 163053 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 165460 163053 198 640 0 164816 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 661840 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20257 /proc/meminfo: memFree=1074472/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=676980 CPUtime=1781.76 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 166895 0 0 0 178030 146 0 0 25 0 1 0 192509930 693227520 166828 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 169245 166828 198 640 0 168601 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 676980 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20257 /proc/meminfo: memFree=1072808/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=678596 CPUtime=1791.37 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 167301 0 0 0 178990 147 0 0 25 0 1 0 192509930 694882304 167234 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 169649 167234 198 640 0 169005 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 678596 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20257 /proc/meminfo: memFree=1071976/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=679336 CPUtime=1794.56 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 167487 0 0 0 179309 147 0 0 25 0 1 0 192509930 695640064 167420 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 169834 167420 198 640 0 169190 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 679336 [startup+1796.7 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20257 /proc/meminfo: memFree=1071272/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=680120 CPUtime=1796.16 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 167689 0 0 0 179469 147 0 0 25 0 1 0 192509930 696442880 167622 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 170030 167622 198 640 0 169386 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 680120 [startup+1797.5 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20257 /proc/meminfo: memFree=1071080/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=680368 CPUtime=1796.96 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 167732 0 0 0 179549 147 0 0 25 0 1 0 192509930 696696832 167665 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 170092 167665 198 640 0 169448 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 680368 [startup+1798.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20257 /proc/meminfo: memFree=1071080/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=680492 CPUtime=1797.76 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 167776 0 0 0 179629 147 0 0 25 0 1 0 192509930 696823808 167709 1992294400 134512640 137136520 4294956256 18446744073709551615 134605804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 170123 167709 198 640 0 169479 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 680492 [startup+1798.51 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20257 /proc/meminfo: memFree=1070824/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=680492 CPUtime=1797.96 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194304 167781 0 0 0 179649 147 0 0 25 0 1 0 192509930 696823808 167714 1992294400 134512640 137136520 4294956256 18446744073709551615 134605495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 170123 167714 198 640 0 169479 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 680492 [startup+1798.6 s] /proc/loadavg: 1.00 0.99 0.91 2/66 20257 /proc/meminfo: memFree=1070824/2055920 swapFree=4176004/4192956 [pid=20248] ppid=20246 vsize=0 CPUtime=1798.06 /proc/20248/stat : 20248 (bsolo) R 20246 20248 19570 0 -1 4194308 167784 0 0 0 179656 150 0 0 25 0 1 0 192509930 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20248/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.06 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.68 CPU time (s): 1798.14 CPU user time (s): 1796.56 CPU system time (s): 1.58076 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 680492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.56 system time used= 1.58076 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 167784 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= 2677 runsolver used 1.9927 second user time and 4.55031 second system time The end
Begin job on node74 at 2009-06-17 16:31:47 IDJOB=1879227 IDBENCH=71848 IDSOLVER=701 FILE ID=node74/1879227-1245249107 PBS_JOBID= 9372277 Free space on /tmp= 103016 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx49.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879227-1245249107/watcher-1879227-1245249107 -o /tmp/evaluation-result-1879227-1245249107/solver-1879227-1245249107 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879227-1245249107.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e08af5097f76b1d4e2b0ba1d8a42ed5a RANDOM SEED=1679835612 node74.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.218 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.218 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: 1743376 kB Buffers: 37904 kB Cached: 209060 kB SwapCached: 10348 kB Active: 40028 kB Inactive: 220884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1743376 kB SwapTotal: 4192956 kB SwapFree: 4176004 kB Dirty: 4144 kB Writeback: 0 kB Mapped: 14248 kB Slab: 37444 kB Committed_AS: 99368 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879227-1245249107.opb Free space on /tmp at the end= 103012 MiB End job on node74 at 2009-06-17 17:01:45