Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -7 | 1800.11 | 1800.74 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_4.opb |
MD5SUM | 0c3fb28b3ecb8f1eba2bffa356ef5364 |
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 | -7 |
Best CPU time to get the best result obtained on this benchmark | 81.8136 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2932 |
Sum of products size (including duplicates) | 5864 |
Number of different products | 1466 |
Sum of products size | 2932 |
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/455376-1178042192/instance-455376-1178042192.opb 0.00/0.00 c File size is 34864 bytes. 0.00/0.02 c Highest Coefficient sum: 100 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.018 s 0.00/0.02 c Var: 3032 Constr: 6016 2982/102/2932 Lit: 20824 Watch. Lit: 17794 0.00/0.02 c Obj. Vars: 50 (1.64908 % of total variables) 5.69/5.75 c Pre-processing Time: 5.748 s 5.69/5.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.75 c 0 3032 6016 20824 3 17794 48588 0 0 5.75 5.69/5.75 c Switching off LPR mode. 5.69/5.76 o -1 5.751 5.69/5.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.76 c 0 3032 6017 20874 3 17797 48621 1 0 5.75 5.69/5.76 o -2 5.753 5.69/5.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.76 c 0 3032 6018 20924 3 17801 48671 2 0 5.75 5.69/5.76 o -3 5.756 5.69/5.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.76 c 0 3032 6019 20974 3 17806 48738 3 0 5.76 5.69/5.76 o -4 5.758 5.69/5.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.78 c 0 3032 6020 21024 3 17812 48821 4 0 5.76 5.69/5.78 o -5 5.77 315.99/316.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 315.99/316.20 c 17 3032 6038 21829 3 17853 48838 22 2 5.77 315.99/316.20 c 117 3032 6138 25621 4 18053 53722 122 20 5.83 315.99/316.20 c 367 3032 6388 38707 6 18553 59095 372 62 5.86 315.99/316.20 c 842 3032 6863 63690 9 19503 65005 847 142 5.92 315.99/316.20 c 1655 3032 7676 106910 13 21129 71506 1660 275 6.00 315.99/316.20 c 2975 3032 8996 178181 19 23769 78657 2980 481 6.18 315.99/316.20 c 5056 3032 11077 296191 26 27931 86523 5061 785 6.44 315.99/316.20 c 8279 3032 14300 466936 32 34377 95176 8284 1169 7.08 315.99/316.20 c 13215 3032 19236 730815 37 44249 104694 13220 1576 8.38 315.99/316.20 c 20721 3032 26742 1183026 44 59261 115164 20726 1570 13.20 315.99/316.20 c 32082 3032 38103 1865656 48 81983 126681 32087 1282 25.01 315.99/316.20 c 49226 3032 55247 3015260 54 116271 139350 49231 984 50.01 315.99/316.20 c 75046 3032 81067 4746171 58 167911 153286 75051 685 109.52 315.99/316.20 c 113878 3032 119899 7461572 62 245575 168615 113883 382 297.65 315.99/316.20 o -6 316.003 1408.17/1408.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1408.17/1408.77 c 118102 3032 124124 7715612 62 254031 48855 118108 373 316.00 1408.17/1408.77 c 118202 3032 18794 901338 47 43356 53741 12778 301 392.46 1408.17/1408.77 c 118452 3032 19044 915098 48 43856 59116 13028 301 392.53 1408.17/1408.77 c 118927 3032 19519 943801 48 44806 65028 13503 302 392.73 1408.17/1408.77 c 119741 3032 20333 996774 49 46434 71531 14317 304 393.18 1408.17/1408.77 c 121061 3032 21653 1069731 49 49074 78685 15637 306 394.39 1408.17/1408.77 c 123142 3032 23734 1184550 49 53236 86554 17718 311 395.53 1408.17/1408.77 c 126365 3032 26957 1355938 50 59682 95210 20941 318 396.93 1408.17/1408.77 c 131301 3032 31893 1626234 50 69554 104732 25877 328 399.68 1408.17/1408.77 c 138807 3032 39399 2089291 53 84566 115206 33383 340 407.32 1408.17/1408.77 c 150169 3032 50761 2739473 53 107290 126727 44745 360 416.21 1408.17/1408.77 c 167314 3032 67906 3806761 56 141580 139400 61890 368 454.16 1408.17/1408.77 c 193133 3032 93725 5655224 60 193218 153341 87709 338 570.71 1408.17/1408.77 c 231965 3032 132557 8108656 61 270882 168676 126541 325 711.94 1408.17/1408.77 c 290317 3032 33124 1809638 54 72016 185544 27108 228 1268.15 1408.17/1408.77 o -7 1408.25 1800.07/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.70 c 337830 3032 80638 5179194 64 167051 48721 74622 239 1408.25 1800.07/1800.70 c 337930 3032 18806 916394 48 43381 53594 12790 230 1464.76 1800.07/1800.70 c 338180 3032 19056 928454 48 43881 58954 13040 230 1464.97 1800.07/1800.70 c 338659 3032 19535 949333 48 44839 64850 13519 231 1465.47 1800.07/1800.70 c 339472 3032 20348 1001473 49 46465 71336 14332 231 1466.01 1800.07/1800.70 c 340794 3032 21670 1097249 50 49109 78470 15654 232 1466.69 1800.07/1800.70 c 342877 3032 23753 1228779 51 53275 86318 17737 233 1467.64 1800.07/1800.70 c 346100 3032 26976 1393666 51 59721 94950 20960 235 1468.83 1800.07/1800.70 c 351036 3032 31912 1652162 51 69593 104446 25896 238 1471.52 1800.07/1800.70 c 358543 3032 39419 2164373 54 84607 114891 33403 242 1479.27 1800.07/1800.70 c 369904 3032 50780 2806776 55 107329 126381 44764 248 1489.82 1800.07/1800.70 c 387048 3032 67924 3855354 56 141617 139020 61908 253 1525.59 1800.07/1800.70 c 412867 3032 93743 5528954 58 193255 152923 87727 253 1626.44 1800.07/1800.70 c Caught signal: 15 1800.07/1800.70 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 1800.07/1800.70 v -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 x50 -x52 -x84 -x75 x77 -x64 1800.07/1800.70 v -x88 -x76 -x79 -x86 -x95 x55 -x65 -x54 -x53 -x92 -x100 -x68 -x69 -x80 -x74 -x73 -x83 -x71 -x81 -x57 -x61 -x63 -x67 -x78 -x85 -x89 1800.07/1800.70 v -x91 -x99 -x51 x70 -x62 x82 -x93 -x94 x98 x90 -x72 -x87 x96 -x56 -x58 -x60 -x97 -x66 -x59 1800.07/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.70 c 46 448237 3821 471313 129113 7849381 123097 249 1800.08 1800.07/1800.70 c Objective: -7 1800.07/1800.70 s SATISFIABLE 1800.07/1800.70 c Total time: 1800.08 s
OK -7
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-455376-1178042192 -o ROOT/results/node2/solver-455376-1178042192 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455376-1178042192/instance-455376-1178042192.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.96 1.00 1.00 3/77 8858 /proc/meminfo: memFree=1800232/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=3960 CPUtime=0 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 280256968 4055040 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 990 346 289 324 0 51 0 [startup+0.0895269 s] /proc/loadavg: 0.96 1.00 1.00 3/77 8858 /proc/meminfo: memFree=1800232/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=5572 CPUtime=0.08 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 795 0 0 0 8 0 0 0 18 0 1 0 280256968 5705728 756 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10969815 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 1393 756 304 324 0 463 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5572 [startup+0.101528 s] /proc/loadavg: 0.96 1.00 1.00 3/77 8858 /proc/meminfo: memFree=1800232/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=5572 CPUtime=0.09 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 796 0 0 0 9 0 0 0 18 0 1 0 280256968 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 1393 757 304 324 0 463 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5572 [startup+0.301549 s] /proc/loadavg: 0.96 1.00 1.00 3/77 8858 /proc/meminfo: memFree=1800232/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=5572 CPUtime=0.29 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 796 0 0 0 29 0 0 0 19 0 1 0 280256968 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 1393 757 304 324 0 463 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5572 [startup+0.701591 s] /proc/loadavg: 0.96 1.00 1.00 3/77 8858 /proc/meminfo: memFree=1800232/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=5572 CPUtime=0.69 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 796 0 0 0 69 0 0 0 23 0 1 0 280256968 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 1393 757 304 324 0 463 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5572 [startup+1.50167 s] /proc/loadavg: 0.96 1.00 1.00 2/78 8859 /proc/meminfo: memFree=1798112/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=5572 CPUtime=1.48 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 796 0 0 0 148 0 0 0 25 0 1 0 280256968 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 1393 757 304 324 0 463 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 5572 [startup+3.10184 s] /proc/loadavg: 0.96 1.00 1.00 2/78 8859 /proc/meminfo: memFree=1797984/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=5572 CPUtime=3.09 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 796 0 0 0 308 1 0 0 25 0 1 0 280256968 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10968929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 1393 757 304 324 0 463 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5572 [startup+6.30217 s] /proc/loadavg: 0.97 1.00 1.00 2/78 8859 /proc/meminfo: memFree=1797984/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=8520 CPUtime=6.28 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 1600 0 0 0 627 1 0 0 25 0 1 0 280256968 8724480 1512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 2130 1512 310 324 0 1200 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 8520 [startup+12.7018 s] /proc/loadavg: 0.97 1.00 1.00 2/78 8859 /proc/meminfo: memFree=1781600/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=22568 CPUtime=12.68 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 5106 0 0 0 1265 3 0 0 25 0 1 0 280256968 23109632 5018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 5642 5018 310 324 0 4712 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22568 [startup+25.5012 s] /proc/loadavg: 0.97 1.00 1.00 2/78 8859 /proc/meminfo: memFree=1770848/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=33464 CPUtime=25.48 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 7820 0 0 0 2541 7 0 0 25 0 1 0 280256968 34267136 7732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10968820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 8366 7732 310 324 0 7436 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33464 [startup+51.1018 s] /proc/loadavg: 0.98 1.00 1.00 2/78 8859 /proc/meminfo: memFree=1754080/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=50016 CPUtime=51.06 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 11954 0 0 0 5094 12 0 0 25 0 1 0 280256968 51216384 11866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 12504 11866 310 324 0 11574 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 50016 [startup+102.305 s] /proc/loadavg: 0.99 1.00 1.00 2/78 8859 /proc/meminfo: memFree=1731488/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=72272 CPUtime=102.25 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 17518 0 0 0 10206 19 0 0 25 0 1 0 280256968 74006528 17430 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 18068 17430 310 324 0 17138 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 72272 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 8859 /proc/meminfo: memFree=1712992/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=90824 CPUtime=162.24 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 22162 0 0 0 16198 26 0 0 25 0 1 0 280256968 93003776 22074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 22706 22074 310 324 0 21776 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 90824 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 8859 /proc/meminfo: memFree=1702432/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=101168 CPUtime=222.22 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 24749 0 0 0 22192 30 0 0 25 0 1 0 280256968 103596032 24661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 25292 24661 310 324 0 24362 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 101168 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/84 8941 /proc/meminfo: memFree=1692016/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=110388 CPUtime=282.16 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 27071 0 0 0 28182 34 0 0 25 0 1 0 280256968 113037312 26983 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 27597 26983 310 324 0 26667 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 110388 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1686240/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=116976 CPUtime=342.07 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 28813 0 0 0 34172 35 0 0 25 0 1 0 280256968 119783424 28609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 29244 28609 310 324 0 28314 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 116976 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1686240/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=116976 CPUtime=402.06 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 28813 0 0 0 40170 36 0 0 25 0 1 0 280256968 119783424 28609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 29244 28609 310 324 0 28314 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 116976 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1686240/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=116976 CPUtime=462.04 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 28813 0 0 0 46168 36 0 0 25 0 1 0 280256968 119783424 28609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 29244 28609 310 324 0 28314 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 116976 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1686304/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=116976 CPUtime=522.02 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 28813 0 0 0 52166 36 0 0 25 0 1 0 280256968 119783424 28609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 29244 28609 310 324 0 28314 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 116976 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1686304/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=116976 CPUtime=582 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 28813 0 0 0 58163 37 0 0 25 0 1 0 280256968 119783424 28609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 29244 28609 310 324 0 28314 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 116976 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1686432/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=116976 CPUtime=641.99 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 28813 0 0 0 64162 37 0 0 25 0 1 0 280256968 119783424 28609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 29244 28609 310 324 0 28314 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 116976 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1650784/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=152544 CPUtime=881.91 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 37705 0 0 0 88142 49 0 0 25 0 1 0 280256968 156205056 37501 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 38136 37501 310 324 0 37206 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 152544 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1642464/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=160840 CPUtime=941.91 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 39803 0 0 0 94139 52 0 0 25 0 1 0 280256968 164700160 39599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 40210 39599 310 324 0 39280 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 160840 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1638176/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1001.88 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 100135 53 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 164996 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1638176/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1061.86 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 106133 53 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 164996 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1638240/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1121.85 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 112131 54 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 164996 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1638240/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1181.83 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 118129 54 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 164996 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1638304/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1241.82 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 124127 55 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 164996 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1638304/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1301.8 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 130125 55 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10968929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 164996 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1361.79 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 136123 56 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 164996 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 9057 /proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1421.77 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 142121 56 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 164996 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 9057 /proc/meminfo: memFree=1638432/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1481.75 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 148118 57 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 164996 [startup+1542.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 9057 /proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1541.73 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 154116 57 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 164996 [startup+1602.3 s] /proc/loadavg: 1.07 1.03 1.00 2/78 9057 /proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1601.71 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 160114 57 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 164996 [startup+1662.3 s] /proc/loadavg: 1.07 1.04 1.00 2/78 9057 /proc/meminfo: memFree=1638432/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1661.7 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 166112 58 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 164996 [startup+1722.3 s] /proc/loadavg: 1.11 1.06 1.01 2/78 9057 /proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1721.68 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 172110 58 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 164996 [startup+1782.3 s] /proc/loadavg: 1.08 1.06 1.01 2/78 9057 /proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1781.67 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 178108 59 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 164996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.05 1.05 1.00 2/78 9057 /proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1800.07 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 179948 59 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 164996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.05 1.05 1.00 2/78 9057 /proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956 [pid=8858] ppid=8856 vsize=164996 CPUtime=1800.07 /proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 179948 59 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8858/statm: 41249 40621 310 324 0 40319 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 164996 Child status: 15 Real time (s): 1800.74 CPU time (s): 1800.11 CPU user time (s): 1799.49 CPU system time (s): 0.619905 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 165664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.619905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40996 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= 4067 runsolver used 1.35879 second user time and 3.87841 second system time The end
Begin job on node2 on Tue May 1 17:56:32 UTC 2007 IDJOB= 455376 IDBENCH= 48259 IDSOLVER= 199 FILE ID= node2/455376-1178042192 PBS_JOBID= 4728445 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455376-1178042192/instance-455376-1178042192.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-455376-1178042192 -o ROOT/results/node2/solver-455376-1178042192 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455376-1178042192/instance-455376-1178042192.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364 RANDOM SEED= 896758729 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1800640 kB Buffers: 86228 kB Cached: 74160 kB SwapCached: 12060 kB Active: 144172 kB Inactive: 46424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800640 kB SwapTotal: 4192956 kB SwapFree: 4148820 kB Dirty: 6636 kB Writeback: 0 kB Mapped: 35348 kB Slab: 50120 kB Committed_AS: 10626528 kB PageTables: 1872 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 node2 on Tue May 1 18:26:35 UTC 2007