Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.25 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x10b.opb |
MD5SUM | c577d7edde274bfe6a240a0f24a19644 |
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.05899 |
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 | 3100 |
Total number of constraints | 120 |
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 | 120 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3100 |
Biggest coefficient in the objective function | 4957 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 526705 |
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 | 526705 |
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.11 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.11 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.11 c type "bsolo -h" for help 0.00/0.11 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.11 c Memory Limit set to 1800 MB 0.00/0.11 c Instance file /tmp/evaluation/432550-1177944764/instance-432550-1177944764.opb 0.00/0.11 c File size is 117941 bytes. 0.00/0.13 c Highest Coefficient sum: 526705 0.00/0.13 c Parsing was ok!! 0.00/0.13 c Total parsing time: 0.021 s 0.00/0.13 c Var: 3100 Constr: 140 19/0/121 Lit: 15100 Watch. Lit: 9140 0.00/0.13 c Obj. Vars: 3100 (100 % of total variables) 0.48/0.60 c Pre-processing Time: 0.491 s 0.49/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.89 c 0 1438 140 15100 107 9142 18806 0 0 0.49 0.49/0.89 c Initial Lower Bound: 9223372036854775807 0.49/0.89 c Initial Path Cost: 0 1800.09/1801.00 c 101 1438 241 33011 136 9344 20687 101 174 0.58 1800.09/1801.00 c 251 1438 391 64653 165 9644 22756 251 407 0.62 1800.09/1801.00 c 476 1438 616 117792 191 10094 25032 476 633 0.75 1800.09/1801.00 c 814 1438 954 198316 207 10770 27536 814 796 1.02 1800.09/1801.00 c 1322 1438 1462 276996 189 11786 30290 1322 873 1.51 1800.09/1801.00 c 2085 1438 2225 426812 191 13312 33320 2085 978 2.13 1800.09/1801.00 c 3231 1438 3371 847112 251 15604 36653 3231 1088 2.97 1800.09/1801.00 c 4955 1438 5095 1903462 373 19052 40319 4955 1071 4.62 1800.09/1801.00 c 7540 1438 7680 3574005 465 24222 44351 7540 833 9.05 1800.09/1801.00 c 11421 1438 11561 5667295 490 31984 48787 11421 766 14.90 1800.09/1801.00 c 17244 1438 17384 9260188 532 43630 53666 17244 562 30.68 1800.09/1801.00 c 25982 1438 26122 14187690 543 61106 59033 25982 446 58.22 1800.09/1801.00 c 39092 1438 39232 20950174 534 87326 64937 39092 375 104.02 1800.09/1801.00 c 58762 1438 58902 33228187 564 126666 71431 58762 251 233.84 1800.09/1801.00 c 88273 1438 29153 17474911 599 67168 78575 29013 199 441.84 1800.09/1801.00 c 132545 1438 73425 43812515 596 155712 86433 73285 196 673.98 1800.09/1801.00 c 198955 1438 65362 46748379 715 139586 95077 65222 139 1427.83 1800.09/1801.00 c Caught signal: 15 1800.09/1801.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1801.00 c 17 238416 175129 3925675 22678 15887937 22538 132 1800.11 1800.09/1801.00 s UNKNOWN 1800.09/1801.00 c Total time: 1800.11 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-432550-1177944764 -o ROOT/results/node63/solver-432550-1177944764 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432550-1177944764/instance-432550-1177944764.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.91 0.95 0.83 3/64 13338 /proc/meminfo: memFree=1857588/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=18528 CPUtime=0 /proc/13338/stat : 13338 (runsolver) D 13336 13338 13080 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 270466352 18972672 284 18446744073709551615 4194304 4255128 548682068976 18446744073709551615 247254805799 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/13338/statm: 4632 284 249 14 0 2626 0 [startup+0.0277689 s] /proc/loadavg: 0.91 0.95 0.83 3/64 13338 /proc/meminfo: memFree=1857588/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=2332 CPUtime=0 /proc/13338/stat : 13338 (bsolo3.0.17) D 13336 13338 13080 0 -1 4194304 45 0 0 0 0 0 0 0 18 0 1 0 270466352 2387968 29 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2970404 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/13338/statm: 583 29 21 324 0 9 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2332 [startup+0.101775 s] /proc/loadavg: 0.91 0.95 0.83 3/64 13338 /proc/meminfo: memFree=1857588/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=2332 CPUtime=0 /proc/13338/stat : 13338 (bsolo3.0.17) D 13336 13338 13080 0 -1 4194304 45 0 0 0 0 0 0 0 18 0 1 0 270466352 2387968 29 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2970404 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/13338/statm: 583 29 21 324 0 9 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2332 [startup+0.301799 s] /proc/loadavg: 0.91 0.95 0.83 3/64 13338 /proc/meminfo: memFree=1857588/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=4920 CPUtime=0.18 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 676 0 0 0 18 0 0 0 18 0 1 0 270466352 5038080 612 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540661 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13338/statm: 1230 612 305 324 0 300 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 4920 [startup+0.70184 s] /proc/loadavg: 0.91 0.95 0.83 3/64 13338 /proc/meminfo: memFree=1857588/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=4920 CPUtime=0.49 /proc/13338/stat : 13338 (bsolo3.0.17) D 13336 13338 13080 0 -1 4194304 681 0 0 0 49 0 0 0 21 0 1 0 270466352 5038080 617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160369710 0 0 4096 16384 18446744071563479169 0 0 17 0 0 0 /proc/13338/statm: 1230 617 310 324 0 300 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 4920 [startup+1.50192 s] /proc/loadavg: 0.91 0.95 0.83 2/65 13339 /proc/meminfo: memFree=1853996/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=8352 CPUtime=1.15 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 7727 0 2 0 114 1 0 0 23 0 1 0 270466352 8552448 1525 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 2088 1526 393 324 0 1158 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 8352 [startup+3.10109 s] /proc/loadavg: 0.92 0.95 0.83 2/65 13339 /proc/meminfo: memFree=1850668/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=15388 CPUtime=2.76 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 9515 0 2 0 274 2 0 0 25 0 1 0 270466352 15757312 3313 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 3847 3313 393 324 0 2917 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 15388 [startup+6.30142 s] /proc/loadavg: 0.92 0.95 0.83 2/65 13339 /proc/meminfo: memFree=1827500/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=37996 CPUtime=5.96 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 15152 0 2 0 593 3 0 0 25 0 1 0 270466352 38907904 8950 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 9499 8950 393 324 0 8569 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 37996 [startup+12.7011 s] /proc/loadavg: 0.93 0.96 0.83 2/65 13339 /proc/meminfo: memFree=1796404/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=67328 CPUtime=12.36 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 22472 0 2 0 1229 7 0 0 25 0 1 0 270466352 68943872 16270 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 16832 16270 393 324 0 15902 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 67328 [startup+25.5014 s] /proc/loadavg: 0.94 0.96 0.83 2/65 13339 /proc/meminfo: memFree=1751220/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=110424 CPUtime=25.15 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 33256 0 2 0 2504 11 0 0 25 0 1 0 270466352 113074176 27054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 27606 27054 393 324 0 26676 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 110424 [startup+51.1011 s] /proc/loadavg: 1.02 0.97 0.84 2/65 13339 /proc/meminfo: memFree=1687156/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=173568 CPUtime=50.75 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 49056 0 2 0 5055 20 0 0 25 0 1 0 270466352 177733632 42854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 43392 42854 393 324 0 42462 0 Current children cumulated CPU time (s) 50.75 Current children cumulated vsize (KiB) 173568 [startup+102.305 s] /proc/loadavg: 1.01 0.97 0.84 2/65 13339 /proc/meminfo: memFree=1586932/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=273152 CPUtime=101.94 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 73943 0 2 0 10159 35 0 0 25 0 1 0 270466352 279707648 67741 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 68288 67741 393 324 0 67358 0 Current children cumulated CPU time (s) 101.94 Current children cumulated vsize (KiB) 273152 [startup+162.302 s] /proc/loadavg: 1.00 0.97 0.85 2/65 13339 /proc/meminfo: memFree=1503796/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=357092 CPUtime=161.92 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 94941 0 2 0 16147 45 0 0 25 0 1 0 270466352 365662208 88739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 89273 88739 393 324 0 88343 0 Current children cumulated CPU time (s) 161.92 Current children cumulated vsize (KiB) 357092 [startup+222.301 s] /proc/loadavg: 1.00 0.97 0.86 2/65 13339 /proc/meminfo: memFree=1440820/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=419060 CPUtime=221.9 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 110415 0 2 0 22136 54 0 0 25 0 1 0 270466352 429117440 104213 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 104765 104213 393 324 0 103835 0 Current children cumulated CPU time (s) 221.9 Current children cumulated vsize (KiB) 419060 [startup+282.301 s] /proc/loadavg: 1.00 0.97 0.86 2/65 13339 /proc/meminfo: memFree=1374772/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=485848 CPUtime=281.88 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 127126 0 2 0 28123 65 0 0 25 0 1 0 270466352 497508352 120924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 121462 120924 393 324 0 120532 0 Current children cumulated CPU time (s) 281.88 Current children cumulated vsize (KiB) 485848 [startup+342.302 s] /proc/loadavg: 1.00 0.97 0.87 2/65 13339 /proc/meminfo: memFree=1328436/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=531264 CPUtime=341.87 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 138456 0 2 0 34114 73 0 0 25 0 1 0 270466352 544014336 132254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 132816 132254 393 324 0 131886 0 Current children cumulated CPU time (s) 341.87 Current children cumulated vsize (KiB) 531264 [startup+402.302 s] /proc/loadavg: 1.00 0.97 0.87 2/65 13339 /proc/meminfo: memFree=1304628/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=554536 CPUtime=401.86 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 144366 0 2 0 40110 76 0 0 25 0 1 0 270466352 567844864 138091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 138634 138091 393 324 0 137704 0 Current children cumulated CPU time (s) 401.86 Current children cumulated vsize (KiB) 554536 [startup+462.301 s] /proc/loadavg: 1.00 0.97 0.88 2/65 13339 /proc/meminfo: memFree=1304628/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=554536 CPUtime=461.84 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 144366 0 2 0 46108 76 0 0 25 0 1 0 270466352 567844864 138091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 138634 138091 393 324 0 137704 0 Current children cumulated CPU time (s) 461.84 Current children cumulated vsize (KiB) 554536 [startup+522.301 s] /proc/loadavg: 1.06 0.99 0.89 2/71 13461 /proc/meminfo: memFree=1303236/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=554536 CPUtime=521.76 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 144366 0 2 0 52099 77 0 0 25 0 1 0 270466352 567844864 138091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13338/statm: 138634 138091 393 324 0 137704 0 Current children cumulated CPU time (s) 521.76 Current children cumulated vsize (KiB) 554536 [startup+582.302 s] /proc/loadavg: 1.02 0.99 0.90 2/65 13537 /proc/meminfo: memFree=1304116/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=554536 CPUtime=581.71 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 144366 0 2 0 58094 77 0 0 25 0 1 0 270466352 567844864 138091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3411685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 138634 138091 393 324 0 137704 0 Current children cumulated CPU time (s) 581.71 Current children cumulated vsize (KiB) 554536 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.90 2/65 13537 /proc/meminfo: memFree=1304116/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=554536 CPUtime=641.69 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 144366 0 2 0 64092 77 0 0 25 0 1 0 270466352 567844864 138091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 138634 138091 393 324 0 137704 0 Current children cumulated CPU time (s) 641.69 Current children cumulated vsize (KiB) 554536 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 13537 /proc/meminfo: memFree=1179572/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=679200 CPUtime=881.63 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 175530 0 2 0 88068 95 0 0 25 0 1 0 270466352 695500800 169255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 169800 169255 393 324 0 168870 0 Current children cumulated CPU time (s) 881.63 Current children cumulated vsize (KiB) 679200 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 2/65 13537 /proc/meminfo: memFree=1142900/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=716216 CPUtime=941.61 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 184782 0 2 0 94061 100 0 0 25 0 1 0 270466352 733405184 178507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 179054 178507 393 324 0 178124 0 Current children cumulated CPU time (s) 941.61 Current children cumulated vsize (KiB) 716216 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 13537 /proc/meminfo: memFree=1135988/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=722488 CPUtime=1001.6 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 186432 0 2 0 100058 102 0 0 25 0 1 0 270466352 739827712 180069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3404127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 180622 180069 393 324 0 179692 0 Current children cumulated CPU time (s) 1001.6 Current children cumulated vsize (KiB) 722488 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/65 13537 /proc/meminfo: memFree=1136116/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=722488 CPUtime=1061.59 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 186432 0 2 0 106057 102 0 0 25 0 1 0 270466352 739827712 180069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 180622 180069 393 324 0 179692 0 Current children cumulated CPU time (s) 1061.59 Current children cumulated vsize (KiB) 722488 [startup+1122.3 s] /proc/loadavg: 1.08 1.01 0.91 2/65 13537 /proc/meminfo: memFree=1136116/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=722488 CPUtime=1121.57 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 186432 0 2 0 112055 102 0 0 25 0 1 0 270466352 739827712 180069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 180622 180069 393 324 0 179692 0 Current children cumulated CPU time (s) 1121.57 Current children cumulated vsize (KiB) 722488 [startup+1182.3 s] /proc/loadavg: 1.03 1.00 0.91 2/65 13537 /proc/meminfo: memFree=1136116/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=722488 CPUtime=1181.55 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 186432 0 2 0 118053 102 0 0 25 0 1 0 270466352 739827712 180069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3401601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 180622 180069 393 324 0 179692 0 Current children cumulated CPU time (s) 1181.55 Current children cumulated vsize (KiB) 722488 [startup+1242.3 s] /proc/loadavg: 1.01 1.00 0.91 2/65 13537 /proc/meminfo: memFree=1135988/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=722488 CPUtime=1241.54 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 186432 0 2 0 124052 102 0 0 25 0 1 0 270466352 739827712 180069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 180622 180069 393 324 0 179692 0 Current children cumulated CPU time (s) 1241.54 Current children cumulated vsize (KiB) 722488 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 13537 /proc/meminfo: memFree=1135988/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=722488 CPUtime=1301.53 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 186432 0 2 0 130051 102 0 0 25 0 1 0 270466352 739827712 180069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 180622 180069 393 324 0 179692 0 Current children cumulated CPU time (s) 1301.53 Current children cumulated vsize (KiB) 722488 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 13537 /proc/meminfo: memFree=1136052/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=722488 CPUtime=1361.51 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 186432 0 2 0 136049 102 0 0 25 0 1 0 270466352 739827712 180069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 180622 180069 393 324 0 179692 0 Current children cumulated CPU time (s) 1361.51 Current children cumulated vsize (KiB) 722488 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/65 13537 /proc/meminfo: memFree=1136052/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=722488 CPUtime=1421.49 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 186432 0 2 0 142047 102 0 0 25 0 1 0 270466352 739827712 180069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 180622 180069 393 324 0 179692 0 Current children cumulated CPU time (s) 1421.49 Current children cumulated vsize (KiB) 722488 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 13537 /proc/meminfo: memFree=1136116/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=722488 CPUtime=1481.47 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 186432 0 2 0 148045 102 0 0 25 0 1 0 270466352 739827712 180069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 180622 180069 393 324 0 179692 0 Current children cumulated CPU time (s) 1481.47 Current children cumulated vsize (KiB) 722488 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 13537 /proc/meminfo: memFree=1136116/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=722488 CPUtime=1541.46 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 186432 0 2 0 154044 102 0 0 25 0 1 0 270466352 739827712 180069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 180622 180069 393 324 0 179692 0 Current children cumulated CPU time (s) 1541.46 Current children cumulated vsize (KiB) 722488 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 13537 /proc/meminfo: memFree=1107636/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=752232 CPUtime=1601.45 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 193875 0 2 0 160038 107 0 0 25 0 1 0 270466352 770285568 187512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 188058 187512 393 324 0 187128 0 Current children cumulated CPU time (s) 1601.45 Current children cumulated vsize (KiB) 752232 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 13537 /proc/meminfo: memFree=1024756/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=833776 CPUtime=1661.43 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 214273 0 2 0 166026 117 0 0 25 0 1 0 270466352 853786624 207910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 208444 207910 393 324 0 207514 0 Current children cumulated CPU time (s) 1661.43 Current children cumulated vsize (KiB) 833776 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 13537 /proc/meminfo: memFree=969972/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=888192 CPUtime=1721.42 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 227860 0 2 0 172016 126 0 0 25 0 1 0 270466352 909508608 221497 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 222048 221497 393 324 0 221118 0 Current children cumulated CPU time (s) 1721.42 Current children cumulated vsize (KiB) 888192 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 13537 /proc/meminfo: memFree=944372/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=913540 CPUtime=1781.4 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 234288 0 2 0 178012 128 0 0 25 0 1 0 270466352 935464960 227829 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 228385 227829 393 324 0 227455 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (KiB) 913540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 1.00 1.00 0.91 2/65 13537 /proc/meminfo: memFree=944372/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=913540 CPUtime=1800.09 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194304 234288 0 2 0 179881 128 0 0 25 0 1 0 270466352 935464960 227829 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3087476 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 228385 227829 393 324 0 227455 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 913540 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.11 s] /proc/loadavg: 1.00 1.00 0.91 2/65 13537 /proc/meminfo: memFree=944372/2055920 swapFree=4182900/4192956 [pid=13338] ppid=13336 vsize=0 CPUtime=1800.19 /proc/13338/stat : 13338 (bsolo3.0.17) R 13336 13338 13080 0 -1 4194308 234291 0 2 0 179881 138 0 0 25 0 1 0 270466352 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/13338/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1801.15 CPU time (s): 1800.25 CPU user time (s): 1798.82 CPU system time (s): 1.43378 CPU usage (%): 99.9501 Max. virtual memory (cumulated for all children) (KiB): 913924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.82 system time used= 1.43378 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 234291 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23 involuntary context switches= 4758 runsolver used 1.41778 second user time and 3.55746 second system time The end
Begin job on node63 on Mon Apr 30 14:52:44 UTC 2007 IDJOB= 432550 IDBENCH= 1547 IDSOLVER= 199 FILE ID= node63/432550-1177944764 PBS_JOBID= 4727808 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 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-ran10x10b.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432550-1177944764/instance-432550-1177944764.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-432550-1177944764 -o ROOT/results/node63/solver-432550-1177944764 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432550-1177944764/instance-432550-1177944764.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= c577d7edde274bfe6a240a0f24a19644 RANDOM SEED= 482262477 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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.232 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.232 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: 1857996 kB Buffers: 10604 kB Cached: 111608 kB SwapCached: 3860 kB Active: 34328 kB Inactive: 97568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857996 kB SwapTotal: 4192956 kB SwapFree: 4182900 kB Dirty: 6704 kB Writeback: 0 kB Mapped: 15596 kB Slab: 52028 kB Committed_AS: 2341744 kB PageTables: 1460 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= 66558 MiB End job on node63 on Mon Apr 30 15:22:47 UTC 2007