Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.21 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x12.opb |
MD5SUM | 44a4d7082f03e09f83e967b1f06a2c02 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.242962 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3720 |
Total number of constraints | 142 |
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 | 142 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 3720 |
Biggest coefficient in the objective function | 4142 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 527176 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 527176 |
Number of bits of the biggest sum of numbers | 20 |
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.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/362183-1177007789/instance-362183-1177007789.opb 0.00/0.00 c File size is 142150 bytes. 0.00/0.03 c Highest Coefficient sum: 527176 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.027 s 0.02/0.03 c Var: 3720 Constr: 164 17/0/147 Lit: 18120 Watch. Lit: 10964 0.02/0.03 c Obj. Vars: 3720 (100 % of total variables) 0.39/0.47 c Pre-processing Time: 0.469 s 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 1704 164 18120 110 10976 25085 0 0 0.47 0.49/0.55 c Initial Lower Bound: 9223372036854775807 0.49/0.55 c Initial Path Cost: 0 1799.95/1800.58 c 109 1704 273 33827 123 11194 27594 109 190 0.57 1799.95/1800.58 c 259 1704 423 61975 146 11494 30354 259 417 0.62 1799.95/1800.58 c 494 1704 658 98068 149 11964 33390 494 596 0.83 1799.95/1800.58 c 833 1704 997 144558 144 12642 36730 833 779 1.07 1799.95/1800.58 c 1341 1704 1505 282685 187 13658 40404 1341 1001 1.34 1799.95/1800.58 c 2105 1704 2269 642147 283 15186 44445 2105 1078 1.95 1799.95/1800.58 c 3252 1704 3416 1015443 297 17480 48890 3252 1002 3.24 1799.95/1800.58 c 4973 1704 5137 1915558 372 20922 53780 4973 783 6.35 1799.95/1800.58 c 7557 1704 7721 3705607 479 26090 59159 7557 531 14.21 1799.95/1800.58 c 11438 1704 11602 6385130 550 33852 65075 11438 444 25.72 1799.95/1800.58 c 17260 1704 17424 10078631 578 45496 71583 17260 386 44.70 1799.95/1800.58 c 25999 1704 26163 15204394 581 62974 78742 25999 327 79.41 1799.95/1800.58 c 39110 1704 39274 25698236 654 89196 86617 39110 196 199.53 1799.95/1800.58 c 58780 1704 58944 42146899 715 128536 95279 58780 107 546.68 1799.95/1800.58 c 88292 1704 88456 67418319 762 187560 104807 88292 74 1190.55 1799.95/1800.58 c Resources Exceeded 1799.95/1800.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.58 c 15 102935 62247 1054401 103099 81183687 102935 57 1800.04 1799.95/1800.58 s UNKNOWN 1799.95/1800.58 c Total time: 1800.04 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-362183-1177007789 -o ROOT/results/node26/solver-362183-1177007789 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362183-1177007789/instance-362183-1177007789.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29292 /proc/meminfo: memFree=1698304/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=11876 CPUtime=0 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 148695687 12161024 338 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 2969 338 281 324 0 2003 0 [startup+0.0319901 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29292 /proc/meminfo: memFree=1698304/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=4788 CPUtime=0.02 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 608 0 0 0 2 0 0 0 18 0 1 0 148695687 4902912 541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134561386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 1197 543 301 324 0 266 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4788 [startup+0.101997 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29292 /proc/meminfo: memFree=1698304/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=5052 CPUtime=0.09 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 689 0 0 0 9 0 0 0 18 0 1 0 148695687 5173248 622 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 1263 622 305 324 0 332 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5052 [startup+0.302015 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29292 /proc/meminfo: memFree=1698304/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=5100 CPUtime=0.29 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 735 0 0 0 29 0 0 0 19 0 1 0 148695687 5222400 657 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 1275 657 307 324 0 344 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5100 [startup+0.701052 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29292 /proc/meminfo: memFree=1698304/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=6788 CPUtime=0.69 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 7835 0 0 0 64 5 0 0 23 0 1 0 148695687 6950912 1141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 1697 1141 392 324 0 766 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6788 [startup+1.50113 s] /proc/loadavg: 0.92 0.98 0.99 2/78 29293 /proc/meminfo: memFree=1694648/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=10540 CPUtime=1.48 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 8772 0 0 0 136 12 0 0 25 0 1 0 148695687 10792960 2078 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 2635 2078 392 324 0 1704 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10540 [startup+3.10128 s] /proc/loadavg: 0.92 0.98 0.99 2/78 29293 /proc/meminfo: memFree=1686712/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=18228 CPUtime=3.09 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 10707 0 0 0 292 17 0 0 25 0 1 0 148695687 18665472 4013 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 4557 4013 392 324 0 3626 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18228 [startup+6.30157 s] /proc/loadavg: 0.93 0.98 0.99 2/78 29293 /proc/meminfo: memFree=1674816/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=30132 CPUtime=6.28 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 13672 0 0 0 609 19 0 0 25 0 1 0 148695687 30855168 6978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 7533 6978 392 324 0 6602 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 30132 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/78 29293 /proc/meminfo: memFree=1654528/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=49156 CPUtime=12.68 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 18419 0 0 0 1245 23 0 0 25 0 1 0 148695687 50335744 11725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 12289 11725 392 324 0 11358 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49156 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 29293 /proc/meminfo: memFree=1614720/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=87196 CPUtime=25.48 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 27938 0 0 0 2516 32 0 0 25 0 1 0 148695687 89288704 21244 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 21799 21244 392 324 0 20868 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 87196 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.99 2/78 29293 /proc/meminfo: memFree=1553472/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=149756 CPUtime=51.08 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 43567 0 0 0 5056 52 0 0 25 0 1 0 148695687 153350144 36873 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 37439 36873 392 324 0 36508 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 149756 [startup+102.307 s] /proc/loadavg: 0.98 0.98 0.99 2/78 29295 /proc/meminfo: memFree=1469312/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=232076 CPUtime=102.26 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 64156 0 0 0 10155 71 0 0 25 0 1 0 148695687 237645824 57462 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 58019 57462 392 324 0 57088 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 232076 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=1405440/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=296372 CPUtime=162.24 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 80236 0 0 0 16139 85 0 0 25 0 1 0 148695687 303484928 73542 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 74093 73542 392 324 0 73162 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 296372 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=1347520/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=353716 CPUtime=222.24 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 94560 0 0 0 22126 98 0 0 25 0 1 0 148695687 362205184 87866 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 88429 87866 392 324 0 87498 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 353716 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=1309056/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=392368 CPUtime=282.21 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 104228 0 0 0 28115 106 0 0 25 0 1 0 148695687 401784832 97534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 98092 97534 392 324 0 97161 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 392368 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=1268864/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=432220 CPUtime=342.21 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 114183 0 0 0 34106 115 0 0 25 0 1 0 148695687 442593280 107489 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 108055 107489 392 324 0 107124 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 432220 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=1232256/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=469124 CPUtime=402.19 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 123423 0 0 0 40097 122 0 0 25 0 1 0 148695687 480382976 116729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 117281 116729 392 324 0 116350 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 469124 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=1197376/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=503552 CPUtime=462.17 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 132018 0 0 0 46089 128 0 0 25 0 1 0 148695687 515637248 125324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 125888 125324 392 324 0 124957 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 503552 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=1164992/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=536020 CPUtime=522.16 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 140162 0 0 0 52082 134 0 0 25 0 1 0 148695687 548884480 133468 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 134005 133468 392 324 0 133074 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 536020 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=1133952/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=566864 CPUtime=582.15 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 147866 0 0 0 58074 141 0 0 25 0 1 0 148695687 580468736 141172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 141716 141172 392 324 0 140785 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 566864 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=1108416/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=592216 CPUtime=642.13 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 154190 0 0 0 64066 147 0 0 25 0 1 0 148695687 606429184 147496 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 148054 147496 392 324 0 147123 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 592216 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=991552/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=708936 CPUtime=882.07 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 183378 0 0 0 88033 174 0 0 25 0 1 0 148695687 725950464 176684 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 177234 176684 392 324 0 176303 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 708936 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=959616/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=741160 CPUtime=942.05 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 191416 0 0 0 94023 182 0 0 25 0 1 0 148695687 758947840 184722 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 185290 184722 392 324 0 184359 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 741160 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=927360/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=773032 CPUtime=1002.04 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 199392 0 0 0 100016 188 0 0 25 0 1 0 148695687 791584768 192698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 193258 192698 392 324 0 192327 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 773032 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=898112/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=802452 CPUtime=1062.03 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 206765 0 0 0 106008 195 0 0 25 0 1 0 148695687 821710848 200071 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 200613 200071 392 324 0 199682 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 802452 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=864192/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=835964 CPUtime=1122.01 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 215140 0 0 0 112001 200 0 0 25 0 1 0 148695687 856027136 208446 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13022513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 208991 208446 392 324 0 208060 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 835964 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29295 /proc/meminfo: memFree=833792/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=866588 CPUtime=1182 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 222781 0 0 0 117993 207 0 0 25 0 1 0 148695687 887386112 216087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 216647 216087 392 324 0 215716 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 866588 [startup+1242.3 s] /proc/loadavg: 1.06 1.00 1.00 2/78 29295 /proc/meminfo: memFree=813184/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=887060 CPUtime=1241.98 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 227905 0 0 0 123987 211 0 0 25 0 1 0 148695687 908349440 221211 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 221765 221211 392 324 0 220834 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 887060 [startup+1302.3 s] /proc/loadavg: 1.08 1.01 1.00 2/78 29295 /proc/meminfo: memFree=795584/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=904220 CPUtime=1301.97 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 232208 0 0 0 129982 215 0 0 25 0 1 0 148695687 925921280 225514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 226055 225514 392 324 0 225124 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 904220 [startup+1362.3 s] /proc/loadavg: 1.13 1.04 1.01 2/78 29295 /proc/meminfo: memFree=778048/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=921880 CPUtime=1361.95 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 236616 0 0 0 135975 220 0 0 25 0 1 0 148695687 944005120 229922 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 230470 229922 392 324 0 229539 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 921880 [startup+1422.31 s] /proc/loadavg: 1.09 1.04 1.01 2/78 29295 /proc/meminfo: memFree=761216/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=938624 CPUtime=1421.94 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 240807 0 0 0 141971 223 0 0 25 0 1 0 148695687 961150976 234113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 234656 234113 392 324 0 233725 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 938624 [startup+1482.3 s] /proc/loadavg: 1.03 1.03 1.00 2/84 29369 /proc/meminfo: memFree=741504/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=957164 CPUtime=1481.89 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 245428 0 0 0 147960 229 0 0 25 0 1 0 148695687 980135936 238734 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 239291 238734 392 324 0 238360 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 957164 [startup+1542.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 29493 /proc/meminfo: memFree=724600/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=975056 CPUtime=1541.82 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 249902 0 0 0 153949 233 0 0 25 0 1 0 148695687 998457344 243208 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 243764 243208 392 324 0 242833 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 975056 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 29493 /proc/meminfo: memFree=708664/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=991172 CPUtime=1601.8 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 253921 0 0 0 159944 236 0 0 25 0 1 0 148695687 1014960128 247227 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 247793 247227 392 324 0 246862 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 991172 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 29493 /proc/meminfo: memFree=688824/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=1010712 CPUtime=1661.79 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 258831 0 0 0 165939 240 0 0 25 0 1 0 148695687 1034969088 252137 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 252678 252137 392 324 0 251747 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1010712 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 29493 /proc/meminfo: memFree=671480/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=1028380 CPUtime=1721.77 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 263235 0 0 0 171933 244 0 0 25 0 1 0 148695687 1053061120 256541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 257095 256541 392 324 0 256164 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1028380 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29493 /proc/meminfo: memFree=655672/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=1043904 CPUtime=1781.75 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194304 267128 0 0 0 177929 246 0 0 25 0 1 0 148695687 1068957696 260434 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 260976 260434 392 324 0 260045 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1043904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29493 /proc/meminfo: memFree=759480/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=0 CPUtime=1800.06 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194308 268210 0 0 0 179757 249 0 0 25 0 1 0 148695687 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29493 /proc/meminfo: memFree=759480/2055920 swapFree=4170240/4192956 [pid=29292] ppid=29290 vsize=0 CPUtime=1800.16 /proc/29292/stat : 29292 (bsolo3.0.16) R 29290 29292 28614 0 -1 4194308 268210 0 0 0 179757 259 0 0 25 0 1 0 148695687 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29292/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.21 CPU user time (s): 1797.57 CPU system time (s): 2.6336 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 1048244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.57 system time used= 2.6336 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268210 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= 12 involuntary context switches= 38367 runsolver used 2.14867 second user time and 4.30734 second system time The end
Begin job on node26 on Thu Apr 19 18:36:29 UTC 2007 IDJOB= 362183 IDBENCH= 1538 IDSOLVER= 163 FILE ID= node26/362183-1177007789 PBS_JOBID= 4630514 Free space on /tmp= 66432 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x12.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362183-1177007789/instance-362183-1177007789.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-362183-1177007789 -o ROOT/results/node26/solver-362183-1177007789 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362183-1177007789/instance-362183-1177007789.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 44a4d7082f03e09f83e967b1f06a2c02 RANDOM SEED= 116351462 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.213 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.213 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: 1698712 kB Buffers: 35460 kB Cached: 234364 kB SwapCached: 3128 kB Active: 171448 kB Inactive: 121836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1698712 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 4616 kB Writeback: 0 kB Mapped: 31000 kB Slab: 49548 kB Committed_AS: 1029856 kB PageTables: 1716 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66432 MiB End job on node26 on Thu Apr 19 19:06:31 UTC 2007