Trace number 433377

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.66

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-gesa3_o.opb
MD5SUM65c2bbddd90efb87154e28c84e06f5c3
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 variables15504
Total number of constraints1416
Number of constraints which are clauses168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1248
Minimum length of a constraint2
Maximum length of a constraint311
Number of terms in the objective function 8784
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 144203531006459664
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 144203531006459664
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/433377-1177958587/instance-433377-1177958587.opb
0.00/0.00	c File size is 902816 bytes.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.09/0.13	c Highest Coefficient sum: 1.44204e+17
0.09/0.13	c Parsing was ok!!
0.09/0.13	c Total parsing time: 0.127 s
0.09/0.13	c Var: 15504 Constr: 1536 264/0/1272 Lit: 68064 Watch. Lit: 19824
0.09/0.13	c Obj. Vars: 8784 (56.6563 % of total variables)
0.89/0.90	c Pre-processing Time: 0.899 s
1800.04/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.60	c        0   8751     1536    68064   44    53108  134920      0      0 0.90
1800.04/1800.60	c      100   8751     1636    78304   47    53413  148413    100    105 0.94
1800.04/1800.60	c      250   8751     1786    94832   53    53723  163255    250    259 0.96
1800.04/1800.60	c      475   8751     2011   119784   59    54167  179581    475    479 0.99
1800.04/1800.60	c      814   8751     2350   157255   66    54843  197540    814    783 1.04
1800.04/1800.60	c     1322   8751     2858   213189   74    55865  217295   1322   1157 1.14
1800.04/1800.60	c     2086   8751     3622   297801   82    57396  239025   2086   1582 1.32
1800.04/1800.60	c     3233   8751     4769   425874   89    59680  262928   3233   1891 1.71
1800.04/1800.60	c     4956   8751     6492   619033   95    63126  289221   4956   2087 2.37
1800.04/1800.60	c     7540   8751     9076   902131   99    68294  318144   7540   1966 3.83
1800.04/1800.60	c    11420   8751    12956  1336568  103    76055  349959  11420   1174 9.72
1800.04/1800.60	c    17243   8751    18779  1988580  105    87695  384955  17243    824 20.92
1800.04/1800.60	c    25980   8751    27516  2967775  107   105186  423451  25980    560 46.37
1800.04/1800.60	c    39090   8751    40626  4436049  109   131397  465797  39090    354 110.12
1800.04/1800.60	c    58761   8751    60297  6640227  110   170739  512377  58761    256 228.97
1800.04/1800.60	c    88272   8751    89808  9945909  110   229757  563615  88272    175 502.63
1800.04/1800.60	c   132543   8751   134079 14917064  111   318298  619977 132543    139 951.12
1800.04/1800.60	c Caught signal: 15
1800.04/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.60	c   16   185077     18   188829   186613 20809148 185077    102 1800.05
1800.04/1800.60	s UNKNOWN
1800.04/1800.60	c Total time: 1800.05 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/node45/watcher-433377-1177958587 -o ROOT/results/node45/solver-433377-1177958587 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433377-1177958587/instance-433377-1177958587.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.01 0.99 0.91 3/77 1052
/proc/meminfo: memFree=1849440/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=12620 CPUtime=0
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 150704328 12922880 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 3155 334 280 324 0 2004 0

[startup+0.0792201 s]
/proc/loadavg: 1.01 0.99 0.91 3/77 1052
/proc/meminfo: memFree=1849440/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=6508 CPUtime=0.07
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 911 0 0 0 7 0 0 0 18 0 1 0 150704328 6664192 881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 1627 881 414 324 0 476 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6508

[startup+0.102222 s]
/proc/loadavg: 1.01 0.99 0.91 3/77 1052
/proc/meminfo: memFree=1849440/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=6636 CPUtime=0.09
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 993 0 0 0 9 0 0 0 18 0 1 0 150704328 6795264 963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525198 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 1659 963 455 324 0 508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6636

[startup+0.301242 s]
/proc/loadavg: 1.01 0.99 0.91 3/77 1052
/proc/meminfo: memFree=1849440/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=8588 CPUtime=0.29
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 1728 0 0 0 29 0 0 0 19 0 1 0 150704328 8794112 1477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 2147 1477 304 324 0 1217 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8588

[startup+0.702284 s]
/proc/loadavg: 1.01 0.99 0.91 3/77 1052
/proc/meminfo: memFree=1849440/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=8588 CPUtime=0.69
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 1729 0 0 0 69 0 0 0 23 0 1 0 150704328 8794112 1478 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 2147 1478 304 324 0 1217 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8588

[startup+1.50136 s]
/proc/loadavg: 1.01 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1843864/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=12692 CPUtime=1.49
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 3040 0 0 0 148 1 0 0 25 0 1 0 150704328 12996608 2524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 3173 2524 310 324 0 2243 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12692

[startup+3.10153 s]
/proc/loadavg: 1.01 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1837912/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=18216 CPUtime=3.09
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 4421 0 0 0 307 2 0 0 25 0 1 0 150704328 18653184 3905 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 4554 3905 310 324 0 3624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18216

[startup+6.30185 s]
/proc/loadavg: 1.01 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1830808/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=22984 CPUtime=6.29
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 5590 0 0 0 626 3 0 0 25 0 1 0 150704328 23535616 5074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 5746 5074 310 324 0 4816 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22984

[startup+12.7015 s]
/proc/loadavg: 1.01 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1825248/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=28408 CPUtime=12.68
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 6969 0 0 0 1264 4 0 0 25 0 1 0 150704328 29089792 6453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 7102 6453 310 324 0 6172 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28408

[startup+25.5018 s]
/proc/loadavg: 1.01 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1815200/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=37972 CPUtime=25.49
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 9351 0 0 0 2542 7 0 0 25 0 1 0 150704328 38883328 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 9493 8835 310 324 0 8563 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37972

[startup+51.1014 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1803296/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=49852 CPUtime=51.08
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 12333 0 0 0 5097 11 0 0 25 0 1 0 150704328 51048448 11817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 12463 11817 310 324 0 11533 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49852

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1786720/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=66352 CPUtime=102.27
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 16431 0 0 0 10211 16 0 0 25 0 1 0 150704328 67944448 15915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 16588 15915 310 324 0 15658 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66352

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1770464/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=82584 CPUtime=162.25
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 20488 0 0 0 16202 23 0 0 25 0 1 0 150704328 84566016 19972 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 20646 19972 310 324 0 19716 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 82584

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1755744/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=97128 CPUtime=222.23
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 24125 0 0 0 22196 27 0 0 25 0 1 0 150704328 99459072 23609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 24282 23609 310 324 0 23352 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 97128

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1746080/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=106676 CPUtime=282.22
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 26536 0 0 0 28191 31 0 0 25 0 1 0 150704328 109236224 26020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 26669 26020 310 324 0 25739 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 106676

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1735328/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=117408 CPUtime=342.21
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 29193 0 0 0 34188 33 0 0 25 0 1 0 150704328 120225792 28677 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 29352 28677 310 324 0 28422 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 117408

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1724768/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=127864 CPUtime=402.19
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 31836 0 0 0 40182 37 0 0 25 0 1 0 150704328 130932736 31320 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 31966 31320 310 324 0 31036 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 127864

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1715104/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=137396 CPUtime=462.18
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 34205 0 0 0 46177 41 0 0 25 0 1 0 150704328 140693504 33689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5168782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 34349 33689 310 324 0 33419 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 137396

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1706144/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=146432 CPUtime=522.16
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 36446 0 0 0 52172 44 0 0 25 0 1 0 150704328 149946368 35930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 36608 35930 310 324 0 35678 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 146432

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1696736/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=155596 CPUtime=582.15
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 38747 0 0 0 58168 47 0 0 25 0 1 0 150704328 159330304 38231 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 38899 38231 310 324 0 37969 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 155596

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1685792/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=166428 CPUtime=642.13
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 41458 0 0 0 64163 50 0 0 25 0 1 0 150704328 170422272 40942 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 41607 40942 310 324 0 40677 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 166428


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

[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1658336/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=193664 CPUtime=822.08
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 48257 0 0 0 82148 60 0 0 25 0 1 0 150704328 198311936 47741 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 48416 47741 310 324 0 47486 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 193664

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1649696/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=202032 CPUtime=882.07
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 50375 0 0 0 88144 63 0 0 25 0 1 0 150704328 206880768 49859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 50508 49859 310 324 0 49578 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 202032

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1640928/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=210928 CPUtime=942.05
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 52572 0 0 0 94139 66 0 0 25 0 1 0 150704328 215990272 52056 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 52732 52056 310 324 0 51802 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 210928

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1634464/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=217252 CPUtime=1002.04
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 54154 0 0 0 100136 68 0 0 25 0 1 0 150704328 222466048 53638 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 54313 53638 310 324 0 53383 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 217252

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1053
/proc/meminfo: memFree=1626400/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=225240 CPUtime=1062.02
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 56158 0 0 0 106131 71 0 0 25 0 1 0 150704328 230645760 55642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5158741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 56310 55642 310 324 0 55380 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 225240

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/84 1232
/proc/meminfo: memFree=1619304/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=230656 CPUtime=1121.91
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 57516 0 0 0 112115 76 0 0 25 0 1 0 150704328 236191744 57000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 57664 57000 310 324 0 56734 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 230656

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1254
/proc/meminfo: memFree=1614880/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=236188 CPUtime=1181.89
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 58914 0 0 0 118111 78 0 0 25 0 1 0 150704328 241856512 58398 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 59047 58398 310 324 0 58117 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 236188

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1254
/proc/meminfo: memFree=1609440/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=241484 CPUtime=1241.88
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 60241 0 0 0 124107 81 0 0 25 0 1 0 150704328 247279616 59725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 60371 59725 310 324 0 59441 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 241484

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1254
/proc/meminfo: memFree=1603552/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=247300 CPUtime=1301.86
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 61665 0 0 0 130104 82 0 0 25 0 1 0 150704328 253235200 61149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 61825 61149 310 324 0 60895 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 247300

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1254
/proc/meminfo: memFree=1598240/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=252584 CPUtime=1361.85
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 62992 0 0 0 136101 84 0 0 25 0 1 0 150704328 258646016 62476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 63146 62476 310 324 0 62216 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 252584

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1254
/proc/meminfo: memFree=1591520/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=259156 CPUtime=1421.84
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 64657 0 0 0 142097 87 0 0 25 0 1 0 150704328 265375744 64141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 64789 64141 310 324 0 63859 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 259156

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1254
/proc/meminfo: memFree=1584864/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=265720 CPUtime=1481.82
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 66299 0 0 0 148092 90 0 0 25 0 1 0 150704328 272097280 65783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 66430 65783 310 324 0 65500 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 265720

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1254
/proc/meminfo: memFree=1579808/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=270764 CPUtime=1541.8
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 67554 0 0 0 154089 91 0 0 25 0 1 0 150704328 277262336 67038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 67691 67039 310 324 0 66761 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 270764

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1254
/proc/meminfo: memFree=1574880/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=275780 CPUtime=1601.79
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 68794 0 0 0 160086 93 0 0 25 0 1 0 150704328 282398720 68278 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 68945 68278 310 324 0 68015 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 275780

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1256
/proc/meminfo: memFree=1570016/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=280404 CPUtime=1661.77
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 69969 0 0 0 166082 95 0 0 25 0 1 0 150704328 287133696 69453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 70101 69453 310 324 0 69171 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 280404

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1256
/proc/meminfo: memFree=1564704/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=285684 CPUtime=1721.75
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 71291 0 0 0 172079 96 0 0 25 0 1 0 150704328 292540416 70775 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 71421 70775 310 324 0 70491 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 285684

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1256
/proc/meminfo: memFree=1558944/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=291376 CPUtime=1781.74
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 72688 0 0 0 178075 99 0 0 25 0 1 0 150704328 298369024 72172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 72844 72172 310 324 0 71914 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 291376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 1256
/proc/meminfo: memFree=1557152/2055920 swapFree=4157808/4192956
[pid=1052] ppid=1050 vsize=293056 CPUtime=1800.04
/proc/1052/stat : 1052 (bsolo3.0.17) R 1050 1052 497 0 -1 4194304 73131 0 0 0 179905 99 0 0 25 0 1 0 150704328 300089344 72615 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1052/statm: 73264 72615 310 324 0 72334 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 293056

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.66
CPU time (s): 1800.1
CPU user time (s): 1799.06
CPU system time (s): 1.04584
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 293056

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

runsolver used 1.3298 second user time and 4.06138 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Mon Apr 30 18:43:07 UTC 2007

IDJOB= 433377
IDBENCH= 2545
IDSOLVER= 199
FILE ID= node45/433377-1177958587

PBS_JOBID= 4727693

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/miplib3/normalized-mps-v2-20-10-gesa3_o.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433377-1177958587/instance-433377-1177958587.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-433377-1177958587 -o ROOT/results/node45/solver-433377-1177958587 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433377-1177958587/instance-433377-1177958587.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  65c2bbddd90efb87154e28c84e06f5c3

RANDOM SEED= 159469779

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1849848 kB
Buffers:          4476 kB
Cached:         117104 kB
SwapCached:      14284 kB
Active:          50668 kB
Inactive:        93680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1849848 kB
SwapTotal:     4192956 kB
SwapFree:      4157808 kB
Dirty:            7588 kB
Writeback:           0 kB
Mapped:          29824 kB
Slab:            47324 kB
Committed_AS:  1449796 kB
PageTables:       1732 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 node45 on Mon Apr 30 19:13:10 UTC 2007