Trace number 433361

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17? (TO) 1800.1 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb
MD5SUM158d85b2efcaf56eab2db834482aadfb
Bench CategoryOPT-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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16224
Total number of constraints1488
Number of constraints which are clauses192
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1296
Minimum length of a constraint2
Maximum length of a constraint309
Number of terms in the objective function 10368
Biggest coefficient in the objective function 418848431931392
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 180197911475330400
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 418848431931392
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 180197911475330400
Number of bits of the biggest sum of numbers58
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433361-1177958148/instance-433361-1177958148.opb
0.00/0.00	c File size is 930375 bytes.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Highest Coefficient sum: 1.80198e+17
0.09/0.13	c Parsing was ok!!
0.09/0.13	c Total parsing time: 0.131 s
0.09/0.14	c Var: 16224 Constr: 1608 384/0/1224 Lit: 69192 Watch. Lit: 19080
0.09/0.14	c Obj. Vars: 10368 (63.9053 % of total variables)
0.79/0.88	c Pre-processing Time: 0.877 s
1800.02/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.60	c        0   9010     1608    69192   43    53398  136687      0      0 0.88
1800.02/1800.60	c      101   9010     1709    79407   46    53867  150356    101    105 0.95
1800.02/1800.60	c      253   9010     1861    88493   47    54174  165392    253    254 0.99
1800.02/1800.60	c      478   9010     2086    98504   47    54621  181932    478    461 1.03
1800.02/1800.60	c      816   9010     2424   112585   46    55280  200126    816    727 1.12
1800.02/1800.60	c     1326   9010     2934   137197   46    56322  220139   1326   1043 1.27
1800.02/1800.60	c     2091   9010     3699   227159   61    57808  242153   2091   1405 1.49
1800.02/1800.60	c     3238   9010     4846   370705   76    60102  266369   3238   1831 1.77
1800.02/1800.60	c     4960   9010     6568   586403   89    63548  293006   4960   2045 2.42
1800.02/1800.60	c     7544   9010     9152   907806   99    68711  322307   7544   1821 4.14
1800.02/1800.60	c    11423   9010    13031  1391904  106    76457  354538  11423   1336 8.54
1800.02/1800.60	c    17247   9010    18855  2119925  112    88119  389992  17247   1080 15.96
1800.02/1800.60	c    25984   9010    27592  3212913  116   105577  428992  25984    795 32.66
1800.02/1800.60	c    39094   9010    40702  5124358  125   131692  471892  39094    781 50.03
1800.02/1800.60	c    58766   9010    60374  8359649  138   171028  519082  58766    632 92.85
1800.02/1800.60	c    88276   9010    89884 13238477  147   230056  570991  88276    474 186.09
1800.02/1800.60	c   132546   9010   134154 20553421  153   318588  628091 132546    219 603.21
1800.02/1800.60	c   198956   9010   200564 31526100  157   451420  690901 198956    132 1498.97
1800.02/1800.60	c Caught signal: 15
1800.02/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.60	c   17   214886    268   233748   216494 34158330 214886    119 1800.03
1800.02/1800.60	s UNKNOWN
1800.02/1800.60	c Total time: 1800.03 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node27/watcher-433361-1177958148 -o ROOT/results/node27/solver-433361-1177958148 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433361-1177958148/instance-433361-1177958148.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.97 1.01 0.93 3/65 24903
/proc/meminfo: memFree=1771800/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=12648 CPUtime=0
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 208510777 12951552 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 3162 332 279 324 0 2004 0

[startup+0.0595301 s]
/proc/loadavg: 0.97 1.01 0.93 3/65 24903
/proc/meminfo: memFree=1771800/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=6348 CPUtime=0.05
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 835 0 0 0 5 0 0 0 18 0 1 0 208510777 6500352 805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 1587 805 379 324 0 429 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6348

[startup+0.101533 s]
/proc/loadavg: 0.97 1.01 0.93 3/65 24903
/proc/meminfo: memFree=1771800/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=6740 CPUtime=0.09
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 1003 0 0 0 9 0 0 0 18 0 1 0 208510777 6901760 973 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 1685 973 451 324 0 527 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6740

[startup+0.301552 s]
/proc/loadavg: 0.97 1.01 0.93 3/65 24903
/proc/meminfo: memFree=1771800/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=8704 CPUtime=0.29
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 1762 0 0 0 28 1 0 0 19 0 1 0 208510777 8912896 1504 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 2176 1504 304 324 0 1246 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8704

[startup+0.701592 s]
/proc/loadavg: 0.97 1.01 0.93 3/65 24903
/proc/meminfo: memFree=1771800/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=8704 CPUtime=0.69
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 1763 0 0 0 68 1 0 0 22 0 1 0 208510777 8912896 1505 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 2176 1505 304 324 0 1246 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8704

[startup+1.50168 s]
/proc/loadavg: 0.97 1.01 0.93 2/66 24904
/proc/meminfo: memFree=1766736/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=11016 CPUtime=1.49
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 2634 0 0 0 147 2 0 0 25 0 1 0 208510777 11280384 2103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 2754 2103 310 324 0 1824 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11016

[startup+3.10184 s]
/proc/loadavg: 0.97 1.01 0.93 2/66 24904
/proc/meminfo: memFree=1761168/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=17576 CPUtime=3.09
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 4270 0 0 0 305 4 0 0 25 0 1 0 208510777 17997824 3739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 4394 3739 310 324 0 3464 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17576

[startup+6.30116 s]
/proc/loadavg: 0.97 1.01 0.93 2/66 24904
/proc/meminfo: memFree=1752976/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=24028 CPUtime=6.29
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 5865 0 0 0 624 5 0 0 25 0 1 0 208510777 24604672 5334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 6007 5334 310 324 0 5077 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24028

[startup+12.7018 s]
/proc/loadavg: 0.98 1.01 0.93 2/66 24904
/proc/meminfo: memFree=1743696/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=32928 CPUtime=12.69
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 8082 0 0 0 1262 7 0 0 25 0 1 0 208510777 33718272 7551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 8232 7551 310 324 0 7302 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32928

[startup+25.5011 s]
/proc/loadavg: 0.98 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1730512/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=45312 CPUtime=25.48
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 11204 0 0 0 2538 10 0 0 25 0 1 0 208510777 46399488 10673 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 11328 10673 310 324 0 10398 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45312

[startup+51.1017 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1697040/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=79584 CPUtime=51.08
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 19767 0 0 0 5091 17 0 0 25 0 1 0 208510777 81494016 19236 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 19896 19236 310 324 0 18966 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79584

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1640976/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=134540 CPUtime=102.27
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 33515 0 0 0 10199 28 0 0 25 0 1 0 208510777 137768960 32984 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 33635 32984 310 324 0 32705 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 134540

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1599952/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=175836 CPUtime=162.24
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 43815 0 0 0 16186 38 0 0 25 0 1 0 208510777 180056064 43284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 43959 43284 310 324 0 43029 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 175836

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1577808/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=197556 CPUtime=222.23
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 49262 0 0 0 22179 44 0 0 25 0 1 0 208510777 202297344 48731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 49389 48731 310 324 0 48459 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 197556

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1560464/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=215032 CPUtime=282.21
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 53618 0 0 0 28172 49 0 0 25 0 1 0 208510777 220192768 53087 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 53758 53087 310 324 0 52828 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 215032

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1545040/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=230184 CPUtime=342.19
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 57419 0 0 0 34165 54 0 0 25 0 1 0 208510777 235708416 56888 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 57546 56888 310 324 0 56616 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 230184

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1531728/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=243672 CPUtime=402.17
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 60773 0 0 0 40159 58 0 0 25 0 1 0 208510777 249520128 60242 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 60918 60242 310 324 0 59988 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 243672

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1517776/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=257424 CPUtime=462.17
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 64212 0 0 0 46155 62 0 0 25 0 1 0 208510777 263602176 63681 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 64356 63681 310 324 0 63426 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 257424

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1506576/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=268616 CPUtime=522.15
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 67028 0 0 0 52150 65 0 0 25 0 1 0 208510777 275062784 66497 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 67154 66497 310 324 0 66224 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 268616

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1495376/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=279804 CPUtime=582.13
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 69805 0 0 0 58145 68 0 0 25 0 1 0 208510777 286519296 69274 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 69951 69274 310 324 0 69021 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 279804

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1482896/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=292136 CPUtime=642.12
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 72888 0 0 0 64139 73 0 0 25 0 1 0 208510777 299147264 72357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 73034 72357 310 324 0 72104 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 292136


################
# More data... #
################

[startup+822.302 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1441808/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=333388 CPUtime=822.07
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 83225 0 0 0 82124 83 0 0 25 0 1 0 208510777 341389312 82694 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 83347 82694 310 324 0 82417 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 333388

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1430160/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=344836 CPUtime=882.04
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 86080 0 0 0 88118 86 0 0 25 0 1 0 208510777 353112064 85549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 86209 85549 310 324 0 85279 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 344836

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1419984/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=355120 CPUtime=942.03
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 88651 0 0 0 94114 89 0 0 25 0 1 0 208510777 363642880 88120 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 88780 88120 310 324 0 87850 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 355120

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1409424/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=365532 CPUtime=1002.01
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 91261 0 0 0 100109 92 0 0 25 0 1 0 208510777 374304768 90730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 91383 90730 310 324 0 90453 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 365532

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1401040/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=374028 CPUtime=1062
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 93368 0 0 0 106106 94 0 0 25 0 1 0 208510777 383004672 92837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 93507 92837 310 324 0 92577 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 374028

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1392016/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=382900 CPUtime=1121.97
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 95599 0 0 0 112101 96 0 0 25 0 1 0 208510777 392089600 95068 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 95725 95068 310 324 0 94795 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 382900

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1382544/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=392404 CPUtime=1181.96
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 97974 0 0 0 118097 99 0 0 25 0 1 0 208510777 401821696 97443 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 98101 97443 310 324 0 97171 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 392404

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1373904/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=401024 CPUtime=1241.95
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 100109 0 0 0 124094 101 0 0 25 0 1 0 208510777 410648576 99578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1899972 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 100256 99578 310 324 0 99326 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 401024

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1367440/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=407320 CPUtime=1301.94
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 101701 0 0 0 130091 103 0 0 25 0 1 0 208510777 417095680 101170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550890 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 101830 101170 310 324 0 100900 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 407320

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1360528/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=414388 CPUtime=1361.91
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 103461 0 0 0 136086 105 0 0 25 0 1 0 208510777 424333312 102930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1908386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 103597 102930 310 324 0 102667 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 414388

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1352976/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=421840 CPUtime=1421.9
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 105319 0 0 0 142082 108 0 0 25 0 1 0 208510777 431964160 104788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 105460 104788 310 324 0 104530 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 421840

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 24904
/proc/meminfo: memFree=1345680/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=429168 CPUtime=1481.87
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 107146 0 0 0 148077 110 0 0 25 0 1 0 208510777 439468032 106615 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 107292 106615 310 324 0 106362 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 429168

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/72 25060
/proc/meminfo: memFree=1337816/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=435720 CPUtime=1541.8
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 108780 0 0 0 154065 115 0 0 25 0 1 0 208510777 446177280 108249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 108930 108249 310 324 0 108000 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 435720

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 25102
/proc/meminfo: memFree=1331152/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=443560 CPUtime=1601.77
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 110758 0 0 0 160060 117 0 0 25 0 1 0 208510777 454205440 110227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 110890 110227 310 324 0 109960 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 443560

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 25102
/proc/meminfo: memFree=1323088/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=451528 CPUtime=1661.75
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 112741 0 0 0 166056 119 0 0 25 0 1 0 208510777 462364672 112210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 112882 112210 310 324 0 111952 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 451528

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 25102
/proc/meminfo: memFree=1316560/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=458080 CPUtime=1721.73
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 114385 0 0 0 172052 121 0 0 25 0 1 0 208510777 469073920 113854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 114520 113854 310 324 0 113590 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 458080

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 25102
/proc/meminfo: memFree=1310160/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=464384 CPUtime=1781.72
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 115967 0 0 0 178049 123 0 0 25 0 1 0 208510777 475529216 115436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 116096 115436 310 324 0 115166 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 464384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 0.93 2/66 25102
/proc/meminfo: memFree=1308112/2055920 swapFree=4182924/4192956
[pid=24903] ppid=24901 vsize=466444 CPUtime=1800.02
/proc/24903/stat : 24903 (bsolo3.0.17) R 24901 24903 24542 0 -1 4194304 116464 0 0 0 179878 124 0 0 25 0 1 0 208510777 477638656 115933 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24903/statm: 116611 115933 310 324 0 115681 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 466444

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 15
Real time (s): 1800.69
CPU time (s): 1800.1
CPU user time (s): 1798.79
CPU system time (s): 1.3178
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 466444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.3178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116468
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= 3078

runsolver used 1.3338 second user time and 3.64545 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Mon Apr 30 18:35:49 UTC 2007

IDJOB= 433361
IDBENCH= 2521
IDSOLVER= 199
FILE ID= node27/433361-1177958148

PBS_JOBID= 4727695

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2-o.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433361-1177958148/instance-433361-1177958148.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-433361-1177958148 -o ROOT/results/node27/solver-433361-1177958148 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433361-1177958148/instance-433361-1177958148.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  158d85b2efcaf56eab2db834482aadfb

RANDOM SEED= 815789915

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1772336 kB
Buffers:         32560 kB
Cached:         170908 kB
SwapCached:       4068 kB
Active:          71092 kB
Inactive:       144024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1772336 kB
SwapTotal:     4192956 kB
SwapFree:      4182924 kB
Dirty:            7492 kB
Writeback:           0 kB
Mapped:          17592 kB
Slab:            54476 kB
Committed_AS:  2314072 kB
PageTables:       1416 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= 66557 MiB

End job on node27 on Mon Apr 30 19:05:51 UTC 2007