Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.08 | 1800.54 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb |
MD5SUM | cc797868c6f9cb3811b8dc2300ad7f9f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 612 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 556800 |
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 | 556800 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/348163-1176570626/instance-348163-1176570626.opb 0.00/0.01 c File size is 3617989 bytes. 0.68/0.76 c Highest Coefficient sum: 556800 0.68/0.76 c Parsing was ok!! 0.68/0.76 c Total parsing time: 0.753 s 0.78/0.81 c Var: 107808 Constr: 5184 0/0/5184 Lit: 434720 Watch. Lit: 105840 0.78/0.81 c Obj. Vars: 38688 (35.886 % of total variables) 4.49/4.57 c Pre-processing Time: 4.563 s 4.49/4.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.57 c 0 70252 5184 434720 83 382424 869440 0 0 4.56 4.49/4.57 c Switching off LPR mode. 1799.94/1800.45 c 102 70252 5286 448571 84 387284 956385 102 21 4.85 1799.94/1800.45 c 262 70252 5446 494560 90 387604 500000 262 51 5.12 1799.94/1800.45 c 487 70252 5671 546347 96 388054 550001 487 89 5.43 1799.94/1800.45 c 834 70252 6018 596817 99 388748 605002 834 144 5.76 1799.94/1800.45 c 1343 70252 6527 627056 96 389766 665503 1343 218 6.15 1799.94/1800.45 c 2106 70252 7290 659775 90 391292 732054 2106 322 6.53 1799.94/1800.45 c 3252 70252 8436 699422 82 393584 805260 3252 465 6.99 1799.94/1800.45 c 4973 70252 10157 854401 84 397240 885787 4973 635 7.82 1799.94/1800.45 c 7558 70252 12742 1018039 79 402410 974366 7558 856 8.83 1799.94/1800.45 c 11438 70251 16622 1226562 73 410358 500000 11438 1110 10.30 1799.94/1800.45 c 17260 70250 22444 1615946 71 422001 550001 17260 992 17.39 1799.94/1800.45 c 25997 70250 31181 2343018 75 440207 605002 25997 1123 23.15 1799.94/1800.45 c 39108 70248 44292 2937714 66 466534 665503 39108 1349 28.99 1799.94/1800.45 c 58778 70248 63962 4053260 63 505890 732054 58778 1317 44.60 1799.94/1800.45 c 88297 70248 93481 5438544 58 565835 805260 88297 1230 71.74 1799.94/1800.45 c 132567 70248 137751 7826788 56 654358 885787 132567 1292 102.60 1799.94/1800.45 c 198977 70247 204161 12758303 62 787883 974366 198977 664 299.30 1799.94/1800.45 c 298597 70247 303781 22791893 75 987017 500000 298597 310 961.92 1799.94/1800.45 c Resources Exceeded 1799.94/1800.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.45 c 18 405670 165420 2955192 410854 32499797 405670 225 1800.00 1799.94/1800.45 s UNKNOWN 1799.94/1800.45 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-348163-1176570626 -o ROOT/results/node43/solver-348163-1176570626 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348163-1176570626/instance-348163-1176570626.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.98 1.04 1.01 2/64 30330 /proc/meminfo: memFree=1544088/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=3780 CPUtime=0 /proc/30330/stat : 30330 (bsolo3.0.16) D 30328 30330 29946 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 104974478 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/30330/statm: 945 155 129 324 0 14 0 [startup+0.0614881 s] /proc/loadavg: 0.98 1.04 1.01 2/64 30330 /proc/meminfo: memFree=1544088/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=17212 CPUtime=0.04 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 913 0 3 0 4 0 0 0 18 0 1 0 104974478 17625088 844 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 4303 844 343 324 0 2488 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 17212 [startup+0.101489 s] /proc/loadavg: 0.98 1.04 1.01 2/64 30330 /proc/meminfo: memFree=1544088/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=19148 CPUtime=0.08 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 1502 0 3 0 8 0 0 0 18 0 1 0 104974478 19607552 1354 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 4787 1354 392 324 0 2972 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19148 [startup+0.301506 s] /proc/loadavg: 0.98 1.04 1.01 2/64 30330 /proc/meminfo: memFree=1544088/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=14912 CPUtime=0.29 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 2741 0 3 0 28 1 0 0 19 0 1 0 104974478 15269888 2544 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 3728 2544 618 324 0 1913 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14912 [startup+0.701541 s] /proc/loadavg: 0.98 1.04 1.01 2/64 30330 /proc/meminfo: memFree=1544088/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=21144 CPUtime=0.68 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 4899 0 3 0 67 1 0 0 22 0 1 0 104974478 21651456 4448 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 5286 4449 1085 324 0 3471 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 21144 [startup+1.50161 s] /proc/loadavg: 0.98 1.04 1.01 2/65 30331 /proc/meminfo: memFree=1514256/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=36664 CPUtime=1.49 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 9548 0 3 0 142 7 0 0 25 0 1 0 104974478 37543936 8137 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 9166 8137 306 324 0 8235 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36664 [startup+3.10175 s] /proc/loadavg: 0.98 1.04 1.01 2/65 30331 /proc/meminfo: memFree=1511888/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=36664 CPUtime=3.08 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 9548 0 3 0 299 9 0 0 25 0 1 0 104974478 37543936 8137 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 9166 8137 306 324 0 8235 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 36664 [startup+6.30103 s] /proc/loadavg: 0.98 1.04 1.01 2/65 30331 /proc/meminfo: memFree=1510096/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=39540 CPUtime=6.27 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 12552 0 3 0 607 20 0 0 25 0 1 0 104974478 40488960 8866 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 9885 8866 312 324 0 8954 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 39540 [startup+12.7016 s] /proc/loadavg: 0.99 1.04 1.01 2/65 30331 /proc/meminfo: memFree=1499216/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=49868 CPUtime=12.68 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 15146 0 3 0 1236 32 0 0 25 0 1 0 104974478 51064832 11460 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 12467 11460 312 324 0 11536 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49868 [startup+25.5017 s] /proc/loadavg: 0.99 1.03 1.00 2/65 30331 /proc/meminfo: memFree=1482576/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=66004 CPUtime=25.47 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 19186 0 3 0 2502 45 0 0 25 0 1 0 104974478 67588096 15500 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 16501 15500 312 324 0 15570 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 66004 [startup+51.1019 s] /proc/loadavg: 0.99 1.03 1.00 2/65 30331 /proc/meminfo: memFree=1452432/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=97708 CPUtime=51.06 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 27117 0 3 0 5040 66 0 0 25 0 1 0 104974478 100052992 23431 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 24427 23431 312 324 0 23496 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 97708 [startup+102.304 s] /proc/loadavg: 1.05 1.04 1.00 2/65 30331 /proc/meminfo: memFree=1402768/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=145764 CPUtime=102.25 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 39139 0 3 0 10119 106 0 0 25 0 1 0 104974478 149262336 35453 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 36441 35453 312 324 0 35510 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 145764 [startup+162.302 s] /proc/loadavg: 1.06 1.04 1.00 2/65 30331 /proc/meminfo: memFree=1368144/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=180332 CPUtime=162.23 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 47788 0 3 0 16095 128 0 0 25 0 1 0 104974478 184659968 44102 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 45083 44102 312 324 0 44152 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 180332 [startup+222.302 s] /proc/loadavg: 1.02 1.03 1.00 2/65 30331 /proc/meminfo: memFree=1351632/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=196684 CPUtime=222.21 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 51868 0 3 0 22070 151 0 0 25 0 1 0 104974478 201404416 48182 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 49171 48182 312 324 0 48240 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 196684 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 30331 /proc/meminfo: memFree=1339280/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=209112 CPUtime=282.21 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 54970 0 3 0 28060 161 0 0 25 0 1 0 104974478 214130688 51284 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 52278 51284 312 324 0 51347 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 209112 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 30331 /proc/meminfo: memFree=1310032/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=238196 CPUtime=342.19 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 62268 0 3 0 34024 195 0 0 25 0 1 0 104974478 243912704 58582 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 59549 58582 312 324 0 58618 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 238196 [startup+402.301 s] /proc/loadavg: 1.03 1.03 1.00 2/65 30331 /proc/meminfo: memFree=1288080/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=260360 CPUtime=402.17 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 67783 0 3 0 40006 211 0 0 25 0 1 0 104974478 266608640 64097 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 65090 64097 312 324 0 64159 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 260360 [startup+462.302 s] /proc/loadavg: 1.01 1.02 1.00 2/65 30331 /proc/meminfo: memFree=1271952/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=276228 CPUtime=462.16 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 71755 0 3 0 45994 222 0 0 25 0 1 0 104974478 282857472 68069 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 69057 68069 312 324 0 68126 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 276228 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 30331 /proc/meminfo: memFree=1255696/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=292444 CPUtime=522.14 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 75822 0 3 0 51984 230 0 0 25 0 1 0 104974478 299462656 72136 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 73111 72136 312 324 0 72180 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 292444 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 30331 /proc/meminfo: memFree=1243920/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=304168 CPUtime=582.13 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 78738 0 3 0 57977 236 0 0 25 0 1 0 104974478 311468032 75052 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 76042 75052 312 324 0 75111 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 304168 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30331 /proc/meminfo: memFree=1235216/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=312768 CPUtime=642.12 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 80883 0 3 0 63969 243 0 0 25 0 1 0 104974478 320274432 77197 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 78192 77197 312 324 0 77261 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 312768 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30331 /proc/meminfo: memFree=1201616/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=346384 CPUtime=882.06 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 89311 0 3 0 87938 268 0 0 25 0 1 0 104974478 354697216 85625 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 86596 85625 312 324 0 85665 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 346384 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30331 /proc/meminfo: memFree=1195152/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=352876 CPUtime=942.05 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 90932 0 3 0 93932 273 0 0 25 0 1 0 104974478 361345024 87246 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 88219 87246 312 324 0 87288 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 352876 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30331 /proc/meminfo: memFree=1162448/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=385464 CPUtime=1002.03 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 99084 0 3 0 99910 293 0 0 25 0 1 0 104974478 394715136 95398 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 96366 95398 312 324 0 95435 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 385464 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30331 /proc/meminfo: memFree=1145296/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=402772 CPUtime=1062.02 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 103404 0 3 0 105899 303 0 0 25 0 1 0 104974478 412438528 99718 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 100693 99718 312 324 0 99762 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 402772 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30331 /proc/meminfo: memFree=1132688/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=415176 CPUtime=1122 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 106516 0 3 0 111893 307 0 0 25 0 1 0 104974478 425140224 102830 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 103794 102830 312 324 0 102863 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 415176 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30331 /proc/meminfo: memFree=1122192/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=425656 CPUtime=1181.98 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 109132 0 3 0 117886 312 0 0 25 0 1 0 104974478 435871744 105446 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 106414 105446 312 324 0 105483 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 425656 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30331 /proc/meminfo: memFree=1112912/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=434976 CPUtime=1241.97 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 111444 0 3 0 123880 317 0 0 25 0 1 0 104974478 445415424 107758 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 108744 107758 312 324 0 107813 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 434976 [startup+1302.3 s] /proc/loadavg: 1.10 1.03 1.01 2/65 30331 /proc/meminfo: memFree=1103632/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=444156 CPUtime=1301.96 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 113743 0 3 0 129876 320 0 0 25 0 1 0 104974478 454815744 110057 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 111039 110057 312 324 0 110108 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 444156 [startup+1362.3 s] /proc/loadavg: 1.03 1.02 1.00 2/65 30331 /proc/meminfo: memFree=1095696/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=452036 CPUtime=1361.95 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 115733 0 3 0 135870 325 0 0 25 0 1 0 104974478 462884864 112047 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 113009 112047 312 324 0 112078 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 452036 [startup+1422.31 s] /proc/loadavg: 1.01 1.02 1.00 2/65 30331 /proc/meminfo: memFree=1088336/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=459372 CPUtime=1421.94 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 117563 0 3 0 141865 329 0 0 25 0 1 0 104974478 470396928 113877 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 114843 113877 312 324 0 113912 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 459372 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 30331 /proc/meminfo: memFree=1080976/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=466736 CPUtime=1481.92 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 119397 0 3 0 147859 333 0 0 25 0 1 0 104974478 477937664 115711 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 116684 115711 312 324 0 115753 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 466736 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30331 /proc/meminfo: memFree=1074128/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=473572 CPUtime=1541.91 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 121098 0 3 0 153854 337 0 0 25 0 1 0 104974478 484937728 117412 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 118393 117412 312 324 0 117462 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 473572 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30331 /proc/meminfo: memFree=1069968/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=477836 CPUtime=1601.89 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 122155 0 3 0 159850 339 0 0 25 0 1 0 104974478 489304064 118469 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 119459 118469 312 324 0 118528 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 477836 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30333 /proc/meminfo: memFree=1065424/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=482220 CPUtime=1661.87 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 123263 0 3 0 165846 341 0 0 25 0 1 0 104974478 493793280 119577 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 120555 119577 312 324 0 119624 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 482220 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30333 /proc/meminfo: memFree=1060496/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=487244 CPUtime=1721.86 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 124523 0 3 0 171842 344 0 0 25 0 1 0 104974478 498937856 120837 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 121811 120837 312 324 0 120880 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 487244 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30333 /proc/meminfo: memFree=1055696/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=491924 CPUtime=1781.85 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194304 125702 0 3 0 177837 348 0 0 25 0 1 0 104974478 503730176 122016 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 122981 122016 312 324 0 122050 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 491924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30333 /proc/meminfo: memFree=1323856/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=0 CPUtime=1800.04 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194308 126017 0 3 0 179651 353 0 0 25 0 1 0 104974478 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 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.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 30333 /proc/meminfo: memFree=1323856/2055920 swapFree=4192812/4192956 [pid=30330] ppid=30328 vsize=0 CPUtime=1800.04 /proc/30330/stat : 30330 (bsolo3.0.16) R 30328 30330 29946 0 -1 4194308 126017 0 3 0 179651 353 0 0 25 0 1 0 104974478 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30330/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.08 CPU user time (s): 1796.51 CPU system time (s): 3.56946 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 493208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.51 system time used= 3.56946 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 126017 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 1448 runsolver used 1.21081 second user time and 3.72343 second system time The end
Begin job on node43 on Sat Apr 14 17:10:27 UTC 2007 IDJOB= 348163 IDBENCH= 1623 IDSOLVER= 163 FILE ID= node43/348163-1176570626 PBS_JOBID= 4556911 Free space on /tmp= 66557 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/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348163-1176570626/instance-348163-1176570626.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-348163-1176570626 -o ROOT/results/node43/solver-348163-1176570626 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348163-1176570626/instance-348163-1176570626.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= cc797868c6f9cb3811b8dc2300ad7f9f RANDOM SEED= 729665133 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.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.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: 1544560 kB Buffers: 41196 kB Cached: 353476 kB SwapCached: 0 kB Active: 223984 kB Inactive: 186844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1544560 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 7960 kB Writeback: 0 kB Mapped: 26296 kB Slab: 86584 kB Committed_AS: 128648 kB PageTables: 1396 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= 66557 MiB End job on node43 on Sat Apr 14 17:40:29 UTC 2007