Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 3 | 1800.01 | 1800.65 |
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.09 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.09 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.09 c type "bsolo -h" for help 0.00/0.09 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.09 c Time Limit set to 1800 0.00/0.09 c Memory Limit set to 1800 MB 0.00/0.09 c Instance file /tmp/evaluation/431430-1178006145/instance-431430-1178006145.opb 0.00/0.09 c File size is 7079 bytes. 0.00/0.09 c Highest Coefficient sum: 523264 0.00/0.09 c Parsing was ok!! 0.00/0.09 c Total parsing time: 0.002 s 0.00/0.09 c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117 0.00/0.09 c Obj. Vars: 9 (1.66667 % of total variables) 0.01/0.10 c Pre-processing Time: 0.008 s 0.01/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.10 c 0 540 826 3456 4 2973 4616 0 0 0.01 0.01/0.10 c Switching off LPR mode. 149.46/149.65 c 100 540 926 11196 12 3100 5078 100 5882 0.02 149.46/149.65 c 251 540 1077 23572 21 3383 5586 251 8366 0.03 149.46/149.65 c 477 540 1303 42685 32 3867 6145 477 10148 0.05 149.46/149.65 c 815 540 1641 71525 43 4522 6760 815 10723 0.08 149.46/149.65 c 1323 540 2149 112526 52 5536 7437 1323 10022 0.13 149.46/149.65 c 2086 540 2912 170447 58 7059 8181 2086 8445 0.25 149.46/149.65 c 3232 540 4058 268355 66 9378 9000 3232 8903 0.36 149.46/149.65 c 4954 540 5780 406839 70 12755 9901 4954 6880 0.72 149.46/149.65 c 7538 540 8364 637400 76 17970 10892 7538 5940 1.27 149.46/149.65 c 11417 540 6391 465238 72 13985 11982 5565 3779 3.02 149.46/149.65 c 17240 540 12214 965827 79 25634 13181 11388 3353 5.14 149.46/149.65 c 25978 540 7418 591549 79 15991 14500 6592 2612 9.94 149.46/149.65 c 39088 540 12904 1041828 80 26979 15951 12078 2336 16.73 149.46/149.65 c 58759 540 15856 1269067 80 32880 17547 15030 2326 25.26 149.46/149.65 c 88269 540 17836 1393884 78 36740 19302 17010 1753 50.33 149.46/149.65 c 132539 540 12072 921386 76 25302 21233 11246 1459 90.80 149.46/149.65 c 198950 540 12637 1016300 80 26425 23357 11811 1332 149.34 149.46/149.65 o 5 149.518 285.23/285.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 285.23/285.40 c 200016 540 13704 1108792 80 28633 4634 12878 1337 149.52 285.23/285.40 c 200117 520 3245 209521 64 7731 5098 2419 1337 149.65 285.23/285.40 c 200367 520 3495 228603 65 8204 5608 2669 1338 149.68 285.23/285.40 c 200843 520 3971 266598 67 9134 6169 3145 1341 149.74 285.23/285.40 c 201656 520 4784 327204 68 10754 6786 3958 1345 149.90 285.23/285.40 c 202977 520 6105 428665 70 13402 7465 5279 1351 150.22 285.23/285.40 c 205059 520 8187 589231 71 17584 8212 7361 1358 150.96 285.23/285.40 c 208284 520 7007 497548 71 15258 9034 6181 1369 152.14 285.23/285.40 c 213220 510 6916 518326 74 15045 9938 6090 1387 153.66 285.23/285.40 c 220727 510 9348 660313 70 19905 10932 8522 1409 156.54 285.23/285.40 c 232089 500 9416 651845 69 20067 12026 8590 1432 161.98 285.23/285.40 c 249233 500 8183 542382 66 17589 13229 7357 1442 172.80 285.23/285.40 c 275052 488 12921 914343 70 26956 14552 12095 1469 187.23 285.23/285.40 c 313884 488 13452 1069649 79 28014 16008 12626 1453 215.90 285.23/285.40 c 372237 474 13051 942579 72 27294 17609 12225 1386 268.55 285.23/285.40 o 3 285.236 1799.96/1800.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1800.63 c 403606 474 16936 1439267 84 34986 4622 16110 1414 285.24 1799.96/1800.63 c 403706 451 3245 216074 66 7686 5085 2419 1414 285.47 1799.96/1800.63 c 403956 451 3495 236025 67 8164 5594 2669 1414 285.49 1799.96/1800.63 c 404431 451 3970 278426 70 9124 6154 3144 1416 285.55 1799.96/1800.63 c 405244 451 4783 343811 71 10704 6770 3957 1418 285.69 1799.96/1800.63 c 406564 451 6103 447866 73 13358 7448 5277 1421 286.02 1799.96/1800.63 c 408649 451 8188 609418 74 17485 8193 7362 1424 286.80 1799.96/1800.63 c 411873 451 7145 487893 68 15389 9013 6319 1428 288.41 1799.96/1800.63 c 416810 451 7298 543920 74 15712 9915 6472 1439 289.52 1799.96/1800.63 c 424319 451 9358 696966 74 19909 10907 8532 1451 292.23 1799.96/1800.63 c 435681 451 9503 656094 69 20199 11998 8677 1455 299.38 1799.96/1800.63 c 452826 451 8215 541935 65 17598 13198 7389 1459 310.32 1799.96/1800.63 c 478645 451 13156 1050191 79 27477 14518 12330 1467 326.22 1799.96/1800.63 c 517477 451 14697 1027039 69 30446 15970 13871 1477 350.27 1799.96/1800.63 c 575830 451 16109 1135252 70 33255 17568 15283 1455 395.69 1799.96/1800.63 c 663462 451 12242 921263 75 25617 19325 11416 1370 484.07 1799.96/1800.63 c 795015 450 15411 1237938 80 32060 21258 14585 1263 629.39 1799.96/1800.63 c 992448 449 16989 1210545 71 35160 23384 16163 1157 857.40 1799.96/1800.63 c 1288700 449 23592 1810841 76 48394 25723 22766 1059 1216.88 1799.96/1800.63 c Resources Exceeded 1799.96/1800.63 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 1799.96/1800.63 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 1799.96/1800.63 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 1799.96/1800.63 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 1799.96/1800.63 v x85 -x86 -x87 x88 -x89 -x90 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 x131 -x132 -x133 -x134 1799.96/1800.63 v -x135 1799.96/1800.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.63 c 51 1731467 8586 1763724 17467 1390181 16641 961 1800.00 1799.96/1800.63 c Objective: 3 1799.96/1800.63 s SATISFIABLE 1799.96/1800.63 c Total time: 1800 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-431430-1178006145 -o ROOT/results/node26/solver-431430-1178006145 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431430-1178006145/instance-431430-1178006145.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.73 0.87 0.94 3/77 13371 /proc/meminfo: memFree=1815056/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=1408 CPUtime=0 /proc/13371/stat : 13371 (bsolo3.0.16) D 13369 13371 12392 0 -1 4194304 40 0 0 0 0 0 0 0 18 0 1 0 248531374 1441792 25 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12591908 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/13371/statm: 352 25 20 324 0 2 0 [startup+0.103332 s] /proc/loadavg: 0.73 0.87 0.94 3/77 13371 /proc/meminfo: memFree=1815056/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=4192 CPUtime=0.01 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 471 0 0 0 1 0 0 0 18 0 1 0 248531374 4292608 438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540853 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13371/statm: 1048 438 309 324 0 117 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4192 [startup+0.201341 s] /proc/loadavg: 0.73 0.87 0.94 3/77 13371 /proc/meminfo: memFree=1815056/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=5484 CPUtime=0.1 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 773 0 0 0 10 0 0 0 18 0 1 0 248531374 5615616 740 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13371/statm: 1371 740 312 324 0 440 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5484 [startup+0.301349 s] /proc/loadavg: 0.73 0.87 0.94 3/77 13371 /proc/meminfo: memFree=1815056/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=6260 CPUtime=0.2 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 984 0 0 0 20 0 0 0 19 0 1 0 248531374 6410240 951 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13371/statm: 1565 951 312 324 0 634 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 6260 [startup+0.701393 s] /proc/loadavg: 0.73 0.87 0.94 3/77 13371 /proc/meminfo: memFree=1815056/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=9364 CPUtime=0.6 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 1755 0 0 0 60 0 0 0 23 0 1 0 248531374 9588736 1722 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13371/statm: 2341 1722 312 324 0 1410 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 9364 [startup+1.50146 s] /proc/loadavg: 0.73 0.87 0.94 2/78 13372 /proc/meminfo: memFree=1806920/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=13492 CPUtime=1.4 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 2798 0 0 0 139 1 0 0 25 0 1 0 248531374 13815808 2765 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 3373 2765 312 324 0 2442 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 13492 [startup+3.1016 s] /proc/loadavg: 0.73 0.87 0.94 2/78 13372 /proc/meminfo: memFree=1803656/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=17356 CPUtime=3 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 3763 0 0 0 298 2 0 0 25 0 1 0 248531374 17772544 3730 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 4339 3730 312 324 0 3408 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 17356 [startup+6.3019 s] /proc/loadavg: 0.75 0.87 0.94 2/78 13372 /proc/meminfo: memFree=1799880/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=20448 CPUtime=6.19 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 4523 0 0 0 616 3 0 0 25 0 1 0 248531374 20938752 4490 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 5112 4490 312 324 0 4181 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 20448 [startup+12.7015 s] /proc/loadavg: 0.77 0.87 0.94 2/78 13372 /proc/meminfo: memFree=1798032/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=20960 CPUtime=12.59 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 4642 0 0 0 1255 4 0 0 25 0 1 0 248531374 21463040 4609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 5240 4609 312 324 0 4309 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 20960 [startup+25.5017 s] /proc/loadavg: 0.82 0.88 0.94 2/78 13372 /proc/meminfo: memFree=1794520/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=24180 CPUtime=25.39 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 5456 0 0 0 2533 6 0 0 25 0 1 0 248531374 24760320 5423 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 6045 5423 312 324 0 5114 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 24180 [startup+51.1011 s] /proc/loadavg: 0.88 0.88 0.94 2/78 13372 /proc/meminfo: memFree=1792920/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=27196 CPUtime=50.99 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 6213 0 0 0 5089 10 0 0 25 0 1 0 248531374 27848704 6180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 6799 6180 312 324 0 5868 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 27196 [startup+102.302 s] /proc/loadavg: 0.95 0.90 0.94 2/78 13372 /proc/meminfo: memFree=1789144/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=29556 CPUtime=102.17 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 6805 0 0 0 10198 19 0 0 25 0 1 0 248531374 30265344 6772 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7389 6772 312 324 0 6458 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 29556 [startup+162.301 s] /proc/loadavg: 0.98 0.92 0.94 2/78 13372 /proc/meminfo: memFree=1787224/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=31336 CPUtime=162.16 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7293 0 0 0 16187 29 0 0 25 0 1 0 248531374 32088064 7229 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7834 7229 313 324 0 6903 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 31336 [startup+222.306 s] /proc/loadavg: 0.99 0.93 0.94 2/78 13372 /proc/meminfo: memFree=1787360/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=31116 CPUtime=222.15 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7293 0 0 0 22177 38 0 0 25 0 1 0 248531374 31862784 7174 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7779 7174 313 324 0 6848 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 31116 [startup+282.302 s] /proc/loadavg: 0.99 0.94 0.94 2/78 13372 /proc/meminfo: memFree=1787360/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=31112 CPUtime=282.13 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7293 0 0 0 28166 47 0 0 25 0 1 0 248531374 31858688 7173 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13025367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7778 7173 313 324 0 6847 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 31112 [startup+342.301 s] /proc/loadavg: 0.99 0.95 0.94 2/84 13510 /proc/meminfo: memFree=1786144/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=31108 CPUtime=342.04 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7293 0 0 0 34146 58 0 0 25 0 1 0 248531374 31854592 7172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7777 7172 313 324 0 6846 0 Current children cumulated CPU time (s) 342.04 Current children cumulated vsize (KiB) 31108 [startup+402.302 s] /proc/loadavg: 0.99 0.95 0.94 2/78 13570 /proc/meminfo: memFree=1787168/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=31108 CPUtime=402 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7293 0 0 0 40132 68 0 0 25 0 1 0 248531374 31854592 7172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7777 7172 313 324 0 6846 0 Current children cumulated CPU time (s) 402 Current children cumulated vsize (KiB) 31108 [startup+462.301 s] /proc/loadavg: 0.99 0.96 0.94 2/78 13570 /proc/meminfo: memFree=1787168/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=31108 CPUtime=461.98 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7293 0 0 0 46122 76 0 0 25 0 1 0 248531374 31854592 7172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7777 7172 313 324 0 6846 0 Current children cumulated CPU time (s) 461.98 Current children cumulated vsize (KiB) 31108 [startup+522.302 s] /proc/loadavg: 0.99 0.96 0.94 2/78 13570 /proc/meminfo: memFree=1787168/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=31108 CPUtime=521.97 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7293 0 0 0 52114 83 0 0 25 0 1 0 248531374 31854592 7172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7777 7172 313 324 0 6846 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 31108 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1787232/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=31108 CPUtime=581.95 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7293 0 0 0 58104 91 0 0 25 0 1 0 248531374 31854592 7172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7777 7172 313 324 0 6846 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 31108 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1787232/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=31108 CPUtime=641.94 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7293 0 0 0 64094 100 0 0 25 0 1 0 248531374 31854592 7172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7777 7172 313 324 0 6846 0 Current children cumulated CPU time (s) 641.94 Current children cumulated vsize (KiB) 31108 ################ # More data... # ################ /proc/meminfo: memFree=1786784/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=31772 CPUtime=1061.84 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7452 0 0 0 106033 151 0 0 25 0 1 0 248531374 32534528 7331 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7943 7331 313 324 0 7012 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 31772 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1786720/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=31832 CPUtime=1121.82 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7464 0 0 0 112024 158 0 0 25 0 1 0 248531374 32595968 7343 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7958 7343 313 324 0 7027 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 31832 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1786720/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=31788 CPUtime=1181.81 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7464 0 0 0 118017 164 0 0 25 0 1 0 248531374 32550912 7341 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 7947 7341 313 324 0 7016 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 31788 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1784864/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=33676 CPUtime=1241.8 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7932 0 0 0 124006 174 0 0 25 0 1 0 248531374 34484224 7808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8419 7808 313 324 0 7488 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 33676 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1784864/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=33668 CPUtime=1301.78 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 7932 0 0 0 129998 180 0 0 25 0 1 0 248531374 34476032 7808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8417 7808 313 324 0 7486 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 33668 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1783840/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=34624 CPUtime=1361.76 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8183 0 0 0 135989 187 0 0 25 0 1 0 248531374 35454976 8051 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8656 8051 313 324 0 7725 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 34624 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1783840/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=34624 CPUtime=1421.76 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8183 0 0 0 141982 194 0 0 25 0 1 0 248531374 35454976 8051 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8656 8051 313 324 0 7725 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 34624 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1783840/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=34616 CPUtime=1481.73 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8183 0 0 0 147973 200 0 0 25 0 1 0 248531374 35446784 8049 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8654 8049 313 324 0 7723 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 34616 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1782496/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=36000 CPUtime=1541.72 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8523 0 0 0 153964 208 0 0 25 0 1 0 248531374 36864000 8389 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 9000 8389 313 324 0 8069 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 36000 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1782496/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=35984 CPUtime=1601.7 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8523 0 0 0 159956 214 0 0 25 0 1 0 248531374 36847616 8389 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8996 8389 313 324 0 8065 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 35984 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1782496/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=35956 CPUtime=1661.69 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8523 0 0 0 165947 222 0 0 25 0 1 0 248531374 36818944 8384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8989 8384 313 324 0 8058 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 35956 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1782496/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=35944 CPUtime=1721.68 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8523 0 0 0 171939 229 0 0 25 0 1 0 248531374 36806656 8381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8986 8381 313 324 0 8055 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 35944 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1782496/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=35932 CPUtime=1781.66 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8523 0 0 0 177930 236 0 0 25 0 1 0 248531374 36794368 8378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8983 8378 313 324 0 8052 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 35932 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1782496/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=35932 CPUtime=1791.36 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8523 0 0 0 178899 237 0 0 25 0 1 0 248531374 36794368 8378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8983 8378 313 324 0 8052 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 35932 [startup+1795.2 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1782496/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=35932 CPUtime=1794.56 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8523 0 0 0 179218 238 0 0 25 0 1 0 248531374 36794368 8378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8983 8378 313 324 0 8052 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 35932 [startup+1798.4 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1782496/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=35932 CPUtime=1797.76 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8523 0 0 0 179538 238 0 0 25 0 1 0 248531374 36794368 8378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8983 8378 313 324 0 8052 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 35932 [startup+1800 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1782496/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=35932 CPUtime=1799.36 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8523 0 0 0 179697 239 0 0 25 0 1 0 248531374 36794368 8378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8983 8378 313 324 0 8052 0 Current children cumulated CPU time (s) 1799.36 Current children cumulated vsize (KiB) 35932 [startup+1800.4 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1782496/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=35932 CPUtime=1799.76 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8523 0 0 0 179737 239 0 0 25 0 1 0 248531374 36794368 8378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8983 8378 313 324 0 8052 0 Current children cumulated CPU time (s) 1799.76 Current children cumulated vsize (KiB) 35932 [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.94 2/78 13570 /proc/meminfo: memFree=1782496/2055920 swapFree=4170240/4192956 [pid=13371] ppid=13369 vsize=35932 CPUtime=1799.96 /proc/13371/stat : 13371 (bsolo3.0.16) R 13369 13371 12392 0 -1 4194304 8523 0 0 0 179757 239 0 0 25 0 1 0 248531374 36794368 8378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13371/statm: 8983 8378 313 324 0 8052 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (KiB) 35932 Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.01 CPU user time (s): 1797.61 CPU system time (s): 2.39964 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 36000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.61 system time used= 2.39963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8524 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= 3939 runsolver used 1.39179 second user time and 3.88741 second system time The end
Begin job on node26 on Tue May 1 07:55:46 UTC 2007 IDJOB= 431430 IDBENCH= 48051 IDSOLVER= 163 FILE ID= node26/431430-1178006145 PBS_JOBID= 4728302 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/431430-1178006145/instance-431430-1178006145.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-431430-1178006145 -o ROOT/results/node26/solver-431430-1178006145 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431430-1178006145/instance-431430-1178006145.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 773aedb43187ca11a13e2d0d2a59ebe9 RANDOM SEED= 805728423 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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.213 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.213 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: 1815656 kB Buffers: 34480 kB Cached: 115976 kB SwapCached: 3360 kB Active: 75264 kB Inactive: 98468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1815656 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 6764 kB Writeback: 0 kB Mapped: 30764 kB Slab: 52128 kB Committed_AS: 1410432 kB PageTables: 1716 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 node26 on Tue May 1 08:25:46 UTC 2007