Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.02 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_3.opb |
MD5SUM | 37c74b9e914d30b1ddfc0838676dd479 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1138.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 41 |
Total number of constraints | 11 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 1 |
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 | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1162 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3487 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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/433544-1177961129/instance-433544-1177961129.opb 0.00/0.00 c File size is 3364 bytes. 0.00/0.00 c Highest Coefficient sum: 3487 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 41 Constr: 11 1/0/10 Lit: 395 Watch. Lit: 138 0.00/0.00 c Obj. Vars: 1 (2.43902 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 40 10 394 39 142 788 0 0 0.00 0.00/0.00 c Switching off LPR mode. 1800.01/1800.50 c 102 40 112 3386 30 422 867 102 17000 0.01 1800.01/1800.50 c 252 40 262 7623 29 722 954 252 18000 0.01 1800.01/1800.50 c 477 40 487 14245 29 1182 1050 477 17666 0.03 1800.01/1800.50 c 816 40 826 24446 29 1852 1156 816 16320 0.05 1800.01/1800.50 c 1324 40 730 21703 29 1661 1272 720 14236 0.09 1800.01/1800.50 c 2087 40 840 24951 29 1886 1400 830 13208 0.16 1800.01/1800.50 c 3233 40 1253 37175 29 2713 1541 1243 12292 0.26 1800.01/1800.50 c 4954 40 1390 40056 28 2991 1696 1380 11966 0.41 1800.01/1800.50 c 7538 40 1338 38682 28 2882 1866 1328 11352 0.66 1800.01/1800.50 c 11417 40 1394 39955 28 3002 2053 1384 10904 1.05 1800.01/1800.50 c 17239 40 1955 56423 28 4109 2259 1945 10378 1.66 1800.01/1800.50 c 25976 40 1461 41731 28 3131 2485 1451 9846 2.64 1800.01/1800.50 c 39086 40 1922 55790 29 4044 2734 1912 9332 4.19 1800.01/1800.50 c 58756 40 2098 61377 29 4409 3008 2088 8956 6.56 1800.01/1800.50 c 88266 40 2555 73491 28 5313 3309 2545 8582 10.29 1800.01/1800.50 c 132537 40 3188 92142 28 6591 3640 3178 8011 16.54 1800.01/1800.50 c 198947 40 3214 93122 28 6637 4005 3204 7455 26.68 1800.01/1800.50 c 298568 40 3484 98029 28 7186 4406 3474 6990 42.71 1800.01/1800.50 c 448003 40 3678 107588 29 7562 4847 3668 6522 68.68 1800.01/1800.50 c 672161 40 2737 78233 28 5684 5332 2727 6037 111.33 1800.01/1800.50 c 1008404 40 2733 80838 29 5676 5866 2723 5440 185.36 1800.01/1800.50 c 1512776 40 4407 124900 28 9026 6453 4397 5027 300.90 1800.01/1800.50 c 2269340 40 3809 111293 29 7835 7099 3799 4627 490.43 1800.01/1800.50 c 3404191 40 6118 175917 28 12448 7809 6108 4193 811.74 1800.01/1800.50 c 5106474 40 7706 224052 29 15623 8590 7696 3784 1349.19 1800.01/1800.50 c Caught signal: 15 1800.01/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.50 c 25 6377191 2793 6380367 8392 243538 8382 3542 1800.02 1800.01/1800.50 s UNKNOWN 1800.01/1800.50 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-433544-1177961129 -o ROOT/results/node11/solver-433544-1177961129 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433544-1177961129/instance-433544-1177961129.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.91 0.95 0.96 3/77 15338 /proc/meminfo: memFree=1857080/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=19552 CPUtime=0 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 237161899 20021248 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 4888 332 280 324 0 3957 0 [startup+0.091637 s] /proc/loadavg: 0.91 0.95 0.96 3/77 15338 /proc/meminfo: memFree=1857080/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=12384 CPUtime=0.08 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 542 0 0 0 8 0 0 0 18 0 1 0 237161899 12681216 511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3096 511 310 324 0 2166 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12384 [startup+0.101637 s] /proc/loadavg: 0.91 0.95 0.96 3/77 15338 /proc/meminfo: memFree=1857080/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=12384 CPUtime=0.09 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 542 0 0 0 9 0 0 0 18 0 1 0 237161899 12681216 511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8412916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3096 511 310 324 0 2166 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12384 [startup+0.30166 s] /proc/loadavg: 0.91 0.95 0.96 3/77 15338 /proc/meminfo: memFree=1857080/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=12512 CPUtime=0.29 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 589 0 0 0 29 0 0 0 19 0 1 0 237161899 12812288 558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3128 558 310 324 0 2198 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12512 [startup+0.701708 s] /proc/loadavg: 0.91 0.95 0.96 3/77 15338 /proc/meminfo: memFree=1857080/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=12640 CPUtime=0.69 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 610 0 0 0 69 0 0 0 23 0 1 0 237161899 12943360 579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8420992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3160 579 310 324 0 2230 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12640 [startup+1.5018 s] /proc/loadavg: 0.91 0.95 0.96 2/78 15339 /proc/meminfo: memFree=1855856/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=12776 CPUtime=1.49 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 656 0 0 0 149 0 0 0 25 0 1 0 237161899 13082624 625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8412592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3194 625 310 324 0 2264 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12776 [startup+3.10199 s] /proc/loadavg: 0.91 0.95 0.96 2/78 15339 /proc/meminfo: memFree=1855536/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=13036 CPUtime=3.09 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 706 0 0 0 309 0 0 0 25 0 1 0 237161899 13348864 675 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3259 675 310 324 0 2329 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13036 [startup+6.30237 s] /proc/loadavg: 0.92 0.95 0.96 2/78 15339 /proc/meminfo: memFree=1855152/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=13164 CPUtime=6.29 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 750 0 0 0 629 0 0 0 25 0 1 0 237161899 13479936 719 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3291 719 310 324 0 2361 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13164 [startup+12.7011 s] /proc/loadavg: 0.93 0.95 0.96 2/78 15339 /proc/meminfo: memFree=1854896/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=13428 CPUtime=12.69 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 820 0 0 0 1269 0 0 0 25 0 1 0 237161899 13750272 789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8420992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3357 789 310 324 0 2427 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13428 [startup+25.5016 s] /proc/loadavg: 0.94 0.96 0.96 2/78 15339 /proc/meminfo: memFree=1854704/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=13656 CPUtime=25.48 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 871 0 0 0 2548 0 0 0 25 0 1 0 237161899 13983744 840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3414 840 310 324 0 2484 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13656 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.96 2/78 15339 /proc/meminfo: memFree=1854320/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=14012 CPUtime=51.07 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 964 0 0 0 5107 0 0 0 25 0 1 0 237161899 14348288 933 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3503 933 310 324 0 2573 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14012 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.96 2/78 15339 /proc/meminfo: memFree=1853936/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=14308 CPUtime=102.27 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1049 0 0 0 10226 1 0 0 25 0 1 0 237161899 14651392 1016 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3577 1016 310 324 0 2647 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 14308 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1853680/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=14560 CPUtime=162.24 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1117 0 0 0 16223 1 0 0 25 0 1 0 237161899 14909440 1074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3640 1074 310 324 0 2710 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 14560 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 3/78 15339 /proc/meminfo: memFree=1853424/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=14804 CPUtime=222.23 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1172 0 0 0 22221 2 0 0 25 0 1 0 237161899 15159296 1129 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3701 1129 310 324 0 2771 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 14804 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1853360/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=14804 CPUtime=282.22 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1184 0 0 0 28219 3 0 0 25 0 1 0 237161899 15159296 1140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3701 1140 310 324 0 2771 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 14804 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1852976/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15032 CPUtime=342.2 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1322 0 0 0 34217 3 0 0 25 0 1 0 237161899 15392768 1197 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3758 1197 310 324 0 2828 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 15032 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1852976/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15092 CPUtime=402.18 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1333 0 0 0 40214 4 0 0 25 0 1 0 237161899 15454208 1208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3773 1208 310 324 0 2843 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 15092 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1853040/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15092 CPUtime=462.16 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1355 0 0 0 46212 4 0 0 25 0 1 0 237161899 15454208 1212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3773 1212 310 324 0 2843 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 15092 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1852720/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15424 CPUtime=522.15 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1473 0 0 0 52210 5 0 0 25 0 1 0 237161899 15794176 1290 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8413334 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3856 1290 310 324 0 2926 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 15424 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1852464/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15464 CPUtime=582.13 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1517 0 0 0 58208 5 0 0 25 0 1 0 237161899 15835136 1304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3866 1304 310 324 0 2936 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 15464 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1852464/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15464 CPUtime=642.12 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1517 0 0 0 64206 6 0 0 25 0 1 0 237161899 15835136 1304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559332 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3866 1304 310 324 0 2936 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 15464 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1852080/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15840 CPUtime=882.05 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1705 0 0 0 88197 8 0 0 25 0 1 0 237161899 16220160 1398 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3960 1398 310 324 0 3030 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 15840 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1852080/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15828 CPUtime=942.03 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1708 0 0 0 94195 8 0 0 25 0 1 0 237161899 16207872 1396 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3957 1396 310 324 0 3027 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 15828 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1852144/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15828 CPUtime=1002.02 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1708 0 0 0 100193 9 0 0 25 0 1 0 237161899 16207872 1396 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3957 1396 310 324 0 3027 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 15828 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1852144/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15828 CPUtime=1062 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1708 0 0 0 106191 9 0 0 25 0 1 0 237161899 16207872 1396 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3957 1396 310 324 0 3027 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 15828 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1852080/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15876 CPUtime=1121.99 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1716 0 0 0 112189 10 0 0 25 0 1 0 237161899 16257024 1404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8096881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3969 1404 310 324 0 3039 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 15876 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15339 /proc/meminfo: memFree=1852016/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15876 CPUtime=1181.98 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1716 0 0 0 118187 11 0 0 25 0 1 0 237161899 16257024 1404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3969 1404 310 324 0 3039 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 15876 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15341 /proc/meminfo: memFree=1851824/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15876 CPUtime=1241.96 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1716 0 0 0 124185 11 0 0 25 0 1 0 237161899 16257024 1404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3969 1404 310 324 0 3039 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 15876 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15341 /proc/meminfo: memFree=1851888/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=15876 CPUtime=1301.95 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1716 0 0 0 130183 12 0 0 25 0 1 0 237161899 16257024 1404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 3969 1404 310 324 0 3039 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 15876 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15341 /proc/meminfo: memFree=1851760/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=16008 CPUtime=1361.92 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1737 0 0 0 136180 12 0 0 25 0 1 0 237161899 16392192 1425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8412922 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 4002 1425 310 324 0 3072 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 16008 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15341 /proc/meminfo: memFree=1851568/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=16128 CPUtime=1421.91 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1784 0 0 0 142178 13 0 0 25 0 1 0 237161899 16515072 1471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8412712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 4032 1471 310 324 0 3102 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 16128 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15341 /proc/meminfo: memFree=1851440/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=16180 CPUtime=1481.89 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1806 0 0 0 148176 13 0 0 25 0 1 0 237161899 16568320 1484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 4045 1484 310 324 0 3115 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 16180 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15341 /proc/meminfo: memFree=1851504/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=16180 CPUtime=1541.87 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1806 0 0 0 154174 13 0 0 25 0 1 0 237161899 16568320 1484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 4045 1484 310 324 0 3115 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 16180 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15341 /proc/meminfo: memFree=1851504/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=16180 CPUtime=1601.86 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1806 0 0 0 160172 14 0 0 25 0 1 0 237161899 16568320 1484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 4045 1484 310 324 0 3115 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 16180 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15341 /proc/meminfo: memFree=1851440/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=16180 CPUtime=1661.85 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1806 0 0 0 166170 15 0 0 25 0 1 0 237161899 16568320 1484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 4045 1484 310 324 0 3115 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 16180 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15341 /proc/meminfo: memFree=1851440/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=16180 CPUtime=1721.82 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1806 0 0 0 172167 15 0 0 25 0 1 0 237161899 16568320 1484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 4045 1484 310 324 0 3115 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 16180 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15341 /proc/meminfo: memFree=1851440/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=16180 CPUtime=1781.81 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1810 0 0 0 178165 16 0 0 25 0 1 0 237161899 16568320 1484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 4045 1484 310 324 0 3115 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 16180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15341 /proc/meminfo: memFree=1851440/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=16180 CPUtime=1800.01 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1810 0 0 0 179985 16 0 0 25 0 1 0 237161899 16568320 1484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 4045 1484 310 324 0 3115 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 16180 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.96 2/78 15341 /proc/meminfo: memFree=1851440/2055920 swapFree=4147108/4192956 [pid=15338] ppid=15336 vsize=16180 CPUtime=1800.01 /proc/15338/stat : 15338 (bsolo3.0.17) R 15336 15338 14682 0 -1 4194304 1810 0 0 0 179985 16 0 0 25 0 1 0 237161899 16568320 1484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15338/statm: 4045 1484 310 324 0 3115 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 16180 Child status: 15 Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.85 CPU system time (s): 0.166974 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 16308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.85 system time used= 0.166974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1814 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= 2839 runsolver used 1.48577 second user time and 3.67044 second system time The end
Begin job on node11 on Mon Apr 30 19:25:30 UTC 2007 IDJOB= 433544 IDBENCH= 2931 IDSOLVER= 199 FILE ID= node11/433544-1177961129 PBS_JOBID= 4727724 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433544-1177961129/instance-433544-1177961129.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-433544-1177961129 -o ROOT/results/node11/solver-433544-1177961129 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433544-1177961129/instance-433544-1177961129.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 37c74b9e914d30b1ddfc0838676dd479 RANDOM SEED= 434400080 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1857488 kB Buffers: 29760 kB Cached: 77716 kB SwapCached: 14108 kB Active: 54268 kB Inactive: 77744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857488 kB SwapTotal: 4192956 kB SwapFree: 4147108 kB Dirty: 6596 kB Writeback: 0 kB Mapped: 31596 kB Slab: 51848 kB Committed_AS: 6480964 kB PageTables: 1852 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 node11 on Mon Apr 30 19:55:32 UTC 2007