Trace number 432745

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.24 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-fixnet3.opb
MD5SUM33434aafd8d2cc52b903fb501d38927b
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 variables14036
Total number of constraints600
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 constraints600
Minimum length of a constraint19
Maximum length of a constraint1523
Number of terms in the objective function 13946
Biggest coefficient in the objective function 1187
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 535685
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262020
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535685
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.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/432745-1177948799/instance-432745-1177948799.opb
0.00/0.00	c File size is 559683 bytes.
0.09/0.11	c Highest Coefficient sum: 535685
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.108 s
0.09/0.11	c Var: 14036 Constr: 700 55/0/645 Lit: 68668 Watch. Lit: 25115
0.09/0.11	c Obj. Vars: 13946 (99.3588 % of total variables)
8.39/8.50	c Pre-processing Time: 8.495 s
8.49/8.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.49/8.50	c        0   7802      595    66673  112    50907  116746      0      0 8.49
8.49/8.50	c Switching off LPR mode.
1800.09/1800.60	c      100   7802      695    78841  113    51118  128421    100     11 8.77
1800.09/1800.60	c      250   7802      845    97142  114    51446  141264    250     26 9.30
1800.09/1800.60	c      479   7802     1074   126625  117    51908  155391    479     48 9.83
1800.09/1800.60	c      820   7802     1415   170114  120    52598  170931    820     74 11.07
1800.09/1800.60	c     1329   7802     1924   209007  108    53625  188025   1329    109 12.11
1800.09/1800.60	c     2093   7802     2688   322743  120    55146  206828   2093     89 23.45
1800.09/1800.60	c     3239   7802     3834   485832  126    57438  227511   3239    111 29.03
1800.09/1800.60	c     4960   7802     5555   873715  157    60868  250263   4960    111 44.41
1800.09/1800.60	c     7544   7802     8139  1330229  163    66060  275290   7544    128 58.64
1800.09/1800.60	c    11424   7802    12019  2232538  185    73808  302820  11424    141 80.81
1800.09/1800.60	c    17246   7802    17841  3343186  187    85466  333103  17246    147 116.83
1800.09/1800.60	c    25983   7802    26578  4911888  184   102933  366414  25983    153 169.28
1800.09/1800.60	c    39093   7802    39688  8821651  222   129148  403056  39093    169 230.25
1800.09/1800.60	c    58766   7802    59361 12923921  217   168510  443362  58766    166 353.78
1800.09/1800.60	c    88276   7802    88871 18079229  203   227525  487699  88276    169 519.47
1800.09/1800.60	c   132546   7802   133141 28515431  214   316072  536469 132546    166 797.05
1800.09/1800.60	c   198956   7802   199551 51007327  255   448885  590116 198956    138 1432.28
1800.09/1800.60	c Caught signal: 15
1800.09/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.60	c   17   242753 136679  4273004   243348 72617949 242753    134 1800.09
1800.09/1800.60	s UNKNOWN
1800.09/1800.60	c Total time: 1800.09 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/node65/watcher-432745-1177948799 -o ROOT/results/node65/solver-432745-1177948799 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432745-1177948799/instance-432745-1177948799.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.91 0.96 0.91 3/64 24451
/proc/meminfo: memFree=1853688/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=12284 CPUtime=0
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 270869505 12578816 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 3071 333 279 324 0 2004 0

[startup+0.0737721 s]
/proc/loadavg: 0.91 0.96 0.91 3/64 24451
/proc/meminfo: memFree=1853688/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=6152 CPUtime=0.06
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 871 0 0 0 6 0 0 0 18 0 1 0 270869505 6299648 841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 1538 842 366 324 0 471 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6152

[startup+0.102774 s]
/proc/loadavg: 0.91 0.96 0.91 3/64 24451
/proc/meminfo: memFree=1853688/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=6540 CPUtime=0.09
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 986 0 0 0 9 0 0 0 18 0 1 0 270869505 6696960 956 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 1635 956 404 324 0 568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6540

[startup+0.302791 s]
/proc/loadavg: 0.91 0.96 0.91 3/64 24451
/proc/meminfo: memFree=1853688/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=8256 CPUtime=0.29
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 1585 0 0 0 29 0 0 0 19 0 1 0 270869505 8454144 1418 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 2064 1418 304 324 0 1134 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8256

[startup+0.701824 s]
/proc/loadavg: 0.91 0.96 0.91 3/64 24451
/proc/meminfo: memFree=1853688/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=8256 CPUtime=0.69
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 1586 0 0 0 69 0 0 0 22 0 1 0 270869505 8454144 1419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 2064 1419 304 324 0 1134 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8256

[startup+1.50189 s]
/proc/loadavg: 0.91 0.96 0.91 2/65 24452
/proc/meminfo: memFree=1849200/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=8256 CPUtime=1.49
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 1586 0 0 0 149 0 0 0 25 0 1 0 270869505 8454144 1419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 2064 1419 304 324 0 1134 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8256

[startup+3.10102 s]
/proc/loadavg: 0.91 0.96 0.91 2/65 24452
/proc/meminfo: memFree=1849008/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=8256 CPUtime=3.09
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 1586 0 0 0 308 1 0 0 25 0 1 0 270869505 8454144 1419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 2064 1419 304 324 0 1134 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8256

[startup+6.30129 s]
/proc/loadavg: 0.92 0.97 0.91 2/65 24452
/proc/meminfo: memFree=1848304/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=8908 CPUtime=6.28
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 1855 0 0 0 627 1 0 0 25 0 1 0 270869505 9121792 1578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 2227 1578 306 324 0 1297 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8908

[startup+12.7018 s]
/proc/loadavg: 0.93 0.97 0.91 2/65 24452
/proc/meminfo: memFree=1847032/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=10340 CPUtime=12.69
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 2347 0 0 0 1267 2 0 0 25 0 1 0 270869505 10588160 1948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 2585 1948 310 324 0 1655 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10340

[startup+25.5019 s]
/proc/loadavg: 0.94 0.97 0.91 2/65 24452
/proc/meminfo: memFree=1845112/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=12288 CPUtime=25.48
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 2827 0 0 0 2546 2 0 0 25 0 1 0 270869505 12582912 2428 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 3072 2428 310 324 0 2142 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12288

[startup+51.102 s]
/proc/loadavg: 0.96 0.97 0.91 2/65 24452
/proc/meminfo: memFree=1835192/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=22348 CPUtime=51.08
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 5335 0 0 0 5105 3 0 0 25 0 1 0 270869505 22884352 4936 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 5587 4936 310 324 0 4657 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22348

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.91 2/71 24622
/proc/meminfo: memFree=1812936/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=42696 CPUtime=102.2
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 10444 0 0 0 10213 7 0 0 25 0 1 0 270869505 43720704 10045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 10674 10045 310 324 0 9744 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 42696

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1787192/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=69644 CPUtime=162.16
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 17169 0 0 0 16206 10 0 0 25 0 1 0 270869505 71315456 16770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 17411 16770 310 324 0 16481 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 69644

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1739192/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=117376 CPUtime=222.15
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 29107 0 0 0 22198 17 0 0 25 0 1 0 270869505 120193024 28708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 29344 28708 310 324 0 28414 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 117376

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1701944/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=155532 CPUtime=282.13
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 38623 0 0 0 28190 23 0 0 25 0 1 0 270869505 159264768 38224 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 38883 38224 310 324 0 37953 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 155532

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1681656/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=174764 CPUtime=342.12
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 43446 0 0 0 34185 27 0 0 25 0 1 0 270869505 178958336 43047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 43691 43047 310 324 0 42761 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 174764

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1660600/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=196184 CPUtime=402.11
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 48793 0 0 0 40180 31 0 0 25 0 1 0 270869505 200892416 48394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 49046 48394 310 324 0 48116 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 196184

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1630840/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=225456 CPUtime=462.09
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 56130 0 0 0 46173 36 0 0 25 0 1 0 270869505 230866944 55731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 56364 55731 310 324 0 55434 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 225456

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1607864/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=248652 CPUtime=522.08
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 61922 0 0 0 52168 40 0 0 25 0 1 0 270869505 254619648 61523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 62163 61523 310 324 0 61233 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 248652

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1565240/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=291176 CPUtime=582.06
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 72554 0 0 0 58159 47 0 0 25 0 1 0 270869505 298164224 72155 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 72794 72155 310 324 0 71864 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 291176

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1528696/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=327296 CPUtime=642.05
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 81592 0 0 0 64153 52 0 0 25 0 1 0 270869505 335151104 81193 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 81824 81193 310 324 0 80894 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 327296


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1433464/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=422412 CPUtime=881.99
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 105370 0 0 0 88129 70 0 0 25 0 1 0 270869505 432549888 104971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 105603 104971 310 324 0 104673 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 422412

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1407992/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=448336 CPUtime=941.98
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 111825 0 0 0 94124 74 0 0 25 0 1 0 270869505 459096064 111426 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 112084 111426 310 324 0 111154 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 448336

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1379000/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=477024 CPUtime=1001.96
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 119004 0 0 0 100118 78 0 0 25 0 1 0 270869505 488472576 118605 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 119256 118605 310 324 0 118326 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 477024

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1348088/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=507808 CPUtime=1061.95
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 126717 0 0 0 106112 83 0 0 25 0 1 0 270869505 519995392 126318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 126952 126318 310 324 0 126022 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 507808

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 24650
/proc/meminfo: memFree=1330040/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=525676 CPUtime=1121.94
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 131171 0 0 0 112108 86 0 0 25 0 1 0 270869505 538292224 130772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 131419 130772 310 324 0 130489 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 525676

[startup+1182.3 s]
/proc/loadavg: 1.07 0.99 0.91 2/65 24650
/proc/meminfo: memFree=1294648/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=561008 CPUtime=1181.92
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 139999 0 0 0 118100 92 0 0 25 0 1 0 270869505 574472192 139600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 140252 139600 310 324 0 139322 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 561008

[startup+1242.3 s]
/proc/loadavg: 1.10 1.00 0.92 2/65 24650
/proc/meminfo: memFree=1275192/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=580404 CPUtime=1241.91
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 144860 0 0 0 124095 96 0 0 25 0 1 0 270869505 594333696 144461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 145101 144461 310 324 0 144171 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 580404

[startup+1302.3 s]
/proc/loadavg: 1.07 1.01 0.93 2/65 24650
/proc/meminfo: memFree=1249464/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=606044 CPUtime=1301.9
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 151257 0 0 0 130088 102 0 0 25 0 1 0 270869505 620589056 150858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 151511 150858 310 324 0 150581 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 606044

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 0.93 2/65 24650
/proc/meminfo: memFree=1213560/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=642020 CPUtime=1361.88
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 160273 0 0 0 136080 108 0 0 25 0 1 0 270869505 657428480 159874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 160505 159874 310 324 0 159575 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 642020

[startup+1422.3 s]
/proc/loadavg: 1.01 1.00 0.93 2/65 24650
/proc/meminfo: memFree=1181048/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=674296 CPUtime=1421.87
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 168334 0 0 0 142075 112 0 0 25 0 1 0 270869505 690479104 167935 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 168574 167935 310 324 0 167644 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 674296

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24650
/proc/meminfo: memFree=1165304/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=690160 CPUtime=1481.85
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 172286 0 0 0 148070 115 0 0 25 0 1 0 270869505 706723840 171887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 172540 171887 310 324 0 171610 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 690160

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24650
/proc/meminfo: memFree=1111672/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=743592 CPUtime=1541.83
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 185640 0 0 0 154060 123 0 0 25 0 1 0 270869505 761438208 185241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 185898 185241 310 324 0 184968 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 743592

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24650
/proc/meminfo: memFree=1046648/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=808860 CPUtime=1601.82
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 201984 0 0 0 160048 134 0 0 25 0 1 0 270869505 828272640 201585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 202215 201585 310 324 0 201285 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 808860

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24650
/proc/meminfo: memFree=1003960/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=851192 CPUtime=1661.81
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 212566 0 0 0 166040 141 0 0 25 0 1 0 270869505 871620608 212167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 212798 212167 310 324 0 211868 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 851192

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24650
/proc/meminfo: memFree=949240/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=906376 CPUtime=1721.79
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 226351 0 0 0 172030 149 0 0 25 0 1 0 270869505 928129024 225952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 226594 225952 310 324 0 225664 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 906376

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24650
/proc/meminfo: memFree=907000/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=948060 CPUtime=1781.78
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 236761 0 0 0 178021 157 0 0 25 0 1 0 270869505 970813440 236362 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 237015 236362 310 324 0 236085 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 948060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24650
/proc/meminfo: memFree=896952/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=957812 CPUtime=1800.09
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194304 239210 0 0 0 179850 159 0 0 25 0 1 0 270869505 980799488 238811 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 239453 238811 310 324 0 238523 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 957812

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 24650
/proc/meminfo: memFree=896952/2055920 swapFree=4184072/4192956
[pid=24451] ppid=24449 vsize=0 CPUtime=1800.19
/proc/24451/stat : 24451 (bsolo3.0.17) R 24449 24451 23845 0 -1 4194308 239214 0 0 0 179850 169 0 0 25 0 1 0 270869505 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/24451/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.77
CPU time (s): 1800.24
CPU user time (s): 1798.5
CPU system time (s): 1.74273
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 957812

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

runsolver used 1.45078 second user time and 3.52346 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Mon Apr 30 15:59:59 UTC 2007

IDJOB= 432745
IDBENCH= 1750
IDSOLVER= 199
FILE ID= node65/432745-1177948799

PBS_JOBID= 4727665

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  33434aafd8d2cc52b903fb501d38927b

RANDOM SEED= 388446273

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.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.245
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.245
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:       1854160 kB
Buffers:         16772 kB
Cached:         109160 kB
SwapCached:       2860 kB
Active:          31720 kB
Inactive:       104000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1854160 kB
SwapTotal:     4192956 kB
SwapFree:      4184072 kB
Dirty:            7132 kB
Writeback:           0 kB
Mapped:          15760 kB
Slab:            52116 kB
Committed_AS:  2601256 kB
PageTables:       1456 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 node65 on Mon Apr 30 16:30:02 UTC 2007