Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 3 | 1800.06 | 1801.01 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb |
MD5SUM | 773aedb43187ca11a13e2d0d2a59ebe9 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.164974 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 135 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 405 |
Sum of products size (including duplicates) | 810 |
Number of different products | 405 |
Sum of products size | 810 |
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/452984-1178006254/instance-452984-1178006254.opb 0.00/0.00 c File size is 7079 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117 0.00/0.00 c Obj. Vars: 9 (1.66667 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 540 826 3456 4 2973 4616 0 0 0.01 0.00/0.01 c Switching off LPR mode. 148.85/148.90 c 100 540 926 11196 12 3100 5078 100 5555 0.02 148.85/148.90 c 251 540 1077 23572 21 3383 5586 251 7843 0.03 148.85/148.90 c 477 540 1303 42685 32 3867 6145 477 9734 0.05 148.85/148.90 c 815 540 1641 71525 43 4522 6760 815 10187 0.08 148.85/148.90 c 1323 540 2149 112526 52 5536 7437 1323 9517 0.14 148.85/148.90 c 2086 540 2912 170447 58 7059 8181 2086 8023 0.26 148.85/148.90 c 3232 540 4058 268355 66 9378 9000 3232 8460 0.38 148.85/148.90 c 4954 540 5780 406839 70 12755 9901 4954 6527 0.76 148.85/148.90 c 7538 540 8364 637400 76 17970 10892 7538 5780 1.30 148.85/148.90 c 11417 540 6391 465238 72 13985 11982 5565 3808 3.00 148.85/148.90 c 17240 540 12214 965827 79 25634 13181 11388 3393 5.08 148.85/148.90 c 25978 540 7418 591549 79 15991 14500 6592 2630 9.88 148.85/148.90 c 39088 540 12904 1041828 80 26979 15951 12078 2342 16.69 148.85/148.90 c 58759 540 15856 1269067 80 32880 17547 15030 2340 25.10 148.85/148.90 c 88269 540 17836 1393884 78 36740 19302 17010 1761 50.10 148.85/148.90 c 132539 540 12072 921386 76 25302 21233 11246 1464 90.47 148.85/148.90 c 198950 540 12637 1016300 80 26425 23357 11811 1338 148.68 148.85/148.90 o 5 148.86 280.97/281.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 280.97/281.13 c 200016 540 13704 1108792 80 28633 4634 12878 1343 148.86 280.97/281.13 c 200117 520 3245 209521 64 7731 5098 2419 1343 149.00 280.97/281.13 c 200367 520 3495 228603 65 8204 5608 2669 1344 149.02 280.97/281.13 c 200843 520 3971 266598 67 9134 6169 3145 1347 149.08 280.97/281.13 c 201656 520 4784 327204 68 10754 6786 3958 1351 149.24 280.97/281.13 c 202977 520 6105 428665 70 13402 7465 5279 1357 149.56 280.97/281.13 c 205059 520 8187 589231 71 17584 8212 7361 1364 150.30 280.97/281.13 c 208284 520 7007 497548 71 15258 9034 6181 1374 151.49 280.97/281.13 c 213220 510 6916 518326 74 15045 9938 6090 1393 153.03 280.97/281.13 c 220727 510 9348 660313 70 19905 10932 8522 1415 155.92 280.97/281.13 c 232089 500 9416 651845 69 20067 12026 8590 1438 161.29 280.97/281.13 c 249233 500 8183 542382 66 17589 13229 7357 1448 172.06 280.97/281.13 c 275052 488 12921 914343 70 26956 14552 12095 1475 186.39 280.97/281.13 c 313884 488 13452 1069649 79 28014 16008 12626 1462 214.64 280.97/281.13 c 372237 474 13051 942579 72 27294 17609 12225 1403 265.17 280.97/281.13 o 3 281.019 1800.04/1801.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1801.00 c 403606 474 16936 1439267 84 34986 4622 16110 1436 281.02 1800.04/1801.00 c 403706 451 3245 216074 66 7686 5085 2419 1435 281.23 1800.04/1801.00 c 403956 451 3495 236025 67 8164 5594 2669 1436 281.26 1800.04/1801.00 c 404431 451 3970 278426 70 9124 6154 3144 1437 281.31 1800.04/1801.00 c 405244 451 4783 343811 71 10704 6770 3957 1439 281.44 1800.04/1801.00 c 406564 451 6103 447866 73 13358 7448 5277 1443 281.74 1800.04/1801.00 c 408649 451 8188 609418 74 17485 8193 7362 1446 282.47 1800.04/1801.00 c 411873 451 7145 487893 68 15389 9013 6319 1450 283.99 1800.04/1801.00 c 416810 451 7298 543920 74 15712 9915 6472 1462 285.02 1800.04/1801.00 c 424319 451 9358 696966 74 19909 10907 8532 1475 287.57 1800.04/1801.00 c 435681 451 9503 656094 69 20199 11998 8677 1480 294.34 1800.04/1801.00 c 452826 451 8215 541935 65 17598 13198 7389 1486 304.71 1800.04/1801.00 c 478645 451 13156 1050191 79 27477 14518 12330 1496 319.79 1800.04/1801.00 c 517477 451 14697 1027039 69 30446 15970 13871 1510 342.61 1800.04/1801.00 c 575830 451 16109 1135252 70 33255 17568 15283 1491 386.04 1800.04/1801.00 c 663462 451 12242 921263 75 25617 19325 11416 1408 470.94 1800.04/1801.00 c 795015 450 15411 1237938 80 32060 21258 14585 1302 610.30 1800.04/1801.00 c 992448 449 16989 1210545 71 35160 23384 16163 1196 829.37 1800.04/1801.00 c 1288700 449 23592 1810841 76 48394 25723 22766 1096 1175.35 1800.04/1801.00 c 1733183 449 19183 1532891 79 39504 28296 18357 996 1738.70 1800.04/1801.00 c Caught signal: 15 1800.04/1801.00 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 x30 -x31 -x32 1800.04/1801.00 v x33 -x34 -x35 -x36 x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 x46 x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 1800.04/1801.00 v x61 -x62 -x63 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x64 -x65 x66 -x67 -x68 -x69 x70 x71 -x72 x100 -x101 -x102 -x103 x104 1800.04/1801.00 v x105 -x106 -x107 -x108 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x109 x110 x111 x112 -x113 -x114 -x115 -x116 -x117 x82 x83 -x84 1800.04/1801.00 v x85 -x86 -x87 x88 -x89 -x90 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 x131 -x132 -x133 -x134 1800.04/1801.00 v -x135 1800.04/1801.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1801.00 c 52 1787130 8725 1819710 20264 1627362 19438 992 1800.06 1800.04/1801.00 c Objective: 3 1800.04/1801.00 s SATISFIABLE 1800.04/1801.00 c Total time: 1800.06 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-452984-1178006254 -o ROOT/results/node34/solver-452984-1178006254 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452984-1178006254/instance-452984-1178006254.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 12032 /proc/meminfo: memFree=1773200/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=3932 CPUtime=0 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 248540802 4026368 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12032/statm: 983 348 290 324 0 51 0 [startup+0.0246769 s] /proc/loadavg: 0.92 0.98 0.99 3/77 12032 /proc/meminfo: memFree=1773200/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=4324 CPUtime=0.01 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 493 0 0 0 1 0 0 0 18 0 1 0 248540802 4427776 461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12032/statm: 1081 461 310 324 0 151 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4324 [startup+0.101682 s] /proc/loadavg: 0.92 0.98 0.99 3/77 12032 /proc/meminfo: memFree=1773200/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=5356 CPUtime=0.09 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 743 0 0 0 9 0 0 0 18 0 1 0 248540802 5484544 711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12032/statm: 1339 711 310 324 0 409 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5356 [startup+0.301698 s] /proc/loadavg: 0.92 0.98 0.99 3/77 12032 /proc/meminfo: memFree=1773200/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=6776 CPUtime=0.29 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 1107 0 0 0 29 0 0 0 19 0 1 0 248540802 6938624 1075 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12032/statm: 1694 1075 310 324 0 764 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6776 [startup+0.701729 s] /proc/loadavg: 0.92 0.98 0.99 3/77 12032 /proc/meminfo: memFree=1773200/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=9496 CPUtime=0.69 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 1795 0 0 0 69 0 0 0 23 0 1 0 248540802 9723904 1763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12032/statm: 2374 1763 310 324 0 1444 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9496 [startup+1.5018 s] /proc/loadavg: 0.92 0.98 0.99 2/78 12033 /proc/meminfo: memFree=1765448/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=13752 CPUtime=1.49 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 2841 0 0 0 148 1 0 0 25 0 1 0 248540802 14082048 2809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 3438 2809 310 324 0 2508 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13752 [startup+3.10192 s] /proc/loadavg: 0.92 0.98 0.99 2/78 12033 /proc/meminfo: memFree=1761608/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=17356 CPUtime=3.09 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 3760 0 0 0 307 2 0 0 25 0 1 0 248540802 17772544 3728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12032/statm: 4339 3728 310 324 0 3409 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17356 [startup+6.30117 s] /proc/loadavg: 0.93 0.98 0.99 2/78 12033 /proc/meminfo: memFree=1757704/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=20448 CPUtime=6.28 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 4520 0 0 0 626 2 0 0 25 0 1 0 248540802 20938752 4488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8162980 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12032/statm: 5112 4488 310 324 0 4182 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20448 [startup+12.7027 s] /proc/loadavg: 0.93 0.98 0.99 2/78 12033 /proc/meminfo: memFree=1756048/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=21220 CPUtime=12.68 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 4729 0 0 0 1266 2 0 0 25 0 1 0 248540802 21729280 4697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12032/statm: 5305 4697 310 324 0 4375 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21220 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 12033 /proc/meminfo: memFree=1752528/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=24180 CPUtime=25.48 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 5453 0 0 0 2545 3 0 0 25 0 1 0 248540802 24760320 5421 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12032/statm: 6045 5421 310 324 0 5115 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24180 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.99 2/78 12033 /proc/meminfo: memFree=1750224/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=27196 CPUtime=51.07 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 6210 0 0 0 5104 3 0 0 25 0 1 0 248540802 27848704 6178 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12032/statm: 6799 6178 310 324 0 5869 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27196 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 12033 /proc/meminfo: memFree=1747216/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=29556 CPUtime=102.26 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 6802 0 0 0 10222 4 0 0 25 0 1 0 248540802 30265344 6770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12032/statm: 7389 6770 310 324 0 6459 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29556 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12033 /proc/meminfo: memFree=1745296/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31336 CPUtime=162.24 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7290 0 0 0 16219 5 0 0 25 0 1 0 248540802 32088064 7227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12032/statm: 7834 7227 311 324 0 6904 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 31336 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/84 12115 /proc/meminfo: memFree=1744216/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31116 CPUtime=222.21 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7290 0 0 0 22212 9 0 0 25 0 1 0 248540802 31862784 7172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7779 7172 311 324 0 6849 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 31116 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1745296/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31108 CPUtime=282.17 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7290 0 0 0 28200 17 0 0 25 0 1 0 248540802 31854592 7170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8163073 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7777 7170 311 324 0 6847 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 31108 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1745296/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31108 CPUtime=342.14 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7290 0 0 0 34197 17 0 0 25 0 1 0 248540802 31854592 7170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572736 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7777 7170 311 324 0 6847 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 31108 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1745296/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31108 CPUtime=402.11 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7290 0 0 0 40194 17 0 0 25 0 1 0 248540802 31854592 7170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7777 7170 311 324 0 6847 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 31108 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1745360/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31108 CPUtime=462.07 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7290 0 0 0 46190 17 0 0 25 0 1 0 248540802 31854592 7170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7777 7170 311 324 0 6847 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 31108 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1745360/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31108 CPUtime=522.05 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7290 0 0 0 52187 18 0 0 25 0 1 0 248540802 31854592 7170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7777 7170 311 324 0 6847 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 31108 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1745360/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31108 CPUtime=582.03 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7290 0 0 0 58185 18 0 0 25 0 1 0 248540802 31854592 7170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8163045 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7777 7170 311 324 0 6847 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 31108 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1745360/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31108 CPUtime=642 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7290 0 0 0 64182 18 0 0 25 0 1 0 248540802 31854592 7170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7777 7170 311 324 0 6847 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 31108 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1745296/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31112 CPUtime=821.88 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7291 0 0 0 82170 18 0 0 25 0 1 0 248540802 31858688 7171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8162950 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7778 7171 311 324 0 6848 0 Current children cumulated CPU time (s) 821.88 Current children cumulated vsize (KiB) 31112 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1744912/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31720 CPUtime=881.85 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7443 0 0 0 88167 18 0 0 25 0 1 0 248540802 32481280 7323 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7930 7323 311 324 0 7000 0 Current children cumulated CPU time (s) 881.85 Current children cumulated vsize (KiB) 31720 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1744912/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31720 CPUtime=941.83 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7443 0 0 0 94164 19 0 0 25 0 1 0 248540802 32481280 7323 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7930 7323 311 324 0 7000 0 Current children cumulated CPU time (s) 941.83 Current children cumulated vsize (KiB) 31720 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1744912/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31780 CPUtime=1001.79 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7449 0 0 0 100160 19 0 0 25 0 1 0 248540802 32542720 7329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7945 7329 311 324 0 7015 0 Current children cumulated CPU time (s) 1001.79 Current children cumulated vsize (KiB) 31780 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1744912/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31756 CPUtime=1061.76 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7449 0 0 0 106157 19 0 0 25 0 1 0 248540802 32518144 7329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7939 7329 311 324 0 7009 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 31756 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1744848/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=31800 CPUtime=1121.73 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7461 0 0 0 112154 19 0 0 25 0 1 0 248540802 32563200 7341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 7950 7341 311 324 0 7020 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 31800 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1743056/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=33680 CPUtime=1181.69 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7929 0 0 0 118150 19 0 0 25 0 1 0 248540802 34488320 7806 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 8420 7806 311 324 0 7490 0 Current children cumulated CPU time (s) 1181.69 Current children cumulated vsize (KiB) 33680 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12231 /proc/meminfo: memFree=1742992/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=33668 CPUtime=1241.65 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 7929 0 0 0 124146 19 0 0 25 0 1 0 248540802 34476032 7806 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 8417 7806 311 324 0 7487 0 Current children cumulated CPU time (s) 1241.65 Current children cumulated vsize (KiB) 33668 [startup+1302.3 s] /proc/loadavg: 1.06 1.00 1.00 2/78 12231 /proc/meminfo: memFree=1741968/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=34624 CPUtime=1301.62 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 8180 0 0 0 130143 19 0 0 25 0 1 0 248540802 35454976 8049 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 8656 8049 311 324 0 7726 0 Current children cumulated CPU time (s) 1301.62 Current children cumulated vsize (KiB) 34624 [startup+1362.3 s] /proc/loadavg: 1.08 1.01 1.00 2/78 12231 /proc/meminfo: memFree=1741968/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=34624 CPUtime=1361.59 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 8180 0 0 0 136139 20 0 0 25 0 1 0 248540802 35454976 8049 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551501 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 8656 8049 311 324 0 7726 0 Current children cumulated CPU time (s) 1361.59 Current children cumulated vsize (KiB) 34624 [startup+1422.31 s] /proc/loadavg: 1.03 1.01 1.00 2/78 12231 /proc/meminfo: memFree=1741968/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=34616 CPUtime=1421.56 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 8180 0 0 0 142136 20 0 0 25 0 1 0 248540802 35446784 8047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 8654 8047 311 324 0 7724 0 Current children cumulated CPU time (s) 1421.56 Current children cumulated vsize (KiB) 34616 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 12231 /proc/meminfo: memFree=1740560/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=36000 CPUtime=1481.52 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 8520 0 0 0 148132 20 0 0 25 0 1 0 248540802 36864000 8387 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 9000 8387 311 324 0 8070 0 Current children cumulated CPU time (s) 1481.52 Current children cumulated vsize (KiB) 36000 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12231 /proc/meminfo: memFree=1740496/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=35984 CPUtime=1541.49 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 8520 0 0 0 154129 20 0 0 25 0 1 0 248540802 36847616 8387 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 8996 8387 311 324 0 8066 0 Current children cumulated CPU time (s) 1541.49 Current children cumulated vsize (KiB) 35984 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12231 /proc/meminfo: memFree=1740496/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=35956 CPUtime=1601.45 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 8520 0 0 0 160124 21 0 0 25 0 1 0 248540802 36818944 8382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 8989 8382 311 324 0 8059 0 Current children cumulated CPU time (s) 1601.45 Current children cumulated vsize (KiB) 35956 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12231 /proc/meminfo: memFree=1740496/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=35944 CPUtime=1661.42 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 8520 0 0 0 166121 21 0 0 25 0 1 0 248540802 36806656 8379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 8986 8379 311 324 0 8056 0 Current children cumulated CPU time (s) 1661.42 Current children cumulated vsize (KiB) 35944 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12231 /proc/meminfo: memFree=1740432/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=35932 CPUtime=1721.38 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 8520 0 0 0 172117 21 0 0 25 0 1 0 248540802 36794368 8376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 8983 8376 311 324 0 8053 0 Current children cumulated CPU time (s) 1721.38 Current children cumulated vsize (KiB) 35932 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12231 /proc/meminfo: memFree=1738512/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=37992 CPUtime=1781.35 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 9030 0 0 0 178113 22 0 0 25 0 1 0 248540802 38903808 8886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 9498 8886 311 324 0 8568 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (KiB) 37992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12231 /proc/meminfo: memFree=1738512/2055920 swapFree=4159588/4192956 [pid=12032] ppid=12030 vsize=37992 CPUtime=1800.04 /proc/12032/stat : 12032 (bsolo3.0.17) R 12030 12032 11899 0 -1 4194304 9030 0 0 0 179982 22 0 0 25 0 1 0 248540802 38903808 8886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12032/statm: 9498 8886 311 324 0 8568 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 37992 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): 1801.01 CPU time (s): 1800.06 CPU user time (s): 1799.83 CPU system time (s): 0.234964 CPU usage (%): 99.9472 Max. virtual memory (cumulated for all children) (KiB): 37992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.83 system time used= 0.234964 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9034 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= 41036 runsolver used 1.63075 second user time and 4.78927 second system time The end
Begin job on node34 on Tue May 1 07:57:34 UTC 2007 IDJOB= 452984 IDBENCH= 48051 IDSOLVER= 199 FILE ID= node34/452984-1178006254 PBS_JOBID= 4728264 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452984-1178006254/instance-452984-1178006254.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-452984-1178006254 -o ROOT/results/node34/solver-452984-1178006254 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452984-1178006254/instance-452984-1178006254.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 773aedb43187ca11a13e2d0d2a59ebe9 RANDOM SEED= 318648695 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.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.236 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.236 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: 1773672 kB Buffers: 34760 kB Cached: 158824 kB SwapCached: 3140 kB Active: 103964 kB Inactive: 113676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1773672 kB SwapTotal: 4192956 kB SwapFree: 4159588 kB Dirty: 6612 kB Writeback: 0 kB Mapped: 30688 kB Slab: 49944 kB Committed_AS: 1822560 kB PageTables: 1980 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 node34 on Tue May 1 08:27:37 UTC 2007