Trace number 432822

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.25 1800.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM1a5510d564851e49e3b50f1a87922ca2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4722
Best CPU time to get the best result obtained on this benchmark74.2227
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4722
Optimality of the best value was proved YES
Number of variables1989
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint3
Maximum length of a constraint1989
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
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/432822-1177950360/instance-432822-1177950360.opb
0.00/0.00	c File size is 106158 bytes.
0.00/0.02	c Highest Coefficient sum: 382524
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.019 s
0.00/0.02	c Var: 1989 Constr: 193 95/97/1 Lit: 18833 Watch. Lit: 10102
0.00/0.02	c Obj. Vars: 1989 (100 % of total variables)
0.19/0.25	c Pre-processing Time: 0.247 s
0.29/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.40	c        0   1988      193    18833   97    10105   78906      0      0 0.25
0.29/0.40	c Initial Lower Bound: 4657
0.29/0.40	c Initial Path Cost: 0
1800.05/1800.60	c      100   1988      293    49946  170    10310   86797    100    234 0.43
1800.05/1800.60	c      250   1988      443    79992  180    10612   95477    250    534 0.47
1800.05/1800.60	c      478   1988      671   139750  208    11067  105025    478    869 0.55
1800.05/1800.60	c      817   1988     1010   188477  186    11743  115528    817   1199 0.68
1800.05/1800.60	c     1325   1988     1518   324191  213    12761  127081   1325   1547 0.86
1800.05/1800.60	c     2088   1988     2281   416119  182    14288  139790   2088   1631 1.28
1800.05/1800.60	c     3234   1988     3427   599515  174    16578  153770   3234   1714 1.89
1800.05/1800.60	c     4955   1988     5148  1024795  199    20019  169148   4955   1807 2.74
1800.05/1800.60	c     7539   1988     7732  1780904  230    25190  186063   7539   1689 4.46
1800.05/1800.60	c    11418   1988    11611  3030894  261    32947  204670  11418   1508 7.57
1800.05/1800.60	c    17242   1988    17435  4703688  269    44594  225138  17242   1279 13.47
1800.05/1800.60	c    25981   1988    26174  8234774  314    62073  247652  25981    905 28.70
1800.05/1800.60	c    39094   1988    39287 12494449  318    88299  272418  39094    553 70.59
1800.05/1800.60	c    58766   1988    58959 20293211  344   127643  299660  58766    404 145.44
1800.05/1800.61	c    88278   1988    88471 34588035  390   186668  329627  88278    271 325.71
1800.05/1800.61	c   132548   1988   132741 58186312  438   275207  362590 132548    163 808.68
1800.05/1800.61	c Caught signal: 15
1800.05/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.61	c   16   167379  59678  1408455   167572 93921199 167379     92 1800.06
1800.05/1800.61	s UNKNOWN
1800.05/1800.61	c Total time: 1800.06 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/node22/watcher-432822-1177950360 -o ROOT/results/node22/solver-432822-1177950360 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432822-1177950360/instance-432822-1177950360.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.92 0.98 0.92 3/77 9430
/proc/meminfo: memFree=1857664/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=11840 CPUtime=0
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 242953690 12124160 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 2960 334 279 324 0 2004 0

[startup+0.0276331 s]
/proc/loadavg: 0.92 0.98 0.92 3/77 9430
/proc/meminfo: memFree=1857664/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=4740 CPUtime=0.02
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 601 0 0 0 2 0 0 0 18 0 1 0 242953690 4853760 545 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 1185 545 302 324 0 255 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4740

[startup+0.101645 s]
/proc/loadavg: 0.92 0.98 0.92 3/77 9430
/proc/meminfo: memFree=1857664/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=4740 CPUtime=0.09
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 602 0 0 0 9 0 0 0 18 0 1 0 242953690 4853760 546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 1185 546 302 324 0 255 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4740

[startup+0.301677 s]
/proc/loadavg: 0.92 0.98 0.92 3/77 9430
/proc/meminfo: memFree=1857664/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=6516 CPUtime=0.29
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 1781 0 2 0 28 1 0 0 20 0 1 0 242953690 6672384 970 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134720803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 1629 970 388 324 0 699 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6516

[startup+0.701735 s]
/proc/loadavg: 0.92 0.98 0.92 3/77 9430
/proc/meminfo: memFree=1857664/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=7768 CPUtime=0.69
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 2424 0 2 0 68 1 0 0 23 0 1 0 242953690 7954432 1394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 1942 1394 393 324 0 1012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7768

[startup+1.50186 s]
/proc/loadavg: 0.92 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1851128/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=11392 CPUtime=1.49
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 3339 0 2 0 147 2 0 0 25 0 1 0 242953690 11665408 2309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551981 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 2848 2309 393 324 0 1918 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11392

[startup+3.1011 s]
/proc/loadavg: 0.93 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1846072/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=21300 CPUtime=3.08
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 5824 0 2 0 305 3 0 0 25 0 1 0 242953690 21811200 4794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 5325 4794 393 324 0 4395 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21300

[startup+6.30159 s]
/proc/loadavg: 0.93 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1827448/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=38604 CPUtime=6.28
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 10142 0 2 0 622 6 0 0 25 0 1 0 242953690 39530496 9112 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 9651 9112 393 324 0 8721 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38604

[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1799928/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=63612 CPUtime=12.68
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 16386 0 2 0 1259 9 0 0 25 0 1 0 242953690 65138688 15356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 15903 15356 393 324 0 14973 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63612

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1755896/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=105308 CPUtime=25.48
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 26828 0 2 0 2533 15 0 0 25 0 1 0 242953690 107835392 25798 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 26327 25798 393 324 0 25397 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105308

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1716472/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=144284 CPUtime=51.07
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 36574 0 2 0 5086 21 0 0 25 0 1 0 242953690 147746816 35544 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5109619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 36071 35544 393 324 0 35141 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 144284

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1644792/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=215488 CPUtime=102.26
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 54362 0 2 0 10194 32 0 0 25 0 1 0 242953690 220659712 53332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 53872 53332 393 324 0 52942 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 215488

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1575096/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=285108 CPUtime=162.24
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 71753 0 2 0 16179 45 0 0 25 0 1 0 242953690 291950592 70723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5109644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 71277 70723 393 324 0 70347 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 285108

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1512888/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=347308 CPUtime=222.22
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 87310 0 2 0 22165 57 0 0 25 0 1 0 242953690 355643392 86280 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111533 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 86827 86280 393 324 0 85897 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 347308

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1448184/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=412004 CPUtime=282.2
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 103506 0 2 0 28155 65 0 0 25 0 1 0 242953690 421892096 102476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 103001 102476 393 324 0 102071 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 412004

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1397112/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=462512 CPUtime=342.18
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 116112 0 2 0 34145 73 0 0 25 0 1 0 242953690 473612288 115082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 115628 115082 393 324 0 114698 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 462512

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1363128/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=496796 CPUtime=402.16
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 124694 0 2 0 40136 80 0 0 25 0 1 0 242953690 508719104 123664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 124199 123664 393 324 0 123269 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 496796

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1320376/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=538852 CPUtime=462.14
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 135214 0 2 0 46127 87 0 0 25 0 1 0 242953690 551784448 134184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 134713 134184 393 324 0 133783 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 538852

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1285112/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=574768 CPUtime=522.13
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 144171 0 2 0 52119 94 0 0 25 0 1 0 242953690 588562432 143141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 143692 143141 393 324 0 142762 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 574768

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1237624/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=621752 CPUtime=582.11
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 155915 0 2 0 58110 101 0 0 25 0 1 0 242953690 636674048 154885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 155438 154885 393 324 0 154508 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 621752

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9431
/proc/meminfo: memFree=1196920/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=661892 CPUtime=642.1
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 165949 0 2 0 64102 108 0 0 25 0 1 0 242953690 677777408 164919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 165473 164919 393 324 0 164543 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 661892


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9433
/proc/meminfo: memFree=1045624/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=812416 CPUtime=882.02
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 203592 0 2 0 88072 130 0 0 25 0 1 0 242953690 831913984 202562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 203104 202562 393 324 0 202174 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 812416

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9433
/proc/meminfo: memFree=1004088/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=854132 CPUtime=942
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 214029 0 2 0 94065 135 0 0 25 0 1 0 242953690 874631168 212999 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5111533 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 213533 212999 393 324 0 212603 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 854132

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9433
/proc/meminfo: memFree=964472/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=893496 CPUtime=1001.98
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 223863 0 2 0 100059 139 0 0 25 0 1 0 242953690 914939904 222833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 223374 222833 393 324 0 222444 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 893496

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9433
/proc/meminfo: memFree=935608/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=922440 CPUtime=1061.97
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 231115 0 2 0 106053 144 0 0 25 0 1 0 242953690 944578560 230085 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 230610 230085 393 324 0 229680 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 922440

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9433
/proc/meminfo: memFree=906680/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=951132 CPUtime=1121.95
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 238272 0 2 0 112047 148 0 0 25 0 1 0 242953690 973959168 237242 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 237783 237242 393 324 0 236853 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 951132

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9433
/proc/meminfo: memFree=877816/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=979928 CPUtime=1181.93
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 245471 0 2 0 118041 152 0 0 25 0 1 0 242953690 1003446272 244441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 244982 244441 393 324 0 244052 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 979928

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9433
/proc/meminfo: memFree=849528/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=1007804 CPUtime=1241.91
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 252437 0 2 0 124035 156 0 0 25 0 1 0 242953690 1031991296 251407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 251951 251407 393 324 0 251021 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1007804

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/78 9433
/proc/meminfo: memFree=822584/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=1034460 CPUtime=1301.89
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 259099 0 2 0 130030 159 0 0 25 0 1 0 242953690 1059287040 258069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 258615 258069 393 324 0 257685 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1034460

[startup+1362.3 s]
/proc/loadavg: 1.04 1.00 0.93 2/78 9433
/proc/meminfo: memFree=796088/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=1061232 CPUtime=1361.87
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 265791 0 2 0 136024 163 0 0 25 0 1 0 242953690 1086701568 264761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 265308 264761 393 324 0 264378 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1061232

[startup+1422.31 s]
/proc/loadavg: 1.05 1.01 0.93 2/78 9433
/proc/meminfo: memFree=769720/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=1087044 CPUtime=1421.86
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 272265 0 2 0 142019 167 0 0 25 0 1 0 242953690 1113133056 271235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 271761 271235 393 324 0 270831 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1087044

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 0.93 2/78 9433
/proc/meminfo: memFree=746296/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=1110500 CPUtime=1481.84
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 278122 0 2 0 148014 170 0 0 25 0 1 0 242953690 1137152000 277092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 277625 277092 393 324 0 276695 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1110500

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 9433
/proc/meminfo: memFree=726200/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=1130356 CPUtime=1541.82
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 283088 0 2 0 154009 173 0 0 25 0 1 0 242953690 1157484544 282058 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 282589 282058 393 324 0 281659 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1130356

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 9433
/proc/meminfo: memFree=705336/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=1151568 CPUtime=1601.8
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 288381 0 2 0 160004 176 0 0 25 0 1 0 242953690 1179205632 287351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 287892 287351 393 324 0 286962 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1151568

[startup+1662.3 s]
/proc/loadavg: 1.06 1.01 0.94 2/78 9433
/proc/meminfo: memFree=684408/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=1172088 CPUtime=1661.78
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 293510 0 2 0 165999 179 0 0 25 0 1 0 242953690 1200218112 292480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 293022 292480 393 324 0 292092 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1172088

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 0.94 2/78 9433
/proc/meminfo: memFree=665656/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=1190808 CPUtime=1721.76
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 298204 0 2 0 171993 183 0 0 25 0 1 0 242953690 1219387392 297174 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 297702 297174 393 324 0 296772 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1190808

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 9433
/proc/meminfo: memFree=645240/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=1210884 CPUtime=1781.75
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 303203 0 2 0 177988 187 0 0 25 0 1 0 242953690 1239945216 302173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 302721 302173 393 324 0 301791 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1210884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 9433
/proc/meminfo: memFree=638904/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=1217120 CPUtime=1800.05
/proc/9430/stat : 9430 (bsolo3.0.17) R 9428 9430 8579 0 -1 4194304 304758 0 2 0 179817 188 0 0 25 0 1 0 242953690 1246330880 303728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9430/statm: 304280 303728 393 324 0 303350 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1217120

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 9433
/proc/meminfo: memFree=638904/2055920 swapFree=4163632/4192956
[pid=9430] ppid=9428 vsize=0 CPUtime=1800.24
/proc/9430/stat : 9430 (bsolo3.0.17) D 9428 9430 8579 0 -1 4194308 304761 0 2 0 179817 207 0 0 25 0 1 0 242953690 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/9430/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.84
CPU time (s): 1800.25
CPU user time (s): 1798.17
CPU system time (s): 2.07568
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 1217120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.17
system time used= 2.07568
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304761
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 37443

runsolver used 1.34679 second user time and 3.87541 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Mon Apr 30 16:26:00 UTC 2007

IDJOB= 432822
IDBENCH= 1852
IDSOLVER= 199
FILE ID= node22/432822-1177950360

PBS_JOBID= 4727677

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  1a5510d564851e49e3b50f1a87922ca2

RANDOM SEED= 626643089

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1858008 kB
Buffers:          5952 kB
Cached:          94952 kB
SwapCached:       7352 kB
Active:          48800 kB
Inactive:        79792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858008 kB
SwapTotal:     4192956 kB
SwapFree:      4163632 kB
Dirty:            6684 kB
Writeback:           0 kB
Mapped:          34756 kB
Slab:            54864 kB
Committed_AS:  2061248 kB
PageTables:       1688 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 node22 on Mon Apr 30 16:56:03 UTC 2007