Trace number 432796

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.07 1801.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-vpm2.opb
MD5SUM0632aa4d9a67ceeb1b14a3ab4971976e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2754
Total number of constraints444
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint11
Maximum length of a constraint84
Number of terms in the objective function 168
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 504
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 204800
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524341
Number of bits of the biggest sum of numbers20
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.03	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.03	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.03	c type "bsolo -h" for help
0.00/0.03	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.03	c Memory Limit set to 1800 MB
0.00/0.03	c Instance file /tmp/evaluation/432796-1177949963/instance-432796-1177949963.opb
0.00/0.03	c File size is 106510 bytes.
0.00/0.04	c Highest Coefficient sum: 524341
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.019 s
0.00/0.04	c Var: 2754 Constr: 486 0/0/486 Lit: 13020 Watch. Lit: 8251
0.00/0.04	c Obj. Vars: 168 (6.10022 % of total variables)
0.02/0.09	c Pre-processing Time: 0.066 s
0.02/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.09	c        0   1982      283    10012   35     6968   20024      0      0 0.07
0.02/0.09	c Switching off LPR mode.
1800.02/1801.10	c      100   1980      383    13082   34     8195   22027    100   1388 0.07
1800.02/1801.10	c      251   1980      534    22740   42     8476   24230    251   3060 0.08
1800.02/1801.10	c      478   1980      761    33143   43     9022   26654    478   4640 0.10
1800.02/1801.10	c      816   1980     1099    57268   52    10134   29320    816   5828 0.14
1800.02/1801.10	c     1324   1980     1607    72418   45    11159   32253   1324   7042 0.19
1800.02/1801.10	c     2087   1980     2370   103410   43    12794   35479   2087   8281 0.25
1800.02/1801.10	c     3233   1980     3516   156681   44    15024   39027   3233   8397 0.39
1800.02/1801.10	c     4954   1980     5237   235503   44    18442   42930   4954   8284 0.60
1800.02/1801.10	c     7538   1980     7821   336486   43    23550   47224   7538   7441 1.01
1800.02/1801.10	c    11417   1980    11700   560624   47    31326   51947  11417   5968 1.91
1800.02/1801.10	c    17240   1980    17523   881526   50    43022   57142  17240   5794 2.98
1800.02/1801.10	c    25979   1980    26262  1376237   52    60466   62857  25979   3501 7.42
1800.02/1801.10	c    39092   1980    39375  2061995   52    86740   69143  39092   3771 10.37
1800.02/1801.10	c    58762   1980    59045  3410010   57   125966   76058  58762   3120 18.83
1800.02/1801.10	c    88272   1980    23018  1186906   51    53791   83664  22735   1561 56.54
1800.02/1801.10	c   132543   1980    67289  3933800   58   142465   92031  67006    958 138.34
1800.02/1801.10	c   198954   1980    52498  3588186   68   113069  101235  52215   1027 193.62
1800.02/1801.10	c   298574   1980    61388  3906726   63   130619  111359  61105    705 423.32
1800.02/1801.10	c   448010   1980    19681  2178974  110    47213  122495  19398    420 1065.68
1800.02/1801.10	c Caught signal: 15
1800.02/1801.10	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1801.10	c   19   623222  62960   784363    86653 14669805  86370    346 1800.03
1800.02/1801.10	s UNKNOWN
1800.02/1801.10	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/node18/watcher-432796-1177949963 -o ROOT/results/node18/solver-432796-1177949963 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432796-1177949963/instance-432796-1177949963.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.87 0.95 0.90 3/77 3785
/proc/meminfo: memFree=1833352/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=18528 CPUtime=0
/proc/3785/stat : 3785 (runsolver) D 3783 3785 2742 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 242913644 18972672 284 18446744073709551615 4194304 4255128 548682068976 18446744073709551615 227848809767 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/3785/statm: 4632 284 249 14 0 2626 0

[startup+0.05443 s]
/proc/loadavg: 0.87 0.95 0.90 3/77 3785
/proc/meminfo: memFree=1833352/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=4748 CPUtime=0.02
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 610 0 0 0 2 0 0 0 18 0 1 0 242913644 4861952 553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 1187 554 303 324 0 257 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4748

[startup+0.102434 s]
/proc/loadavg: 0.87 0.95 0.90 3/77 3785
/proc/meminfo: memFree=1833352/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=4852 CPUtime=0.07
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 644 0 0 0 7 0 0 0 18 0 1 0 242913644 4968448 587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 1213 587 309 324 0 283 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4852

[startup+0.301453 s]
/proc/loadavg: 0.87 0.95 0.90 3/77 3785
/proc/meminfo: memFree=1833352/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=6292 CPUtime=0.27
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 1005 0 0 0 26 1 0 0 19 0 1 0 242913644 6443008 948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 1573 948 310 324 0 643 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6292

[startup+0.702492 s]
/proc/loadavg: 0.87 0.95 0.90 3/77 3785
/proc/meminfo: memFree=1833352/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=8508 CPUtime=0.67
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 1545 0 0 0 66 1 0 0 23 0 1 0 242913644 8712192 1488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 2127 1488 310 324 0 1197 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8508

[startup+1.50157 s]
/proc/loadavg: 0.87 0.95 0.90 2/78 3786
/proc/meminfo: memFree=1827456/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=11764 CPUtime=1.46
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 2369 0 0 0 145 1 0 0 25 0 1 0 242913644 12046336 2312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 2941 2312 310 324 0 2011 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11764

[startup+3.10172 s]
/proc/loadavg: 0.87 0.95 0.90 2/78 3786
/proc/meminfo: memFree=1822848/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=18360 CPUtime=3.07
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 4019 0 0 0 305 2 0 0 25 0 1 0 242913644 18800640 3962 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 4590 3962 310 324 0 3660 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 18360

[startup+6.30103 s]
/proc/loadavg: 0.88 0.95 0.90 2/78 3786
/proc/meminfo: memFree=1814080/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=23696 CPUtime=6.26
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 5363 0 0 0 623 3 0 0 25 0 1 0 242913644 24264704 5306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 5924 5306 310 324 0 4994 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 23696

[startup+12.7016 s]
/proc/loadavg: 0.89 0.95 0.90 2/78 3786
/proc/meminfo: memFree=1795456/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=42876 CPUtime=12.66
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 10136 0 0 0 1259 7 0 0 25 0 1 0 242913644 43905024 10079 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 10719 10079 310 324 0 9789 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 42876

[startup+25.5019 s]
/proc/loadavg: 0.92 0.96 0.90 2/78 3786
/proc/meminfo: memFree=1772160/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=65000 CPUtime=25.46
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 15690 0 0 0 2535 11 0 0 25 0 1 0 242913644 66560000 15633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 16250 15633 310 324 0 15320 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 65000

[startup+51.1013 s]
/proc/loadavg: 0.94 0.96 0.91 2/78 3786
/proc/meminfo: memFree=1768640/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=68100 CPUtime=51.03
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 16543 0 0 0 5092 11 0 0 25 0 1 0 242913644 69734400 16410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 17025 16410 310 324 0 16095 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 68100

[startup+102.305 s]
/proc/loadavg: 0.97 0.96 0.91 2/78 3786
/proc/meminfo: memFree=1768704/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=68100 CPUtime=102.21
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 16543 0 0 0 10210 11 0 0 25 0 1 0 242913644 69734400 16410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 17025 16410 310 324 0 16095 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 68100

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1750656/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=86116 CPUtime=162.18
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 21132 0 0 0 16203 15 0 0 25 0 1 0 242913644 88182784 20907 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 21529 20907 310 324 0 20599 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 86116

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1745280/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=91784 CPUtime=222.14
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 22551 0 0 0 22198 16 0 0 25 0 1 0 242913644 93986816 22326 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 22946 22326 310 324 0 22016 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 91784

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1737984/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=98764 CPUtime=282.12
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 24400 0 0 0 28193 19 0 0 25 0 1 0 242913644 101134336 24074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 24691 24074 310 324 0 23761 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 98764

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1738048/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=98764 CPUtime=342.08
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 24400 0 0 0 34189 19 0 0 25 0 1 0 242913644 101134336 24074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 24691 24074 310 324 0 23761 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 98764

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1738112/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=98764 CPUtime=402.03
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 24400 0 0 0 40184 19 0 0 25 0 1 0 242913644 101134336 24074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 24691 24074 310 324 0 23761 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 98764

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1729024/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=108300 CPUtime=462.01
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 26769 0 0 0 46179 22 0 0 25 0 1 0 242913644 110899200 26443 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 27075 26443 310 324 0 26145 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 108300

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1696768/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=140652 CPUtime=521.96
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 34857 0 0 0 52166 30 0 0 25 0 1 0 242913644 144027648 34531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 35163 34531 310 324 0 34233 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 140652

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1692544/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=144264 CPUtime=581.92
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 35873 0 0 0 58160 32 0 0 25 0 1 0 242913644 147726336 35436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 36066 35436 310 324 0 35136 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 144264

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1692544/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=144264 CPUtime=641.9
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 35873 0 0 0 64158 32 0 0 25 0 1 0 242913644 147726336 35436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 36066 35436 310 324 0 35136 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 144264


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1674496/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=162456 CPUtime=881.76
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 40433 0 0 0 88139 37 0 0 25 0 1 0 242913644 166354944 39996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 40614 39996 310 324 0 39684 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 162456

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1658624/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=178420 CPUtime=941.72
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 44404 0 0 0 94131 41 0 0 25 0 1 0 242913644 182702080 43967 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 44605 43967 310 324 0 43675 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 178420

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1646912/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=190000 CPUtime=1001.68
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 47311 0 0 0 100123 45 0 0 25 0 1 0 242913644 194560000 46874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8291681 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 47500 46874 310 324 0 46570 0
Current children cumulated CPU time (s) 1001.68
Current children cumulated vsize (KiB) 190000

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1641472/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=195288 CPUtime=1061.65
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 48728 0 0 0 106119 46 0 0 25 0 1 0 242913644 199974912 48180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 48822 48180 310 324 0 47892 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 195288

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1641472/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=195288 CPUtime=1121.61
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 48728 0 0 0 112115 46 0 0 25 0 1 0 242913644 199974912 48180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 48822 48180 310 324 0 47892 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 195288

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1641408/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=195288 CPUtime=1181.57
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 48728 0 0 0 118111 46 0 0 25 0 1 0 242913644 199974912 48180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 48822 48180 310 324 0 47892 0
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (KiB) 195288

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3786
/proc/meminfo: memFree=1641344/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=195288 CPUtime=1241.55
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 48728 0 0 0 124108 47 0 0 25 0 1 0 242913644 199974912 48180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 48822 48180 310 324 0 47892 0
Current children cumulated CPU time (s) 1241.55
Current children cumulated vsize (KiB) 195288

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3788
/proc/meminfo: memFree=1626944/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=209736 CPUtime=1301.51
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 52355 0 0 0 130100 51 0 0 25 0 1 0 242913644 214769664 51807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 52434 51807 310 324 0 51504 0
Current children cumulated CPU time (s) 1301.51
Current children cumulated vsize (KiB) 209736

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3788
/proc/meminfo: memFree=1604736/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=231684 CPUtime=1361.47
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 136090 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 57921 57303 310 324 0 56991 0
Current children cumulated CPU time (s) 1361.47
Current children cumulated vsize (KiB) 231684

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3788
/proc/meminfo: memFree=1604736/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=231684 CPUtime=1421.44
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 142087 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 57921 57303 310 324 0 56991 0
Current children cumulated CPU time (s) 1421.44
Current children cumulated vsize (KiB) 231684

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3788
/proc/meminfo: memFree=1604736/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=231684 CPUtime=1481.4
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 148083 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 57921 57303 310 324 0 56991 0
Current children cumulated CPU time (s) 1481.4
Current children cumulated vsize (KiB) 231684

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3788
/proc/meminfo: memFree=1604736/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=231684 CPUtime=1541.37
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 154080 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 57921 57303 310 324 0 56991 0
Current children cumulated CPU time (s) 1541.37
Current children cumulated vsize (KiB) 231684

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3788
/proc/meminfo: memFree=1604736/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=231684 CPUtime=1601.33
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 160076 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 57921 57303 310 324 0 56991 0
Current children cumulated CPU time (s) 1601.33
Current children cumulated vsize (KiB) 231684

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3788
/proc/meminfo: memFree=1604800/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=231684 CPUtime=1661.3
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 166073 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8292181 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 57921 57303 310 324 0 56991 0
Current children cumulated CPU time (s) 1661.3
Current children cumulated vsize (KiB) 231684

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3788
/proc/meminfo: memFree=1604800/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=231684 CPUtime=1721.27
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 172070 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 57921 57303 310 324 0 56991 0
Current children cumulated CPU time (s) 1721.27
Current children cumulated vsize (KiB) 231684

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3788
/proc/meminfo: memFree=1604672/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=231684 CPUtime=1781.23
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 178066 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 57921 57303 310 324 0 56991 0
Current children cumulated CPU time (s) 1781.23
Current children cumulated vsize (KiB) 231684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3788
/proc/meminfo: memFree=1604672/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=231684 CPUtime=1800.02
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 179945 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 57921 57303 310 324 0 56991 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 231684

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

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

[startup+1801.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 3788
/proc/meminfo: memFree=1604672/2055920 swapFree=4147196/4192956
[pid=3785] ppid=3783 vsize=231684 CPUtime=1800.02
/proc/3785/stat : 3785 (bsolo3.0.17) R 3783 3785 2742 0 -1 4194304 57973 0 0 0 179945 57 0 0 25 0 1 0 242913644 237244416 57303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3785/statm: 57921 57303 310 324 0 56991 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 231684

Child status: 15
Real time (s): 1801.15
CPU time (s): 1800.07
CPU user time (s): 1799.46
CPU system time (s): 0.611906
CPU usage (%): 99.9402
Max. virtual memory (cumulated for all children) (KiB): 232172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.611906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57977
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= 21
involuntary context switches= 39834

runsolver used 1.61075 second user time and 4.94725 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Mon Apr 30 16:19:23 UTC 2007

IDJOB= 432796
IDBENCH= 1803
IDSOLVER= 199
FILE ID= node18/432796-1177949963

PBS_JOBID= 4727671

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  0632aa4d9a67ceeb1b14a3ab4971976e

RANDOM SEED= 798217824

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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.234
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:       1833824 kB
Buffers:         36084 kB
Cached:          95652 kB
SwapCached:      14328 kB
Active:          49076 kB
Inactive:       106308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833824 kB
SwapTotal:     4192956 kB
SwapFree:      4147196 kB
Dirty:            6716 kB
Writeback:           0 kB
Mapped:          30840 kB
Slab:            52260 kB
Committed_AS:  5537700 kB
PageTables:       1780 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= 66558 MiB

End job on node18 on Mon Apr 30 16:49:26 UTC 2007