Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -7 | 1800.05 | 1800.61 |
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.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455370-1178042110/instance-455370-1178042110.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.016 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.99/6.08 c Pre-processing Time: 6.074 s 5.99/6.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.08 c 0 3032 6016 20824 3 17794 48588 0 0 6.07 5.99/6.08 c Switching off LPR mode. 5.99/6.08 o -1 6.079 5.99/6.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.09 c 0 3032 6017 20874 3 17797 48621 1 0 6.08 5.99/6.09 o -2 6.083 5.99/6.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.09 c 0 3032 6018 20924 3 17801 48671 2 0 6.08 5.99/6.09 o -3 6.087 5.99/6.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.09 c 0 3032 6019 20974 3 17806 48738 3 0 6.09 5.99/6.09 o -4 6.091 6.08/6.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.08/6.11 c 0 3032 6020 21024 3 17812 48821 4 0 6.09 6.08/6.11 o -5 6.105 317.01/317.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 317.01/317.14 c 17 3032 6038 21829 3 17853 48838 22 2 6.11 317.01/317.14 c 117 3032 6138 25621 4 18053 53722 122 18 6.17 317.01/317.14 c 367 3032 6388 38707 6 18553 59095 372 59 6.21 317.01/317.14 c 842 3032 6863 63690 9 19503 65005 847 134 6.26 317.01/317.14 c 1655 3032 7676 106910 13 21129 71506 1660 260 6.35 317.01/317.14 c 2975 3032 8996 178181 19 23769 78657 2980 455 6.54 317.01/317.14 c 5056 3032 11077 296191 26 27931 86523 5061 743 6.80 317.01/317.14 c 8279 3032 14300 466936 32 34377 95176 8284 1110 7.46 317.01/317.14 c 13215 3032 19236 730815 37 44249 104694 13220 1503 8.79 317.01/317.14 c 20721 3032 26742 1183026 44 59261 115164 20726 1516 13.67 317.01/317.14 c 32082 3032 38103 1865656 48 81983 126681 32087 1257 25.52 317.01/317.14 c 49226 3032 55247 3015260 54 116271 139350 49231 971 50.68 317.01/317.14 c 75046 3032 81067 4746171 58 167911 153286 75051 680 110.33 317.01/317.14 c 113878 3032 119899 7461572 62 245575 168615 113883 381 298.68 317.01/317.14 o -6 317.054 1411.13/1411.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1411.13/1411.64 c 118102 3032 124124 7715612 62 254031 48855 118108 372 317.06 1411.13/1411.64 c 118202 3032 18794 901338 47 43356 53741 12778 300 393.43 1411.13/1411.64 c 118452 3032 19044 915098 48 43856 59116 13028 301 393.50 1411.13/1411.64 c 118927 3032 19519 943801 48 44806 65028 13503 302 393.69 1411.13/1411.64 c 119741 3032 20333 996774 49 46434 71531 14317 303 394.15 1411.13/1411.64 c 121061 3032 21653 1069731 49 49074 78685 15637 306 395.37 1411.13/1411.64 c 123142 3032 23734 1184550 49 53236 86554 17718 310 396.52 1411.13/1411.64 c 126365 3032 26957 1355938 50 59682 95210 20941 317 397.91 1411.13/1411.64 c 131301 3032 31893 1626234 50 69554 104732 25877 327 400.64 1411.13/1411.64 c 138807 3032 39399 2089291 53 84566 115206 33383 339 408.33 1411.13/1411.64 c 150169 3032 50761 2739473 53 107290 126727 44745 359 417.25 1411.13/1411.64 c 167314 3032 67906 3806761 56 141580 139400 61890 367 455.33 1411.13/1411.64 c 193133 3032 93725 5655224 60 193218 153341 87709 337 572.16 1411.13/1411.64 c 231965 3032 132557 8108656 61 270882 168676 126541 325 713.38 1411.13/1411.64 c 290317 3032 33124 1809638 54 72016 185544 27108 228 1270.04 1411.13/1411.64 o -7 1411.17 1799.93/1800.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.58 c 337830 3032 80638 5179194 64 167051 48721 74622 239 1411.17 1799.93/1800.58 c 337930 3032 18806 916394 48 43381 53594 12790 230 1467.89 1799.93/1800.58 c 338180 3032 19056 928454 48 43881 58954 13040 230 1468.10 1799.93/1800.58 c 338659 3032 19535 949333 48 44839 64850 13519 230 1468.61 1799.93/1800.58 c 339472 3032 20348 1001473 49 46465 71336 14332 231 1469.15 1799.93/1800.58 c 340794 3032 21670 1097249 50 49109 78470 15654 231 1469.86 1799.93/1800.58 c 342877 3032 23753 1228779 51 53275 86318 17737 233 1470.82 1799.93/1800.58 c 346100 3032 26976 1393666 51 59721 94950 20960 235 1472.03 1799.93/1800.58 c 351036 3032 31912 1652162 51 69593 104446 25896 238 1474.75 1799.93/1800.58 c 358543 3032 39419 2164373 54 84607 114891 33403 241 1482.48 1799.93/1800.58 c 369904 3032 50780 2806776 55 107329 126381 44764 247 1493.16 1799.93/1800.58 c 387048 3032 67924 3855354 56 141617 139020 61908 253 1529.12 1799.93/1800.58 c 412867 3032 93743 5528954 58 193255 152923 87727 253 1630.63 1799.93/1800.58 c Resources Exceeded 1799.93/1800.58 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 1799.93/1800.58 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 1799.93/1800.58 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 1799.93/1800.58 v -x91 -x99 -x51 x70 -x62 x82 -x93 -x94 x98 x90 -x72 -x87 x96 -x56 -x58 -x60 -x97 -x66 -x59 1799.93/1800.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.58 c 46 447106 3800 470115 127982 7775148 121966 248 1800.02 1799.93/1800.58 c Objective: -7 1799.93/1800.58 s SATISFIABLE 1799.93/1800.58 c Total time: 1800.02 s
OK -7
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-455370-1178042110 -o ROOT/results/node27/solver-455370-1178042110 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455370-1178042110/instance-455370-1178042110.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.02 1.01 3/65 1379 /proc/meminfo: memFree=1857200/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=19584 CPUtime=0 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 344 0 0 0 0 0 0 0 18 0 1 0 216906962 20054016 313 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134536080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 4896 322 280 324 0 3956 0 [startup+0.00781209 s] /proc/loadavg: 1.09 1.02 1.01 3/65 1379 /proc/meminfo: memFree=1857200/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=4096 CPUtime=0 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 416 0 0 0 0 0 0 0 18 0 1 0 216906962 4194304 385 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 1024 385 292 324 0 84 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4096 [startup+0.101821 s] /proc/loadavg: 1.09 1.02 1.01 3/65 1379 /proc/meminfo: memFree=1857200/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=5572 CPUtime=0.09 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 799 0 0 0 9 0 0 0 18 0 1 0 216906962 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 1393 759 306 324 0 462 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5572 [startup+0.30184 s] /proc/loadavg: 1.09 1.02 1.01 3/65 1379 /proc/meminfo: memFree=1857200/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=5572 CPUtime=0.29 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 799 0 0 0 29 0 0 0 19 0 1 0 216906962 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1900477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 1393 759 306 324 0 462 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5572 [startup+0.701881 s] /proc/loadavg: 1.09 1.02 1.01 3/65 1379 /proc/meminfo: memFree=1857200/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=5572 CPUtime=0.69 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 799 0 0 0 69 0 0 0 23 0 1 0 216906962 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 1393 759 306 324 0 462 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5572 [startup+1.50196 s] /proc/loadavg: 1.09 1.02 1.01 2/66 1380 /proc/meminfo: memFree=1855592/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=5572 CPUtime=1.49 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 799 0 0 0 149 0 0 0 25 0 1 0 216906962 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 1393 759 306 324 0 462 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5572 [startup+3.10113 s] /proc/loadavg: 1.08 1.02 1.00 2/66 1380 /proc/meminfo: memFree=1855464/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=5572 CPUtime=3.09 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 799 0 0 0 309 0 0 0 25 0 1 0 216906962 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 1393 759 306 324 0 462 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5572 [startup+6.30145 s] /proc/loadavg: 1.08 1.02 1.00 2/66 1380 /proc/meminfo: memFree=1855224/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=6440 CPUtime=6.29 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 1085 0 0 0 626 3 0 0 25 0 1 0 216906962 6594560 996 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 1610 996 313 324 0 679 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6440 [startup+12.7011 s] /proc/loadavg: 1.07 1.02 1.00 2/66 1380 /proc/meminfo: memFree=1839104/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=22312 CPUtime=12.68 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 5043 0 0 0 1262 6 0 0 25 0 1 0 216906962 22847488 4954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 5578 4954 313 324 0 4647 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22312 [startup+25.5014 s] /proc/loadavg: 1.06 1.01 1.00 2/66 1380 /proc/meminfo: memFree=1828552/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=32696 CPUtime=25.48 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 7652 0 0 0 2537 11 0 0 25 0 1 0 216906962 33480704 7563 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 8174 7563 313 324 0 7243 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32696 [startup+51.102 s] /proc/loadavg: 1.04 1.01 1.00 2/66 1380 /proc/meminfo: memFree=1811720/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=49632 CPUtime=51.07 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 11868 0 0 0 5090 17 0 0 25 0 1 0 216906962 50823168 11779 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 12408 11779 313 324 0 11477 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49632 [startup+102.305 s] /proc/loadavg: 1.01 1.01 1.00 2/66 1380 /proc/meminfo: memFree=1789064/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=71876 CPUtime=102.27 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 17451 0 0 0 10199 28 0 0 25 0 1 0 216906962 73601024 17362 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 17969 17362 313 324 0 17038 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 71876 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1380 /proc/meminfo: memFree=1770376/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=90564 CPUtime=162.25 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 22119 0 0 0 16187 38 0 0 25 0 1 0 216906962 92737536 22030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 22641 22030 313 324 0 21710 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 90564 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1380 /proc/meminfo: memFree=1759816/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=101036 CPUtime=222.23 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 24723 0 0 0 22179 44 0 0 25 0 1 0 216906962 103460864 24634 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 25259 24634 313 324 0 24328 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 101036 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1380 /proc/meminfo: memFree=1750728/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=110260 CPUtime=282.21 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 27022 0 0 0 28171 50 0 0 25 0 1 0 216906962 112906240 26933 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 27565 26933 313 324 0 26634 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 110260 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1380 /proc/meminfo: memFree=1743624/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=116976 CPUtime=342.2 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 28817 0 0 0 34166 54 0 0 25 0 1 0 216906962 119783424 28612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 29244 28612 313 324 0 28313 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 116976 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/72 1557 /proc/meminfo: memFree=1742536/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=116976 CPUtime=402.09 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 28817 0 0 0 40153 56 0 0 25 0 1 0 216906962 119783424 28612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 29244 28612 313 324 0 28313 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 116976 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1743432/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=116976 CPUtime=462.07 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 28817 0 0 0 46146 61 0 0 25 0 1 0 216906962 119783424 28612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 29244 28612 313 324 0 28313 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 116976 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1743496/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=116976 CPUtime=522.05 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 28817 0 0 0 52141 64 0 0 25 0 1 0 216906962 119783424 28612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1898325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 29244 28612 313 324 0 28313 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 116976 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1743496/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=116976 CPUtime=582.03 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 28817 0 0 0 58136 67 0 0 25 0 1 0 216906962 119783424 28612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 29244 28612 313 324 0 28313 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 116976 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1743624/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=116976 CPUtime=642.02 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 28817 0 0 0 64131 71 0 0 25 0 1 0 216906962 119783424 28612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 29244 28612 313 324 0 28313 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 116976 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1718408/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=142208 CPUtime=821.97 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 35148 0 0 0 82109 88 0 0 25 0 1 0 216906962 145620992 34943 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 35552 34943 313 324 0 34621 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 142208 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1708360/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=152156 CPUtime=881.96 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 37637 0 0 0 88103 93 0 0 25 0 1 0 216906962 155807744 37432 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 38039 37432 313 324 0 37108 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 152156 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1699848/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=160712 CPUtime=941.95 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 39770 0 0 0 94097 98 0 0 25 0 1 0 216906962 164569088 39565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 40178 39565 313 324 0 39247 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 160712 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695304/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1001.93 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 100092 101 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 164996 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1061.91 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 106090 101 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 164996 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1121.9 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 112088 102 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 164996 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695432/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1181.89 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 118087 102 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 164996 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695432/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1241.87 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 124085 102 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 164996 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1301.86 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 130080 106 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 164996 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695432/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1361.83 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 136074 109 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 164996 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695432/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1421.83 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 142071 112 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 164996 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1481.81 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 148067 114 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 164996 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1541.8 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 154060 120 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 164996 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1601.78 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 160053 125 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 164996 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1661.76 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 166048 128 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 164996 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1721.75 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 172043 132 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 164996 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1695304/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=164996 CPUtime=1781.73 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 178039 134 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 41249 40624 313 324 0 40318 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 164996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1579 /proc/meminfo: memFree=1825352/2055920 swapFree=4182956/4192956 [pid=1379] ppid=1377 vsize=0 CPUtime=1800.04 /proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194308 40997 0 0 0 179866 138 0 0 25 0 1 0 216906962 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1379/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.61 CPU time (s): 1800.05 CPU user time (s): 1798.67 CPU system time (s): 1.38279 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 165664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.67 system time used= 1.38279 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40997 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= 2718 runsolver used 1.42178 second user time and 3.55846 second system time The end
Begin job on node27 on Tue May 1 17:55:11 UTC 2007 IDJOB= 455370 IDBENCH= 48259 IDSOLVER= 163 FILE ID= node27/455370-1178042110 PBS_JOBID= 4728393 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455370-1178042110/instance-455370-1178042110.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-455370-1178042110 -o ROOT/results/node27/solver-455370-1178042110 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455370-1178042110/instance-455370-1178042110.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364 RANDOM SEED= 722685452 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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 : 5931.00 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: 1857864 kB Buffers: 67168 kB Cached: 61664 kB SwapCached: 3632 kB Active: 98272 kB Inactive: 44280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857864 kB SwapTotal: 4192956 kB SwapFree: 4182956 kB Dirty: 6788 kB Writeback: 0 kB Mapped: 18056 kB Slab: 41588 kB Committed_AS: 4964996 kB PageTables: 1416 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 node27 on Tue May 1 18:25:13 UTC 2007