Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -6 | 1800.06 | 1800.64 |
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.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/454971-1178034657/instance-454971-1178034657.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.016 s 0.00/0.02 c Var: 3028 Constr: 6008 2978/102/2928 Lit: 20796 Watch. Lit: 17770 0.00/0.02 c Obj. Vars: 50 (1.65125 % of total variables) 5.79/5.83 c Pre-processing Time: 5.825 s 5.79/5.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.83 c 0 3028 6008 20796 3 17770 48424 0 0 5.83 5.79/5.83 c Switching off LPR mode. 5.79/5.83 o -1 5.828 5.79/5.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.83 c 0 3028 6009 20846 3 17773 48457 1 0 5.83 5.79/5.83 o -2 5.83 5.79/5.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.84 c 0 3028 6010 20896 3 17777 48507 2 0 5.83 5.79/5.84 o -3 5.833 5.79/5.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.84 c 0 3028 6011 20946 3 17782 48574 3 0 5.83 5.79/5.84 o -4 5.836 5.79/5.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.86 c 0 3028 6012 20996 3 17788 48657 4 0 5.84 5.79/5.86 o -5 5.857 270.82/270.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 270.82/270.97 c 31 3028 6044 22517 3 17857 48674 36 5 5.86 270.82/270.97 c 131 3028 6144 27885 4 18057 53542 136 22 5.87 270.82/270.97 c 381 3028 6394 41183 6 18557 58897 386 64 5.92 270.82/270.97 c 856 3028 6869 66798 9 19507 64787 861 143 5.99 270.82/270.97 c 1669 3028 7682 110591 14 21133 71266 1674 273 6.09 270.82/270.97 c 2989 3028 9002 182565 20 23773 78393 2994 474 6.30 270.82/270.97 c 5070 3028 11083 300449 27 27935 86233 5075 762 6.65 270.82/270.97 c 8293 3028 14306 481160 33 34381 94857 8298 1128 7.35 270.82/270.97 c 13229 3028 19242 754992 39 44253 104343 13234 1496 8.84 270.82/270.97 c 20735 3028 26748 1182081 44 59265 114778 20740 1719 12.06 270.82/270.97 c 32096 3028 38109 1869283 49 81987 126256 32101 1418 22.62 270.82/270.97 c 49240 3028 55253 2973639 53 116275 138882 49245 1147 42.90 270.82/270.97 c 75060 3028 81073 4836064 59 167915 152771 75065 649 115.57 270.82/270.97 c 113892 3028 119905 7508111 62 245579 168049 113897 434 261.95 270.82/270.97 o -6 270.901 1800.01/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.60 c 115601 3028 121615 7596485 62 249005 48691 115607 426 270.90 1800.01/1800.60 c 115701 3028 18817 881724 46 43394 53561 12809 342 338.19 1800.01/1800.60 c 115951 3028 19067 897395 47 43894 58918 13059 342 338.33 1800.01/1800.60 c 116426 3028 19542 928705 47 44844 64810 13534 343 338.55 1800.01/1800.60 c 117239 3028 20355 976059 47 46470 71292 14347 345 338.97 1800.01/1800.60 c 118560 3028 21676 1055620 48 49112 78422 15668 348 339.87 1800.01/1800.60 c 120641 3028 23757 1164528 49 53274 86265 17749 353 341.47 1800.01/1800.60 c 123864 3028 26980 1344351 49 59720 94892 20972 361 342.65 1800.01/1800.60 c 128801 3028 31917 1623274 50 69594 104382 25909 373 344.98 1800.01/1800.60 c 136307 3028 39423 2080608 52 84606 114821 33415 386 352.50 1800.01/1800.60 c 147668 3028 50784 2779740 54 107328 126304 44776 399 369.53 1800.01/1800.60 c 164812 3028 67928 3807760 56 141616 138935 61920 410 401.32 1800.01/1800.60 c 190631 3028 93747 5496978 58 193254 152829 87739 389 489.60 1800.01/1800.60 c 229463 3028 132579 7940483 59 270918 168112 126571 346 661.36 1800.01/1800.60 c 287816 3028 33264 1868567 56 72288 184924 27256 262 1095.53 1800.01/1800.60 c 375448 3028 120896 7461585 61 247552 203417 114888 273 1373.58 1800.01/1800.60 c Caught signal: 15 1800.01/1800.60 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 1800.01/1800.60 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 1800.01/1800.60 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 1800.01/1800.60 v -x98 -x51 -x72 -x64 -x86 -x94 -x89 -x90 -x93 -x67 -x69 -x95 -x75 -x81 -x92 -x96 -x57 1800.01/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.60 c 34 438108 3824 459530 183556 11881251 177548 243 1800.03 1800.01/1800.60 c Objective: -6 1800.01/1800.60 s SATISFIABLE 1800.01/1800.61 c Total time: 1800.03 s
OK -6
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-454971-1178034657 -o ROOT/results/node7/solver-454971-1178034657 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454971-1178034657/instance-454971-1178034657.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.93 0.98 0.99 3/77 3118 /proc/meminfo: memFree=1836584/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=3960 CPUtime=0 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 279503355 4055040 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 990 346 289 324 0 51 0 [startup+0.0955361 s] /proc/loadavg: 0.93 0.98 0.99 3/77 3118 /proc/meminfo: memFree=1836584/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=5572 CPUtime=0.08 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 796 0 0 0 8 0 0 0 18 0 1 0 279503355 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 1393 757 304 324 0 463 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5572 [startup+0.101537 s] /proc/loadavg: 0.93 0.98 0.99 3/77 3118 /proc/meminfo: memFree=1836584/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=5572 CPUtime=0.09 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 796 0 0 0 9 0 0 0 18 0 1 0 279503355 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 1393 757 304 324 0 463 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5572 [startup+0.301558 s] /proc/loadavg: 0.93 0.98 0.99 3/77 3118 /proc/meminfo: memFree=1836584/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=5572 CPUtime=0.29 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 796 0 0 0 29 0 0 0 19 0 1 0 279503355 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10850454 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 1393 757 304 324 0 463 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5572 [startup+0.701599 s] /proc/loadavg: 0.93 0.98 0.99 3/77 3118 /proc/meminfo: memFree=1836584/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=5572 CPUtime=0.69 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 796 0 0 0 69 0 0 0 23 0 1 0 279503355 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 1393 757 304 324 0 463 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5572 [startup+1.50168 s] /proc/loadavg: 0.93 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1834720/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=5572 CPUtime=1.49 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 796 0 0 0 149 0 0 0 25 0 1 0 279503355 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551106 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 1393 757 304 324 0 463 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5572 [startup+3.10185 s] /proc/loadavg: 0.93 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1834656/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=5572 CPUtime=3.09 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 796 0 0 0 309 0 0 0 25 0 1 0 279503355 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10850391 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 1393 757 304 324 0 463 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5572 [startup+6.30119 s] /proc/loadavg: 0.93 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1834464/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=7992 CPUtime=6.29 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 1455 0 0 0 628 1 0 0 25 0 1 0 279503355 8183808 1367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 1998 1367 311 324 0 1068 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7992 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1817376/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=23692 CPUtime=12.68 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 5375 0 0 0 1265 3 0 0 25 0 1 0 279503355 24260608 5287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 5923 5287 311 324 0 4993 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23692 [startup+25.5022 s] /proc/loadavg: 0.95 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1804512/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=35860 CPUtime=25.48 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 8414 0 0 0 2542 6 0 0 25 0 1 0 279503355 36720640 8326 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 8965 8326 311 324 0 8035 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35860 [startup+51.1029 s] /proc/loadavg: 0.97 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1788320/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=52028 CPUtime=51.07 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 12469 0 0 0 5097 10 0 0 25 0 1 0 279503355 53276672 12381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 13007 12381 311 324 0 12077 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 52028 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1769248/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=70800 CPUtime=102.27 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 17173 0 0 0 10209 18 0 0 25 0 1 0 279503355 72499200 17085 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 17700 17085 311 324 0 16770 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 70800 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1751776/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=88392 CPUtime=162.25 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 21560 0 0 0 16202 23 0 0 25 0 1 0 279503355 90513408 21472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 22098 21472 311 324 0 21168 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 88392 [startup+222.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1736288/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=103776 CPUtime=222.24 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 25400 0 0 0 22196 28 0 0 25 0 1 0 279503355 106266624 25312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 25944 25312 311 324 0 25014 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 103776 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1724576/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=115184 CPUtime=282.22 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 28371 0 0 0 28191 31 0 0 25 0 1 0 279503355 117948416 28170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 28796 28170 311 324 0 27866 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 115184 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1724584/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=115184 CPUtime=342.2 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 28371 0 0 0 34189 31 0 0 25 0 1 0 279503355 117948416 28170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 28796 28170 311 324 0 27866 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 115184 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1724584/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=115184 CPUtime=402.19 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 28371 0 0 0 40187 32 0 0 25 0 1 0 279503355 117948416 28170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 28796 28170 311 324 0 27866 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 115184 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1724584/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=115184 CPUtime=462.17 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 28371 0 0 0 46185 32 0 0 25 0 1 0 279503355 117948416 28170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 28796 28170 311 324 0 27866 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 115184 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1724584/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=115184 CPUtime=522.16 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 28371 0 0 0 52183 33 0 0 25 0 1 0 279503355 117948416 28170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 28796 28170 311 324 0 27866 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 115184 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3119 /proc/meminfo: memFree=1724584/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=115184 CPUtime=582.14 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 28371 0 0 0 58181 33 0 0 25 0 1 0 279503355 117948416 28170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 28796 28170 311 324 0 27866 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 115184 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/84 3287 /proc/meminfo: memFree=1720888/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=117528 CPUtime=642.04 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 28967 0 0 0 64169 35 0 0 25 0 1 0 279503355 120348672 28766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 29382 28766 311 324 0 28452 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 117528 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1690856/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=148772 CPUtime=821.96 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 36764 0 0 0 82152 44 0 0 25 0 1 0 279503355 152342528 36563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 37193 36563 311 324 0 36263 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 148772 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1681832/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=157708 CPUtime=881.95 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 39019 0 0 0 88148 47 0 0 25 0 1 0 279503355 161492992 38818 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 39427 38818 311 324 0 38497 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 157708 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1676328/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=941.93 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 94144 49 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 163008 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1676328/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=1001.92 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 100142 50 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 163008 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1676328/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=1061.9 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 106140 50 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546118 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 163008 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1676328/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=1121.89 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 112138 51 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 163008 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1676328/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=1181.87 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 118136 51 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 163008 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1676328/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=1241.86 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 124134 52 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 163008 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1676328/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=1301.84 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 130132 52 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 163008 [startup+1362.3 s] /proc/loadavg: 1.06 1.00 1.00 2/78 3317 /proc/meminfo: memFree=1676264/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=1361.83 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 136130 53 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 163008 [startup+1422.31 s] /proc/loadavg: 1.02 1.00 1.00 2/78 3317 /proc/meminfo: memFree=1676264/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=1421.81 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 142128 53 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 163008 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3317 /proc/meminfo: memFree=1676264/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=1481.8 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 148126 54 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 163008 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3317 /proc/meminfo: memFree=1676264/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=1541.77 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 154123 54 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 163008 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 3317 /proc/meminfo: memFree=1676264/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=1601.76 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 160121 55 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 163008 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 3317 /proc/meminfo: memFree=1676264/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=163008 CPUtime=1661.74 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40493 0 0 0 166119 55 0 0 25 0 1 0 279503355 166920192 40125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 40752 40125 311 324 0 39822 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 163008 [startup+1722.3 s] /proc/loadavg: 1.05 1.02 1.00 2/78 3317 /proc/meminfo: memFree=1674728/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=164684 CPUtime=1721.73 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 40907 0 0 0 172117 56 0 0 25 0 1 0 279503355 168636416 40539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 41171 40539 311 324 0 40241 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 164684 [startup+1782.3 s] /proc/loadavg: 1.05 1.03 1.00 2/78 3317 /proc/meminfo: memFree=1664936/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=174372 CPUtime=1781.72 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 43331 0 0 0 178112 60 0 0 25 0 1 0 279503355 178556928 42963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10849788 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 43593 42963 311 324 0 42663 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 174372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.17 1.06 1.01 2/78 3317 /proc/meminfo: memFree=1662632/2055920 swapFree=4157000/4192956 [pid=3118] ppid=3116 vsize=176564 CPUtime=1800.01 /proc/3118/stat : 3118 (bsolo3.0.17) R 3116 3118 3053 0 -1 4194304 43885 0 0 0 179941 60 0 0 25 0 1 0 279503355 180801536 43517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3118/statm: 44141 43517 311 324 0 43211 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 176564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.64 CPU time (s): 1800.06 CPU user time (s): 1799.42 CPU system time (s): 0.637903 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 176564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.637903 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43889 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= 36163 runsolver used 1.35779 second user time and 4.05538 second system time The end
Begin job on node7 on Tue May 1 15:50:57 UTC 2007 IDJOB= 454971 IDBENCH= 48232 IDSOLVER= 199 FILE ID= node7/454971-1178034657 PBS_JOBID= 4728449 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_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454971-1178034657/instance-454971-1178034657.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-454971-1178034657 -o ROOT/results/node7/solver-454971-1178034657 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454971-1178034657/instance-454971-1178034657.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 75c62437256ecfefd1c4252ede4b185e RANDOM SEED= 299776480 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1837056 kB Buffers: 58872 kB Cached: 69796 kB SwapCached: 15220 kB Active: 111372 kB Inactive: 41244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1837056 kB SwapTotal: 4192956 kB SwapFree: 4157000 kB Dirty: 6824 kB Writeback: 0 kB Mapped: 29196 kB Slab: 51768 kB Committed_AS: 11622688 kB PageTables: 1860 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 node7 on Tue May 1 16:21:00 UTC 2007