Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 3 | 1800.09 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb |
MD5SUM | 6355c589dda3f12b095277ae4637ab26 |
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.149976 |
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 | 144 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
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/452823-1177981449/instance-452823-1177981449.opb 0.00/0.00 c File size is 6829 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 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: 528 Constr: 787 384/0/403 Lit: 3304 Watch. Lit: 2030 0.00/0.00 c Obj. Vars: 8 (1.51515 % 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 528 787 3304 4 2838 4431 0 0 0.01 0.00/0.01 c Switching off LPR mode. 92.16/92.29 c 101 528 888 9727 10 2983 4875 101 6312 0.02 92.16/92.29 c 251 528 1038 19669 18 3202 5363 251 8655 0.03 92.16/92.29 c 477 528 1264 33391 26 3644 5900 477 9734 0.05 92.16/92.29 c 815 528 1602 55746 34 4350 6491 815 10316 0.08 92.16/92.29 c 1323 528 2110 90366 42 5388 7141 1323 10335 0.13 92.16/92.29 c 2086 528 2873 150933 52 6874 7856 2086 9747 0.21 92.16/92.29 c 3233 528 4020 232134 57 9127 8642 3233 6922 0.47 92.16/92.29 c 4954 528 5741 350499 61 12633 9507 4954 6262 0.79 92.16/92.29 c 7538 528 8325 504441 60 17770 10458 7538 5490 1.37 92.16/92.29 c 11418 528 6905 365288 52 14928 11504 6118 4523 2.52 92.16/92.29 c 17240 528 6592 386257 58 14351 12655 5805 4419 3.90 92.16/92.29 c 25977 528 8614 454167 52 18404 13921 7827 3844 6.76 92.16/92.29 c 39087 528 14702 808268 54 30561 15314 13915 2446 15.97 92.16/92.29 c 58758 528 10662 660489 61 22419 16846 9875 2248 26.14 92.16/92.29 c 88268 528 14097 898840 63 29290 18531 13310 2218 39.79 92.16/92.29 c 132538 527 10097 601524 59 21298 20385 9310 1986 66.73 92.16/92.29 o 7 92.26 119.95/120.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 119.95/120.03 c 178584 525 14456 921325 63 30067 4447 13669 1935 92.26 119.95/120.03 c 178684 489 3117 152609 48 7310 4892 2330 1933 92.41 119.95/120.03 c 178936 489 3369 170445 50 7851 5382 2582 1935 92.43 119.95/120.03 c 179411 489 3844 202344 52 8831 5921 3057 1940 92.48 119.95/120.03 c 180224 489 4657 255191 54 10441 6514 3870 1946 92.59 119.95/120.03 c 181545 489 5978 340199 56 13081 7166 5191 1954 92.90 119.95/120.03 c 183626 489 4380 231272 52 9897 7883 3593 1962 93.59 119.95/120.03 c 186850 489 7604 442097 58 16364 8672 6817 1971 94.77 119.95/120.03 c 191787 489 8105 472347 58 17352 9540 7318 1964 97.62 119.95/120.03 c 199294 489 5567 325984 58 12262 10495 4780 1997 99.75 119.95/120.03 c 210656 489 6045 339357 56 13170 11545 5258 2006 105.00 119.95/120.03 c 227801 475 11480 664640 57 24090 12700 10693 1968 115.70 119.95/120.03 o 3 119.994 1800.07/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.61 c 238363 475 8448 648650 76 18095 4437 7661 1986 119.99 1800.07/1800.61 c 238463 454 3117 189249 60 7391 4881 2330 1986 120.06 1800.07/1800.61 c 238714 454 3368 208197 61 7921 5370 2581 1987 120.09 1800.07/1800.61 c 239190 454 3844 241946 62 8824 5908 3057 1990 120.15 1800.07/1800.61 c 240003 454 4657 295170 63 10440 6499 3870 1995 120.29 1800.07/1800.61 c 241325 454 5979 380787 63 13059 7149 5192 2001 120.60 1800.07/1800.61 c 243407 454 4374 231519 52 9850 7864 3587 2005 121.38 1800.07/1800.61 c 246631 454 7598 438575 57 16295 8651 6811 2016 122.33 1800.07/1800.61 c 251567 454 8049 474577 58 17267 9517 7262 2026 124.14 1800.07/1800.61 c 259073 454 5565 322099 57 12286 10469 4778 2048 126.47 1800.07/1800.61 c 270435 454 6034 345917 57 13202 11516 5247 2058 131.36 1800.07/1800.61 c 287579 454 10737 689175 64 22558 12668 9950 2038 141.05 1800.07/1800.61 c 313399 454 9532 562526 59 20188 13935 8745 2045 153.25 1800.07/1800.61 c 352233 454 11680 691309 59 24513 15329 10893 1944 181.11 1800.07/1800.61 c 410586 454 13454 863206 64 28028 16862 12667 1878 218.56 1800.07/1800.61 c 498218 454 12921 763408 59 26969 18549 12134 1640 303.66 1800.07/1800.61 c 629771 454 18727 1151786 61 38574 20404 17940 1453 433.27 1800.07/1800.61 c 827204 453 14605 931045 63 30339 22445 13818 1305 633.41 1800.07/1800.61 c 1123456 443 17194 1019124 59 35559 24690 16407 1133 991.16 1800.07/1800.61 c 1567939 441 21670 1245221 57 44434 27160 20883 969 1617.51 1800.07/1800.61 c Caught signal: 15 1800.07/1800.61 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 1800.07/1800.61 v -x32 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.07/1800.61 v -x61 -x62 -x63 -x64 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x105 -x106 -x107 -x108 1800.07/1800.61 v -x109 -x110 -x111 -x112 x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x81 -x82 -x83 1800.07/1800.61 v -x84 -x85 -x86 -x87 -x88 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x129 -x130 -x131 1800.07/1800.61 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 1800.07/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.61 c 48 1703220 11262 1743035 12077 628496 11290 946 1800.09 1800.07/1800.61 c Objective: 3 1800.07/1800.61 s SATISFIABLE 1800.07/1800.61 c Total time: 1800.09 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-452823-1177981449 -o ROOT/results/node5/solver-452823-1177981449 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452823-1177981449/instance-452823-1177981449.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.09 1.16 1.04 3/77 14694 /proc/meminfo: memFree=1901248/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=19556 CPUtime=0 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 274182621 20025344 343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 2936 344 289 324 0 2004 0 [startup+0.0403031 s] /proc/loadavg: 1.09 1.16 1.04 3/77 14694 /proc/meminfo: memFree=1901248/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=4456 CPUtime=0.03 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 531 0 0 0 3 0 0 0 18 0 1 0 274182621 4562944 499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 1114 499 310 324 0 184 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4456 [startup+0.10131 s] /proc/loadavg: 1.09 1.16 1.04 3/77 14694 /proc/meminfo: memFree=1901248/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=5100 CPUtime=0.09 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 695 0 0 0 9 0 0 0 18 0 1 0 274182621 5222400 663 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 1275 663 310 324 0 345 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5100 [startup+0.301331 s] /proc/loadavg: 1.09 1.16 1.04 3/77 14694 /proc/meminfo: memFree=1901248/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=6652 CPUtime=0.29 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 1064 0 0 0 29 0 0 0 19 0 1 0 274182621 6811648 1032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 1663 1032 310 324 0 733 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6652 [startup+0.701376 s] /proc/loadavg: 1.09 1.16 1.04 3/77 14694 /proc/meminfo: memFree=1901248/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=8864 CPUtime=0.69 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 1610 0 0 0 68 1 0 0 23 0 1 0 274182621 9076736 1578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 2216 1578 310 324 0 1286 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8864 [startup+1.50147 s] /proc/loadavg: 1.09 1.16 1.04 2/78 14695 /proc/meminfo: memFree=1894840/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=11976 CPUtime=1.49 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 2415 0 0 0 148 1 0 0 25 0 1 0 274182621 12263424 2383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 2994 2383 310 324 0 2064 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11976 [startup+3.10165 s] /proc/loadavg: 1.09 1.16 1.04 2/78 14695 /proc/meminfo: memFree=1890936/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=14060 CPUtime=3.09 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 2919 0 0 0 307 2 0 0 25 0 1 0 274182621 14397440 2887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 3515 2887 310 324 0 2585 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14060 [startup+6.30201 s] /proc/loadavg: 1.08 1.16 1.04 2/78 14695 /proc/meminfo: memFree=1889464/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=15980 CPUtime=6.29 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 3411 0 0 0 627 2 0 0 25 0 1 0 274182621 16363520 3379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 3995 3379 310 324 0 3065 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15980 [startup+12.7017 s] /proc/loadavg: 1.07 1.16 1.04 2/78 14695 /proc/meminfo: memFree=1888568/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=16112 CPUtime=12.69 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 3440 0 0 0 1267 2 0 0 25 0 1 0 274182621 16498688 3408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8327519 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 4028 3408 310 324 0 3098 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16112 [startup+25.5012 s] /proc/loadavg: 1.06 1.15 1.04 2/78 14695 /proc/meminfo: memFree=1885944/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=18968 CPUtime=25.48 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 4155 0 0 0 2545 3 0 0 25 0 1 0 274182621 19423232 4123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 4742 4123 310 324 0 3812 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18968 [startup+51.1011 s] /proc/loadavg: 1.04 1.14 1.03 2/78 14695 /proc/meminfo: memFree=1882360/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=22576 CPUtime=51.08 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 5061 0 0 0 5103 5 0 0 25 0 1 0 274182621 23117824 5029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 5644 5029 310 324 0 4714 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22576 [startup+102.306 s] /proc/loadavg: 1.01 1.11 1.03 2/78 14695 /proc/meminfo: memFree=1880824/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=24044 CPUtime=102.26 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 5436 0 0 0 10221 5 0 0 25 0 1 0 274182621 24621056 5404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6011 5404 311 324 0 5081 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 24044 [startup+162.302 s] /proc/loadavg: 1.00 1.09 1.02 2/78 14695 /proc/meminfo: memFree=1880760/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=24044 CPUtime=162.25 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 5436 0 0 0 16219 6 0 0 25 0 1 0 274182621 24621056 5404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6011 5404 311 324 0 5081 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 24044 [startup+222.301 s] /proc/loadavg: 1.00 1.07 1.02 2/78 14695 /proc/meminfo: memFree=1880760/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=24044 CPUtime=222.23 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 5436 0 0 0 22217 6 0 0 25 0 1 0 274182621 24621056 5404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6011 5404 311 324 0 5081 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 24044 [startup+282.301 s] /proc/loadavg: 1.00 1.06 1.01 2/78 14695 /proc/meminfo: memFree=1880760/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=24044 CPUtime=282.2 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 5436 0 0 0 28214 6 0 0 25 0 1 0 274182621 24621056 5404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6011 5404 311 324 0 5081 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 24044 [startup+342.302 s] /proc/loadavg: 1.00 1.04 1.00 2/78 14695 /proc/meminfo: memFree=1880696/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=24044 CPUtime=342.19 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 5436 0 0 0 34212 7 0 0 25 0 1 0 274182621 24621056 5404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6011 5404 311 324 0 5081 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 24044 [startup+402.302 s] /proc/loadavg: 1.00 1.03 1.00 2/78 14695 /proc/meminfo: memFree=1880696/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=24044 CPUtime=402.17 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 5436 0 0 0 40210 7 0 0 25 0 1 0 274182621 24621056 5404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8335048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6011 5404 311 324 0 5081 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 24044 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 14695 /proc/meminfo: memFree=1880568/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=24172 CPUtime=462.16 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 5456 0 0 0 46208 8 0 0 25 0 1 0 274182621 24752128 5424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6043 5424 311 324 0 5113 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 24172 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 14695 /proc/meminfo: memFree=1878648/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=26036 CPUtime=522.14 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 5926 0 0 0 52205 9 0 0 25 0 1 0 274182621 26660864 5894 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6509 5894 311 324 0 5579 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 26036 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14695 /proc/meminfo: memFree=1878584/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=26036 CPUtime=582.12 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 5926 0 0 0 58203 9 0 0 25 0 1 0 274182621 26660864 5894 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6509 5894 311 324 0 5579 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 26036 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14695 /proc/meminfo: memFree=1878264/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=26328 CPUtime=642.11 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 5996 0 0 0 64201 10 0 0 25 0 1 0 274182621 26959872 5964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6582 5964 311 324 0 5652 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 26328 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1878200/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=26236 CPUtime=822.05 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 5997 0 0 0 82194 11 0 0 25 0 1 0 274182621 26865664 5952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551342 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6559 5952 311 324 0 5629 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 26236 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876664/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27776 CPUtime=882.03 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6373 0 0 0 88192 11 0 0 25 0 1 0 274182621 28442624 6328 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6944 6328 311 324 0 6014 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 27776 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876664/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27768 CPUtime=942.02 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6373 0 0 0 94190 12 0 0 25 0 1 0 274182621 28434432 6328 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6942 6328 311 324 0 6012 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 27768 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876600/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27724 CPUtime=1001.99 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6375 0 0 0 100187 12 0 0 25 0 1 0 274182621 28389376 6324 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6931 6324 311 324 0 6001 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 27724 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876600/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27724 CPUtime=1061.98 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6375 0 0 0 106185 13 0 0 25 0 1 0 274182621 28389376 6324 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6931 6324 311 324 0 6001 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 27724 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876600/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27720 CPUtime=1121.96 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6375 0 0 0 112183 13 0 0 25 0 1 0 274182621 28385280 6323 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6930 6323 311 324 0 6000 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 27720 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876536/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27716 CPUtime=1181.95 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6375 0 0 0 118181 14 0 0 25 0 1 0 274182621 28381184 6322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6929 6322 311 324 0 5999 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 27716 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876536/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27716 CPUtime=1241.93 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6375 0 0 0 124179 14 0 0 25 0 1 0 274182621 28381184 6322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6929 6322 311 324 0 5999 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 27716 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876472/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27716 CPUtime=1301.92 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6375 0 0 0 130177 15 0 0 25 0 1 0 274182621 28381184 6322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6929 6322 311 324 0 5999 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 27716 [startup+1362.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 14695 /proc/meminfo: memFree=1876472/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27716 CPUtime=1361.89 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6375 0 0 0 136174 15 0 0 25 0 1 0 274182621 28381184 6322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6929 6322 311 324 0 5999 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 27716 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/78 14695 /proc/meminfo: memFree=1876472/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27716 CPUtime=1421.88 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6375 0 0 0 142172 16 0 0 25 0 1 0 274182621 28381184 6322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6929 6322 311 324 0 5999 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 27716 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876408/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27716 CPUtime=1481.86 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6375 0 0 0 148170 16 0 0 25 0 1 0 274182621 28381184 6322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6929 6322 311 324 0 5999 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 27716 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876408/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27716 CPUtime=1541.85 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6375 0 0 0 154168 17 0 0 25 0 1 0 274182621 28381184 6322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326938 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6929 6322 311 324 0 5999 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 27716 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876344/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27716 CPUtime=1601.83 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6375 0 0 0 160166 17 0 0 25 0 1 0 274182621 28381184 6322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6929 6322 311 324 0 5999 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 27716 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876216/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27840 CPUtime=1661.8 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6408 0 0 0 166163 17 0 0 25 0 1 0 274182621 28508160 6353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6960 6353 311 324 0 6030 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 27840 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876152/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27840 CPUtime=1721.79 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6408 0 0 0 172161 18 0 0 25 0 1 0 274182621 28508160 6353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6960 6353 311 324 0 6030 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 27840 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876088/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27840 CPUtime=1781.77 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6408 0 0 0 178159 18 0 0 25 0 1 0 274182621 28508160 6353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6960 6353 311 324 0 6030 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 27840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14695 /proc/meminfo: memFree=1876088/2055920 swapFree=4149732/4192956 [pid=14694] ppid=14692 vsize=27840 CPUtime=1800.07 /proc/14694/stat : 14694 (bsolo3.0.17) R 14692 14694 32251 0 -1 4194304 6408 0 0 0 179989 18 0 0 25 0 1 0 274182621 28508160 6353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14694/statm: 6960 6353 311 324 0 6030 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 27840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.09 CPU user time (s): 1799.9 CPU system time (s): 0.19397 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 27852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.19397 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6412 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= 36455 runsolver used 1.37879 second user time and 3.9484 second system time The end
Begin job on node5 on Tue May 1 01:04:10 UTC 2007 IDJOB= 452823 IDBENCH= 47890 IDSOLVER= 199 FILE ID= node5/452823-1177981449 PBS_JOBID= 4728166 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=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452823-1177981449/instance-452823-1177981449.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-452823-1177981449 -o ROOT/results/node5/solver-452823-1177981449 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452823-1177981449/instance-452823-1177981449.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 6355c589dda3f12b095277ae4637ab26 RANDOM SEED= 229846537 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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: 1901592 kB Buffers: 41796 kB Cached: 44544 kB SwapCached: 11784 kB Active: 70412 kB Inactive: 44180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1901592 kB SwapTotal: 4192956 kB SwapFree: 4149732 kB Dirty: 6744 kB Writeback: 0 kB Mapped: 33152 kB Slab: 25328 kB Committed_AS: 10009304 kB PageTables: 1732 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 node5 on Tue May 1 01:34:12 UTC 2007