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-4-c.opb |
MD5SUM | 28753ff2e44c4cedb2d3a2e783f8d1a4 |
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 | 2666 |
Total number of constraints | 6659 |
Number of constraints which are clauses | 6659 |
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 | 2666 |
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 | 2666 |
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 | 2666 |
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.03 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.03 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.03 c type "bsolo -h" for help 0.00/0.03 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.03 c Time Limit set to 1800 0.00/0.03 c Memory Limit set to 1800 MB 0.00/0.03 c Instance file /tmp/evaluation/349086-1176650859/instance-349086-1176650859.opb 0.00/0.03 c File size is 224893 bytes. 0.00/0.07 c Highest Coefficient sum: 2666 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.038 s 0.00/0.07 c Var: 2666 Constr: 6659 6659/0/0 Lit: 18272 Watch. Lit: 13318 0.00/0.07 c Obj. Vars: 2666 (100 % of total variables) 0.06/0.12 c Pre-processing Time: 0.09 s 0.06/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.12 c 0 2477 6342 17512 2 12684 2113 0 0 0.09 0.06/0.12 c Switching off LPR mode. 1799.91/1800.49 c 100 2477 6442 22279 3 12884 2325 100 775 0.13 1799.91/1800.49 c 252 2477 6594 30908 4 13188 2558 252 1150 0.22 1799.91/1800.49 c 477 2477 6819 41402 6 13638 2814 477 1514 0.32 1799.91/1800.49 c 816 2477 7158 55167 7 14316 3096 816 1581 0.52 1799.91/1800.49 c 1324 2477 7666 74911 9 15332 3406 1324 1479 0.90 1799.91/1800.49 c 2088 2477 8430 105841 12 16860 3747 2088 1236 1.69 1799.91/1800.49 c 3234 2477 9576 151229 15 19152 4122 3234 1156 2.80 1799.91/1800.49 c 4956 2477 8991 118059 13 17982 4535 2649 1131 4.38 1799.91/1800.49 c 7541 2477 8898 110688 12 17796 4989 2556 1123 6.71 1799.91/1800.49 c 11420 2477 9963 154686 15 19926 5488 3621 1115 10.24 1799.91/1800.49 c 17242 2477 9752 144501 14 19504 6037 3410 1056 16.32 1799.91/1800.49 c 25980 2477 11776 228471 19 23552 6641 5434 1057 24.56 1799.91/1800.49 c 39090 2477 10470 172459 16 20940 7306 4128 1033 37.84 1799.91/1800.49 c 58761 2477 10208 161674 15 20416 8037 3866 975 60.27 1799.91/1800.49 c 88271 2477 13575 327058 24 27150 8841 7233 906 97.41 1799.91/1800.49 c 132541 2477 14739 363390 24 29478 9726 8397 847 156.32 1799.91/1800.49 c 198952 2477 13533 335901 24 27066 10699 7191 784 253.56 1799.91/1800.49 c 298572 2477 16759 523786 31 33518 11769 10417 734 406.53 1799.91/1800.49 c 448009 2477 16801 508181 30 33602 12946 10459 688 650.32 1799.91/1800.49 c 672168 2477 14792 507816 34 29584 14241 8450 634 1059.83 1799.91/1800.49 c 1008413 2477 15315 564984 36 30630 15666 8973 580 1737.48 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 1038748 47651 1093337 21303 988697 14961 577 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/node60/watcher-349086-1176650859 -o ROOT/results/node60/solver-349086-1176650859 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349086-1176650859/instance-349086-1176650859.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.79 0.94 0.97 3/64 31193 /proc/meminfo: memFree=1845440/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=3780 CPUtime=0 /proc/31193/stat : 31193 (bsolo3.0.16) D 31191 31193 31133 0 -1 4194304 184 0 1 0 0 0 0 0 18 0 1 0 112995886 3870720 153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160041328 0 0 4096 0 18446744071563479169 0 0 17 0 0 0 /proc/31193/statm: 945 153 127 324 0 14 0 [startup+0.0841821 s] /proc/loadavg: 0.79 0.94 0.97 3/64 31193 /proc/meminfo: memFree=1845440/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=5312 CPUtime=0.04 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 790 0 6 0 4 0 0 0 18 0 1 0 112995886 5439488 709 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31193/statm: 1328 709 304 324 0 397 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5312 [startup+0.101183 s] /proc/loadavg: 0.79 0.94 0.97 3/64 31193 /proc/meminfo: memFree=1845440/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=5312 CPUtime=0.06 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 790 0 6 0 6 0 0 0 18 0 1 0 112995886 5439488 709 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31193/statm: 1328 709 304 324 0 397 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5312 [startup+0.301202 s] /proc/loadavg: 0.79 0.94 0.97 3/64 31193 /proc/meminfo: memFree=1845440/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=5572 CPUtime=0.25 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 904 0 6 0 25 0 0 0 19 0 1 0 112995886 5705728 781 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31193/statm: 1393 781 311 324 0 462 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 5572 [startup+0.701241 s] /proc/loadavg: 0.79 0.94 0.97 3/64 31193 /proc/meminfo: memFree=1845440/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=6100 CPUtime=0.66 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 1020 0 6 0 65 1 0 0 23 0 1 0 112995886 6246400 897 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31193/statm: 1525 897 311 324 0 594 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 6100 [startup+1.50132 s] /proc/loadavg: 0.80 0.94 0.97 2/65 31194 /proc/meminfo: memFree=1841976/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=6628 CPUtime=1.46 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 1148 0 6 0 145 1 0 0 25 0 1 0 112995886 6787072 1025 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/31193/statm: 1657 1025 311 324 0 726 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 6628 [startup+3.10149 s] /proc/loadavg: 0.80 0.94 0.97 2/65 31194 /proc/meminfo: memFree=1841208/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=7544 CPUtime=3.06 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 1396 0 6 0 305 1 0 0 25 0 1 0 112995886 7725056 1273 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 1886 1273 311 324 0 955 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 7544 [startup+6.3016 s] /proc/loadavg: 0.80 0.94 0.97 2/65 31194 /proc/meminfo: memFree=1839736/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=8204 CPUtime=6.26 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 1562 0 6 0 624 2 0 0 25 0 1 0 112995886 8400896 1439 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 2051 1439 311 324 0 1120 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 8204 [startup+12.7022 s] /proc/loadavg: 0.83 0.94 0.97 2/65 31194 /proc/meminfo: memFree=1839360/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=8992 CPUtime=12.65 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 1736 0 6 0 1263 2 0 0 25 0 1 0 112995886 9207808 1613 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 2248 1613 311 324 0 1317 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 8992 [startup+25.5015 s] /proc/loadavg: 0.86 0.94 0.97 2/65 31194 /proc/meminfo: memFree=1838720/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=9384 CPUtime=25.44 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 1841 0 6 0 2540 4 0 0 25 0 1 0 112995886 9609216 1718 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5975781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 2346 1718 311 324 0 1415 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 9384 [startup+51.102 s] /proc/loadavg: 0.91 0.94 0.97 2/65 31194 /proc/meminfo: memFree=1837952/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=10308 CPUtime=51.04 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 2069 0 6 0 5097 7 0 0 25 0 1 0 112995886 10555392 1946 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 2577 1946 311 324 0 1646 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 10308 [startup+102.305 s] /proc/loadavg: 0.96 0.95 0.97 2/65 31194 /proc/meminfo: memFree=1836672/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=11604 CPUtime=102.23 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 2392 0 6 0 10211 12 0 0 25 0 1 0 112995886 11882496 2269 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 2901 2269 311 324 0 1970 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 11604 [startup+162.302 s] /proc/loadavg: 0.98 0.96 0.97 2/65 31194 /proc/meminfo: memFree=1836160/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=12004 CPUtime=162.22 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 2507 0 6 0 16203 19 0 0 25 0 1 0 112995886 12292096 2384 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 3001 2384 311 324 0 2070 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 12004 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.97 2/65 31194 /proc/meminfo: memFree=1835648/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=12648 CPUtime=222.19 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 2661 0 6 0 22195 24 0 0 25 0 1 0 112995886 12951552 2538 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 3162 2538 311 324 0 2231 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 12648 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31194 /proc/meminfo: memFree=1834944/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=13268 CPUtime=282.18 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 2827 0 6 0 28186 32 0 0 25 0 1 0 112995886 13586432 2704 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 3317 2704 311 324 0 2386 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 13268 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31194 /proc/meminfo: memFree=1834312/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=13828 CPUtime=342.17 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 2967 0 6 0 34179 38 0 0 25 0 1 0 112995886 14159872 2844 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134573878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 3457 2844 311 324 0 2526 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 13828 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31194 /proc/meminfo: memFree=1834184/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=14080 CPUtime=402.15 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 3014 0 6 0 40172 43 0 0 25 0 1 0 112995886 14417920 2891 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 3520 2891 311 324 0 2589 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 14080 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31194 /proc/meminfo: memFree=1833224/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=14968 CPUtime=462.14 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 3248 0 6 0 46165 49 0 0 25 0 1 0 112995886 15327232 3125 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 3742 3125 311 324 0 2811 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 14968 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31194 /proc/meminfo: memFree=1833224/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=14968 CPUtime=522.12 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 3248 0 6 0 52158 54 0 0 25 0 1 0 112995886 15327232 3125 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 3742 3125 311 324 0 2811 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 14968 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31194 /proc/meminfo: memFree=1833224/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=15184 CPUtime=582.11 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 3303 0 6 0 58149 62 0 0 25 0 1 0 112995886 15548416 3180 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 3796 3180 311 324 0 2865 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 15184 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 31194 /proc/meminfo: memFree=1832136/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=16100 CPUtime=642.1 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 3519 0 6 0 64143 67 0 0 25 0 1 0 112995886 16486400 3396 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 4025 3396 311 324 0 3094 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 16100 ################ # More data... # ################ /proc/meminfo: memFree=1829128/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=19064 CPUtime=1121.97 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4272 0 6 0 112086 111 0 0 25 0 1 0 112995886 19521536 4149 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 4766 4149 311 324 0 3835 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 19064 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1829064/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=19064 CPUtime=1181.96 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4272 0 6 0 118079 117 0 0 25 0 1 0 112995886 19521536 4149 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 4766 4149 311 324 0 3835 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 19064 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1829000/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=19064 CPUtime=1241.95 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4272 0 6 0 124071 124 0 0 25 0 1 0 112995886 19521536 4149 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 4766 4149 311 324 0 3835 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 19064 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1829000/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=19064 CPUtime=1301.93 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4272 0 6 0 130065 128 0 0 25 0 1 0 112995886 19521536 4149 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 4766 4149 311 324 0 3835 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 19064 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1828936/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=19064 CPUtime=1361.91 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4272 0 6 0 136058 133 0 0 25 0 1 0 112995886 19521536 4149 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 4766 4149 311 324 0 3835 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 19064 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1828936/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=19064 CPUtime=1421.9 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4272 0 6 0 142052 138 0 0 25 0 1 0 112995886 19521536 4149 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 4766 4149 311 324 0 3835 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 19064 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1828872/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=19064 CPUtime=1481.88 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4272 0 6 0 148045 143 0 0 25 0 1 0 112995886 19521536 4149 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 4766 4149 311 324 0 3835 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 19064 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1828744/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=19292 CPUtime=1541.87 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4318 0 6 0 154038 149 0 0 25 0 1 0 112995886 19755008 4195 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 4823 4195 311 324 0 3892 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 19292 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1827848/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=20160 CPUtime=1601.85 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4535 0 6 0 160030 155 0 0 25 0 1 0 112995886 20643840 4412 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 5040 4412 311 324 0 4109 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 20160 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1827848/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=20116 CPUtime=1661.84 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4535 0 6 0 166025 159 0 0 25 0 1 0 112995886 20598784 4412 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 5029 4412 311 324 0 4098 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 20116 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1827848/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=20112 CPUtime=1721.82 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4535 0 6 0 172018 164 0 0 25 0 1 0 112995886 20594688 4412 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 5028 4412 311 324 0 4097 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 20112 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1826568/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=21416 CPUtime=1781.8 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4853 0 6 0 178011 169 0 0 25 0 1 0 112995886 21929984 4730 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 5354 4730 311 324 0 4423 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 21416 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1826248/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=21680 CPUtime=1791.41 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4921 0 6 0 178971 170 0 0 25 0 1 0 112995886 22200320 4798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 5420 4798 311 324 0 4489 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 21680 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1826248/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=21680 CPUtime=1794.61 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4921 0 6 0 179291 170 0 0 25 0 1 0 112995886 22200320 4798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 5420 4798 311 324 0 4489 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 21680 [startup+1798.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1826248/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=21680 CPUtime=1797.8 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4921 0 6 0 179610 170 0 0 25 0 1 0 112995886 22200320 4798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 5420 4798 311 324 0 4489 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 21680 [startup+1799.1 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1826248/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=21680 CPUtime=1798.61 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4921 0 6 0 179690 171 0 0 25 0 1 0 112995886 22200320 4798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 5420 4798 311 324 0 4489 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (KiB) 21680 [startup+1799.9 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1826248/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=21680 CPUtime=1799.41 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4921 0 6 0 179770 171 0 0 25 0 1 0 112995886 22200320 4798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 5420 4798 311 324 0 4489 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (KiB) 21680 [startup+1800.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1826248/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=21680 CPUtime=1799.81 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4921 0 6 0 179810 171 0 0 25 0 1 0 112995886 22200320 4798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134552195 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 5420 4798 311 324 0 4489 0 Current children cumulated CPU time (s) 1799.81 Current children cumulated vsize (KiB) 21680 [startup+1800.4 s] /proc/loadavg: 1.00 0.99 0.98 2/65 31196 /proc/meminfo: memFree=1826248/2055920 swapFree=4184868/4192956 [pid=31193] ppid=31191 vsize=21680 CPUtime=1799.91 /proc/31193/stat : 31193 (bsolo3.0.16) R 31191 31193 31133 0 -1 4194304 4921 0 6 0 179820 171 0 0 25 0 1 0 112995886 22200320 4798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31193/statm: 5420 4798 311 324 0 4489 0 Current children cumulated CPU time (s) 1799.91 Current children cumulated vsize (KiB) 21680 Child status: 0 Real time (s): 1800.5 CPU time (s): 1800.01 CPU user time (s): 1798.3 CPU system time (s): 1.71374 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 21680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.3 system time used= 1.71374 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4922 page faults= 6 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19 involuntary context switches= 1250 runsolver used 1.3368 second user time and 3.59845 second system time The end
Begin job on node60 on Sun Apr 15 15:27:39 UTC 2007 IDJOB= 349086 IDBENCH= 2134 IDSOLVER= 163 FILE ID= node60/349086-1176650859 PBS_JOBID= 4559886 Free space on /tmp= 66560 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-c.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349086-1176650859/instance-349086-1176650859.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-349086-1176650859 -o ROOT/results/node60/solver-349086-1176650859 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349086-1176650859/instance-349086-1176650859.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 28753ff2e44c4cedb2d3a2e783f8d1a4 RANDOM SEED= 561420477 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1845912 kB Buffers: 15088 kB Cached: 116168 kB SwapCached: 1956 kB Active: 44632 kB Inactive: 95944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845912 kB SwapTotal: 4192956 kB SwapFree: 4184868 kB Dirty: 4804 kB Writeback: 0 kB Mapped: 16592 kB Slab: 55464 kB Committed_AS: 612264 kB PageTables: 1464 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= 66560 MiB End job on node60 on Sun Apr 15 15:57:40 UTC 2007