Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.01 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-4.opb |
MD5SUM | 172d8bfe30610a29dfe3bb9d98ed3f4c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6352 |
Total number of constraints | 13489 |
Number of constraints which are clauses | 13489 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 6352 |
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 | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
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.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/349073-1176650240/instance-349073-1176650240.opb 0.00/0.00 c File size is 455441 bytes. 0.06/0.08 c Highest Coefficient sum: 6352 0.06/0.08 c Parsing was ok!! 0.06/0.08 c Total parsing time: 0.083 s 0.06/0.09 c Var: 6352 Constr: 13489 13489/0/0 Lit: 33997 Watch. Lit: 26837 0.06/0.09 c Obj. Vars: 6352 (100 % of total variables) 0.09/0.17 c Pre-processing Time: 0.174 s 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 0 1957 5822 16470 2 11644 1940 0 0 0.17 0.09/0.17 c Switching off LPR mode. 1799.90/1800.69 c 100 1957 5922 20280 3 11844 2135 100 344 0.29 1799.90/1800.69 c 250 1957 6072 27144 4 12144 2349 250 554 0.45 1799.90/1800.69 c 476 1957 6298 36535 5 12596 2584 476 781 0.61 1799.90/1800.69 c 815 1957 6637 51239 7 13274 2843 815 919 0.89 1799.90/1800.69 c 1325 1957 7147 72446 10 14294 3128 1325 1085 1.22 1799.90/1800.69 c 2089 1957 7911 104511 13 15822 3441 2089 1137 1.84 1799.90/1800.69 c 3235 1957 9057 154930 17 18114 3786 3235 1161 2.78 1799.90/1800.69 c 4956 1957 10778 230347 21 21556 4165 4956 1122 4.42 1799.90/1800.69 c 7540 1957 13362 346022 25 26724 4582 7540 1047 7.20 1799.90/1800.69 c 11419 1957 10276 207033 20 20552 5041 4454 968 11.79 1799.90/1800.69 c 17241 1957 8987 131149 14 17974 5546 3165 905 19.04 1799.90/1800.69 c 25978 1957 10378 187383 18 20756 6101 4556 898 28.90 1799.90/1800.69 c 39089 1957 15974 461095 28 31948 6712 10152 859 45.47 1799.90/1800.69 c 58759 1957 11943 256036 21 23886 7384 6121 841 69.83 1799.90/1800.69 c 88269 1957 16622 490980 29 33244 8123 10800 812 108.68 1799.90/1800.69 c 132540 1957 18073 572116 31 36146 8936 12251 774 171.11 1799.90/1800.69 c 198950 1957 12518 270893 21 25036 9830 6696 737 269.69 1799.90/1800.69 c 298570 1957 17815 572854 32 35630 10814 11993 693 430.35 1799.90/1800.69 c 448006 1957 18553 589421 31 37106 11896 12731 641 698.66 1799.90/1800.69 c 672164 1957 12514 306060 24 25028 13086 6692 620 1082.42 1799.90/1800.69 c 1008407 1957 14616 443847 30 29232 14395 8794 580 1736.58 1799.90/1800.69 c Resources Exceeded 1799.90/1800.69 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.90/1800.69 c 21 1041171 55813 1105506 23872 1056804 18050 578 1800.00 1799.90/1800.69 s UNKNOWN 1799.90/1800.69 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-349073-1176650240 -o ROOT/results/node33/solver-349073-1176650240 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349073-1176650240/instance-349073-1176650240.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.85 0.95 0.98 3/77 17991 /proc/meminfo: memFree=1470128/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=12184 CPUtime=0 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 112939498 12476416 336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 3046 336 281 324 0 2003 0 [startup+0.074466 s] /proc/loadavg: 0.85 0.95 0.98 3/77 17991 /proc/meminfo: memFree=1470128/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=5968 CPUtime=0.06 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 865 0 0 0 6 0 0 0 18 0 1 0 112939498 6111232 833 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 1492 833 374 324 0 449 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5968 [startup+0.10147 s] /proc/loadavg: 0.85 0.95 0.98 3/77 17991 /proc/meminfo: memFree=1470128/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=6984 CPUtime=0.09 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 1249 0 0 0 9 0 0 0 18 0 1 0 112939498 7151616 1105 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 1746 1105 304 324 0 815 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6984 [startup+0.301511 s] /proc/loadavg: 0.85 0.95 0.98 3/77 17991 /proc/meminfo: memFree=1470128/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=7060 CPUtime=0.29 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 1309 0 0 0 28 1 0 0 19 0 1 0 112939498 7229440 1147 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 1765 1147 311 324 0 834 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7060 [startup+0.701594 s] /proc/loadavg: 0.85 0.95 0.98 3/77 17991 /proc/meminfo: memFree=1470128/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=7060 CPUtime=0.69 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 1309 0 0 0 68 1 0 0 23 0 1 0 112939498 7229440 1147 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 1765 1147 311 324 0 834 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7060 [startup+1.50176 s] /proc/loadavg: 0.85 0.95 0.98 2/78 17992 /proc/meminfo: memFree=1466664/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=7192 CPUtime=1.49 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 1336 0 0 0 148 1 0 0 25 0 1 0 112939498 7364608 1174 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 1798 1174 311 324 0 867 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7192 [startup+3.10108 s] /proc/loadavg: 0.85 0.95 0.98 2/78 17992 /proc/meminfo: memFree=1466152/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=8360 CPUtime=3.09 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 1610 0 0 0 307 2 0 0 25 0 1 0 112939498 8560640 1448 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 2090 1448 311 324 0 1159 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8360 [startup+6.30174 s] /proc/loadavg: 0.95 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1463600/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=10572 CPUtime=6.29 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 2156 0 0 0 626 3 0 0 25 0 1 0 112939498 10825728 1994 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 2643 1994 311 324 0 1712 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10572 [startup+12.7021 s] /proc/loadavg: 0.95 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1461368/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=12244 CPUtime=12.69 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 2586 0 0 0 1265 4 0 0 25 0 1 0 112939498 12537856 2424 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 3061 2424 311 324 0 2130 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12244 [startup+25.5017 s] /proc/loadavg: 0.96 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1461240/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=12476 CPUtime=25.48 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 2640 0 0 0 2542 6 0 0 25 0 1 0 112939498 12775424 2478 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 3119 2478 311 324 0 2188 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12476 [startup+51.1019 s] /proc/loadavg: 0.97 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1460152/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=13604 CPUtime=51.07 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 2924 0 0 0 5097 10 0 0 25 0 1 0 112939498 13930496 2762 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 3401 2762 311 324 0 2470 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13604 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1459640/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=14128 CPUtime=102.25 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 3076 0 0 0 10209 16 0 0 25 0 1 0 112939498 14467072 2914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 3532 2914 311 324 0 2601 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 14128 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1459000/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=14840 CPUtime=162.23 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 3240 0 0 0 16198 25 0 0 25 0 1 0 112939498 15196160 3078 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 3710 3078 311 324 0 2779 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 14840 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1458104/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=15792 CPUtime=222.21 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 3477 0 0 0 22188 33 0 0 25 0 1 0 112939498 16171008 3315 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 3948 3315 311 324 0 3017 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 15792 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1458104/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=15792 CPUtime=282.18 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 3478 0 0 0 28177 41 0 0 25 0 1 0 112939498 16171008 3316 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 3948 3316 311 324 0 3017 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 15792 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1457720/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=16180 CPUtime=342.15 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 3584 0 0 0 34167 48 0 0 25 0 1 0 112939498 16568320 3422 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 4045 3422 311 324 0 3114 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 16180 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1457272/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=16668 CPUtime=402.13 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 3695 0 0 0 40155 58 0 0 25 0 1 0 112939498 17068032 3533 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 4167 3533 311 324 0 3236 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 16668 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1456888/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=17068 CPUtime=462.11 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 3802 0 0 0 46146 65 0 0 25 0 1 0 112939498 17477632 3640 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 4267 3640 311 324 0 3336 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 17068 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1456888/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=17068 CPUtime=522.08 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 3802 0 0 0 52136 72 0 0 25 0 1 0 112939498 17477632 3640 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 4267 3640 311 324 0 3336 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 17068 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1456952/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=17068 CPUtime=582.06 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 3802 0 0 0 58127 79 0 0 25 0 1 0 112939498 17477632 3640 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 4267 3640 311 324 0 3336 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 17068 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1456888/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=17068 CPUtime=642.04 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 3802 0 0 0 64117 87 0 0 25 0 1 0 112939498 17477632 3640 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 4267 3640 311 324 0 3336 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 17068 ################ # More data... # ################ /proc/meminfo: memFree=1456568/2055920 swapFree=4150168/4192956 [pid=17991] ppid=17989 vsize=17512 CPUtime=1061.88 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 3918 0 0 0 106051 137 0 0 25 0 1 0 112939498 17932288 3756 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 4378 3756 311 324 0 3447 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 17512 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1454328/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=19880 CPUtime=1121.85 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 4498 0 0 0 112039 146 0 0 25 0 1 0 112939498 20357120 4336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 4970 4336 311 324 0 4039 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 19880 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1454264/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=19876 CPUtime=1181.84 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 4498 0 0 0 118031 153 0 0 25 0 1 0 112939498 20353024 4336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 4969 4336 311 324 0 4038 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 19876 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17992 /proc/meminfo: memFree=1453624/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=20524 CPUtime=1241.81 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 4673 0 0 0 124019 162 0 0 25 0 1 0 112939498 21016576 4511 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5131 4511 311 324 0 4200 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 20524 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1453624/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=20524 CPUtime=1301.79 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 4675 0 0 0 130010 169 0 0 25 0 1 0 112939498 21016576 4513 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5131 4513 311 324 0 4200 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 20524 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1453560/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=20524 CPUtime=1361.77 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 4675 0 0 0 136001 176 0 0 25 0 1 0 112939498 21016576 4513 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5131 4513 311 324 0 4200 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 20524 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1453752/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=20524 CPUtime=1421.74 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 4675 0 0 0 141993 181 0 0 25 0 1 0 112939498 21016576 4513 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5131 4513 311 324 0 4200 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 20524 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1453304/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=20912 CPUtime=1481.72 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 4762 0 0 0 147984 188 0 0 25 0 1 0 112939498 21413888 4600 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5228 4600 311 324 0 4297 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 20912 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1453368/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=20912 CPUtime=1541.7 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 4762 0 0 0 153975 195 0 0 25 0 1 0 112939498 21413888 4600 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5228 4600 311 324 0 4297 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 20912 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1453368/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=20888 CPUtime=1601.67 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 4762 0 0 0 159965 202 0 0 25 0 1 0 112939498 21389312 4600 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5222 4600 311 324 0 4291 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 20888 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1453432/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=20904 CPUtime=1661.66 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 4773 0 0 0 165957 209 0 0 25 0 1 0 112939498 21405696 4593 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5226 4593 311 324 0 4295 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 20904 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1453240/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=21120 CPUtime=1721.63 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 4829 0 0 0 171947 216 0 0 25 0 1 0 112939498 21626880 4649 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5280 4649 311 324 0 4349 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 21120 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1452024/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=22268 CPUtime=1781.6 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 5127 0 0 0 177937 223 0 0 25 0 1 0 112939498 22802432 4947 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11379039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5567 4947 311 324 0 4636 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 22268 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1452024/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=22268 CPUtime=1791.2 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 5127 0 0 0 178896 224 0 0 25 0 1 0 112939498 22802432 4947 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5567 4947 311 324 0 4636 0 Current children cumulated CPU time (s) 1791.2 Current children cumulated vsize (KiB) 22268 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1452024/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=22268 CPUtime=1794.41 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 5127 0 0 0 179216 225 0 0 25 0 1 0 112939498 22802432 4947 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5567 4947 311 324 0 4636 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (KiB) 22268 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1451960/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=22268 CPUtime=1797.6 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 5127 0 0 0 179535 225 0 0 25 0 1 0 112939498 22802432 4947 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5567 4947 311 324 0 4636 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (KiB) 22268 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1451960/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=22268 CPUtime=1799.2 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 5127 0 0 0 179695 225 0 0 25 0 1 0 112939498 22802432 4947 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11374744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5567 4947 311 324 0 4636 0 Current children cumulated CPU time (s) 1799.2 Current children cumulated vsize (KiB) 22268 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1451960/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=22268 CPUtime=1799.6 /proc/17991/stat : 17991 (bsolo3.0.16) R 17989 17991 17931 0 -1 4194304 5127 0 0 0 179735 225 0 0 25 0 1 0 112939498 22802432 4947 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17991/statm: 5567 4947 311 324 0 4636 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (KiB) 22268 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17994 /proc/meminfo: memFree=1451960/2055920 swapFree=4150172/4192956 [pid=17991] ppid=17989 vsize=0 CPUtime=1799.99 /proc/17991/stat : 17991 (bsolo3.0.16) D 17989 17991 17931 0 -1 4194308 5128 0 0 0 179774 225 0 0 25 0 1 0 112939498 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/17991/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.01 CPU user time (s): 1797.75 CPU system time (s): 2.25866 CPU usage (%): 99.9604 Max. virtual memory (cumulated for all children) (KiB): 22268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.75 system time used= 2.25866 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5128 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= 38259 runsolver used 2.20066 second user time and 4.22736 second system time The end
Begin job on node33 on Sun Apr 15 15:17:20 UTC 2007 IDJOB= 349073 IDBENCH= 2122 IDSOLVER= 163 FILE ID= node33/349073-1176650240 PBS_JOBID= 4559871 Free space on /tmp= 66559 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349073-1176650240/instance-349073-1176650240.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-349073-1176650240 -o ROOT/results/node33/solver-349073-1176650240 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349073-1176650240/instance-349073-1176650240.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 172d8bfe30610a29dfe3bb9d98ed3f4c RANDOM SEED= 988673344 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1470600 kB Buffers: 65684 kB Cached: 262040 kB SwapCached: 2348 kB Active: 177816 kB Inactive: 309544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1470600 kB SwapTotal: 4192956 kB SwapFree: 4150168 kB Dirty: 5056 kB Writeback: 0 kB Mapped: 155744 kB Slab: 83280 kB Committed_AS: 1349644 kB PageTables: 1992 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= 66559 MiB End job on node33 on Sun Apr 15 15:47:21 UTC 2007