Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -6 | 1800.04 | 1800.79 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_5.opb |
MD5SUM | 75c62437256ecfefd1c4252ede4b185e |
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 | -6 |
Best CPU time to get the best result obtained on this benchmark | 104.82 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -6 |
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) | 2928 |
Sum of products size (including duplicates) | 5856 |
Number of different products | 1464 |
Sum of products size | 2928 |
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/454965-1178034628/instance-454965-1178034628.opb 0.00/0.00 c File size is 34850 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.025 s 0.00/0.03 c Var: 3028 Constr: 6008 2978/102/2928 Lit: 20796 Watch. Lit: 17770 0.00/0.03 c Obj. Vars: 50 (1.65125 % of total variables) 5.59/5.65 c Pre-processing Time: 5.651 s 5.59/5.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.65 c 0 3028 6008 20796 3 17770 48424 0 0 5.65 5.59/5.65 c Switching off LPR mode. 5.59/5.66 o -1 5.656 5.59/5.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.66 c 0 3028 6009 20846 3 17773 48457 1 0 5.66 5.59/5.66 o -2 5.66 5.59/5.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.67 c 0 3028 6010 20896 3 17777 48507 2 0 5.66 5.59/5.67 o -3 5.664 5.59/5.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.67 c 0 3028 6011 20946 3 17782 48574 3 0 5.67 5.59/5.67 o -4 5.668 5.59/5.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.69 c 0 3028 6012 20996 3 17788 48657 4 0 5.67 5.59/5.69 o -5 5.69 272.08/272.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 272.08/272.20 c 31 3028 6044 22517 3 17857 48674 36 5 5.69 272.08/272.20 c 131 3028 6144 27885 4 18057 53542 136 22 5.71 272.08/272.20 c 381 3028 6394 41183 6 18557 58897 386 66 5.75 272.08/272.20 c 856 3028 6869 66798 9 19507 64787 861 147 5.82 272.08/272.20 c 1669 3028 7682 110591 14 21133 71266 1674 281 5.93 272.08/272.20 c 2989 3028 9002 182565 20 23773 78393 2994 487 6.14 272.08/272.20 c 5070 3028 11083 300449 27 27935 86233 5075 781 6.49 272.08/272.20 c 8293 3028 14306 481160 33 34381 94857 8298 1153 7.19 272.08/272.20 c 13229 3028 19242 754992 39 44253 104343 13234 1524 8.68 272.08/272.20 c 20735 3028 26748 1182081 44 59265 114778 20740 1741 11.91 272.08/272.20 c 32096 3028 38109 1869283 49 81987 126256 32101 1426 22.50 272.08/272.20 c 49240 3028 55253 2973639 53 116275 138882 49245 1149 42.84 272.08/272.20 c 75060 3028 81073 4836064 59 167915 152771 75065 648 115.78 272.08/272.20 c 113892 3028 119905 7508111 62 245579 168049 113897 432 263.07 272.08/272.20 o -6 272.097 1799.95/1800.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.75 c 115601 3028 121615 7596485 62 249005 48691 115607 424 272.10 1799.95/1800.75 c 115701 3028 18817 881724 46 43394 53561 12809 340 339.65 1799.95/1800.75 c 115951 3028 19067 897395 47 43894 58918 13059 341 339.79 1799.95/1800.75 c 116426 3028 19542 928705 47 44844 64810 13534 342 340.02 1799.95/1800.75 c 117239 3028 20355 976059 47 46470 71292 14347 344 340.45 1799.95/1800.75 c 118560 3028 21676 1055620 48 49112 78422 15668 347 341.36 1799.95/1800.75 c 120641 3028 23757 1164528 49 53274 86265 17749 351 342.97 1799.95/1800.75 c 123864 3028 26980 1344351 49 59720 94892 20972 359 344.16 1799.95/1800.75 c 128801 3028 31917 1623274 50 69594 104382 25909 371 346.51 1799.95/1800.75 c 136307 3028 39423 2080608 52 84606 114821 33415 384 354.06 1799.95/1800.75 c 147668 3028 50784 2779740 54 107328 126304 44776 397 371.20 1799.95/1800.75 c 164812 3028 67928 3807760 56 141616 138935 61920 408 403.24 1799.95/1800.75 c 190631 3028 93747 5496978 58 193254 152829 87739 387 492.13 1799.95/1800.75 c 229463 3028 132579 7940483 59 270918 168112 126571 344 665.24 1799.95/1800.75 c 287816 3028 33264 1868567 56 72288 184924 27256 261 1100.85 1799.95/1800.75 c 375448 3028 120896 7461585 61 247552 203417 114888 271 1381.29 1799.95/1800.75 c Resources Exceeded 1799.95/1800.75 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 1799.95/1800.75 v -x30 -x31 x32 -x33 -x34 -x35 x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x76 -x66 x61 -x73 -x77 -x83 1799.95/1800.75 v -x71 -x100 -x74 -x82 x99 x79 -x87 -x65 -x56 -x80 x84 -x53 -x68 x97 x78 -x85 -x59 -x62 -x91 -x52 -x54 -x55 -x58 -x60 -x63 -x70 -x88 1799.95/1800.75 v -x98 -x51 -x72 -x64 -x86 -x94 -x89 -x90 -x93 -x67 -x69 -x95 -x75 -x81 -x92 -x96 -x57 1799.95/1800.75 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.75 c 34 436970 3783 458258 182418 11794682 176410 242 1800.01 1799.95/1800.75 c Objective: -6 1799.95/1800.75 s SATISFIABLE 1799.95/1800.75 c Total time: 1800.01 s
OK -6
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-454965-1178034628 -o ROOT/results/node20/solver-454965-1178034628 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454965-1178034628/instance-454965-1178034628.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.81 1.01 1.05 3/77 25898 /proc/meminfo: memFree=1748224/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=19584 CPUtime=0 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 251380169 20054016 342 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134545728 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 4896 342 290 324 0 3956 0 [startup+0.0454811 s] /proc/loadavg: 0.81 1.01 1.05 3/77 25898 /proc/meminfo: memFree=1748224/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=5572 CPUtime=0.03 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 799 0 0 0 3 0 0 0 18 0 1 0 251380169 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 1393 759 306 324 0 462 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5572 [startup+0.101491 s] /proc/loadavg: 0.81 1.01 1.05 3/77 25898 /proc/meminfo: memFree=1748224/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=5572 CPUtime=0.09 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 799 0 0 0 9 0 0 0 18 0 1 0 251380169 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8052461 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 1393 759 306 324 0 462 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5572 [startup+0.301531 s] /proc/loadavg: 0.81 1.01 1.05 3/77 25898 /proc/meminfo: memFree=1748224/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=5572 CPUtime=0.29 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 799 0 0 0 29 0 0 0 19 0 1 0 251380169 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 1393 759 306 324 0 462 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5572 [startup+0.701611 s] /proc/loadavg: 0.81 1.01 1.05 3/77 25898 /proc/meminfo: memFree=1748224/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=5572 CPUtime=0.69 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 799 0 0 0 69 0 0 0 22 0 1 0 251380169 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8052820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 1393 759 306 324 0 462 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5572 [startup+1.50177 s] /proc/loadavg: 0.81 1.01 1.05 2/78 25899 /proc/meminfo: memFree=1746296/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=5572 CPUtime=1.49 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 799 0 0 0 149 0 0 0 25 0 1 0 251380169 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 1393 759 306 324 0 462 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5572 [startup+3.10109 s] /proc/loadavg: 0.81 1.01 1.05 2/78 25899 /proc/meminfo: memFree=1746168/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=5572 CPUtime=3.09 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 799 0 0 0 309 0 0 0 25 0 1 0 251380169 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8052438 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 1393 759 306 324 0 462 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5572 [startup+6.30173 s] /proc/loadavg: 0.82 1.01 1.05 2/78 25899 /proc/meminfo: memFree=1745984/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=8772 CPUtime=6.29 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 1657 0 0 0 627 2 0 0 25 0 1 0 251380169 8982528 1568 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 2193 1568 313 324 0 1262 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8772 [startup+12.702 s] /proc/loadavg: 0.84 1.00 1.05 2/78 25899 /proc/meminfo: memFree=1728784/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=23820 CPUtime=12.69 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 5420 0 0 0 1263 6 0 0 25 0 1 0 251380169 24391680 5331 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 5955 5331 313 324 0 5024 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23820 [startup+25.5016 s] /proc/loadavg: 0.87 1.00 1.05 2/78 25899 /proc/meminfo: memFree=1716048/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=35988 CPUtime=25.48 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 8451 0 0 0 2537 11 0 0 25 0 1 0 251380169 36851712 8362 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 8997 8362 313 324 0 8066 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35988 [startup+51.1017 s] /proc/loadavg: 0.91 1.00 1.05 2/78 25899 /proc/meminfo: memFree=1699984/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=52028 CPUtime=51.06 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 12476 0 0 0 5088 18 0 0 25 0 1 0 251380169 53276672 12387 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 13007 12387 313 324 0 12076 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 52028 [startup+102.306 s] /proc/loadavg: 0.96 1.00 1.04 2/78 25899 /proc/meminfo: memFree=1680912/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=70800 CPUtime=102.25 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 17170 0 0 0 10198 27 0 0 25 0 1 0 251380169 72499200 17081 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 17700 17081 313 324 0 16769 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 70800 [startup+162.302 s] /proc/loadavg: 0.98 1.00 1.04 2/78 25899 /proc/meminfo: memFree=1663504/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=88264 CPUtime=162.23 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 21541 0 0 0 16184 39 0 0 25 0 1 0 251380169 90382336 21452 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 22066 21452 313 324 0 21135 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 88264 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.03 2/78 25899 /proc/meminfo: memFree=1648080/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=103520 CPUtime=222.21 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 25350 0 0 0 22174 47 0 0 25 0 1 0 251380169 106004480 25261 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 25880 25261 313 324 0 24949 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 103520 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.03 2/78 25899 /proc/meminfo: memFree=1636112/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=115184 CPUtime=282.19 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 28374 0 0 0 28165 54 0 0 25 0 1 0 251380169 117948416 28172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 28796 28172 313 324 0 27865 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 115184 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.02 2/78 25899 /proc/meminfo: memFree=1636112/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=115184 CPUtime=342.17 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 28374 0 0 0 34162 55 0 0 25 0 1 0 251380169 117948416 28172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 28796 28172 313 324 0 27865 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 115184 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.02 2/78 25899 /proc/meminfo: memFree=1636176/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=115184 CPUtime=402.14 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 28374 0 0 0 40152 62 0 0 25 0 1 0 251380169 117948416 28172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 28796 28172 313 324 0 27865 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 115184 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.01 2/78 25899 /proc/meminfo: memFree=1636304/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=115184 CPUtime=462.12 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 28374 0 0 0 46146 66 0 0 25 0 1 0 251380169 117948416 28172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 28796 28172 313 324 0 27865 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 115184 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 25899 /proc/meminfo: memFree=1636304/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=115184 CPUtime=522.1 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 28374 0 0 0 52140 70 0 0 25 0 1 0 251380169 117948416 28172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 28796 28172 313 324 0 27865 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 115184 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 25899 /proc/meminfo: memFree=1636368/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=115184 CPUtime=582.08 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 28374 0 0 0 58134 74 0 0 25 0 1 0 251380169 117948416 28172 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 28796 28172 313 324 0 27865 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 115184 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/84 25973 /proc/meminfo: memFree=1633560/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=116752 CPUtime=642.03 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 28763 0 0 0 64125 78 0 0 25 0 1 0 251380169 119554048 28561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 29188 28561 313 324 0 28257 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 116752 ################ # More data... # ################ /proc/meminfo: memFree=1588432/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=163008 CPUtime=1061.81 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 40496 0 0 0 106076 105 0 0 25 0 1 0 251380169 166920192 40127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 40752 40127 313 324 0 39821 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 163008 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1588496/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=163008 CPUtime=1121.79 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 40496 0 0 0 112069 110 0 0 25 0 1 0 251380169 166920192 40127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 40752 40127 313 324 0 39821 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 163008 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1588496/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=163008 CPUtime=1181.77 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 40496 0 0 0 118062 115 0 0 25 0 1 0 251380169 166920192 40127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572031 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 40752 40127 313 324 0 39821 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 163008 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1588496/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=163008 CPUtime=1241.75 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 40496 0 0 0 124056 119 0 0 25 0 1 0 251380169 166920192 40127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 40752 40127 313 324 0 39821 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 163008 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1588432/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=163008 CPUtime=1301.73 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 40496 0 0 0 130050 123 0 0 25 0 1 0 251380169 166920192 40127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 40752 40127 313 324 0 39821 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 163008 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1588496/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=163008 CPUtime=1361.7 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 40496 0 0 0 136043 127 0 0 25 0 1 0 251380169 166920192 40127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 40752 40127 313 324 0 39821 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 163008 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1588496/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=163008 CPUtime=1421.68 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 40496 0 0 0 142037 131 0 0 25 0 1 0 251380169 166920192 40127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 40752 40127 313 324 0 39821 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 163008 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1588432/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=163008 CPUtime=1481.66 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 40496 0 0 0 148032 134 0 0 25 0 1 0 251380169 166920192 40127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 40752 40127 313 324 0 39821 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 163008 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1588496/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=163008 CPUtime=1541.64 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 40496 0 0 0 154027 137 0 0 25 0 1 0 251380169 166920192 40127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 40752 40127 313 324 0 39821 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 163008 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1588496/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=163008 CPUtime=1601.62 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 40496 0 0 0 160022 140 0 0 25 0 1 0 251380169 166920192 40127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 40752 40127 313 324 0 39821 0 Current children cumulated CPU time (s) 1601.62 Current children cumulated vsize (KiB) 163008 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1588496/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=163008 CPUtime=1661.59 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 40496 0 0 0 166018 141 0 0 25 0 1 0 251380169 166920192 40127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 40752 40127 313 324 0 39821 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 163008 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1588496/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=163008 CPUtime=1721.58 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 40501 0 0 0 172014 144 0 0 25 0 1 0 251380169 166920192 40132 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 40752 40132 313 324 0 39821 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 163008 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1578960/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=172564 CPUtime=1781.55 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 42901 0 0 0 178005 150 0 0 25 0 1 0 251380169 176705536 42532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 43141 42532 313 324 0 42210 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 172564 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1577296/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=174112 CPUtime=1791.16 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 43288 0 0 0 178965 151 0 0 25 0 1 0 251380169 178290688 42919 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 43528 42919 313 324 0 42597 0 Current children cumulated CPU time (s) 1791.16 Current children cumulated vsize (KiB) 174112 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1576720/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=174756 CPUtime=1794.35 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 43430 0 0 0 179284 151 0 0 25 0 1 0 251380169 178950144 43061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 43689 43061 313 324 0 42758 0 Current children cumulated CPU time (s) 1794.35 Current children cumulated vsize (KiB) 174756 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1576528/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=175012 CPUtime=1797.54 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 43501 0 0 0 179603 151 0 0 25 0 1 0 251380169 179212288 43132 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 43753 43132 313 324 0 42822 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (KiB) 175012 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1576272/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=175276 CPUtime=1799.14 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 43557 0 0 0 179763 151 0 0 25 0 1 0 251380169 179482624 43188 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 43819 43188 313 324 0 42888 0 Current children cumulated CPU time (s) 1799.14 Current children cumulated vsize (KiB) 175276 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1576272/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=175276 CPUtime=1799.54 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 43568 0 0 0 179803 151 0 0 25 0 1 0 251380169 179482624 43199 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 43819 43199 313 324 0 42888 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (KiB) 175276 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26097 /proc/meminfo: memFree=1576144/2055920 swapFree=4154876/4192956 [pid=25898] ppid=25896 vsize=175276 CPUtime=1799.95 /proc/25898/stat : 25898 (bsolo3.0.16) R 25896 25898 25535 0 -1 4194304 43578 0 0 0 179844 151 0 0 25 0 1 0 251380169 179482624 43209 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25898/statm: 43819 43209 313 324 0 42888 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (KiB) 175276 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.04 CPU user time (s): 1798.49 CPU system time (s): 1.54776 CPU usage (%): 99.9586 Max. virtual memory (cumulated for all children) (KiB): 175276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.49 system time used= 1.54776 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43580 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= 25881 runsolver used 1.3478 second user time and 3.97839 second system time The end
Begin job on node20 on Tue May 1 15:50:28 UTC 2007 IDJOB= 454965 IDBENCH= 48232 IDSOLVER= 163 FILE ID= node20/454965-1178034628 PBS_JOBID= 4728447 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_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454965-1178034628/instance-454965-1178034628.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-454965-1178034628 -o ROOT/results/node20/solver-454965-1178034628 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454965-1178034628/instance-454965-1178034628.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 75c62437256ecfefd1c4252ede4b185e RANDOM SEED= 649621388 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1748632 kB Buffers: 89168 kB Cached: 127624 kB SwapCached: 16448 kB Active: 156892 kB Inactive: 84032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1748632 kB SwapTotal: 4192956 kB SwapFree: 4154876 kB Dirty: 6988 kB Writeback: 0 kB Mapped: 29840 kB Slab: 51972 kB Committed_AS: 4589944 kB PageTables: 1744 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 node20 on Tue May 1 16:20:29 UTC 2007