Trace number 432632

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.08 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-dc1c.opb
MD5SUM5bb71a9130ac2c3fe622e296e248e968
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark19.2431
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables58150
Total number of constraints1648
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 constraints1648
Minimum length of a constraint31
Maximum length of a constraint58150
Number of terms in the objective function 58150
Biggest coefficient in the objective function 41346
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 580891
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 580891
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/432632-1177946570/instance-432632-1177946570.opb
0.00/0.00	c File size is 2805321 bytes.
0.49/0.59	c Highest Coefficient sum: 580891
0.49/0.59	c Parsing was ok!!
0.49/0.59	c Total parsing time: 0.593 s
0.59/0.64	c Var: 58150 Constr: 3286 2/0/3284 Lit: 351277 Watch. Lit: 195871
0.59/0.64	c Obj. Vars: 58150 (100 % of total variables)
36.48/36.56	c Pre-processing Time: 36.553 s
36.48/36.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.48/36.57	c        0  36196     3282   351153  106   302155  702306      0      0 36.55
36.48/36.57	c Switching off LPR mode.
1800.02/1800.61	c      100  36196     3382   358038  105   324990  772537    100      2 40.04
1800.02/1800.61	c      250  36196     3532   368834  104   319316  849791    250      5 42.65
1800.02/1800.61	c      475  36196     3757   392672  104   319606  934771    475     10 46.05
1800.02/1800.61	c      814  36196     4096   434327  106   319686  500000    814     16 48.67
1800.02/1800.61	c     1323  36196     4605   505798  109   321067  550001   1323     24 54.96
1800.02/1800.61	c     2087  36196     5369   614022  114   322495  605002   2087     34 59.94
1800.02/1800.61	c     3234  36196     6516   721037  110   324210  665503   3234     49 65.73
1800.02/1800.61	c     4955  36196     8237   917758  111   327311  732054   4955     64 76.30
1800.02/1800.61	c     7540  36196    10822  1199053  110   334196  805260   7540     83 90.73
1800.02/1800.61	c    11419  36196    14701  1675612  113   342006  885787  11419     91 124.89
1800.02/1800.61	c    17243  36196    20525  2436215  118   353126  974366  17243    107 160.99
1800.02/1800.61	c    25980  36196    29262  3506236  119   370406  500000  25980    120 215.33
1800.02/1800.61	c    39090  36196    42372  5333607  125   396163  550001  39090    130 300.02
1800.02/1800.61	c    58760  36196    62042  8553848  137   436163  605002  58760     84 696.96
1800.02/1800.61	c    88270  36196    91552 11590610  126   495649  665503  88270     98 893.17
1800.02/1800.61	c   132540  36196   135822 17082006  125   584169  732054 132540     88 1494.04
1800.02/1800.61	c Caught signal: 15
1800.02/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.61	c   16   178878 105798  2126729   182160 21976192 178878     99 1800.03
1800.02/1800.61	s UNKNOWN
1800.02/1800.61	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/node25/watcher-432632-1177946570 -o ROOT/results/node25/solver-432632-1177946570 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432632-1177946570/instance-432632-1177946570.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.97 0.90 3/64 22404
/proc/meminfo: memFree=1741752/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=22288 CPUtime=0
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 242574118 22822912 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 3619 331 279 324 0 2004 0

[startup+0.0673199 s]
/proc/loadavg: 0.91 0.97 0.90 3/64 22404
/proc/meminfo: memFree=1741752/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=16568 CPUtime=0.06
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 1008 0 0 0 6 0 0 0 18 0 1 0 242574118 16965632 938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 4142 939 354 324 0 2527 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16568

[startup+0.101325 s]
/proc/loadavg: 0.91 0.97 0.90 3/64 22404
/proc/meminfo: memFree=1741752/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=18264 CPUtime=0.09
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 1494 0 0 0 9 0 0 0 18 0 1 0 242574118 18702336 1345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 4566 1345 396 324 0 2951 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18264

[startup+0.301359 s]
/proc/loadavg: 0.91 0.97 0.90 3/64 22404
/proc/meminfo: memFree=1741752/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=13792 CPUtime=0.29
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 2607 0 0 0 29 0 0 0 19 0 1 0 242574118 14123008 2409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10487596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 3448 2409 620 324 0 1833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13792

[startup+0.701428 s]
/proc/loadavg: 0.91 0.97 0.90 3/64 22404
/proc/meminfo: memFree=1741752/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=23896 CPUtime=0.69
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 6268 0 0 0 67 2 0 0 22 0 1 0 242574118 24469504 5188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 5974 5188 304 324 0 5044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23896

[startup+1.50156 s]
/proc/loadavg: 0.92 0.97 0.90 2/65 22405
/proc/meminfo: memFree=1722096/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=23896 CPUtime=1.49
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 6274 0 0 0 147 2 0 0 25 0 1 0 242574118 24469504 5194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 5974 5194 304 324 0 5044 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23896

[startup+3.10184 s]
/proc/loadavg: 0.92 0.97 0.90 2/65 22405
/proc/meminfo: memFree=1721584/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=23896 CPUtime=3.09
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 6274 0 0 0 307 2 0 0 25 0 1 0 242574118 24469504 5194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 5974 5194 304 324 0 5044 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23896

[startup+6.30138 s]
/proc/loadavg: 0.92 0.97 0.90 2/65 22405
/proc/meminfo: memFree=1721776/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=23896 CPUtime=6.29
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 6274 0 0 0 626 3 0 0 25 0 1 0 242574118 24469504 5194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 5974 5194 304 324 0 5044 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23896

[startup+12.7025 s]
/proc/loadavg: 0.93 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1721520/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=24292 CPUtime=12.69
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 6378 0 0 0 1265 4 0 0 25 0 1 0 242574118 24875008 5298 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 6073 5298 304 324 0 5143 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24292

[startup+25.5017 s]
/proc/loadavg: 0.94 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1720944/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=24952 CPUtime=25.49
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 6532 0 0 0 2543 6 0 0 25 0 1 0 242574118 25550848 5452 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 6238 5452 304 324 0 5308 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24952

[startup+51.102 s]
/proc/loadavg: 0.96 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1715824/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=29896 CPUtime=51.07
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 8399 0 0 0 5098 9 0 0 25 0 1 0 242574118 30613504 6749 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572689 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 7474 6749 310 324 0 6544 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29896

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1705200/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=40468 CPUtime=102.27
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 11061 0 0 0 10215 12 0 0 25 0 1 0 242574118 41439232 9411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 10117 9411 310 324 0 9187 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40468

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1690544/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=55428 CPUtime=162.24
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 14785 0 0 0 16210 14 0 0 25 0 1 0 242574118 56758272 13135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 13857 13135 310 324 0 12927 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 55428

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1673840/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=71660 CPUtime=222.22
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 18867 0 0 0 22203 19 0 0 25 0 1 0 242574118 73379840 17217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 17915 17217 310 324 0 16985 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 71660

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1655408/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=90148 CPUtime=282.2
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 23493 0 0 0 28195 25 0 0 25 0 1 0 242574118 92311552 21843 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 22537 21843 310 324 0 21607 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 90148

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1645424/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=99948 CPUtime=342.18
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 25938 0 0 0 34191 27 0 0 25 0 1 0 242574118 102346752 24288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 24987 24288 310 324 0 24057 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 99948

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1638768/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=106672 CPUtime=402.17
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 27610 0 0 0 40188 29 0 0 25 0 1 0 242574118 109232128 25960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 26668 25960 310 324 0 25738 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 106672

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1631984/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=113436 CPUtime=462.14
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 29287 0 0 0 46184 30 0 0 25 0 1 0 242574118 116158464 27637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 28359 27637 310 324 0 27429 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 113436

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1625200/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=120284 CPUtime=522.12
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 31003 0 0 0 52181 31 0 0 25 0 1 0 242574118 123170816 29353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 30071 29353 310 324 0 29141 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 120284

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1618672/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=126752 CPUtime=582.1
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 32620 0 0 0 58177 33 0 0 25 0 1 0 242574118 129794048 30970 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 31688 30970 310 324 0 30758 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 126752

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1612336/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=132936 CPUtime=642.09
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 34179 0 0 0 64174 35 0 0 25 0 1 0 242574118 136126464 32529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 33234 32529 310 324 0 32304 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 132936


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1578096/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=167144 CPUtime=822.03
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 42734 0 0 0 82160 43 0 0 25 0 1 0 242574118 171155456 41084 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 41786 41084 310 324 0 40856 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 167144

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1566640/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=178520 CPUtime=882.01
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 45579 0 0 0 88154 47 0 0 25 0 1 0 242574118 182804480 43929 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572679 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 44630 43929 310 324 0 43700 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 178520

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1557872/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=187404 CPUtime=941.99
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 47791 0 0 0 94151 48 0 0 25 0 1 0 242574118 191901696 46141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 46851 46141 310 324 0 45921 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 187404

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22405
/proc/meminfo: memFree=1549616/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=195660 CPUtime=1001.97
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 49848 0 0 0 100147 50 0 0 25 0 1 0 242574118 200355840 48198 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 48915 48198 310 324 0 47985 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 195660

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1539312/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=205952 CPUtime=1061.95
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 52418 0 0 0 106143 52 0 0 25 0 1 0 242574118 210894848 50768 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 51488 50768 310 324 0 50558 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 205952

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1531760/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=213428 CPUtime=1121.93
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 54286 0 0 0 112139 54 0 0 25 0 1 0 242574118 218550272 52636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 53357 52636 310 324 0 52427 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 213428

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1523632/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=221532 CPUtime=1181.91
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 56337 0 0 0 118136 55 0 0 25 0 1 0 242574118 226848768 54687 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571469 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 55383 54687 310 324 0 54453 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 221532

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1516656/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=228460 CPUtime=1241.89
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 58051 0 0 0 124132 57 0 0 25 0 1 0 242574118 233943040 56401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 57115 56401 310 324 0 56185 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 228460

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1510000/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=235012 CPUtime=1301.88
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 59689 0 0 0 130129 59 0 0 25 0 1 0 242574118 240652288 58039 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 58753 58039 310 324 0 57823 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 235012

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1503472/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=241548 CPUtime=1361.86
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 61334 0 0 0 136126 60 0 0 25 0 1 0 242574118 247345152 59684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 60387 59684 310 324 0 59457 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 241548

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1497072/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=247900 CPUtime=1421.84
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 62908 0 0 0 142123 61 0 0 25 0 1 0 242574118 253849600 61258 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 61975 61258 310 324 0 61045 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 247900

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1490992/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=254112 CPUtime=1481.81
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 64457 0 0 0 148117 64 0 0 25 0 1 0 242574118 260210688 62807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 63528 62807 310 324 0 62598 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 254112

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1477552/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=267484 CPUtime=1541.79
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 67800 0 0 0 154111 68 0 0 25 0 1 0 242574118 273903616 66150 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 66871 66150 310 324 0 65941 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 267484

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1464240/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=280836 CPUtime=1601.78
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 71148 0 0 0 160105 73 0 0 25 0 1 0 242574118 287576064 69498 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 70209 69498 310 324 0 69279 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 280836

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1451440/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=293668 CPUtime=1661.76
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 74358 0 0 0 166100 76 0 0 25 0 1 0 242574118 300716032 72708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 73417 72708 310 324 0 72487 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 293668

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1439920/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=305244 CPUtime=1721.74
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 77253 0 0 0 172094 80 0 0 25 0 1 0 242574118 312569856 75603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10460903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 76311 75603 310 324 0 75381 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 305244

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1426352/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=318688 CPUtime=1781.72
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 80620 0 0 0 178089 83 0 0 25 0 1 0 242574118 326336512 78970 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 79672 78970 310 324 0 78742 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 318688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 22407
/proc/meminfo: memFree=1422448/2055920 swapFree=4182920/4192956
[pid=22404] ppid=22402 vsize=322596 CPUtime=1800.02
/proc/22404/stat : 22404 (bsolo3.0.17) R 22402 22404 21701 0 -1 4194304 81580 0 0 0 179918 84 0 0 25 0 1 0 242574118 330338304 79930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22404/statm: 80649 79930 310 324 0 79719 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 322596

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

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

Child status: 15
Real time (s): 1800.66
CPU time (s): 1800.08
CPU user time (s): 1799.19
CPU system time (s): 0.891864
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 322596

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

runsolver used 1.43378 second user time and 3.48947 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Mon Apr 30 15:22:50 UTC 2007

IDJOB= 432632
IDBENCH= 1630
IDSOLVER= 199
FILE ID= node25/432632-1177946570

PBS_JOBID= 4727647

Free space on /tmp= 66555 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-dc1c.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432632-1177946570/instance-432632-1177946570.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-432632-1177946570 -o ROOT/results/node25/solver-432632-1177946570 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432632-1177946570/instance-432632-1177946570.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  5bb71a9130ac2c3fe622e296e248e968

RANDOM SEED= 309984194

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1742160 kB
Buffers:         39372 kB
Cached:         195968 kB
SwapCached:       4020 kB
Active:         101136 kB
Inactive:       143956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1742160 kB
SwapTotal:     4192956 kB
SwapFree:      4182920 kB
Dirty:            9316 kB
Writeback:           0 kB
Mapped:          15664 kB
Slab:            54676 kB
Committed_AS:  4337652 kB
PageTables:       1472 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= 66555 MiB

End job on node25 on Mon Apr 30 15:52:53 UTC 2007