Trace number 349484

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.16? (TO) 1800.06 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-adlittle.opb
MD5SUM952cd1c498d347dda37d376c7740481e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2910
Total number of constraints56
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 constraints56
Minimum length of a constraint30
Maximum length of a constraint810
Number of terms in the objective function 2460
Biggest coefficient in the objective function 88852135936000
Number of bits for the biggest coefficient in the objective function 47
Sum of the numbers in the objective function 3689448844530141
Number of bits of the sum of numbers in the objective function 52
Biggest number in a constraint 359703511040000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 6054438712178314
Number of bits of the biggest sum of numbers53
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/349484-1176702819/instance-349484-1176702819.opb
0.00/0.00	c File size is 205643 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Highest Coefficient sum: 6.05444e+15
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.05 s
0.00/0.05	c Var: 2910 Constr: 71 1/0/70 Lit: 15960 Watch. Lit: 6772
0.00/0.05	c Obj. Vars: 2460 (84.5361 % of total variables)
0.09/0.15	c Pre-processing Time: 0.145 s
1800.02/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.70	c        0   1321       67    15510  231    13286   31020      0      0 0.14
1800.02/1800.70	c      100   1321      167    19835  118    13496   34123    100    568 0.18
1800.02/1800.70	c      251   1321      318    26721   84    13794   37536    251   1167 0.21
1800.02/1800.70	c      477   1321      544    37087   68    14250   41290    477   1722 0.28
1800.02/1800.70	c      815   1321      882    51161   58    14910   45420    815   2335 0.35
1800.02/1800.70	c     1323   1321     1390    72303   52    15931   49963   1323   2791 0.47
1800.02/1800.70	c     2086   1321     2153   104054   48    17442   54960   2086   3170 0.66
1800.02/1800.70	c     3232   1321     3299   150863   45    19748   60457   3232   3171 1.02
1800.02/1800.70	c     4954   1321     5021   221261   44    23180   66503   4954   2933 1.69
1800.02/1800.70	c     7538   1321     7605   327580   43    28360   73154   7538   2526 2.98
1800.02/1800.70	c    11417   1321    11484   488219   42    36104   80470  11417   2381 4.79
1800.02/1800.70	c    17240   1321    17307   727134   42    47763   88518  17240   2102 8.20
1800.02/1800.70	c    25978   1321    26045  1085964   41    65226   97370  25978   1292 20.10
1800.02/1800.70	c    39088   1321    39155  1629567   41    91448  107108  39088    762 51.23
1800.02/1800.70	c    58759   1321    58826  2444860   41   130778  117819  58759    494 118.82
1800.02/1800.70	c    88269   1321    88336  3670878   41   189807  129601  88269    337 261.63
1800.02/1800.70	c   132540   1321    13854   587144   42    40834  142562  13787    182 724.78
1800.02/1800.70	c   198951   1321    80265  3341870   41   173662  156819  80198    212 937.48
1800.02/1800.70	c Caught signal: 15
1800.02/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.70	c   17   277215     67   278694   145514  6052164 145447    154 1800.03
1800.02/1800.70	s UNKNOWN
1800.02/1800.70	c Total time: 1800.03 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node39/watcher-349484-1176702819 -o ROOT/results/node39/solver-349484-1176702819 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349484-1176702819/instance-349484-1176702819.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.99 3/77 8601
/proc/meminfo: memFree=1840056/2055920 swapFree=4078732/4192956
[pid=8601] ppid=8599 vsize=11940 CPUtime=0
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 118193999 12226560 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524115 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 2985 336 282 324 0 2003 0

[startup+0.0868989 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8601
/proc/meminfo: memFree=1840056/2055920 swapFree=4078732/4192956
[pid=8601] ppid=8599 vsize=12704 CPUtime=0.07
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 680 0 0 0 7 0 0 0 18 0 1 0 118193999 13008896 597 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 3176 597 305 324 0 2245 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12704

[startup+0.1019 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8601
/proc/meminfo: memFree=1840056/2055920 swapFree=4078732/4192956
[pid=8601] ppid=8599 vsize=12704 CPUtime=0.09
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 681 0 0 0 9 0 0 0 18 0 1 0 118193999 13008896 598 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 3176 598 305 324 0 2245 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12704

[startup+0.301935 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8601
/proc/meminfo: memFree=1840056/2055920 swapFree=4078732/4192956
[pid=8601] ppid=8599 vsize=5252 CPUtime=0.29
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 793 0 0 0 28 1 0 0 19 0 1 0 118193999 5378048 701 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 1313 701 312 324 0 382 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5252

[startup+0.702001 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 8601
/proc/meminfo: memFree=1840056/2055920 swapFree=4078732/4192956
[pid=8601] ppid=8599 vsize=6300 CPUtime=0.69
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 1057 0 0 0 68 1 0 0 23 0 1 0 118193999 6451200 965 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 1575 965 312 324 0 644 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6300

[startup+1.50114 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 8602
/proc/meminfo: memFree=1836784/2055920 swapFree=4078732/4192956
[pid=8601] ppid=8599 vsize=7724 CPUtime=1.49
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 1413 0 0 0 147 2 0 0 25 0 1 0 118193999 7909376 1321 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 1931 1321 312 324 0 1000 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7724

[startup+3.10141 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 8602
/proc/meminfo: memFree=1834800/2055920 swapFree=4078732/4192956
[pid=8601] ppid=8599 vsize=9804 CPUtime=3.09
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 1932 0 0 0 307 2 0 0 25 0 1 0 118193999 10039296 1840 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 2451 1840 312 324 0 1520 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9804

[startup+6.30295 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 8602
/proc/meminfo: memFree=1830448/2055920 swapFree=4078732/4192956
[pid=8601] ppid=8599 vsize=14104 CPUtime=6.29
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 2997 0 0 0 625 4 0 0 25 0 1 0 118193999 14442496 2905 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 3526 2905 312 324 0 2595 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14104

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 8602
/proc/meminfo: memFree=1825968/2055920 swapFree=4078732/4192956
[pid=8601] ppid=8599 vsize=17984 CPUtime=12.68
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 3967 0 0 0 1263 5 0 0 25 0 1 0 118193999 18415616 3875 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 4496 3875 312 324 0 3565 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17984

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 8602
/proc/meminfo: memFree=1820400/2055920 swapFree=4078732/4192956
[pid=8601] ppid=8599 vsize=23328 CPUtime=25.48
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 5310 0 0 0 2539 9 0 0 25 0 1 0 118193999 23887872 5218 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 5832 5218 312 324 0 4901 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23328

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 8602
/proc/meminfo: memFree=1814064/2055920 swapFree=4078796/4192956
[pid=8601] ppid=8599 vsize=29832 CPUtime=51.08
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 6915 0 0 0 5094 14 0 0 25 0 1 0 118193999 30547968 6823 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 7458 6823 312 324 0 6527 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29832

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 8602
/proc/meminfo: memFree=1804080/2055920 swapFree=4078796/4192956
[pid=8601] ppid=8599 vsize=39700 CPUtime=102.26
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 9387 0 0 0 10206 20 0 0 25 0 1 0 118193999 40652800 9295 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 9925 9295 312 324 0 8994 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 39700

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8602
/proc/meminfo: memFree=1794480/2055920 swapFree=4078796/4192956
[pid=8601] ppid=8599 vsize=49192 CPUtime=162.23
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 11767 0 0 0 16197 26 0 0 25 0 1 0 118193999 50372608 11675 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 12298 11675 312 324 0 11367 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49192

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8602
/proc/meminfo: memFree=1786992/2055920 swapFree=4078860/4192956
[pid=8601] ppid=8599 vsize=56604 CPUtime=222.22
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 13620 0 0 0 22191 31 0 0 25 0 1 0 118193999 57962496 13528 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 14151 13528 312 324 0 13220 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 56604

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8602
/proc/meminfo: memFree=1780528/2055920 swapFree=4078860/4192956
[pid=8601] ppid=8599 vsize=62988 CPUtime=282.2
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 15224 0 0 0 28184 36 0 0 25 0 1 0 118193999 64499712 15132 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551234 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 15747 15132 312 324 0 14816 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 62988

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8602
/proc/meminfo: memFree=1775600/2055920 swapFree=4078924/4192956
[pid=8601] ppid=8599 vsize=67924 CPUtime=342.18
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 16453 0 0 0 34178 40 0 0 25 0 1 0 118193999 69554176 16361 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 16981 16361 312 324 0 16050 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 67924

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 8602
/proc/meminfo: memFree=1771056/2055920 swapFree=4078924/4192956
[pid=8601] ppid=8599 vsize=72468 CPUtime=402.16
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 17586 0 0 0 40173 43 0 0 25 0 1 0 118193999 74207232 17494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 18117 17494 312 324 0 17186 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 72468

[startup+462.302 s]
/proc/loadavg: 1.05 1.00 1.00 2/84 8710
/proc/meminfo: memFree=1764864/2055920 swapFree=4078924/4192956
[pid=8601] ppid=8599 vsize=77136 CPUtime=462.09
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 18738 0 0 0 46161 48 0 0 25 0 1 0 118193999 78987264 18646 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 19284 18646 312 324 0 18353 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 77136

[startup+522.301 s]
/proc/loadavg: 1.07 1.01 1.00 2/78 8800
/proc/meminfo: memFree=1761960/2055920 swapFree=4078988/4192956
[pid=8601] ppid=8599 vsize=81148 CPUtime=522.02
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 19764 0 0 0 52152 50 0 0 25 0 1 0 118193999 83095552 19672 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 20287 19672 312 324 0 19356 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 81148

[startup+582.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 8800
/proc/meminfo: memFree=1757864/2055920 swapFree=4078988/4192956
[pid=8601] ppid=8599 vsize=85292 CPUtime=582
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 20777 0 0 0 58147 53 0 0 25 0 1 0 118193999 87339008 20685 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 21323 20685 312 324 0 20392 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 85292

[startup+642.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 8800
/proc/meminfo: memFree=1754088/2055920 swapFree=4079052/4192956
[pid=8601] ppid=8599 vsize=88792 CPUtime=641.98
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 21794 0 0 0 64142 56 0 0 25 0 1 0 118193999 90923008 21573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 22198 21573 312 324 0 21267 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 88792


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1754160/2055920 swapFree=4079116/4192956
[pid=8601] ppid=8599 vsize=88792 CPUtime=881.91
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 21794 0 0 0 88121 70 0 0 25 0 1 0 118193999 90923008 21573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 22198 21573 312 324 0 21267 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 88792

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1754160/2055920 swapFree=4079180/4192956
[pid=8601] ppid=8599 vsize=88792 CPUtime=941.89
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 21794 0 0 0 94115 74 0 0 25 0 1 0 118193999 90923008 21573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 22198 21573 312 324 0 21267 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 88792

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1754160/2055920 swapFree=4079180/4192956
[pid=8601] ppid=8599 vsize=88792 CPUtime=1001.86
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 21794 0 0 0 100110 76 0 0 25 0 1 0 118193999 90923008 21573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 22198 21573 312 324 0 21267 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 88792

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1754160/2055920 swapFree=4079180/4192956
[pid=8601] ppid=8599 vsize=88792 CPUtime=1061.85
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 21794 0 0 0 106106 79 0 0 25 0 1 0 118193999 90923008 21573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 22198 21573 312 324 0 21267 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 88792

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1754160/2055920 swapFree=4079244/4192956
[pid=8601] ppid=8599 vsize=88792 CPUtime=1121.83
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 21794 0 0 0 112101 82 0 0 25 0 1 0 118193999 90923008 21573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 22198 21573 312 324 0 21267 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 88792

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1754160/2055920 swapFree=4079244/4192956
[pid=8601] ppid=8599 vsize=88792 CPUtime=1181.81
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 21794 0 0 0 118097 84 0 0 25 0 1 0 118193999 90923008 21573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 22198 21573 312 324 0 21267 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 88792

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1754160/2055920 swapFree=4079308/4192956
[pid=8601] ppid=8599 vsize=88792 CPUtime=1241.79
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 21794 0 0 0 124093 86 0 0 25 0 1 0 118193999 90923008 21573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 22198 21573 312 324 0 21267 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 88792

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1754160/2055920 swapFree=4079308/4192956
[pid=8601] ppid=8599 vsize=88792 CPUtime=1301.78
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 21794 0 0 0 130090 88 0 0 25 0 1 0 118193999 90923008 21573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 22198 21573 312 324 0 21267 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 88792

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1754160/2055920 swapFree=4079372/4192956
[pid=8601] ppid=8599 vsize=88792 CPUtime=1361.75
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 21794 0 0 0 136085 90 0 0 25 0 1 0 118193999 90923008 21573 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 22198 21573 312 324 0 21267 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 88792

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1754032/2055920 swapFree=4079372/4192956
[pid=8601] ppid=8599 vsize=89056 CPUtime=1421.73
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 21866 0 0 0 142082 91 0 0 25 0 1 0 118193999 91193344 21645 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 22264 21645 312 324 0 21333 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 89056

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1751024/2055920 swapFree=4079372/4192956
[pid=8601] ppid=8599 vsize=92040 CPUtime=1481.71
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 22619 0 0 0 148077 94 0 0 25 0 1 0 118193999 94248960 22398 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11523396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 23010 22398 312 324 0 22079 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 92040

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1748464/2055920 swapFree=4079436/4192956
[pid=8601] ppid=8599 vsize=94652 CPUtime=1541.69
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 23253 0 0 0 154072 97 0 0 25 0 1 0 118193999 96923648 23032 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 23663 23032 312 324 0 22732 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 94652

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1745904/2055920 swapFree=4079436/4192956
[pid=8601] ppid=8599 vsize=97244 CPUtime=1601.67
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 23896 0 0 0 160068 99 0 0 25 0 1 0 118193999 99577856 23675 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 24311 23675 312 324 0 23380 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 97244

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1742960/2055920 swapFree=4079500/4192956
[pid=8601] ppid=8599 vsize=100088 CPUtime=1661.66
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 24602 0 0 0 166063 103 0 0 25 0 1 0 118193999 102490112 24381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 11523425 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 25022 24381 312 324 0 24091 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 100088

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1739312/2055920 swapFree=4079500/4192956
[pid=8601] ppid=8599 vsize=103708 CPUtime=1721.64
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 25532 0 0 0 172058 106 0 0 25 0 1 0 118193999 106196992 25311 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 25927 25311 312 324 0 24996 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 103708

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1736432/2055920 swapFree=4079500/4192956
[pid=8601] ppid=8599 vsize=106304 CPUtime=1781.62
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 26342 0 0 0 178054 108 0 0 25 0 1 0 118193999 108855296 25966 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 26576 25966 312 324 0 25645 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 106304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8800
/proc/meminfo: memFree=1736432/2055920 swapFree=4079564/4192956
[pid=8601] ppid=8599 vsize=106304 CPUtime=1800.02
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 26342 0 0 0 179894 108 0 0 25 0 1 0 118193999 108855296 25966 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 26576 25966 312 324 0 25645 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 106304

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 1.00 2/78 8800
/proc/meminfo: memFree=1736432/2055920 swapFree=4079564/4192956
[pid=8601] ppid=8599 vsize=106304 CPUtime=1800.02
/proc/8601/stat : 8601 (bsolo3.0.16) R 8599 8601 7540 0 -1 4194304 26342 0 0 0 179894 108 0 0 25 0 1 0 118193999 108855296 25966 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8601/statm: 26576 25966 312 324 0 25645 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 106304

Child status: 15
Real time (s): 1800.74
CPU time (s): 1800.06
CPU user time (s): 1798.95
CPU system time (s): 1.10383
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 106924

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

runsolver used 2.0027 second user time and 4.54431 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Mon Apr 16 05:53:40 UTC 2007

IDJOB= 349484
IDBENCH= 2454
IDSOLVER= 163
FILE ID= node39/349484-1176702819

PBS_JOBID= 4560020

Free space on /tmp= 66544 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-adlittle.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349484-1176702819/instance-349484-1176702819.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-349484-1176702819 -o ROOT/results/node39/solver-349484-1176702819 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349484-1176702819/instance-349484-1176702819.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  952cd1c498d347dda37d376c7740481e

RANDOM SEED= 155124570

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1840464 kB
Buffers:         43936 kB
Cached:          89016 kB
SwapCached:       2776 kB
Active:          44744 kB
Inactive:       113100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840464 kB
SwapTotal:     4192956 kB
SwapFree:      4078732 kB
Dirty:            4612 kB
Writeback:           0 kB
Mapped:          31692 kB
Slab:            42888 kB
Committed_AS:  1792804 kB
PageTables:       2016 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= 66544 MiB

End job on node39 on Mon Apr 16 06:23:42 UTC 2007