Trace number 433273

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.54

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-tuff.opb
MD5SUM6c865484f3a48e715bdd95fa7e3b19dc
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 variables17153
Total number of constraints320
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 constraints320
Minimum length of a constraint11
Maximum length of a constraint3360
Number of terms in the objective function 90
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 3221225469
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 6170044790734848
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 1104744513968841438
Number of bits of the biggest sum of numbers60
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/433273-1177957248/instance-433273-1177957248.opb
0.00/0.00	c File size is 2105336 bytes.
0.00/0.00	c Coefficients are big enough for not using lower bounding.
0.29/0.33	c Highest Coefficient sum: 1.10474e+18
0.29/0.33	c Parsing was ok!!
0.29/0.33	c Total parsing time: 0.326 s
0.29/0.34	c Var: 17153 Constr: 581 14/0/567 Lit: 250289 Watch. Lit: 62145
0.29/0.34	c Obj. Vars: 90 (0.52469 % of total variables)
14.48/14.58	c Pre-processing Time: 14.573 s
1800.04/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.50	c        0   7750      519   236837  456   191545  473674      0      0 14.57
1800.04/1800.50	c      100   7750      619   264192  426   194062  521042    100      4 22.74
1800.04/1800.50	c      251   7750      770   286673  372   196154  573147    251      8 29.11
1800.04/1800.50	c      477   7750      996   308916  310   196425  630462    477     10 44.04
1800.04/1800.50	c      815   7750     1334   323870  242   197044  693509    815     17 46.83
1800.04/1800.50	c     1323   7750     1842   347954  188   198171  762860   1323     25 51.43
1800.04/1800.50	c     2086   7750     2605   450884  173   199844  839147   2086     26 79.12
1800.04/1800.50	c     3237   7750     3756  1014180  270   202027  923062   3237     27 116.15
1800.04/1800.50	c     4958   7750     5477  1196556  218   205812  500000   4958     26 186.66
1800.04/1800.50	c     7544   7750     8063  1571873  194   210733  550001   7544     14 505.68
1800.04/1800.50	c    11423   7750    11942  4988939  417   218688  605002  11423     21 527.20
1800.04/1800.50	c    17247   7750    17766  6222546  350   230400  665503  17247     18 917.16
1800.04/1800.50	c    25985   7750    26504  7935783  299   247961  732054  25985     18 1426.97
1800.04/1800.50	c Caught signal: 15
1800.04/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.50	c   12    35209   5858    60806    35728 10520185  35209     19 1800.05
1800.04/1800.50	s UNKNOWN
1800.04/1800.50	c Total time: 1800.05 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/node55/watcher-433273-1177957248 -o ROOT/results/node55/solver-433273-1177957248 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433273-1177957248/instance-433273-1177957248.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.85 0.97 0.98 3/64 19521
/proc/meminfo: memFree=1436572/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=21604 CPUtime=0
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 243634849 22122496 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 5401 330 278 324 0 3957 0

[startup+0.046752 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 19521
/proc/meminfo: memFree=1436572/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=7116 CPUtime=0.04
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 714 0 0 0 4 0 0 0 18 0 1 0 243634849 7286784 684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 1779 684 343 324 0 335 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7116

[startup+0.101756 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 19521
/proc/meminfo: memFree=1436572/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=7964 CPUtime=0.09
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 1004 0 0 0 9 0 0 0 18 0 1 0 243634849 8155136 974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 1991 974 424 324 0 547 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7964

[startup+0.301775 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 19521
/proc/meminfo: memFree=1436572/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=10052 CPUtime=0.29
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 1839 0 0 0 29 0 0 0 19 0 1 0 243634849 10293248 1809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 2513 1810 753 324 0 1069 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10052

[startup+0.701815 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 19521
/proc/meminfo: memFree=1436572/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=14440 CPUtime=0.69
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 3482 0 0 0 68 1 0 0 22 0 1 0 243634849 14786560 2938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 3610 2938 304 324 0 2680 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14440

[startup+1.50189 s]
/proc/loadavg: 0.85 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1425428/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=15396 CPUtime=1.49
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 3704 0 0 0 148 1 0 0 25 0 1 0 243634849 15765504 3160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 3849 3160 304 324 0 2919 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15396

[startup+3.10104 s]
/proc/loadavg: 0.85 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1424980/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=15396 CPUtime=3.09
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 3717 0 0 0 308 1 0 0 25 0 1 0 243634849 15765504 3173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 3849 3173 304 324 0 2919 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15396

[startup+6.30135 s]
/proc/loadavg: 0.86 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1424724/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=15528 CPUtime=6.29
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 3735 0 0 0 628 1 0 0 25 0 1 0 243634849 15900672 3191 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 3882 3191 304 324 0 2952 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15528

[startup+12.702 s]
/proc/loadavg: 0.87 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1423836/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=16600 CPUtime=12.68
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 4191 0 0 0 1266 2 0 0 25 0 1 0 243634849 16998400 3477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 4150 3477 306 324 0 3220 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16600

[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1423836/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=16600 CPUtime=25.48
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 4197 0 0 0 2546 2 0 0 25 0 1 0 243634849 16998400 3483 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 4150 3483 310 324 0 3220 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16600

[startup+51.1016 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1423772/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=16732 CPUtime=51.07
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 4223 0 0 0 5104 3 0 0 25 0 1 0 243634849 17133568 3509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 4183 3509 310 324 0 3253 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16732

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1418460/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=22072 CPUtime=102.26
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 5547 0 0 0 10223 3 0 0 25 0 1 0 243634849 22601728 4833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 5518 4833 310 324 0 4588 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 22072

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1413084/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=27432 CPUtime=162.24
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 6886 0 0 0 16220 4 0 0 25 0 1 0 243634849 28090368 6172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 6858 6172 310 324 0 5928 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 27432

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1411612/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=28756 CPUtime=222.23
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 7242 0 0 0 22219 4 0 0 25 0 1 0 243634849 29446144 6528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 7189 6528 310 324 0 6259 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 28756

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1410460/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=29956 CPUtime=282.21
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 7514 0 0 0 28217 4 0 0 25 0 1 0 243634849 30674944 6800 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 7489 6800 310 324 0 6559 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 29956

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1409628/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=30744 CPUtime=342.19
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 7731 0 0 0 34215 4 0 0 25 0 1 0 243634849 31481856 7017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 7686 7017 310 324 0 6756 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 30744

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1408668/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=31804 CPUtime=402.19
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 7973 0 0 0 40214 5 0 0 25 0 1 0 243634849 32567296 7259 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 7951 7259 310 324 0 7021 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 31804

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1407772/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=32720 CPUtime=462.17
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 8223 0 0 0 46212 5 0 0 25 0 1 0 243634849 33505280 7509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 8180 7509 310 324 0 7250 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 32720

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1378204/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=64980 CPUtime=522.15
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 16296 0 0 0 52206 9 0 0 25 0 1 0 243634849 66539520 15582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 16245 15582 310 324 0 15315 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 64980

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1359772/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=80640 CPUtime=582.14
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 20208 0 0 0 58203 11 0 0 25 0 1 0 243634849 82575360 19494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 20160 19494 310 324 0 19230 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 80640

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1357596/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=82828 CPUtime=642.13
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 20737 0 0 0 64202 11 0 0 25 0 1 0 243634849 84815872 20023 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 20707 20023 310 324 0 19777 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 82828


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1348892/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=91440 CPUtime=882.07
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 22912 0 0 0 88195 12 0 0 25 0 1 0 243634849 93634560 22198 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 22860 22198 310 324 0 21930 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 91440

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1346716/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=93624 CPUtime=942.05
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 23451 0 0 0 94193 12 0 0 25 0 1 0 243634849 95870976 22737 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 23406 22737 310 324 0 22476 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 93624

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1346204/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=94156 CPUtime=1002.03
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 23583 0 0 0 100191 12 0 0 25 0 1 0 243634849 96415744 22869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 23539 22869 310 324 0 22609 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 94156

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1345884/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=94552 CPUtime=1062.02
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 23665 0 0 0 106190 12 0 0 25 0 1 0 243634849 96821248 22951 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 23638 22951 310 324 0 22708 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 94552

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1341724/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=98600 CPUtime=1122.01
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 24702 0 0 0 112188 13 0 0 25 0 1 0 243634849 100966400 23988 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 24650 23988 310 324 0 23720 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 98600

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19522
/proc/meminfo: memFree=1339420/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=100948 CPUtime=1181.99
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 25285 0 0 0 118186 13 0 0 25 0 1 0 243634849 103370752 24571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 25237 24571 310 324 0 24307 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 100948

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19524
/proc/meminfo: memFree=1337244/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=103160 CPUtime=1241.98
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 25833 0 0 0 124184 14 0 0 25 0 1 0 243634849 105635840 25119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 25790 25119 310 324 0 24860 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 103160

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19524
/proc/meminfo: memFree=1335580/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=104744 CPUtime=1301.97
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 26219 0 0 0 130183 14 0 0 25 0 1 0 243634849 107257856 25505 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 26186 25505 310 324 0 25256 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 104744

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19524
/proc/meminfo: memFree=1333276/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=107084 CPUtime=1361.95
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 26816 0 0 0 136180 15 0 0 25 0 1 0 243634849 109654016 26102 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 26771 26102 310 324 0 25841 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 107084

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19524
/proc/meminfo: memFree=1324956/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=115352 CPUtime=1421.94
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 28884 0 0 0 142178 16 0 0 25 0 1 0 243634849 118120448 28170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 28838 28170 310 324 0 27908 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 115352

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19524
/proc/meminfo: memFree=1320156/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=120152 CPUtime=1481.92
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 30090 0 0 0 148175 17 0 0 25 0 1 0 243634849 123035648 29376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 30038 29376 310 324 0 29108 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 120152

[startup+1542.3 s]
/proc/loadavg: 1.03 0.99 0.98 2/65 19524
/proc/meminfo: memFree=1315740/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=124564 CPUtime=1541.9
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 31187 0 0 0 154172 18 0 0 25 0 1 0 243634849 127553536 30473 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 31141 30473 310 324 0 30211 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 124564

[startup+1602.3 s]
/proc/loadavg: 1.05 1.00 0.99 2/65 19524
/proc/meminfo: memFree=1311260/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=128968 CPUtime=1601.89
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 32294 0 0 0 160170 19 0 0 25 0 1 0 243634849 132063232 31580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 32242 31580 310 324 0 31312 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 128968

[startup+1662.3 s]
/proc/loadavg: 1.16 1.04 1.01 2/65 19524
/proc/meminfo: memFree=1305500/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=134680 CPUtime=1661.87
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 33724 0 0 0 166167 20 0 0 25 0 1 0 243634849 137912320 33010 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 33670 33010 310 324 0 32740 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 134680

[startup+1722.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 19524
/proc/meminfo: memFree=1299676/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=140656 CPUtime=1721.86
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 35189 0 0 0 172165 21 0 0 25 0 1 0 243634849 144031744 34475 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 35164 34475 310 324 0 34234 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 140656

[startup+1782.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 19524
/proc/meminfo: memFree=1290780/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=149572 CPUtime=1781.85
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 37418 0 0 0 178162 23 0 0 25 0 1 0 243634849 153161728 36704 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 37393 36704 310 324 0 36463 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 149572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 19524
/proc/meminfo: memFree=1290076/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=150088 CPUtime=1800.04
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 37571 0 0 0 179981 23 0 0 25 0 1 0 243634849 153690112 36857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 37522 36857 310 324 0 36592 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 150088

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

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

[startup+1800.5 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 19524
/proc/meminfo: memFree=1290076/2055920 swapFree=4184544/4192956
[pid=19521] ppid=19519 vsize=150088 CPUtime=1800.04
/proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 37571 0 0 0 179981 23 0 0 25 0 1 0 243634849 153690112 36857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19521/statm: 37522 36857 310 324 0 36592 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 150088

Child status: 15
Real time (s): 1800.54
CPU time (s): 1800.08
CPU user time (s): 1799.82
CPU system time (s): 0.25896
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 150088

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

runsolver used 1.54377 second user time and 3.37749 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Mon Apr 30 18:20:48 UTC 2007

IDJOB= 433273
IDBENCH= 2427
IDSOLVER= 199
FILE ID= node55/433273-1177957248

PBS_JOBID= 4727711

Free space on /tmp= 66556 MiB

SOLVER NAME= bsolo 3.0.17
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-tuff.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433273-1177957248/instance-433273-1177957248.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-433273-1177957248 -o ROOT/results/node55/solver-433273-1177957248 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433273-1177957248/instance-433273-1177957248.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  6c865484f3a48e715bdd95fa7e3b19dc

RANDOM SEED= 807752847

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.216
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.216
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:       1437108 kB
Buffers:         55296 kB
Cached:         476224 kB
SwapCached:       2552 kB
Active:          35820 kB
Inactive:       505812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1437108 kB
SwapTotal:     4192956 kB
SwapFree:      4184544 kB
Dirty:            8788 kB
Writeback:           0 kB
Mapped:          16500 kB
Slab:            63292 kB
Committed_AS:  1412408 kB
PageTables:       1380 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= 66556 MiB

End job on node55 on Mon Apr 30 18:50:51 UTC 2007