Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798.1 | 1798.55 |
Name | /OPT-SMALLINT-LIN/flexray/ normalized-fx60.opb |
MD5SUM | 26c9befa85d0a0769813e718015f6caa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 26.413 |
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 | 2994 |
Total number of constraints | 3433 |
Number of constraints which are clauses | 2988 |
Number of constraints which are cardinality constraints (but not clauses) | 61 |
Number of constraints which are nor clauses,nor cardinality constraints | 384 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 384 |
Number of terms in the objective function | 6 |
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 | 6 |
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 | 757 |
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.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-2657232-1276687809.opb 0.00/0.00 c File size is 305017 bytes. 0.00/0.05 c Highest Coefficient sum: 757 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.056 s 0.00/0.06 c Var: 2994 Constr: 3493 3048/61/384 Lit: 34998 Watch. Lit: 30594 0.00/0.06 c Obj. Vars: 6 (0.200401 % of total variables) 1.29/1.40 c Pre-processing Time: 1.398 s 1.29/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.40 c 0 2988 504 29016 57 25764 69439 0 0 1.40 1.29/1.40 c Switching off lower bounding mode. 1797.95/1798.45 c 100 2988 604 33310 55 26104 76383 100 69 1.44 1797.95/1798.45 c 250 2988 754 50951 67 26375 84022 250 166 1.50 1797.95/1798.45 c 475 2988 979 60322 61 26826 92425 475 289 1.64 1797.95/1798.45 c 814 2988 1318 100562 76 27424 101668 814 449 1.81 1797.95/1798.45 c 1322 2988 1826 114123 62 28536 111835 1322 628 2.10 1797.95/1798.45 c 2085 2988 2589 253001 97 30070 123019 2085 862 2.42 1797.95/1798.45 c 3231 2988 3735 306687 82 32322 135321 3231 1019 3.17 1797.95/1798.45 c 4953 2988 5457 758360 138 35702 148854 4953 1178 4.20 1797.95/1798.45 c 7539 2988 8043 871477 108 40922 163740 7539 1236 6.10 1797.95/1798.45 c 11420 2988 11924 1677613 140 48732 180115 11420 1203 9.49 1797.95/1798.45 c 17242 2988 17746 1822111 102 60400 198127 17242 1243 13.86 1797.95/1798.45 c 25979 2988 26483 7838682 295 77826 217940 25979 661 39.29 1797.95/1798.45 c 39089 2988 39593 10103332 255 104030 239735 39089 624 62.57 1797.95/1798.45 c 58760 2988 59264 18014557 303 143324 263709 58760 431 136.04 1797.95/1798.45 c 88271 2988 88775 20455529 230 202426 290080 88271 352 250.41 1797.95/1798.45 c 132542 2988 133046 43870319 329 290864 319089 132542 262 504.16 1797.95/1798.45 c 198953 2988 199457 74477446 373 423702 350998 198953 154 1291.48 1797.95/1798.45 c Reducing formula size due to memory constraints 1797.95/1798.45 c Memory Limit: 1000.00 MB Used: 1000.60 MB 1797.95/1798.45 c 298573 2988 10872 4395580 404 46548 17177 10368 166 1797.31 1797.95/1798.45 c Resources Exceeded 1797.95/1798.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.45 c 18 299398 95049 1502349 11697 4421229 11193 166 1798.00 1797.95/1798.45 s UNKNOWN 1797.95/1798.45 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-2657232-1276687809/watcher-2657232-1276687809 -o /tmp/evaluation-result-2657232-1276687809/solver-2657232-1276687809 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657232-1276687809.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.03 1.01 1.00 2/106 10718 /proc/meminfo: memFree=1730512/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=11232 CPUtime=0 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 353 0 0 0 0 0 0 0 17 0 1 0 42437214 11501568 271 1992294400 134512640 137138936 4293790944 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 2808 272 176 642 0 2089 0 [startup+0.086431 s] /proc/loadavg: 1.03 1.01 1.00 2/106 10718 /proc/meminfo: memFree=1730512/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=12572 CPUtime=0.08 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 846 0 0 0 8 0 0 0 17 0 1 0 42437214 12873728 689 1992294400 134512640 137138936 4293790944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 3143 689 184 642 0 2499 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12572 [startup+0.101433 s] /proc/loadavg: 1.03 1.01 1.00 2/106 10718 /proc/meminfo: memFree=1730512/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=12572 CPUtime=0.09 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 846 0 0 0 9 0 0 0 17 0 1 0 42437214 12873728 689 1992294400 134512640 137138936 4293790944 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 3143 689 184 642 0 2499 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12572 [startup+0.301452 s] /proc/loadavg: 1.03 1.01 1.00 2/106 10718 /proc/meminfo: memFree=1730512/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=12572 CPUtime=0.29 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 846 0 0 0 29 0 0 0 17 0 1 0 42437214 12873728 689 1992294400 134512640 137138936 4293790944 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 3143 689 184 642 0 2499 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12572 [startup+0.701491 s] /proc/loadavg: 1.03 1.01 1.00 2/106 10718 /proc/meminfo: memFree=1730512/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=12608 CPUtime=0.69 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 870 0 0 0 69 0 0 0 17 0 1 0 42437214 12910592 713 1992294400 134512640 137138936 4293790944 18446744073709551615 134532610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 3152 713 185 642 0 2508 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12608 [startup+1.50157 s] /proc/loadavg: 1.03 1.01 1.00 2/107 10719 /proc/meminfo: memFree=1728272/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=12716 CPUtime=1.49 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 895 0 0 0 149 0 0 0 18 0 1 0 42437214 13021184 738 1992294400 134512640 137138936 4293790944 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 3179 738 190 642 0 2535 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12716 [startup+3.10172 s] /proc/loadavg: 1.03 1.01 1.00 2/107 10719 /proc/meminfo: memFree=1727156/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=15936 CPUtime=3.09 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 1717 0 0 0 307 2 0 0 21 0 1 0 42437214 16318464 1560 1992294400 134512640 137138936 4293790944 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 3984 1560 190 642 0 3340 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15936 [startup+6.30103 s] /proc/loadavg: 1.03 1.01 1.00 2/107 10719 /proc/meminfo: memFree=1717484/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=24188 CPUtime=6.29 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 3770 0 0 0 624 5 0 0 25 0 1 0 42437214 24768512 3613 1992294400 134512640 137138936 4293790944 18446744073709551615 134575744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 6047 3613 190 642 0 5403 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24188 [startup+12.7006 s] /proc/loadavg: 1.02 1.01 1.00 2/107 10719 /proc/meminfo: memFree=1704340/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=36412 CPUtime=12.69 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 6831 0 0 0 1261 8 0 0 25 0 1 0 42437214 37285888 6674 1992294400 134512640 137138936 4293790944 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 9103 6674 190 642 0 8459 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36412 [startup+25.5009 s] /proc/loadavg: 1.02 1.01 1.00 2/107 10719 /proc/meminfo: memFree=1660692/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=80820 CPUtime=25.48 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 17931 0 0 0 2532 16 0 0 25 0 1 0 42437214 82759680 17774 1992294400 134512640 137138936 4293790944 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 20205 17774 190 642 0 19561 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 80820 [startup+51.1013 s] /proc/loadavg: 1.01 1.01 1.00 2/107 10719 /proc/meminfo: memFree=1609356/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=131444 CPUtime=51.08 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 30597 0 0 0 5078 30 0 0 25 0 1 0 42437214 134598656 30440 1992294400 134512640 137138936 4293790944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 32861 30440 190 642 0 32217 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 131444 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10721 /proc/meminfo: memFree=1524540/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=215452 CPUtime=102.27 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 51595 0 0 0 10173 54 0 0 25 0 1 0 42437214 220622848 51438 1992294400 134512640 137138936 4293790944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 53863 51438 190 642 0 53219 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 215452 [startup+162.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 10723 /proc/meminfo: memFree=1483248/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=256856 CPUtime=162.25 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 61931 0 0 0 16156 69 0 0 25 0 1 0 42437214 263020544 61774 1992294400 134512640 137138936 4293790944 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 64214 61774 190 642 0 63570 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 256856 [startup+222.301 s] /proc/loadavg: 1.09 1.03 1.00 2/107 10725 /proc/meminfo: memFree=1470104/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=269680 CPUtime=222.24 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 65136 0 0 0 22147 77 0 0 25 0 1 0 42437214 276152320 64979 1992294400 134512640 137138936 4293790944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 67420 64979 190 642 0 66776 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 269680 [startup+282.301 s] /proc/loadavg: 1.09 1.04 1.00 2/107 10725 /proc/meminfo: memFree=1409840/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=330400 CPUtime=282.22 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 80313 0 0 0 28106 116 0 0 25 0 1 0 42437214 338329600 80156 1992294400 134512640 137138936 4293790944 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 82600 80156 190 642 0 81956 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 330400 [startup+342.301 s] /proc/loadavg: 1.09 1.04 1.00 2/107 10727 /proc/meminfo: memFree=1312624/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=427024 CPUtime=342.2 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 104480 0 0 0 34075 145 0 0 25 0 1 0 42437214 437272576 104323 1992294400 134512640 137138936 4293790944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 106756 104323 190 642 0 106112 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 427024 [startup+402.301 s] /proc/loadavg: 1.08 1.05 1.00 2/107 10729 /proc/meminfo: memFree=1241944/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=498352 CPUtime=402.19 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 122315 0 0 0 40056 163 0 0 25 0 1 0 42437214 510312448 122158 1992294400 134512640 137138936 4293790944 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 124588 122158 190 642 0 123944 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 498352 [startup+462.301 s] /proc/loadavg: 1.08 1.05 1.00 2/107 10731 /proc/meminfo: memFree=1187136/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=552228 CPUtime=462.18 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 135780 0 0 0 46044 174 0 0 25 0 1 0 42437214 565481472 135623 1992294400 134512640 137138936 4293790944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 138057 135623 190 642 0 137413 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 552228 [startup+522.301 s] /proc/loadavg: 1.03 1.04 1.00 2/107 10736 /proc/meminfo: memFree=1145100/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=594088 CPUtime=522.16 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 146236 0 0 0 52031 185 0 0 25 0 1 0 42437214 608346112 146079 1992294400 134512640 137138936 4293790944 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 148522 146079 190 642 0 147878 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 594088 [startup+582.301 s] /proc/loadavg: 1.01 1.03 1.00 2/107 10736 /proc/meminfo: memFree=1112984/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=625648 CPUtime=582.14 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 154136 0 0 0 58015 199 0 0 25 0 1 0 42437214 640663552 153979 1992294400 134512640 137138936 4293790944 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 156412 153979 190 642 0 155768 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 625648 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10738 /proc/meminfo: memFree=1084092/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=654204 CPUtime=642.14 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 161270 0 0 0 63982 232 0 0 25 0 1 0 42437214 669904896 161113 1992294400 134512640 137138936 4293790944 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 163551 161113 190 642 0 162907 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 654204 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=838200/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=900052 CPUtime=1062.03 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 222737 0 0 0 105905 298 0 0 25 0 1 0 42437214 921653248 222580 1992294400 134512640 137138936 4293790944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 225013 222580 190 642 0 224369 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 900052 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10752 /proc/meminfo: memFree=816004/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=921736 CPUtime=1122.01 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 228165 0 0 0 111897 304 0 0 25 0 1 0 42437214 943857664 228008 1992294400 134512640 137138936 4293790944 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 230434 228008 190 642 0 229790 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 921736 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10752 /proc/meminfo: memFree=797528/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=940312 CPUtime=1182 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 232806 0 0 0 117891 309 0 0 25 0 1 0 42437214 962879488 232649 1992294400 134512640 137138936 4293790944 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 235078 232649 190 642 0 234434 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 940312 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10754 /proc/meminfo: memFree=777812/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=959752 CPUtime=1241.98 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 237661 0 0 0 123885 313 0 0 25 0 1 0 42437214 982786048 237504 1992294400 134512640 137138936 4293790944 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 239938 237504 190 642 0 239294 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 959752 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10756 /proc/meminfo: memFree=753632/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=983644 CPUtime=1301.98 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 243633 0 0 0 129877 321 0 0 25 0 1 0 42437214 1007251456 243476 1992294400 134512640 137138936 4293790944 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 245911 243476 190 642 0 245267 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 983644 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10758 /proc/meminfo: memFree=734660/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1002768 CPUtime=1361.94 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 248424 0 0 0 135865 329 0 0 25 0 1 0 42437214 1026834432 248267 1992294400 134512640 137138936 4293790944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 250692 248267 190 642 0 250048 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1002768 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10760 /proc/meminfo: memFree=715316/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1022004 CPUtime=1421.94 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 253212 0 0 0 141858 336 0 0 25 0 1 0 42437214 1046532096 253055 1992294400 134512640 137138936 4293790944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 255501 253055 190 642 0 254857 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1022004 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10760 /proc/meminfo: memFree=699940/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1036660 CPUtime=1481.92 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 257107 0 0 0 147850 342 0 0 25 0 1 0 42437214 1061539840 256740 1992294400 134512640 137138936 4293790944 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 259165 256740 190 642 0 258521 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1036660 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10762 /proc/meminfo: memFree=699940/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1036660 CPUtime=1541.9 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 257107 0 0 0 153828 362 0 0 25 0 1 0 42437214 1061539840 256740 1992294400 134512640 137138936 4293790944 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 259165 256740 190 642 0 258521 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1036660 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10764 /proc/meminfo: memFree=699940/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1036660 CPUtime=1601.89 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 257107 0 0 0 159817 372 0 0 25 0 1 0 42437214 1061539840 256740 1992294400 134512640 137138936 4293790944 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 259165 256740 190 642 0 258521 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1036660 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10766 /proc/meminfo: memFree=699940/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1036660 CPUtime=1661.88 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 257107 0 0 0 165810 378 0 0 25 0 1 0 42437214 1061539840 256740 1992294400 134512640 137138936 4293790944 18446744073709551615 134575817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 259165 256740 190 642 0 258521 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1036660 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 10768 /proc/meminfo: memFree=699940/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1036660 CPUtime=1721.86 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 257107 0 0 0 171802 384 0 0 25 0 1 0 42437214 1061539840 256740 1992294400 134512640 137138936 4293790944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 259165 256740 190 642 0 258521 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1036660 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10768 /proc/meminfo: memFree=699692/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1036660 CPUtime=1781.84 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 257107 0 0 0 177788 396 0 0 25 0 1 0 42437214 1061539840 256740 1992294400 134512640 137138936 4293790944 18446744073709551615 136511084 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 259165 256740 190 642 0 258521 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1036660 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 10770 /proc/meminfo: memFree=699692/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1036660 CPUtime=1791.45 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 257107 0 0 0 178748 397 0 0 25 0 1 0 42437214 1061539840 256740 1992294400 134512640 137138936 4293790944 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 259165 256740 190 642 0 258521 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 1036660 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10770 /proc/meminfo: memFree=699692/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1036660 CPUtime=1794.65 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 257107 0 0 0 179067 398 0 0 25 0 1 0 42437214 1061539840 256740 1992294400 134512640 137138936 4293790944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 259165 256740 190 642 0 258521 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 1036660 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10770 /proc/meminfo: memFree=699692/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1036660 CPUtime=1796.24 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 257107 0 0 0 179225 399 0 0 25 0 1 0 42437214 1061539840 256740 1992294400 134512640 137138936 4293790944 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 259165 256740 190 642 0 258521 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (KiB) 1036660 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10770 /proc/meminfo: memFree=699692/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1036660 CPUtime=1797.04 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 257107 0 0 0 179305 399 0 0 25 0 1 0 42437214 1061539840 256740 1992294400 134512640 137138936 4293790944 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 259165 256740 190 642 0 258521 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 1036660 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10770 /proc/meminfo: memFree=699692/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=1036660 CPUtime=1797.84 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202496 257107 0 0 0 179384 400 0 0 25 0 1 0 42437214 1061539840 256740 1992294400 134512640 137138936 4293790944 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10718/statm: 259165 256740 190 642 0 258521 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 1036660 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10770 /proc/meminfo: memFree=699692/2059040 swapFree=4140256/4192956 [pid=10718] ppid=10716 vsize=0 CPUtime=1798.04 /proc/10718/stat : 10718 (bsolo_pb10) R 10716 10718 10203 0 -1 4202500 257107 0 0 0 179399 405 0 0 25 0 1 0 42437214 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/10718/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.04 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.1 CPU user time (s): 1794 CPU system time (s): 4.10138 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 1037500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794 system time used= 4.10138 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 257107 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= 2136 runsolver used 3.19151 second user time and 8.26574 second system time The end
Begin job on node018 at 2010-06-16 13:30:09 IDJOB=2657232 IDBENCH=71842 IDSOLVER=1163 FILE ID=node018/2657232-1276687809 PBS_JOBID= 11172585 Free space on /tmp= 62484 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx60.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657232-1276687809/watcher-2657232-1276687809 -o /tmp/evaluation-result-2657232-1276687809/solver-2657232-1276687809 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657232-1276687809.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 26c9befa85d0a0769813e718015f6caa RANDOM SEED=1573334035 node018.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.248 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1730916 kB Buffers: 117540 kB Cached: 121528 kB SwapCached: 6364 kB Active: 102220 kB Inactive: 150332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1730916 kB SwapTotal: 4192956 kB SwapFree: 4140256 kB Dirty: 4288 kB Writeback: 12 kB AnonPages: 11612 kB Mapped: 13008 kB Slab: 53804 kB PageTables: 3952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180092 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= 62480 MiB End job on node018 at 2010-06-16 14:00:07