Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? (TO) | 1800.59 | 1801.24 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit2d.opb |
MD5SUM | 98a903315aa0fe9737bc6b622eafe352 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -700 |
Best CPU time to get the best result obtained on this benchmark | 1804.71 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -700 |
Optimality of the best value was proved | NO |
Number of variables | 118500 |
Total number of constraints | 10525 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10525 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 118500 |
Number of terms in the objective function | 102000 |
Biggest coefficient in the objective function | 166502400 |
Number of bits for the biggest coefficient in the objective function | 28 |
Sum of the numbers in the objective function | 44079267426 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 166502400 |
Number of bits of the biggest number in a constraint | 28 |
Biggest sum of numbers in a constraint | 44079267426 |
Number of bits of the biggest sum of numbers | 36 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02 c Time Limit set via PBTIMEOUT to 1800 0.10 c INFO: OSL Context initialized. 1.95 c BIG Int formula... 978.67 c Initial problem consists of 118500 variables and 10526 constraints. 979.96 c No problem reductions applied in OPT. instance. 979.96 c preprocess terminated. Elapsed time: 979.53 979.96 c After prepocess the problem consists of 118500 variables and 10526 constraints. 979.96 c Initial Lower Bound: -3752283626 1801.19 c Caught signal: 15 1801.19 s UNKNOWN 1801.19 c Exit Code: 0
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-40652-1149310423 -o ROOT/results/node47/solver-40652-1149310423 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/40652-1149310423/instance-40652-1149310423.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1820136/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=2948 CPUtime=0 /proc/22415/stat : 22415 (bsolo) D 22413 22415 22369 0 -1 0 50 0 0 0 0 0 0 0 19 0 1 0 162970898 3018752 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10519332 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/22415/statm: 737 34 26 55 0 38 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1797480/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=28664 CPUtime=9.89 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 2091539 0 0 0 446 543 0 0 25 0 1 0 162970898 29351936 6054 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 7166 6061 277 55 0 6058 0 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (Kb) 28664 [startup+20.0095 s] /proc/loadavg: 0.94 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1748328/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=77204 CPUtime=19.89 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3426506 0 0 0 1065 924 0 0 25 0 1 0 162970898 79056896 18397 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 19301 18397 281 55 0 18193 0 Current children cumulated CPU time (s) 19.89 Current children cumulated vsize (Kb) 77204 [startup+30.0156 s] /proc/loadavg: 0.95 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1747112/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=78840 CPUtime=29.89 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3426864 0 0 0 2065 924 0 0 25 0 1 0 162970898 80732160 18727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537450 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 19710 18727 281 55 0 18602 0 Current children cumulated CPU time (s) 29.89 Current children cumulated vsize (Kb) 78840 [startup+40.0217 s] /proc/loadavg: 0.95 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1746088/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=81032 CPUtime=39.9 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427379 0 0 0 3066 924 0 0 25 0 1 0 162970898 82976768 19002 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537436 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 20258 19002 281 55 0 19150 0 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 81032 [startup+50.0277 s] /proc/loadavg: 0.96 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1746024/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=81032 CPUtime=49.9 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427403 0 0 0 4066 924 0 0 25 0 1 0 162970898 82976768 19026 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537408 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 20258 19026 281 55 0 19150 0 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 81032 [startup+60.0338 s] /proc/loadavg: 0.97 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1745704/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=81164 CPUtime=59.9 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427474 0 0 0 5066 924 0 0 25 0 1 0 162970898 83111936 19097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 20291 19097 281 55 0 19183 0 Current children cumulated CPU time (s) 59.9 Current children cumulated vsize (Kb) 81164 [startup+70.0409 s] /proc/loadavg: 0.97 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1745448/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=81296 CPUtime=69.91 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427542 0 0 0 6067 924 0 0 25 0 1 0 162970898 83247104 19165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 20324 19165 281 55 0 19216 0 Current children cumulated CPU time (s) 69.91 Current children cumulated vsize (Kb) 81296 [startup+80.048 s] /proc/loadavg: 0.98 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1745192/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=81428 CPUtime=79.91 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427601 0 0 0 7067 924 0 0 25 0 1 0 162970898 83382272 19224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 20357 19224 281 55 0 19249 0 Current children cumulated CPU time (s) 79.91 Current children cumulated vsize (Kb) 81428 [startup+90.0541 s] /proc/loadavg: 0.98 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1745000/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=81692 CPUtime=89.91 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427656 0 0 0 8067 924 0 0 25 0 1 0 162970898 83652608 19279 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 20423 19279 281 55 0 19315 0 Current children cumulated CPU time (s) 89.91 Current children cumulated vsize (Kb) 81692 [startup+100.06 s] /proc/loadavg: 0.98 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1744744/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=81824 CPUtime=99.92 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427707 0 0 0 9068 924 0 0 25 0 1 0 162970898 83787776 19330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 20456 19330 281 55 0 19348 0 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (Kb) 81824 [startup+110.066 s] /proc/loadavg: 0.98 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1744616/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=81956 CPUtime=109.92 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427753 0 0 0 10068 924 0 0 25 0 1 0 162970898 83922944 19376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 20489 19376 281 55 0 19381 0 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 81956 [startup+120.072 s] /proc/loadavg: 0.99 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1744488/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=82088 CPUtime=119.92 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427797 0 0 0 11068 924 0 0 25 0 1 0 162970898 84058112 19420 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 20522 19420 281 55 0 19414 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 82088 [startup+130.078 s] /proc/loadavg: 0.99 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1744296/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=82220 CPUtime=129.93 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3427840 0 0 0 12068 925 0 0 25 0 1 0 162970898 84193280 19463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 20555 19463 281 55 0 19447 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 82220 [startup+140.085 s] /proc/loadavg: 0.99 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1743400/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=83152 CPUtime=139.94 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3428072 0 0 0 13069 925 0 0 25 0 1 0 162970898 85147648 19687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 20788 19687 281 55 0 19680 0 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 83152 [startup+150.091 s] /proc/loadavg: 0.99 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1741608/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=85184 CPUtime=149.94 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3428556 0 0 0 14069 925 0 0 25 0 1 0 162970898 87228416 20131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537420 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 21296 20131 281 55 0 20188 0 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 85184 [startup+160.097 s] /proc/loadavg: 0.99 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1741096/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=85580 CPUtime=159.94 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3428684 0 0 0 15069 925 0 0 25 0 1 0 162970898 87633920 20259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 21395 20259 281 55 0 20287 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 85580 [startup+170.103 s] /proc/loadavg: 0.99 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1740200/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=87640 CPUtime=169.94 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3429136 0 0 0 16069 925 0 0 25 0 1 0 162970898 89743360 20471 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537450 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 21910 20471 281 55 0 20802 0 Current children cumulated CPU time (s) 169.94 Current children cumulated vsize (Kb) 87640 [startup+180.109 s] /proc/loadavg: 0.99 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1740072/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=87640 CPUtime=179.94 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3429179 0 0 0 17069 925 0 0 25 0 1 0 162970898 89743360 20514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537441 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 21910 20514 281 55 0 20802 0 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 87640 [startup+190.115 s] /proc/loadavg: 0.99 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1739752/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=87772 CPUtime=189.95 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3429252 0 0 0 18070 925 0 0 25 0 1 0 162970898 89878528 20587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 21943 20587 281 55 0 20835 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 87772 [startup+200.12 s] /proc/loadavg: 0.99 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1739496/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=88036 CPUtime=199.95 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3429316 0 0 0 19070 925 0 0 25 0 1 0 162970898 90148864 20651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 22009 20651 281 55 0 20901 0 Current children cumulated CPU time (s) 199.95 Current children cumulated vsize (Kb) 88036 [startup+210.126 s] /proc/loadavg: 0.99 0.98 0.96 2/64 22415 /proc/meminfo: memFree=1739240/2055920 swapFree=4183744/4192956 ################ # More data... # ################ [pid=22415] ppid=22413 vsize=248564 CPUtime=1781.44 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177183 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 248564 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1782.45 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177284 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 248564 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1783.45 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177384 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 248564 [startup+1785.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1784.46 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177485 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 248564 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1785.46 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177585 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 248564 [startup+1787.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1786.47 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177686 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 248564 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1787.47 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177786 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 248564 [startup+1789.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1788.48 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177887 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 248564 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592808/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1789.48 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 177987 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 248564 [startup+1791.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1790.49 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178088 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 248564 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1791.49 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178188 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548369 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 248564 [startup+1793.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1792.5 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178289 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 248564 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1793.5 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178389 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 248564 [startup+1795.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1794.51 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178490 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 248564 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1795.51 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178590 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 248564 [startup+1797.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1796.52 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178691 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 248564 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1797.52 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178791 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 248564 [startup+1799.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1798.53 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178892 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 248564 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1799.53 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 178992 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 248564 [startup+1801.19 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1800.53 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 179092 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 248564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 1.00 0.96 2/64 22612 /proc/meminfo: memFree=1592872/2055920 swapFree=4183744/4192956 [pid=22415] ppid=22413 vsize=248564 CPUtime=1800.54 /proc/22415/stat : 22415 (bsolo) R 22413 22415 22369 0 -1 0 3469972 0 0 0 179093 961 0 0 25 0 1 0 162970898 254529536 57075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22415/statm: 62141 57075 297 55 0 61033 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 248564 Sending SIGTERM to -22415 Sleeping 2 seconds Child status: 0 Real time (s): 1801.24 CPU time (s): 1800.59 CPU user time (s): 1790.93 CPU system time (s): 9.65553 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (Kb): 248564
Begin job on node47 on Sat Jun 3 04:53:43 UTC 2006 FILE ID= 40652-1149310423 PBS_JOBID= 307923 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/40652-1149310423/instance-40652-1149310423.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-40652-1149310423 -o ROOT/results/node47/solver-40652-1149310423 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node47/40652-1149310423/instance-40652-1149310423.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 98a903315aa0fe9737bc6b622eafe352 RANDOM SEED= 613371185 /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.236 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.236 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: 1820728 kB Buffers: 17908 kB Cached: 153848 kB SwapCached: 3344 kB Active: 36900 kB Inactive: 143688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1820728 kB SwapTotal: 4192956 kB SwapFree: 4183744 kB Dirty: 168 kB Writeback: 0 kB Mapped: 15032 kB Slab: 40648 kB Committed_AS: 287332 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node47 on Sat Jun 3 05:23:45 UTC 2006