Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.06 | 1800.77 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-vtp.base.opb |
MD5SUM | 5b3e28beae15a1c34f0e545c98eeb705 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 4524 |
Total number of constraints | 257 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 257 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1080 |
Number of terms in the objective function | 181 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 7516192762 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 198568686125056 |
Number of bits of the biggest number in a constraint | 48 |
Biggest sum of numbers in a constraint | 12817928787879752 |
Number of bits of the biggest sum of numbers | 54 |
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/349374-1176698561/instance-349374-1176698561.opb 0.00/0.00 c File size is 253261 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.04 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Coefficients are big enough for not using lower bounding. 0.03/0.05 c Highest Coefficient sum: 1.28179e+16 0.03/0.05 c Parsing was ok!! 0.03/0.05 c Total parsing time: 0.042 s 0.03/0.05 c Var: 4524 Constr: 312 11/0/301 Lit: 30366 Watch. Lit: 11818 0.03/0.05 c Obj. Vars: 181 (4.00088 % of total variables) 3.58/3.67 c Pre-processing Time: 3.66 s 1799.98/1800.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.98/1800.72 c 0 2725 155 20496 132 13295 40992 0 0 3.66 1799.98/1800.72 c 101 2725 256 24954 97 15471 45092 101 27 3.69 1799.98/1800.72 c 251 2723 406 29036 71 16947 49602 251 67 3.74 1799.98/1800.72 c 476 2723 631 40195 63 17381 54563 476 125 3.79 1799.98/1800.72 c 814 2723 969 60250 62 18165 60020 814 208 3.90 1799.98/1800.72 c 1323 2723 1478 93514 63 19124 66023 1323 327 4.04 1799.98/1800.72 c 2087 2723 2242 152938 68 20619 72626 2087 496 4.21 1799.98/1800.72 c 3237 2722 3392 227051 66 22978 79889 3237 710 4.56 1799.98/1800.72 c 4958 2722 5113 334853 65 26331 87878 4958 964 5.14 1799.98/1800.72 c 7542 2722 7697 517859 67 31617 96666 7542 1317 5.73 1799.98/1800.72 c 11421 2722 11576 711304 61 39422 106333 11421 1489 7.67 1799.98/1800.72 c 17243 2722 17398 1135488 65 51005 116967 17243 1774 9.72 1799.98/1800.72 c 25981 2722 26136 1790701 68 68469 128664 25981 2032 12.78 1799.98/1800.72 c 39092 2722 39247 2818568 71 94702 141531 39092 1627 24.02 1799.98/1800.72 c 58763 2722 58918 4128212 70 134004 155685 58763 1442 40.75 1799.98/1800.72 c 88274 2722 88429 6122299 69 193154 171254 88274 1189 74.22 1799.98/1800.72 c 132544 2722 132699 10975322 82 281780 188380 132544 1004 131.97 1799.98/1800.72 c 198954 2722 21574 1959350 90 59674 207219 21419 855 232.68 1799.98/1800.72 c 298575 2722 121195 9556167 78 258977 227941 121040 946 315.44 1799.98/1800.72 c 448010 2722 53532 5467876 102 123504 250736 53377 580 771.17 1799.98/1800.72 c 672168 2721 39218 2411715 61 94789 275810 39063 412 1630.23 1799.98/1800.72 c Resources Exceeded 1799.98/1800.72 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.72 c 20 732906 48492 845593 99956 6108650 99801 407 1800.01 1799.98/1800.72 s UNKNOWN 1799.98/1800.72 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-349374-1176698561 -o ROOT/results/node59/solver-349374-1176698561 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349374-1176698561/instance-349374-1176698561.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: 1.52 1.22 1.08 2/64 17489 /proc/meminfo: memFree=1642816/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=19796 CPUtime=0 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 117765760 20271104 331 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134536080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 4949 332 280 324 0 3956 0 [startup+0.043736 s] /proc/loadavg: 1.52 1.22 1.08 2/64 17489 /proc/meminfo: memFree=1642816/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=4744 CPUtime=0.03 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 571 0 0 0 3 0 0 0 18 0 1 0 117765760 4857856 539 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134528174 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 1186 539 335 324 0 193 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4744 [startup+0.101746 s] /proc/loadavg: 1.52 1.22 1.08 2/64 17489 /proc/meminfo: memFree=1642816/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=5496 CPUtime=0.08 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 843 0 0 0 8 0 0 0 18 0 1 0 117765760 5627904 749 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 1374 749 305 324 0 443 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5496 [startup+0.301783 s] /proc/loadavg: 1.52 1.22 1.08 2/64 17489 /proc/meminfo: memFree=1642816/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=5672 CPUtime=0.28 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 893 0 0 0 28 0 0 0 20 0 1 0 117765760 5808128 795 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 1418 795 307 324 0 487 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5672 [startup+0.702859 s] /proc/loadavg: 1.52 1.22 1.08 2/64 17489 /proc/meminfo: memFree=1642816/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=5672 CPUtime=0.68 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 893 0 0 0 68 0 0 0 23 0 1 0 117765760 5808128 795 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 1418 795 307 324 0 487 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5672 [startup+1.50201 s] /proc/loadavg: 1.52 1.22 1.08 2/65 17490 /proc/meminfo: memFree=1640760/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=5672 CPUtime=1.48 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 893 0 0 0 148 0 0 0 25 0 1 0 117765760 5808128 795 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 1418 795 307 324 0 487 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 5672 [startup+3.10132 s] /proc/loadavg: 1.52 1.22 1.08 2/65 17490 /proc/meminfo: memFree=1640440/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=5672 CPUtime=3.08 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 893 0 0 0 308 0 0 0 25 0 1 0 117765760 5808128 795 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 1418 795 307 324 0 487 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 5672 [startup+6.30192 s] /proc/loadavg: 1.48 1.22 1.08 2/65 17490 /proc/meminfo: memFree=1635712/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=13312 CPUtime=6.28 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 2805 0 0 0 625 3 0 0 25 0 1 0 117765760 13631488 2707 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 3328 2707 312 324 0 2397 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13312 [startup+12.7011 s] /proc/loadavg: 1.44 1.22 1.08 2/65 17490 /proc/meminfo: memFree=1617032/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=30696 CPUtime=12.68 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 7151 0 0 0 1261 7 0 0 25 0 1 0 117765760 31432704 7053 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 7674 7053 312 324 0 6743 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30696 [startup+25.5016 s] /proc/loadavg: 1.34 1.21 1.08 2/65 17490 /proc/meminfo: memFree=1598664/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=48104 CPUtime=25.48 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 11505 0 0 0 2536 12 0 0 25 0 1 0 117765760 49258496 11407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 12026 11407 312 324 0 11095 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48104 [startup+51.1014 s] /proc/loadavg: 1.22 1.19 1.07 2/65 17490 /proc/meminfo: memFree=1567816/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=79240 CPUtime=51.06 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 19266 0 0 0 5087 19 0 0 25 0 1 0 117765760 81141760 19168 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 19810 19168 312 324 0 18879 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 79240 [startup+102.305 s] /proc/loadavg: 1.10 1.16 1.07 2/65 17490 /proc/meminfo: memFree=1497864/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=148292 CPUtime=102.26 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 36547 0 0 0 10186 40 0 0 25 0 1 0 117765760 151851008 36449 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 37073 36449 312 324 0 36142 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 148292 [startup+162.302 s] /proc/loadavg: 1.03 1.13 1.06 2/65 17490 /proc/meminfo: memFree=1462728/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=183644 CPUtime=162.23 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 45365 0 0 0 16170 53 0 0 25 0 1 0 117765760 188051456 45267 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 45911 45267 312 324 0 44980 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 183644 [startup+222.302 s] /proc/loadavg: 1.01 1.10 1.06 2/65 17490 /proc/meminfo: memFree=1430856/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=215004 CPUtime=222.21 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 53407 0 0 0 22156 65 0 0 25 0 1 0 117765760 220164096 53122 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 53751 53122 312 324 0 52820 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 215004 [startup+282.301 s] /proc/loadavg: 1.00 1.08 1.05 2/65 17490 /proc/meminfo: memFree=1430856/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=215004 CPUtime=282.18 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 53407 0 0 0 28144 74 0 0 25 0 1 0 117765760 220164096 53122 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 53751 53122 312 324 0 52820 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 215004 [startup+342.302 s] /proc/loadavg: 1.00 1.06 1.05 2/65 17490 /proc/meminfo: memFree=1430856/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=215004 CPUtime=342.17 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 53407 0 0 0 34134 83 0 0 25 0 1 0 117765760 220164096 53122 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160521838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 53751 53122 312 324 0 52820 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 215004 [startup+402.301 s] /proc/loadavg: 1.00 1.05 1.04 2/65 17490 /proc/meminfo: memFree=1426312/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=220524 CPUtime=402.15 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 54784 0 0 0 40126 89 0 0 25 0 1 0 117765760 225816576 54499 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 55131 54499 312 324 0 54200 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 220524 [startup+462.302 s] /proc/loadavg: 1.00 1.04 1.03 2/65 17490 /proc/meminfo: memFree=1394440/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=251652 CPUtime=462.13 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 62555 0 0 0 46112 101 0 0 25 0 1 0 117765760 257691648 62270 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 62913 62270 312 324 0 61982 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 251652 [startup+522.301 s] /proc/loadavg: 1.00 1.03 1.03 2/65 17490 /proc/meminfo: memFree=1373832/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=272292 CPUtime=522.1 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 67722 0 0 0 52102 108 0 0 25 0 1 0 117765760 278827008 67437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 68073 67437 312 324 0 67142 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 272292 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.02 2/65 17490 /proc/meminfo: memFree=1357640/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=288316 CPUtime=582.08 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 71728 0 0 0 58093 115 0 0 25 0 1 0 117765760 295235584 71443 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72079 71443 312 324 0 71148 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 288316 [startup+642.302 s] /proc/loadavg: 1.00 1.02 1.02 2/65 17490 /proc/meminfo: memFree=1354120/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=291416 CPUtime=642.07 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 72745 0 0 0 64091 116 0 0 25 0 1 0 117765760 298409984 72235 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72854 72235 312 324 0 71923 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 291416 ################ # More data... # ################ /proc/meminfo: memFree=1354056/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=291416 CPUtime=1061.92 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 72745 0 0 0 106049 143 0 0 25 0 1 0 117765760 298409984 72235 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72854 72235 312 324 0 71923 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 291416 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 17606 /proc/meminfo: memFree=1352768/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=291416 CPUtime=1121.85 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 72745 0 0 0 112039 146 0 0 25 0 1 0 117765760 298409984 72235 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72854 72235 312 324 0 71923 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 291416 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1353672/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=291416 CPUtime=1181.79 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 72745 0 0 0 118029 150 0 0 25 0 1 0 117765760 298409984 72235 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160527313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72854 72235 312 324 0 71923 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 291416 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1353672/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=291416 CPUtime=1241.77 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 72745 0 0 0 124025 152 0 0 25 0 1 0 117765760 298409984 72235 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72854 72235 312 324 0 71923 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 291416 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1353672/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=291416 CPUtime=1301.75 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 72745 0 0 0 130020 155 0 0 25 0 1 0 117765760 298409984 72235 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72854 72235 312 324 0 71923 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 291416 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1353672/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=291416 CPUtime=1361.72 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 72745 0 0 0 136015 157 0 0 25 0 1 0 117765760 298409984 72235 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72854 72235 312 324 0 71923 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 291416 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1353672/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=291448 CPUtime=1421.71 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 72754 0 0 0 142011 160 0 0 25 0 1 0 117765760 298442752 72244 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72862 72244 312 324 0 71931 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 291448 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1353672/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=291488 CPUtime=1481.69 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 72764 0 0 0 148006 163 0 0 25 0 1 0 117765760 298483712 72254 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72872 72254 312 324 0 71941 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 291488 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1353544/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=291500 CPUtime=1541.67 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 73014 0 0 0 154003 164 0 0 25 0 1 0 117765760 298496000 72257 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72875 72257 312 324 0 71944 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 291500 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1355016/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=290016 CPUtime=1601.64 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 73014 0 0 0 159999 165 0 0 25 0 1 0 117765760 296976384 71888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 9720723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72504 71888 312 324 0 71573 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 290016 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1355016/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=290016 CPUtime=1661.62 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 73014 0 0 0 165993 169 0 0 25 0 1 0 117765760 296976384 71888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72504 71888 312 324 0 71573 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 290016 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1355016/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=290016 CPUtime=1721.61 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 73014 0 0 0 171988 173 0 0 25 0 1 0 117765760 296976384 71888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72504 71888 312 324 0 71573 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 290016 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1355016/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=290016 CPUtime=1781.58 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 73014 0 0 0 177981 177 0 0 25 0 1 0 117765760 296976384 71888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72504 71888 312 324 0 71573 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 290016 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1355144/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=290016 CPUtime=1791.19 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 73014 0 0 0 178941 178 0 0 25 0 1 0 117765760 296976384 71888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72504 71888 312 324 0 71573 0 Current children cumulated CPU time (s) 1791.19 Current children cumulated vsize (KiB) 290016 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1355144/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=290016 CPUtime=1794.38 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 73014 0 0 0 179260 178 0 0 25 0 1 0 117765760 296976384 71888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 9717589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72504 71888 312 324 0 71573 0 Current children cumulated CPU time (s) 1794.38 Current children cumulated vsize (KiB) 290016 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1355144/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=290016 CPUtime=1797.58 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 73014 0 0 0 179580 178 0 0 25 0 1 0 117765760 296976384 71888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72504 71888 312 324 0 71573 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (KiB) 290016 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1355144/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=290016 CPUtime=1799.17 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 73014 0 0 0 179739 178 0 0 25 0 1 0 117765760 296976384 71888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72504 71888 312 324 0 71573 0 Current children cumulated CPU time (s) 1799.17 Current children cumulated vsize (KiB) 290016 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1355144/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=290016 CPUtime=1799.57 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 73014 0 0 0 179779 178 0 0 25 0 1 0 117765760 296976384 71888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160051250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72504 71888 312 324 0 71573 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (KiB) 290016 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 17688 /proc/meminfo: memFree=1355144/2055920 swapFree=4184740/4192956 [pid=17489] ppid=17487 vsize=290016 CPUtime=1799.98 /proc/17489/stat : 17489 (bsolo3.0.16) R 17487 17489 17038 0 -1 4194304 73014 0 0 0 179820 178 0 0 25 0 1 0 117765760 296976384 71888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17489/statm: 72504 71888 312 324 0 71573 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 290016 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.06 CPU user time (s): 1798.22 CPU system time (s): 1.83472 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (KiB): 292488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.22 system time used= 1.83472 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73015 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= 2385 runsolver used 1.13983 second user time and 3.84042 second system time The end
Begin job on node59 on Mon Apr 16 04:42:41 UTC 2007 IDJOB= 349374 IDBENCH= 2387 IDSOLVER= 163 FILE ID= node59/349374-1176698561 PBS_JOBID= 4560040 Free space on /tmp= 66366 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-vtp.base.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349374-1176698561/instance-349374-1176698561.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-349374-1176698561 -o ROOT/results/node59/solver-349374-1176698561 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349374-1176698561/instance-349374-1176698561.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 5b3e28beae15a1c34f0e545c98eeb705 RANDOM SEED= 108558344 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1643224 kB Buffers: 13004 kB Cached: 324196 kB SwapCached: 2596 kB Active: 236352 kB Inactive: 111716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1643224 kB SwapTotal: 4192956 kB SwapFree: 4184740 kB Dirty: 4624 kB Writeback: 0 kB Mapped: 17468 kB Slab: 50572 kB Committed_AS: 1541192 kB PageTables: 1476 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= 66366 MiB End job on node59 on Mon Apr 16 05:12:42 UTC 2007