Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -11 | 1800.06 | 1800.52 |
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.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455400-1178042738/instance-455400-1178042738.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.41 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.412 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.413 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.415 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 0 1312 2579 8934 3 7486 14453 3 0 0.41 0.39/0.42 o -4 0.416 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 0 1312 2580 8984 3 7492 14536 4 0 0.42 0.39/0.42 o -5 0.418 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 0 1312 2581 9034 3 7499 14636 5 0 0.42 0.39/0.42 o -6 0.42 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 11 1312 2593 9698 3 7529 14653 17 26 0.42 0.39/0.44 c 111 1312 2693 15851 5 7729 16119 117 255 0.43 0.39/0.44 o -7 0.438 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 164 1312 2747 18740 6 7844 14669 171 374 0.44 0.49/0.59 c 264 1312 2847 25075 8 8044 16136 271 585 0.45 0.49/0.59 c 514 1312 3097 40783 13 8544 17750 521 1084 0.47 0.49/0.59 c 989 1312 3572 70819 19 9494 19526 996 1866 0.53 0.49/0.59 o -8 0.593 30.78/30.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.78/30.89 c 1583 1312 4167 107830 25 10692 14686 1591 2664 0.59 30.78/30.89 c 1683 1312 4267 112844 26 10892 16155 1691 2777 0.61 30.78/30.89 c 1933 1312 4517 127529 28 11392 17771 1941 3015 0.64 30.78/30.89 c 2408 1312 4992 154914 31 12342 19549 2416 3425 0.70 30.78/30.89 c 3221 1312 5805 201653 34 13968 21504 3229 4021 0.80 30.78/30.89 c 4542 1312 7126 273592 38 16610 23655 4550 4756 0.95 30.78/30.89 c 6623 1312 9207 383911 41 20772 26021 6631 5126 1.29 30.78/30.89 c 9846 1312 12430 570499 45 27218 28624 9854 4798 2.05 30.78/30.89 c 14782 1312 17366 878468 50 37090 31487 14790 3824 3.87 30.78/30.89 c 22288 1312 24872 1343425 54 52102 34636 22296 2721 8.19 30.78/30.89 c 33649 1312 36233 2029617 56 74824 38100 33657 1932 17.41 30.78/30.89 o -9 30.887 1583.68/1584.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1583.68/1584.12 c 46422 1312 21003 1116477 53 44345 14469 18427 1502 30.89 1583.68/1584.12 c 46524 1312 9914 448199 45 22159 15916 7338 1470 31.63 1583.68/1584.12 c 46774 1312 10164 466600 45 22659 17508 7588 1475 31.70 1583.68/1584.12 c 47249 1312 10639 493383 46 23609 19259 8063 1484 31.84 1583.68/1584.12 c 48062 1312 11452 538065 46 25235 21185 8876 1497 32.09 1583.68/1584.12 c 49382 1312 12772 613372 48 27875 23304 10196 1518 32.51 1583.68/1584.12 c 51464 1312 14854 734470 49 32039 25635 12278 1544 33.33 1583.68/1584.12 c 54687 1312 18077 917013 50 38485 28199 15501 1582 34.55 1583.68/1584.12 c 59623 1312 23013 1214354 52 48357 31019 20437 1604 37.17 1583.68/1584.12 c 67129 1312 30519 1662177 54 63369 34121 27943 1563 42.94 1583.68/1584.12 c 78490 1312 17810 951417 53 37951 37534 15234 1449 54.14 1583.68/1584.12 c 95634 1312 34954 2091087 59 72239 41288 32378 1392 68.69 1583.68/1584.12 c 121453 1312 29710 1776235 59 61751 45417 27134 1247 97.33 1583.68/1584.12 c 160285 1312 33465 2025507 60 69261 49959 30889 1139 140.65 1583.68/1584.12 c 218637 1312 52282 3438224 65 106895 54955 49706 1007 217.02 1583.68/1584.12 c 306269 1312 51095 3747630 73 104521 60451 48519 864 354.25 1583.68/1584.12 c 437821 1312 33236 2327093 70 68803 66497 30660 758 576.89 1583.68/1584.12 c 635254 1312 63298 4501865 71 128927 73147 60722 654 970.57 1583.68/1584.12 c 931506 1312 47721 3426252 71 97773 80462 45145 588 1583.13 1583.68/1584.12 o -10 1583.71 1596.68/1597.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1596.68/1597.18 c 931736 1312 47952 3437888 71 98245 14486 45376 588 1583.71 1596.68/1597.18 c 931836 1312 9920 569158 57 22172 15935 7344 583 1596.61 1596.68/1597.18 c 932086 1312 10170 582439 57 22672 17529 7594 583 1596.71 1596.68/1597.18 o -11 1596.77 1800.03/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.50 c 932213 1312 10298 588949 57 22939 14503 7722 583 1596.77 1800.03/1800.50 c 932313 1312 10398 594650 57 23139 15954 7822 583 1596.81 1800.03/1800.50 c 932563 1312 10648 608196 57 23639 17550 8072 583 1596.88 1800.03/1800.50 c 933038 1312 11123 637306 57 24589 19306 8547 584 1597.02 1800.03/1800.50 c 933851 1312 11936 681032 57 26215 21237 9360 584 1597.28 1800.03/1800.50 c 935171 1312 13256 752750 56 28855 23361 10680 585 1597.69 1800.03/1800.50 c 937252 1312 15337 869704 56 33017 25698 12761 586 1598.63 1800.03/1800.50 c 940475 1312 18560 1065421 57 39463 28268 15984 587 1600.17 1800.03/1800.50 c 945412 1312 23497 1334284 56 49337 31095 20921 589 1603.23 1800.03/1800.50 c 952919 1312 31004 1763670 56 64351 34205 28428 592 1608.65 1800.03/1800.50 c 964280 1312 18222 927790 50 38777 37626 15646 592 1626.12 1800.03/1800.50 c 981424 1312 35366 2010881 56 73065 41389 32790 597 1641.39 1800.03/1800.50 c 1007243 1312 30027 1679116 55 62387 45528 27451 602 1671.62 1800.03/1800.50 c 1046075 1312 33683 1837906 54 69699 50081 31107 612 1708.41 1800.03/1800.50 c 1104427 1312 52445 2975397 56 107223 55090 49869 622 1773.73 1800.03/1800.50 c Caught signal: 15 1800.03/1800.50 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.03/1800.50 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.03/1800.50 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.03/1800.50 v x89 -x93 -x94 -x53 x62 -x91 x72 -x64 -x86 x57 -x81 -x96 x54 -x90 -x69 -x70 -x75 x92 1800.03/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.50 c 59 1110896 384 1119605 33976 1917088 31400 617 1800.04 1800.03/1800.50 c Objective: -11 1800.03/1800.50 s SATISFIABLE 1800.03/1800.50 c Total time: 1800.04 s
OK -11
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-455400-1178042738 -o ROOT/results/node50/solver-455400-1178042738 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455400-1178042738/instance-455400-1178042738.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.85 0.97 0.98 3/64 27888 /proc/meminfo: memFree=1797528/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=19564 CPUtime=0 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 159118964 20033536 344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 2938 345 291 324 0 2003 0 [startup+0.05262 s] /proc/loadavg: 0.85 0.97 0.98 3/64 27888 /proc/meminfo: memFree=1797528/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=4612 CPUtime=0.04 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 562 0 0 0 4 0 0 0 18 0 1 0 159118964 4722688 527 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 1153 527 307 324 0 222 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4612 [startup+0.101623 s] /proc/loadavg: 0.85 0.97 0.98 3/64 27888 /proc/meminfo: memFree=1797528/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=4612 CPUtime=0.09 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 562 0 0 0 9 0 0 0 18 0 1 0 159118964 4722688 527 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 1153 527 307 324 0 222 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4612 [startup+0.301642 s] /proc/loadavg: 0.85 0.97 0.98 3/64 27888 /proc/meminfo: memFree=1797528/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=4612 CPUtime=0.29 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 562 0 0 0 29 0 0 0 19 0 1 0 159118964 4722688 527 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 1153 527 307 324 0 222 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4612 [startup+0.701677 s] /proc/loadavg: 0.85 0.97 0.98 3/64 27888 /proc/meminfo: memFree=1797528/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=6692 CPUtime=0.69 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 1103 0 0 0 68 1 0 0 23 0 1 0 159118964 6852608 1068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 1673 1068 313 324 0 742 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6692 [startup+1.50175 s] /proc/loadavg: 0.85 0.97 0.98 2/65 27889 /proc/meminfo: memFree=1792464/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=10980 CPUtime=1.49 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 2169 0 0 0 147 2 0 0 25 0 1 0 159118964 11243520 2134 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 2745 2134 313 324 0 1814 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10980 [startup+3.10189 s] /proc/loadavg: 0.85 0.97 0.98 2/65 27889 /proc/meminfo: memFree=1787984/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=15776 CPUtime=3.09 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 3349 0 0 0 306 3 0 0 25 0 1 0 159118964 16154624 3314 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 3944 3314 313 324 0 3013 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15776 [startup+6.30117 s] /proc/loadavg: 0.86 0.97 0.98 2/65 27889 /proc/meminfo: memFree=1780944/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=21356 CPUtime=6.29 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 4742 0 0 0 625 4 0 0 25 0 1 0 159118964 21868544 4707 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 5339 4707 313 324 0 4408 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21356 [startup+12.7017 s] /proc/loadavg: 0.87 0.97 0.98 2/65 27889 /proc/meminfo: memFree=1772120/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=29492 CPUtime=12.69 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 6799 0 0 0 1262 7 0 0 25 0 1 0 159118964 30199808 6764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551623 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 7373 6764 313 324 0 6442 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29492 [startup+25.5019 s] /proc/loadavg: 0.90 0.97 0.98 2/65 27889 /proc/meminfo: memFree=1761560/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=39456 CPUtime=25.49 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 9306 0 0 0 2539 10 0 0 25 0 1 0 159118964 40402944 9232 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 9864 9232 313 324 0 8933 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39456 [startup+51.1011 s] /proc/loadavg: 0.93 0.97 0.98 2/65 27889 /proc/meminfo: memFree=1761496/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=39456 CPUtime=51.05 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 9359 0 0 0 5091 14 0 0 25 0 1 0 159118964 40402944 9250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8348996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 9864 9250 313 324 0 8933 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 39456 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.98 2/65 27889 /proc/meminfo: memFree=1756760/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=44248 CPUtime=102.24 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 10587 0 0 0 10204 20 0 0 25 0 1 0 159118964 45309952 10436 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 11062 10436 313 324 0 10131 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 44248 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27889 /proc/meminfo: memFree=1750936/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=50704 CPUtime=162.23 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 12253 0 0 0 16193 30 0 0 25 0 1 0 159118964 51920896 12056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 12676 12056 313 324 0 11745 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 50704 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27889 /proc/meminfo: memFree=1745048/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=56264 CPUtime=222.21 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 13678 0 0 0 22185 36 0 0 25 0 1 0 159118964 57614336 13431 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 14066 13431 313 324 0 13135 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 56264 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1741080/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=59756 CPUtime=282.19 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 14634 0 0 0 28177 42 0 0 25 0 1 0 159118964 61190144 14332 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551623 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 14939 14332 313 324 0 14008 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 59756 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1739288/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=61556 CPUtime=342.18 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 15132 0 0 0 34170 48 0 0 25 0 1 0 159118964 63033344 14775 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 15389 14775 313 324 0 14458 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 61556 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1729880/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=70984 CPUtime=402.16 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 17539 0 0 0 40161 55 0 0 25 0 1 0 159118964 72687616 17121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 17746 17121 313 324 0 16815 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 70984 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1729944/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=70984 CPUtime=462.15 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 17539 0 0 0 46152 63 0 0 25 0 1 0 159118964 72687616 17121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 17746 17121 313 324 0 16815 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 70984 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1729944/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=70984 CPUtime=522.14 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 17600 0 0 0 52145 69 0 0 25 0 1 0 159118964 72687616 17121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 17746 17121 313 324 0 16815 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 70984 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1730008/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=70984 CPUtime=582.12 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 17600 0 0 0 58138 74 0 0 25 0 1 0 159118964 72687616 17121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 17746 17121 313 324 0 16815 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 70984 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1726872/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=73960 CPUtime=642.11 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 18428 0 0 0 64131 80 0 0 25 0 1 0 159118964 75735040 17882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 18490 17882 313 324 0 17559 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 73960 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1722712/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=78220 CPUtime=882.05 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 19603 0 0 0 88104 101 0 0 25 0 1 0 159118964 80097280 18923 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 19555 18923 313 324 0 18624 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 78220 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1722712/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=78220 CPUtime=942.03 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 19603 0 0 0 94097 106 0 0 25 0 1 0 159118964 80097280 18923 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551220 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 19555 18923 313 324 0 18624 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 78220 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1719064/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=81876 CPUtime=1002.02 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20588 0 0 0 100090 112 0 0 25 0 1 0 159118964 83841024 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20469 19835 313 324 0 19538 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 81876 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1719064/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=81876 CPUtime=1062.01 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20588 0 0 0 106084 117 0 0 25 0 1 0 159118964 83841024 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20469 19835 313 324 0 19538 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 81876 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1719000/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=81876 CPUtime=1121.99 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20661 0 0 0 112077 122 0 0 25 0 1 0 159118964 83841024 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20469 19835 313 324 0 19538 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 81876 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1719000/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=81868 CPUtime=1181.98 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20661 0 0 0 118072 126 0 0 25 0 1 0 159118964 83832832 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20467 19835 313 324 0 19536 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 81868 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1719064/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=81868 CPUtime=1241.97 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20661 0 0 0 124065 132 0 0 25 0 1 0 159118964 83832832 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20467 19835 313 324 0 19536 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 81868 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1719000/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=81868 CPUtime=1301.95 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20734 0 0 0 130059 136 0 0 25 0 1 0 159118964 83832832 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20467 19835 313 324 0 19536 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 81868 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1719000/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=81868 CPUtime=1361.94 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20734 0 0 0 136052 142 0 0 25 0 1 0 159118964 83832832 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20467 19835 313 324 0 19536 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 81868 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1719000/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=81856 CPUtime=1421.93 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20807 0 0 0 142048 145 0 0 25 0 1 0 159118964 83820544 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20464 19835 313 324 0 19533 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 81856 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1719000/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=81856 CPUtime=1481.9 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 20807 0 0 0 148039 151 0 0 25 0 1 0 159118964 83820544 19835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20464 19835 313 324 0 19533 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 81856 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1717080/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=83772 CPUtime=1541.89 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21355 0 0 0 154034 155 0 0 25 0 1 0 159118964 85782528 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20943 20310 313 324 0 20012 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 83772 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1717080/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=83772 CPUtime=1601.87 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21400 0 0 0 160027 160 0 0 25 0 1 0 159118964 85782528 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20943 20310 313 324 0 20012 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 83772 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1717080/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=83772 CPUtime=1661.86 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21400 0 0 0 166020 166 0 0 25 0 1 0 159118964 85782528 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20943 20310 313 324 0 20012 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 83772 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1717080/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=83768 CPUtime=1721.85 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21400 0 0 0 172010 175 0 0 25 0 1 0 159118964 85778432 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20942 20310 313 324 0 20011 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 83768 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1717144/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=83768 CPUtime=1781.84 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21400 0 0 0 178002 182 0 0 25 0 1 0 159118964 85778432 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20942 20310 313 324 0 20011 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 83768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1717144/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=83768 CPUtime=1800.03 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21400 0 0 0 179821 182 0 0 25 0 1 0 159118964 85778432 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20942 20310 313 324 0 20011 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 83768 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: 0.99 0.97 0.98 2/65 27891 /proc/meminfo: memFree=1717144/2055920 swapFree=4183752/4192956 [pid=27888] ppid=27886 vsize=83768 CPUtime=1800.03 /proc/27888/stat : 27888 (bsolo3.0.16) R 27886 27888 26333 0 -1 4194304 21400 0 0 0 179821 182 0 0 25 0 1 0 159118964 85778432 20310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27888/statm: 20942 20310 313 324 0 20011 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 83768 Child status: 15 Real time (s): 1800.52 CPU time (s): 1800.06 CPU user time (s): 1798.22 CPU system time (s): 1.83772 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 83772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.22 system time used= 1.83772 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= 4330 runsolver used 1.49177 second user time and 3.43648 second system time The end
Begin job on node50 on Tue May 1 18:05:38 UTC 2007 IDJOB= 455400 IDBENCH= 48261 IDSOLVER= 163 FILE ID= node50/455400-1178042738 PBS_JOBID= 4728401 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455400-1178042738/instance-455400-1178042738.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-455400-1178042738 -o ROOT/results/node50/solver-455400-1178042738 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455400-1178042738/instance-455400-1178042738.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24 RANDOM SEED= 700510 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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: 1798000 kB Buffers: 79956 kB Cached: 107276 kB SwapCached: 3168 kB Active: 123920 kB Inactive: 75680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1798000 kB SwapTotal: 4192956 kB SwapFree: 4183752 kB Dirty: 6756 kB Writeback: 0 kB Mapped: 16016 kB Slab: 44280 kB Committed_AS: 4830924 kB PageTables: 1464 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 node50 on Tue May 1 18:35:41 UTC 2007