Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 695.687 | 695.902 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb |
MD5SUM | 984b652c284c82333bf174d765251a3c |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 22.5066 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 65701 |
Total number of constraints | 195481 |
Number of constraints which are clauses | 195480 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 65160 |
Number of terms in the objective function | 181 |
Biggest coefficient in the objective function | 1532495540865888858358347027150309183618739122183602176 |
Number of bits for the biggest coefficient in the objective function | 181 |
Sum of the numbers in the objective function | 3064991081731777716716694054300618367237478244367204351 |
Number of bits of the sum of numbers in the objective function | 181 |
Biggest number in a constraint | 1799565517817278553124215403074392743547878847320766653240302229044735032268595148127616274441556342859968364253408358049283306422197719875603406072346065542053888 |
Number of bits of the biggest number in a constraint | 540 |
Biggest sum of numbers in a constraint | 7198262071269114212496861612297570974191515389283066612360646520299668853108307041790674815860173378468848205106664422578504773969619037192617658424108904539490357 |
Number of bits of the biggest sum of numbers | 541 |
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 This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 2.39/2.42 c ...done 2.39/2.42 c #vars=65701 #constraints=195483 hasObjective=yes 3.19/3.27 c res. mode=mod 3.19/3.27 c VSIDS like heuristics 3.19/3.27 c complete search running 254.31/254.45 c restart after 401 decisions 258.80/258.97 c nbDecision=500 #constraints=195699 532.03/532.21 c restart after 801 decisions 547.52/547.76 c nbDecision=1000 #constraints=195930 693.39/693.60 Received signal 15
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-367000-1177002798 -o ROOT/results/node6/solver-367000-1177002798 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367000-1177002798/instance-367000-1177002798.opb mod 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.86 0.97 0.92 3/77 7071 /proc/meminfo: memFree=1673712/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=1468 CPUtime=0 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 176317568 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 367 163 130 317 0 46 0 [startup+0.0507331 s] /proc/loadavg: 0.86 0.97 0.92 3/77 7071 /proc/meminfo: memFree=1673712/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=2524 CPUtime=0.04 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 425 0 0 0 4 0 0 0 18 0 1 0 176317568 2584576 407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 631 407 130 317 0 310 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2524 [startup+0.101739 s] /proc/loadavg: 0.86 0.97 0.92 3/77 7071 /proc/meminfo: memFree=1673712/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=3588 CPUtime=0.09 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 694 0 0 0 9 0 0 0 18 0 1 0 176317568 3674112 676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 897 676 130 317 0 576 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3588 [startup+0.301762 s] /proc/loadavg: 0.86 0.97 0.92 3/77 7071 /proc/meminfo: memFree=1673712/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=7808 CPUtime=0.29 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 1780 0 0 0 29 0 0 0 19 0 1 0 176317568 7995392 1729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 1952 1729 130 317 0 1631 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7808 [startup+0.701809 s] /proc/loadavg: 0.86 0.97 0.92 3/77 7071 /proc/meminfo: memFree=1673712/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=16380 CPUtime=0.69 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 3946 0 0 0 68 1 0 0 23 0 1 0 176317568 16773120 3830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 4095 3830 130 317 0 3774 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16380 [startup+1.5019 s] /proc/loadavg: 0.86 0.97 0.92 2/78 7072 /proc/meminfo: memFree=1652520/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=33260 CPUtime=1.49 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 8277 0 0 0 145 4 0 0 25 0 1 0 176317568 34058240 8032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 8315 8032 130 317 0 7994 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33260 [startup+3.10121 s] /proc/loadavg: 0.86 0.97 0.92 2/78 7072 /proc/meminfo: memFree=1636072/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=64248 CPUtime=3.09 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 16479 0 0 0 302 7 0 0 25 0 1 0 176317568 65789952 15780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 16062 15781 137 317 0 15741 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 64248 [startup+6.30147 s] /proc/loadavg: 0.95 0.98 0.93 2/78 7072 /proc/meminfo: memFree=1607848/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=67416 CPUtime=6.29 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 17267 0 0 0 621 8 0 0 25 0 1 0 176317568 69033984 16568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 16854 16568 138 317 0 16533 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 67416 [startup+12.7012 s] /proc/loadavg: 0.95 0.98 0.93 2/78 7072 /proc/meminfo: memFree=1597224/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=77736 CPUtime=12.68 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 20295 0 0 0 1259 9 0 0 25 0 1 0 176317568 79601664 19175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 19434 19175 139 317 0 19113 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 77736 [startup+25.5017 s] /proc/loadavg: 0.96 0.98 0.93 2/78 7072 /proc/meminfo: memFree=1595560/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=79716 CPUtime=25.48 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 20786 0 0 0 2539 9 0 0 25 0 1 0 176317568 81629184 19666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713807 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 19929 19666 139 317 0 19608 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79716 [startup+51.1017 s] /proc/loadavg: 0.97 0.98 0.93 2/78 7072 /proc/meminfo: memFree=1590760/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=89540 CPUtime=51.07 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 23759 0 0 0 5097 10 0 0 25 0 1 0 176317568 91688960 20792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712485 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 22385 20792 139 317 0 22064 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 89540 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.93 2/78 7072 /proc/meminfo: memFree=1353832/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=327176 CPUtime=102.26 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 129589 0 0 0 10174 52 0 0 25 0 1 0 176317568 335028224 80090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713872 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 81794 80090 170 317 0 81473 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 327176 [startup+162.302 s] /proc/loadavg: 1.06 1.01 0.94 2/78 7072 /proc/meminfo: memFree=1228712/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=452612 CPUtime=162.24 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 183501 0 0 0 16151 73 0 0 25 0 1 0 176317568 463474688 111254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 113153 111255 170 317 0 112832 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 452612 [startup+222.302 s] /proc/loadavg: 1.02 1.01 0.94 2/78 7072 /proc/meminfo: memFree=1002280/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=676136 CPUtime=222.22 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 278241 0 0 0 22113 109 0 0 25 0 1 0 176317568 692363264 167124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 169034 167124 170 317 0 168713 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 676136 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.94 2/78 7072 /proc/meminfo: memFree=823848/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=860740 CPUtime=282.2 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 364343 0 0 0 28077 143 0 0 25 0 1 0 176317568 881397760 213156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 215185 213156 170 317 0 214864 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 860740 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.94 2/78 7072 /proc/meminfo: memFree=624488/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=1060384 CPUtime=342.19 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 467139 0 0 0 34034 185 0 0 25 0 1 0 176317568 1085833216 262931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710778 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 265096 262931 170 317 0 264775 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1060384 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/78 7072 /proc/meminfo: memFree=549992/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=1130680 CPUtime=402.16 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 497136 0 0 0 40020 196 0 0 25 0 1 0 176317568 1157816320 280442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 282670 280442 170 317 0 282349 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 1130680 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.94 2/78 7072 /proc/meminfo: memFree=355688/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=1325080 CPUtime=462.15 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 560325 0 0 0 45991 224 0 0 25 0 1 0 176317568 1356881920 329004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272934 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 331270 329004 170 317 0 330949 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 1325080 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.94 2/78 7072 /proc/meminfo: memFree=238120/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=1450304 CPUtime=522.13 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 619160 0 0 0 51967 246 0 0 25 0 1 0 176317568 1485111296 360113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 362576 360113 170 317 0 362255 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1450304 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/78 7072 /proc/meminfo: memFree=95848/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=1585232 CPUtime=582.11 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 682277 0 0 0 57941 270 0 0 25 0 1 0 176317568 1623277568 393846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 396308 393846 170 317 0 395987 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 1585232 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/78 7072 /proc/meminfo: memFree=15208/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=1734124 CPUtime=642.1 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 754912 0 0 0 63908 302 0 0 25 0 1 0 176317568 1775742976 430947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590765 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 433531 430947 170 317 0 433210 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1734124 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+693.601 s] /proc/loadavg: 1.00 1.00 0.94 2/78 7072 /proc/meminfo: memFree=15976/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=1843948 CPUtime=693.39 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 807818 0 0 0 69013 326 0 0 25 0 1 0 176317568 1888202752 458332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 460987 458332 170 317 0 460666 0 Current children cumulated CPU time (s) 693.39 Current children cumulated vsize (KiB) 1843948 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+694.201 s] /proc/loadavg: 1.00 1.00 0.94 2/79 7073 /proc/meminfo: memFree=15584/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=1844344 CPUtime=693.98 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 807909 0 0 0 69072 326 0 0 25 0 1 0 176317568 1888608256 458423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278915 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 461086 458423 170 317 0 460765 0 Current children cumulated CPU time (s) 693.98 Current children cumulated vsize (KiB) 1844344 [startup+695.002 s] /proc/loadavg: 1.00 1.00 0.94 2/79 7073 /proc/meminfo: memFree=15584/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=1844344 CPUtime=694.78 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 807917 0 0 0 69152 326 0 0 25 0 1 0 176317568 1888608256 458431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 461086 458431 170 317 0 460765 0 Current children cumulated CPU time (s) 694.78 Current children cumulated vsize (KiB) 1844344 [startup+695.401 s] /proc/loadavg: 1.00 1.00 0.94 2/79 7073 /proc/meminfo: memFree=15520/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=1844740 CPUtime=695.18 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4194304 808349 0 0 0 69192 326 0 0 25 0 1 0 176317568 1889013760 458355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 461185 458358 170 317 0 460864 0 Current children cumulated CPU time (s) 695.18 Current children cumulated vsize (KiB) 1844740 [startup+695.801 s] /proc/loadavg: 1.00 1.00 0.94 2/79 7073 /proc/meminfo: memFree=15520/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=0 CPUtime=695.57 /proc/7071/stat : 7071 (oree) R 7069 7071 7014 0 -1 4195332 809473 0 0 0 69212 345 0 0 25 0 1 0 176317568 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/7071/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 695.57 Current children cumulated vsize (KiB) 0 [startup+695.901 s] /proc/loadavg: 1.00 1.00 0.94 2/79 7073 /proc/meminfo: memFree=15520/2055924 swapFree=4146720/4192956 [pid=7071] ppid=7069 vsize=0 CPUtime=695.67 /proc/7071/stat : 7071 (oree) D 7069 7071 7014 0 -1 4195332 809473 0 0 0 69212 355 0 0 24 0 1 0 176317568 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 0 0 0 /proc/7071/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 695.67 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 695.902 CPU time (s): 695.687 CPU user time (s): 692.13 CPU system time (s): 3.55746 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 1847748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 692.13 system time used= 3.55746 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 809473 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= 8 involuntary context switches= 1031 runsolver used 0.875866 second user time and 1.60276 second system time The end
Begin job on node6 on Thu Apr 19 17:13:19 UTC 2007 IDJOB= 367000 IDBENCH= 2983 IDSOLVER= 172 FILE ID= node6/367000-1177002798 PBS_JOBID= 4630530 Free space on /tmp= 66407 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132.opb COMMAND LINE= oree /tmp/evaluation/367000-1177002798/instance-367000-1177002798.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-367000-1177002798 -o ROOT/results/node6/solver-367000-1177002798 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367000-1177002798/instance-367000-1177002798.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 984b652c284c82333bf174d765251a3c RANDOM SEED= 713188619 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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.232 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.232 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: 2055924 kB MemFree: 1674184 kB Buffers: 29000 kB Cached: 288168 kB SwapCached: 13584 kB Active: 50812 kB Inactive: 288932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1674184 kB SwapTotal: 4192956 kB SwapFree: 4146720 kB Dirty: 12504 kB Writeback: 0 kB Mapped: 29660 kB Slab: 27532 kB Committed_AS: 6940752 kB PageTables: 1784 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= 66407 MiB End job on node6 on Thu Apr 19 17:24:55 UTC 2007