Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -11 | 1800.1 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_5.opb |
MD5SUM | 0619afe86d0e2ffb4ad28e9f2f441c24 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1212 |
Sum of products size (including duplicates) | 2424 |
Number of different products | 606 |
Sum of products size | 1212 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455406-1178042784/instance-455406-1178042784.opb 0.00/0.00 c File size is 16255 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.007 s 0.00/0.01 c Var: 1312 Constr: 2576 1262/102/1212 Lit: 8784 Watch. Lit: 7474 0.00/0.01 c Obj. Vars: 50 (3.81098 % of total variables) 0.39/0.41 c Pre-processing Time: 0.406 s 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 1312 2576 8784 3 7474 14303 0 0 0.41 0.39/0.41 c Switching off LPR mode. 0.39/0.41 o -1 0.407 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 1312 2577 8834 3 7477 14336 1 0 0.41 0.39/0.41 o -2 0.408 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 1312 2578 8884 3 7481 14386 2 0 0.41 0.39/0.41 o -3 0.409 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 1312 2579 8934 3 7486 14453 3 0 0.41 0.39/0.41 o -4 0.41 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 1312 2580 8984 3 7492 14536 4 0 0.41 0.39/0.41 o -5 0.41 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 1312 2581 9034 3 7499 14636 5 0 0.41 0.39/0.41 o -6 0.412 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 11 1312 2593 9698 3 7529 14653 17 26 0.41 0.39/0.43 c 111 1312 2693 15851 5 7729 16119 117 261 0.42 0.39/0.43 o -7 0.429 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 164 1312 2747 18740 6 7844 14669 171 381 0.43 0.49/0.58 c 264 1312 2847 25075 8 8044 16136 271 597 0.44 0.49/0.58 c 514 1312 3097 40783 13 8544 17750 521 1107 0.46 0.49/0.58 c 989 1312 3572 70819 19 9494 19526 996 1905 0.52 0.49/0.58 o -8 0.581 30.68/30.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.68/30.76 c 1583 1312 4167 107830 25 10692 14686 1591 2719 0.58 30.68/30.76 c 1683 1312 4267 112844 26 10892 16155 1691 2833 0.59 30.68/30.76 c 1933 1312 4517 127529 28 11392 17771 1941 3073 0.63 30.68/30.76 c 2408 1312 4992 154914 31 12342 19549 2416 3494 0.69 30.68/30.76 c 3221 1312 5805 201653 34 13968 21504 3229 4092 0.79 30.68/30.76 c 4542 1312 7126 273592 38 16610 23655 4550 4831 0.94 30.68/30.76 c 6623 1312 9207 383911 41 20772 26021 6631 5198 1.27 30.68/30.76 c 9846 1312 12430 570499 45 27218 28624 9854 4862 2.02 30.68/30.76 c 14782 1312 17366 878468 50 37090 31487 14790 3867 3.82 30.68/30.76 c 22288 1312 24872 1343425 54 52102 34636 22296 2739 8.13 30.68/30.76 c 33649 1312 36233 2029617 56 74824 38100 33657 1939 17.35 30.68/30.76 o -9 30.745 1575.53/1576.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1575.53/1576.03 c 46422 1312 21003 1116477 53 44345 14469 18427 1509 30.75 1575.53/1576.03 c 46524 1312 9914 448199 45 22159 15916 7338 1477 31.49 1575.53/1576.03 c 46774 1312 10164 466600 45 22659 17508 7588 1481 31.56 1575.53/1576.03 c 47249 1312 10639 493383 46 23609 19259 8063 1490 31.70 1575.53/1576.03 c 48062 1312 11452 538065 46 25235 21185 8876 1504 31.95 1575.53/1576.03 c 49382 1312 12772 613372 48 27875 23304 10196 1525 32.37 1575.53/1576.03 c 51464 1312 14854 734470 49 32039 25635 12278 1550 33.19 1575.53/1576.03 c 54687 1312 18077 917013 50 38485 28199 15501 1588 34.43 1575.53/1576.03 c 59623 1312 23013 1214354 52 48357 31019 20437 1607 37.09 1575.53/1576.03 c 67129 1312 30519 1662177 54 63369 34121 27943 1565 42.87 1575.53/1576.03 c 78490 1312 17810 951417 53 37951 37534 15234 1452 54.03 1575.53/1576.03 c 95634 1312 34954 2091087 59 72239 41288 32378 1396 68.48 1575.53/1576.03 c 121453 1312 29710 1776235 59 61751 45417 27134 1252 97.00 1575.53/1576.03 c 160285 1312 33465 2025507 60 69261 49959 30889 1145 139.97 1575.53/1576.03 c 218637 1312 52282 3438224 65 106895 54955 49706 1012 215.95 1575.53/1576.03 c 306269 1312 51095 3747630 73 104521 60451 48519 869 352.37 1575.53/1576.03 c 437821 1312 33236 2327093 70 68803 66497 30660 762 573.93 1575.53/1576.03 c 635254 1312 63298 4501865 71 128927 73147 60722 658 964.81 1575.53/1576.03 c 931506 1312 47721 3426252 71 97773 80462 45145 591 1575.01 1575.53/1576.03 o -10 1575.58 1588.54/1589.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1588.54/1589.06 c 931736 1312 47952 3437888 71 98245 14486 45376 591 1575.58 1588.54/1589.06 c 931836 1312 9920 569158 57 22172 15935 7344 586 1588.45 1588.54/1589.06 c 932086 1312 10170 582439 57 22672 17529 7594 586 1588.55 1588.54/1589.06 o -11 1588.61 1800.08/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.60 c 932213 1312 10298 588949 57 22939 14503 7722 586 1588.61 1800.08/1800.60 c 932313 1312 10398 594650 57 23139 15954 7822 586 1588.65 1800.08/1800.60 c 932563 1312 10648 608196 57 23639 17550 8072 586 1588.72 1800.08/1800.60 c 933038 1312 11123 637306 57 24589 19306 8547 587 1588.86 1800.08/1800.60 c 933851 1312 11936 681032 57 26215 21237 9360 587 1589.12 1800.08/1800.60 c 935171 1312 13256 752750 56 28855 23361 10680 588 1589.54 1800.08/1800.60 c 937252 1312 15337 869704 56 33017 25698 12761 589 1590.46 1800.08/1800.60 c 940475 1312 18560 1065421 57 39463 28268 15984 590 1591.99 1800.08/1800.60 c 945412 1312 23497 1334284 56 49337 31095 20921 592 1595.02 1800.08/1800.60 c 952919 1312 31004 1763670 56 64351 34205 28428 595 1600.35 1800.08/1800.60 c 964280 1312 18222 927790 50 38777 37626 15646 596 1617.73 1800.08/1800.60 c 981424 1312 35366 2010881 56 73065 41389 32790 601 1632.96 1800.08/1800.60 c 1007243 1312 30027 1679116 55 62387 45528 27451 605 1662.88 1800.08/1800.60 c 1046075 1312 33683 1837906 54 69699 50081 31107 615 1699.41 1800.08/1800.60 c 1104427 1312 52445 2975397 56 107223 55090 49869 625 1764.44 1800.08/1800.60 c Caught signal: 15 1800.08/1800.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 x28 -x29 1800.08/1800.60 v -x30 -x31 -x32 x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 x47 x48 -x49 -x50 -x76 -x66 -x61 x73 -x77 -x83 1800.08/1800.60 v -x71 -x100 -x74 x82 -x56 -x60 x67 -x85 x88 x95 -x51 -x99 -x79 -x87 -x65 -x80 -x55 -x63 -x68 -x98 -x52 -x84 -x97 -x78 -x59 -x58 1800.08/1800.60 v x89 -x93 -x94 -x53 x62 -x91 x72 -x64 -x86 x57 -x81 -x96 x54 -x90 -x69 -x70 -x75 x92 1800.08/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.60 c 59 1119858 397 1128582 23268 1359258 20692 622 1800.09 1800.08/1800.60 c Objective: -11 1800.08/1800.60 s SATISFIABLE 1800.08/1800.60 c Total time: 1800.09 s
OK -11
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-455406-1178042784 -o ROOT/results/node63/solver-455406-1178042784 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455406-1178042784/instance-455406-1178042784.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: 1.00 1.00 1.00 3/64 24210 /proc/meminfo: memFree=1843396/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=11752 CPUtime=0 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 280268362 12034048 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3430170 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 2938 344 289 324 0 2004 0 [startup+0.022608 s] /proc/loadavg: 1.00 1.00 1.00 3/64 24210 /proc/meminfo: memFree=1843396/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=4612 CPUtime=0.01 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 558 0 0 0 1 0 0 0 18 0 1 0 280268362 4722688 524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 1153 524 305 324 0 223 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4612 [startup+0.102616 s] /proc/loadavg: 1.00 1.00 1.00 3/64 24210 /proc/meminfo: memFree=1843396/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=4612 CPUtime=0.09 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 559 0 0 0 9 0 0 0 18 0 1 0 280268362 4722688 525 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 1153 525 305 324 0 223 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4612 [startup+0.301635 s] /proc/loadavg: 1.00 1.00 1.00 3/64 24210 /proc/meminfo: memFree=1843396/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=4612 CPUtime=0.29 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 559 0 0 0 29 0 0 0 19 0 1 0 280268362 4722688 525 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 1153 525 305 324 0 223 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4612 [startup+0.702679 s] /proc/loadavg: 1.00 1.00 1.00 3/64 24210 /proc/meminfo: memFree=1843396/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=6820 CPUtime=0.69 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 1129 0 0 0 68 1 0 0 22 0 1 0 280268362 6983680 1095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 1705 1095 311 324 0 775 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6820 [startup+1.50176 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1838204/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=11116 CPUtime=1.49 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 2188 0 0 0 148 1 0 0 25 0 1 0 280268362 11382784 2154 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 2779 2154 311 324 0 1849 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11116 [startup+3.10193 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1833724/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=15776 CPUtime=3.09 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 3365 0 0 0 307 2 0 0 25 0 1 0 280268362 16154624 3331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 3944 3331 311 324 0 3014 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15776 [startup+6.30127 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1826684/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=21356 CPUtime=6.29 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 4758 0 0 0 626 3 0 0 25 0 1 0 280268362 21868544 4724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551544 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 5339 4724 311 324 0 4409 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21356 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1817916/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=29620 CPUtime=12.68 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 6810 0 0 0 1263 5 0 0 25 0 1 0 280268362 30330880 6776 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 7405 6776 311 324 0 6475 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29620 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1807292/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=39456 CPUtime=25.48 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 9303 0 0 0 2540 8 0 0 25 0 1 0 280268362 40402944 9230 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 9864 9230 311 324 0 8934 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39456 [startup+51.102 s] /proc/loadavg: 1.07 1.02 1.00 2/65 24211 /proc/meminfo: memFree=1807228/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=39456 CPUtime=51.07 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 9356 0 0 0 5099 8 0 0 25 0 1 0 280268362 40402944 9248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 9864 9248 311 324 0 8934 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39456 [startup+102.305 s] /proc/loadavg: 1.10 1.03 1.00 2/65 24211 /proc/meminfo: memFree=1802492/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=44248 CPUtime=102.26 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 10584 0 0 0 10217 9 0 0 25 0 1 0 280268362 45309952 10434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 11062 10434 311 324 0 10132 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 44248 [startup+162.302 s] /proc/loadavg: 1.10 1.04 1.00 2/65 24211 /proc/meminfo: memFree=1796028/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=51228 CPUtime=162.24 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 12390 0 0 0 16212 12 0 0 25 0 1 0 280268362 52457472 12194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 12807 12194 311 324 0 11877 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 51228 [startup+222.301 s] /proc/loadavg: 1.10 1.04 1.00 2/65 24211 /proc/meminfo: memFree=1790204/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=56656 CPUtime=222.22 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 13785 0 0 0 22208 14 0 0 25 0 1 0 280268362 58015744 13539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 14164 13539 311 324 0 13234 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 56656 [startup+282.301 s] /proc/loadavg: 1.09 1.05 1.00 2/65 24211 /proc/meminfo: memFree=1786812/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=59756 CPUtime=282.21 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 14631 0 0 0 28206 15 0 0 25 0 1 0 280268362 61190144 14330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 14939 14330 311 324 0 14009 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 59756 [startup+342.302 s] /proc/loadavg: 1.08 1.05 1.00 2/65 24211 /proc/meminfo: memFree=1785020/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=61556 CPUtime=342.18 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 15129 0 0 0 34203 15 0 0 25 0 1 0 280268362 63033344 14773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 15389 14773 311 324 0 14459 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 61556 [startup+402.302 s] /proc/loadavg: 1.03 1.04 1.00 2/65 24211 /proc/meminfo: memFree=1775612/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=70984 CPUtime=402.17 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 17536 0 0 0 40199 18 0 0 25 0 1 0 280268362 72687616 17119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 17746 17119 311 324 0 16816 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 70984 [startup+462.301 s] /proc/loadavg: 1.01 1.03 1.00 2/65 24211 /proc/meminfo: memFree=1775612/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=70984 CPUtime=462.15 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 17536 0 0 0 46197 18 0 0 25 0 1 0 280268362 72687616 17119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 17746 17119 311 324 0 16816 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 70984 [startup+522.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 24211 /proc/meminfo: memFree=1775548/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=70984 CPUtime=522.13 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 17597 0 0 0 52195 18 0 0 25 0 1 0 280268362 72687616 17119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 17746 17119 311 324 0 16816 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 70984 [startup+582.303 s] /proc/loadavg: 1.00 1.02 1.00 2/65 24211 /proc/meminfo: memFree=1775548/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=70984 CPUtime=582.11 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 17597 0 0 0 58193 18 0 0 25 0 1 0 280268362 72687616 17119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 17746 17119 311 324 0 16816 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 70984 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 24211 /proc/meminfo: memFree=1772476/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=73960 CPUtime=642.11 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 18425 0 0 0 64191 20 0 0 25 0 1 0 280268362 75735040 17880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 18490 17880 311 324 0 17560 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 73960 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1769468/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=77064 CPUtime=822.05 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 19249 0 0 0 82184 21 0 0 25 0 1 0 280268362 78913536 18637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 19266 18637 311 324 0 18336 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 77064 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1768316/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=78220 CPUtime=882.03 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 19600 0 0 0 88182 21 0 0 25 0 1 0 280268362 80097280 18921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 19555 18921 311 324 0 18625 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 78220 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1768380/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=78220 CPUtime=942.02 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 19600 0 0 0 94180 22 0 0 25 0 1 0 280268362 80097280 18921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 19555 18921 311 324 0 18625 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 78220 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1764668/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=81876 CPUtime=1002 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 20585 0 0 0 100177 23 0 0 25 0 1 0 280268362 83841024 19833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20469 19833 311 324 0 19539 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 81876 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1764732/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=81876 CPUtime=1061.98 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 20585 0 0 0 106175 23 0 0 25 0 1 0 280268362 83841024 19833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20469 19833 311 324 0 19539 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 81876 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1764668/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=81876 CPUtime=1121.96 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 20658 0 0 0 112173 23 0 0 25 0 1 0 280268362 83841024 19833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20469 19833 311 324 0 19539 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 81876 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1764668/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=81868 CPUtime=1181.94 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 20658 0 0 0 118171 23 0 0 25 0 1 0 280268362 83832832 19833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20467 19833 311 324 0 19537 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 81868 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1764668/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=81868 CPUtime=1241.93 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 20658 0 0 0 124170 23 0 0 25 0 1 0 280268362 83832832 19833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20467 19833 311 324 0 19537 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 81868 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1764604/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=81868 CPUtime=1301.92 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 20731 0 0 0 130169 23 0 0 25 0 1 0 280268362 83832832 19833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20467 19833 311 324 0 19537 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 81868 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1764668/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=81868 CPUtime=1361.89 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 20731 0 0 0 136166 23 0 0 25 0 1 0 280268362 83832832 19833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20467 19833 311 324 0 19537 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 81868 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1764604/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=81856 CPUtime=1421.88 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 20804 0 0 0 142165 23 0 0 25 0 1 0 280268362 83820544 19833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20464 19833 311 324 0 19534 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 81856 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1764604/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=81856 CPUtime=1481.87 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 20804 0 0 0 148163 24 0 0 25 0 1 0 280268362 83820544 19833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20464 19833 311 324 0 19534 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 81856 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1762684/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=83772 CPUtime=1541.84 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 21352 0 0 0 154160 24 0 0 25 0 1 0 280268362 85782528 20308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20943 20308 311 324 0 20013 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 83772 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1762684/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=83772 CPUtime=1601.83 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 21397 0 0 0 160158 25 0 0 25 0 1 0 280268362 85782528 20308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20943 20308 311 324 0 20013 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 83772 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1762684/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=83772 CPUtime=1661.81 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 21397 0 0 0 166156 25 0 0 25 0 1 0 280268362 85782528 20308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20943 20308 311 324 0 20013 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 83772 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1762684/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=83768 CPUtime=1721.79 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 21397 0 0 0 172154 25 0 0 25 0 1 0 280268362 85778432 20308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20942 20308 311 324 0 20012 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 83768 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1762684/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=83768 CPUtime=1781.78 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 21397 0 0 0 178153 25 0 0 25 0 1 0 280268362 85778432 20308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20942 20308 311 324 0 20012 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 83768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24211 /proc/meminfo: memFree=1762684/2055920 swapFree=4182916/4192956 [pid=24210] ppid=24208 vsize=83764 CPUtime=1800.08 /proc/24210/stat : 24210 (bsolo3.0.17) R 24208 24210 32077 0 -1 4194304 21397 0 0 0 179983 25 0 0 25 0 1 0 280268362 85774336 20308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24210/statm: 20941 20308 311 324 0 20011 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 83764 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.1 CPU user time (s): 1799.83 CPU system time (s): 0.271958 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 83772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.83 system time used= 0.271958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21401 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= 3052 runsolver used 1.42378 second user time and 3.50047 second system time The end
Begin job on node63 on Tue May 1 18:06:24 UTC 2007 IDJOB= 455406 IDBENCH= 48261 IDSOLVER= 199 FILE ID= node63/455406-1178042784 PBS_JOBID= 4728429 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455406-1178042784/instance-455406-1178042784.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-455406-1178042784 -o ROOT/results/node63/solver-455406-1178042784 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455406-1178042784/instance-455406-1178042784.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24 RANDOM SEED= 419750906 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: 1843740 kB Buffers: 68644 kB Cached: 66388 kB SwapCached: 3620 kB Active: 101940 kB Inactive: 48648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843740 kB SwapTotal: 4192956 kB SwapFree: 4182916 kB Dirty: 6588 kB Writeback: 0 kB Mapped: 20752 kB Slab: 47484 kB Committed_AS: 5870024 kB PageTables: 1468 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 Tue May 1 18:36:27 UTC 2007