Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.01 | 1800.5 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par32-5-c.opb |
MD5SUM | 47657fb6d35516304c5b4897d4fb805d |
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 | 2678 |
Total number of constraints | 6689 |
Number of constraints which are clauses | 6689 |
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 | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 2678 |
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 | 2678 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2678 |
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.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/349203-1176657533/instance-349203-1176657533.opb 0.00/0.00 c File size is 225949 bytes. 0.00/0.04 c Highest Coefficient sum: 2678 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.04 s 0.00/0.04 c Var: 2678 Constr: 6689 6689/0/0 Lit: 18356 Watch. Lit: 13378 0.00/0.04 c Obj. Vars: 2678 (100 % of total variables) 0.04/0.10 c Pre-processing Time: 0.096 s 0.04/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.10 c 0 2489 6372 17596 2 12744 2123 0 0 0.10 0.04/0.10 c Switching off LPR mode. 1799.91/1800.49 c 100 2489 6472 23916 3 12944 2336 100 609 0.16 1799.91/1800.49 c 252 2489 6624 33593 5 13248 2570 252 954 0.26 1799.91/1800.49 c 477 2489 6849 45282 6 13698 2828 477 1255 0.38 1799.91/1800.49 c 816 2489 7188 59486 8 14376 3111 816 1500 0.54 1799.91/1800.49 c 1324 2489 7696 84954 11 15392 3423 1324 1068 1.24 1799.91/1800.49 c 2087 2489 8459 121057 14 16918 3766 2087 1064 1.96 1799.91/1800.49 c 3233 2489 9605 168624 17 19210 4143 3233 1140 2.83 1799.91/1800.49 c 4954 2489 8990 125184 13 17980 4558 2618 1144 4.33 1799.91/1800.49 c 7538 2489 9040 115611 12 18080 5014 2668 1103 6.83 1799.91/1800.49 c 11418 2489 10126 158893 15 20252 5516 3754 1062 10.75 1799.91/1800.49 c 17241 2489 9708 139505 14 19416 6068 3336 1033 16.68 1799.91/1800.49 c 25979 2489 11756 225275 19 23512 6675 5384 1007 25.78 1799.91/1800.49 c 39090 2489 10222 147934 14 20444 7343 3850 971 40.25 1799.91/1800.49 c 58760 2489 10125 143241 14 20250 8078 3753 922 63.71 1799.91/1800.49 c 88270 2489 13830 323011 23 27660 8886 7458 865 101.96 1799.91/1800.49 c 132540 2489 15284 400543 26 30568 9775 8912 826 160.33 1799.91/1800.49 c 198950 2489 14163 340270 24 28326 10753 7791 772 257.54 1799.91/1800.49 c 298570 2489 16923 621384 36 33846 11829 10551 720 414.21 1799.91/1800.49 c 448006 2489 16826 551918 32 33652 13012 10454 667 670.88 1799.91/1800.49 c 672164 2489 16063 570982 35 32126 14314 9691 621 1081.97 1799.91/1800.49 c 1008407 2489 16865 651355 38 33730 15746 10493 580 1736.08 1799.91/1800.49 c Resources Exceeded 1799.91/1800.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.91/1800.49 c 21 1038268 54962 1101882 22265 1136805 15893 576 1800.00 1799.91/1800.49 s UNKNOWN 1799.91/1800.49 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/node48/watcher-349203-1176657533 -o ROOT/results/node48/solver-349203-1176657533 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349203-1176657533/instance-349203-1176657533.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.92 0.98 0.99 3/64 11765 /proc/meminfo: memFree=1825576/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=11960 CPUtime=0 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 20598586 12247040 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 2990 335 281 324 0 2003 0 [startup+0.052564 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11765 /proc/meminfo: memFree=1825576/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=5436 CPUtime=0.04 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 798 0 0 0 4 0 0 0 18 0 1 0 20598586 5566464 710 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 1359 710 304 324 0 428 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5436 [startup+0.101568 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11765 /proc/meminfo: memFree=1825576/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=5580 CPUtime=0.09 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 904 0 0 0 8 1 0 0 18 0 1 0 20598586 5713920 774 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 1395 774 310 324 0 464 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5580 [startup+0.301587 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11765 /proc/meminfo: memFree=1825576/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=5712 CPUtime=0.29 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 917 0 0 0 28 1 0 0 19 0 1 0 20598586 5849088 787 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 1428 787 311 324 0 497 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5712 [startup+0.701625 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11765 /proc/meminfo: memFree=1825576/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=6108 CPUtime=0.69 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 1035 0 0 0 68 1 0 0 23 0 1 0 20598586 6254592 905 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 1527 905 311 324 0 596 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6108 [startup+1.5017 s] /proc/loadavg: 0.92 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1823008/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=6500 CPUtime=1.49 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 1134 0 0 0 148 1 0 0 25 0 1 0 20598586 6656000 1004 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550930 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 1625 1004 311 324 0 694 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6500 [startup+3.10185 s] /proc/loadavg: 0.92 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1822048/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=7940 CPUtime=3.09 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 1473 0 0 0 308 1 0 0 25 0 1 0 20598586 8130560 1343 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551941 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 1985 1343 311 324 0 1054 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7940 [startup+6.30114 s] /proc/loadavg: 0.93 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1820520/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=8468 CPUtime=6.29 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 1618 0 0 0 627 2 0 0 25 0 1 0 20598586 8671232 1488 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3962739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 2117 1488 311 324 0 1186 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8468 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1820336/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=8860 CPUtime=12.69 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 1710 0 0 0 1267 2 0 0 25 0 1 0 20598586 9072640 1580 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3972736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 2215 1580 311 324 0 1284 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8860 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1819632/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=9380 CPUtime=25.49 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 1838 0 0 0 2545 4 0 0 25 0 1 0 20598586 9605120 1708 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 2345 1708 311 324 0 1414 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9380 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1818800/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=10256 CPUtime=51.08 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 2059 0 0 0 5102 6 0 0 25 0 1 0 20598586 10502144 1929 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 2564 1929 311 324 0 1633 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10256 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1818288/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=10756 CPUtime=102.27 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 2207 0 0 0 10217 10 0 0 25 0 1 0 20598586 11014144 2077 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 2689 2077 311 324 0 1758 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 10756 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1817200/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=12152 CPUtime=162.25 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 2542 0 0 0 16210 15 0 0 25 0 1 0 20598586 12443648 2412 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 3038 2412 311 324 0 2107 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 12152 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1816368/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=12676 CPUtime=222.23 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 2677 0 0 0 22203 20 0 0 25 0 1 0 20598586 12980224 2547 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 3169 2547 311 324 0 2238 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 12676 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1815920/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=13160 CPUtime=282.22 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 2788 0 0 0 28196 26 0 0 25 0 1 0 20598586 13475840 2658 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3962161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 3290 2658 311 324 0 2359 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 13160 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1815536/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=13424 CPUtime=342.2 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 2872 0 0 0 34189 31 0 0 25 0 1 0 20598586 13746176 2742 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 3356 2742 311 324 0 2425 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 13424 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1815088/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=13928 CPUtime=402.18 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 2980 0 0 0 40183 35 0 0 25 0 1 0 20598586 14262272 2850 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3964626 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 3482 2850 311 324 0 2551 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 13928 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1813168/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=15860 CPUtime=462.16 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 3465 0 0 0 46176 40 0 0 25 0 1 0 20598586 16240640 3335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 3965 3335 311 324 0 3034 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 15860 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1813104/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=15860 CPUtime=522.15 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 3465 0 0 0 52171 44 0 0 25 0 1 0 20598586 16240640 3335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 3965 3335 311 324 0 3034 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 15860 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1813104/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=15860 CPUtime=582.13 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 3465 0 0 0 58165 48 0 0 25 0 1 0 20598586 16240640 3335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 3965 3335 311 324 0 3034 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 15860 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1813104/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=15848 CPUtime=642.12 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 3465 0 0 0 64160 52 0 0 25 0 1 0 20598586 16228352 3335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134571990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 3962 3335 311 324 0 3031 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 15848 ################ # More data... # ################ /proc/meminfo: memFree=1810032/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=18836 CPUtime=1121.99 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4227 0 0 0 112109 90 0 0 25 0 1 0 20598586 19288064 4097 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3964726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 4709 4097 311 324 0 3778 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 18836 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1809904/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=18964 CPUtime=1181.97 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4252 0 0 0 118102 95 0 0 25 0 1 0 20598586 19419136 4122 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 4741 4122 311 324 0 3810 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 18964 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1809840/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=18964 CPUtime=1241.96 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4252 0 0 0 124096 100 0 0 25 0 1 0 20598586 19419136 4122 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 4741 4122 311 324 0 3810 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 18964 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1809776/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=18964 CPUtime=1301.94 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4252 0 0 0 130091 103 0 0 25 0 1 0 20598586 19419136 4122 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 4741 4122 311 324 0 3810 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 18964 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1809776/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=18964 CPUtime=1361.92 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4252 0 0 0 136084 108 0 0 25 0 1 0 20598586 19419136 4122 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 4741 4122 311 324 0 3810 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 18964 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1809776/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=18964 CPUtime=1421.91 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4252 0 0 0 142077 114 0 0 25 0 1 0 20598586 19419136 4122 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 4741 4122 311 324 0 3810 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 18964 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1809008/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=19732 CPUtime=1481.89 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4437 0 0 0 148070 119 0 0 25 0 1 0 20598586 20205568 4307 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 4933 4307 311 324 0 4002 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 19732 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1809008/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=19728 CPUtime=1541.87 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4437 0 0 0 154063 124 0 0 25 0 1 0 20598586 20201472 4307 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 4932 4307 311 324 0 4001 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 19728 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1809008/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=19728 CPUtime=1601.86 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4437 0 0 0 160058 128 0 0 25 0 1 0 20598586 20201472 4307 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 4932 4307 311 324 0 4001 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 19728 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1808944/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=19728 CPUtime=1661.85 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4437 0 0 0 166052 133 0 0 25 0 1 0 20598586 20201472 4307 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 4932 4307 311 324 0 4001 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 19728 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1808944/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=19720 CPUtime=1721.82 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4437 0 0 0 172045 137 0 0 25 0 1 0 20598586 20193280 4307 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 4930 4307 311 324 0 3999 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 19720 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1808304/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=20372 CPUtime=1781.81 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4603 0 0 0 178039 142 0 0 25 0 1 0 20598586 20860928 4473 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 5093 4473 311 324 0 4162 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 20372 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1808112/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=20504 CPUtime=1791.41 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4640 0 0 0 178998 143 0 0 25 0 1 0 20598586 20996096 4510 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 5126 4510 311 324 0 4195 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 20504 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1808112/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=20504 CPUtime=1794.61 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4640 0 0 0 179318 143 0 0 25 0 1 0 20598586 20996096 4510 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 5126 4510 311 324 0 4195 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 20504 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1808112/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=20504 CPUtime=1797.8 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4640 0 0 0 179637 143 0 0 25 0 1 0 20598586 20996096 4510 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 5126 4510 311 324 0 4195 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 20504 [startup+1799.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1808112/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=20892 CPUtime=1798.6 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4716 0 0 0 179717 143 0 0 25 0 1 0 20598586 21393408 4586 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 5223 4586 311 324 0 4292 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (KiB) 20892 [startup+1799.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1807664/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=21152 CPUtime=1799.41 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4803 0 0 0 179797 144 0 0 25 0 1 0 20598586 21659648 4673 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 5288 4673 311 324 0 4357 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (KiB) 21152 [startup+1800.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1807664/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=21412 CPUtime=1799.81 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4844 0 0 0 179837 144 0 0 25 0 1 0 20598586 21925888 4714 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 5353 4714 311 324 0 4422 0 Current children cumulated CPU time (s) 1799.81 Current children cumulated vsize (KiB) 21412 [startup+1800.4 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11766 /proc/meminfo: memFree=1807664/2055920 swapFree=4184696/4192956 [pid=11765] ppid=11763 vsize=21412 CPUtime=1799.91 /proc/11765/stat : 11765 (bsolo3.0.16) R 11763 11765 9830 0 -1 4194304 4855 0 0 0 179847 144 0 0 25 0 1 0 20598586 21925888 4725 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11765/statm: 5353 4725 311 324 0 4422 0 Current children cumulated CPU time (s) 1799.91 Current children cumulated vsize (KiB) 21412 Child status: 0 Real time (s): 1800.5 CPU time (s): 1800.01 CPU user time (s): 1798.56 CPU system time (s): 1.44478 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 21412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.56 system time used= 1.44478 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4865 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= 2128 runsolver used 1.3208 second user time and 3.59545 second system time The end
Begin job on node48 on Sun Apr 15 17:18:53 UTC 2007 IDJOB= 349203 IDBENCH= 2198 IDSOLVER= 163 FILE ID= node48/349203-1176657533 PBS_JOBID= 4559896 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-5-c.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349203-1176657533/instance-349203-1176657533.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-349203-1176657533 -o ROOT/results/node48/solver-349203-1176657533 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349203-1176657533/instance-349203-1176657533.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 47657fb6d35516304c5b4897d4fb805d RANDOM SEED= 761839730 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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.238 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.238 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: 1825984 kB Buffers: 19152 kB Cached: 130120 kB SwapCached: 2640 kB Active: 70888 kB Inactive: 89084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1825984 kB SwapTotal: 4192956 kB SwapFree: 4184696 kB Dirty: 4604 kB Writeback: 0 kB Mapped: 17048 kB Slab: 55932 kB Committed_AS: 151136 kB PageTables: 1388 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 node48 on Sun Apr 15 17:48:53 UTC 2007