Trace number 432730

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.05 1800.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-misc04.opb
MD5SUMa740df3717a1394bed76c2a490fc20be
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables146276
Total number of constraints1699
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints1689
Minimum length of a constraint3
Maximum length of a constraint5071
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 528446
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/432730-1177948341/instance-432730-1177948341.opb
0.00/0.00	c File size is 4916264 bytes.
0.99/1.04	c Highest Coefficient sum: 528446
0.99/1.04	c Parsing was ok!!
0.99/1.05	c Total parsing time: 1.045 s
1.09/1.12	c Var: 146276 Constr: 2010 96/10/1904 Lit: 586017 Watch. Lit: 166808
1.09/1.12	c Obj. Vars: 31 (0.0211928 % of total variables)
180.24/180.38	c Pre-processing Time: 180.319 s
180.24/180.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.24/180.38	c        0 114462     1833   536603  292   288190  500000      0      0 180.32
180.24/180.38	c Switching off LPR mode.
1800.01/1800.60	c      100 114462     1933   537274  277   284715  550001    100      0 187.05
1800.01/1800.60	c      251 114462     2084   562942  270   301735  605002    251      1 190.84
1800.01/1800.60	c      478 114462     2311   585643  253   310282  665503    478      2 192.24
1800.01/1800.60	c      817 114462     2650   594789  224   314620  732054    817      4 193.37
1800.01/1800.60	c     1326 114462     3159   613879  194   320717  805260   1326      6 197.41
1800.01/1800.60	c     2089 114462     3922   644081  164   323045  885787   2089     10 200.92
1800.01/1800.60	c     3236 114462     5069   715545  141   323779  974366   3236     14 221.57
1800.01/1800.60	c     4957 114462     6790   894066  131   327802  500000   4957     21 227.07
1800.01/1800.60	c     7543 114462     9376  1068868  114   332919  550001   7543     30 247.46
1800.01/1800.60	c    11422 114460    13255  1229008   92   344688  605002  11422     42 267.51
1800.01/1800.60	c    17244 114460    19077  2484913  130   355321  665503  17244     52 326.67
1800.01/1800.60	c    25982 114460    27815  4237713  152   373860  732054  25982     72 358.68
1800.01/1800.60	c    39093 114460    40926  4735609  115   399471  805260  39093    106 368.75
1800.01/1800.61	c    58763 114460    60596  5573180   91   442754  885787  58763    144 405.97
1800.01/1800.61	c    88273 114460    90106  7126046   79   504398  974366  88273    121 729.45
1800.01/1800.61	c   132544 114460   134377  9479084   70   592164  500000 132544    132 1000.84
1800.01/1800.61	c   198955 114460   200788 12905570   64   725783  550001 198955    112 1765.51
1800.01/1800.61	c Caught signal: 15
1800.01/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.61	c   17   201780  21776   514859   203613 13010554 201780    112 1800.01
1800.01/1800.61	s UNKNOWN
1800.01/1800.61	c Total time: 1800.01 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/node12/watcher-432730-1177948341 -o ROOT/results/node12/solver-432730-1177948341 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432730-1177948341/instance-432730-1177948341.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.93 3/77 32413
/proc/meminfo: memFree=1749504/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=16540 CPUtime=0
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 270871477 16936960 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 4135 331 279 324 0 2004 0

[startup+0.034827 s]
/proc/loadavg: 0.92 0.98 0.93 3/77 32413
/proc/meminfo: memFree=1749504/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=17636 CPUtime=0.03
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 678 0 0 0 3 0 0 0 18 0 1 0 270871477 18059264 648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521812 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 4409 649 319 324 0 2278 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17636

[startup+0.101833 s]
/proc/loadavg: 0.92 0.98 0.93 3/77 32413
/proc/meminfo: memFree=1749504/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=20124 CPUtime=0.09
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 1433 0 0 0 9 0 0 0 18 0 1 0 270871477 20606976 1284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 5031 1284 397 324 0 2900 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20124

[startup+0.301854 s]
/proc/loadavg: 0.92 0.98 0.93 3/77 32413
/proc/meminfo: memFree=1749504/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=16412 CPUtime=0.29
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 2810 0 0 0 28 1 0 0 19 0 1 0 270871477 16805888 2455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 4103 2455 634 324 0 1972 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16412

[startup+0.701893 s]
/proc/loadavg: 0.92 0.98 0.93 3/77 32413
/proc/meminfo: memFree=1749504/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=21880 CPUtime=0.68
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 4865 0 0 0 67 1 0 0 23 0 1 0 270871477 22405120 4413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585892 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 5470 4413 1104 324 0 3339 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21880

[startup+1.50197 s]
/proc/loadavg: 0.92 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1732792/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=39740 CPUtime=1.48
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 10393 0 0 0 143 5 0 0 25 0 1 0 270871477 40693760 8740 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 9935 8740 303 324 0 9005 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39740

[startup+3.10113 s]
/proc/loadavg: 0.92 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1715384/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=40268 CPUtime=3.09
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 10501 0 0 0 297 12 0 0 25 0 1 0 270871477 41234432 8848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 10067 8848 303 324 0 9137 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40268

[startup+6.30145 s]
/proc/loadavg: 0.93 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1707000/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=48064 CPUtime=6.28
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13913 0 0 0 614 14 0 0 25 0 1 0 270871477 49217536 10830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540697 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 12016 10830 305 324 0 11086 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48064

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1707064/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=48064 CPUtime=12.68
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13914 0 0 0 1254 14 0 0 25 0 1 0 270871477 49217536 10831 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 12016 10831 305 324 0 11086 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48064

[startup+25.5024 s]
/proc/loadavg: 0.95 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1707192/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=48196 CPUtime=25.49
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13916 0 0 0 2534 15 0 0 25 0 1 0 270871477 49352704 10833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540661 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 12049 10833 305 324 0 11119 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48196

[startup+51.1029 s]
/proc/loadavg: 0.96 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1707256/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=48196 CPUtime=51.07
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13919 0 0 0 5092 15 0 0 25 0 1 0 270871477 49352704 10836 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 12049 10836 305 324 0 11119 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48196

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1707320/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=48196 CPUtime=102.26
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13921 0 0 0 10209 17 0 0 25 0 1 0 270871477 49352704 10838 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540690 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 12049 10838 305 324 0 11119 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 48196

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1707256/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=48196 CPUtime=162.23
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13923 0 0 0 16205 18 0 0 25 0 1 0 270871477 49352704 10840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540671 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 12049 10840 305 324 0 11119 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 48196

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1707192/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=48208 CPUtime=222.22
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13934 0 0 0 22203 19 0 0 25 0 1 0 270871477 49364992 10851 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10137250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 12052 10851 309 324 0 11122 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 48208

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1698616/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=57004 CPUtime=282.2
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 16149 0 0 0 28199 21 0 0 25 0 1 0 270871477 58372096 13066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 14251 13066 309 324 0 13321 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 57004

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1676216/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=79196 CPUtime=342.19
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 21700 0 0 0 34193 26 0 0 25 0 1 0 270871477 81096704 18617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10129100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 19799 18617 309 324 0 18869 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 79196

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1643000/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=112232 CPUtime=402.17
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 29949 0 0 0 40185 32 0 0 25 0 1 0 270871477 114925568 26866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 28058 26866 309 324 0 27128 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 112232

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32414
/proc/meminfo: memFree=1640056/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=115260 CPUtime=462.15
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 30697 0 0 0 46182 33 0 0 25 0 1 0 270871477 118026240 27614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 28815 27614 309 324 0 27885 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 115260

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/84 32440
/proc/meminfo: memFree=1636040/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=118132 CPUtime=522.13
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 31416 0 0 0 52179 34 0 0 25 0 1 0 270871477 120967168 28333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10129235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 29533 28333 309 324 0 28603 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 118132

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1634096/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=121012 CPUtime=582.04
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 32137 0 0 0 58169 35 0 0 25 0 1 0 270871477 123916288 29054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 30253 29054 309 324 0 29323 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 121012

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1631480/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=123648 CPUtime=642.02
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 32801 0 0 0 64166 36 0 0 25 0 1 0 270871477 126615552 29718 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 30912 29718 309 324 0 29982 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 123648


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1607288/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=147900 CPUtime=821.97
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 38879 0 0 0 82155 42 0 0 25 0 1 0 270871477 151449600 35796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 36975 35796 309 324 0 36045 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 147900

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1601208/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=154016 CPUtime=881.94
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 40383 0 0 0 88151 43 0 0 25 0 1 0 270871477 157712384 37300 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 38504 37300 309 324 0 37574 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 154016

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1593528/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=161648 CPUtime=941.94
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 42310 0 0 0 94148 46 0 0 25 0 1 0 270871477 165527552 39227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 40412 39227 309 324 0 39482 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 161648

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1583992/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=171268 CPUtime=1001.91
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 44707 0 0 0 100142 49 0 0 25 0 1 0 270871477 175378432 41624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 42817 41624 309 324 0 41887 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 171268

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1580472/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=174692 CPUtime=1061.9
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 45563 0 0 0 106140 50 0 0 25 0 1 0 270871477 178884608 42480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 43673 42480 309 324 0 42743 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 174692

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1577272/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=177832 CPUtime=1121.88
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 46348 0 0 0 112137 51 0 0 25 0 1 0 270871477 182099968 43265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 44458 43265 309 324 0 43528 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 177832

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1574136/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=180968 CPUtime=1181.87
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 47136 0 0 0 118135 52 0 0 25 0 1 0 270871477 185311232 44053 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 45242 44053 309 324 0 44312 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 180968

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1568056/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=187104 CPUtime=1241.85
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 48669 0 0 0 124131 54 0 0 25 0 1 0 270871477 191594496 45586 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 46776 45586 309 324 0 45846 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 187104

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1562872/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=192184 CPUtime=1301.83
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 49942 0 0 0 130127 56 0 0 25 0 1 0 270871477 196796416 46859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 48046 46859 309 324 0 47116 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 192184

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1557368/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=197656 CPUtime=1361.82
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 51318 0 0 0 136124 58 0 0 25 0 1 0 270871477 202399744 48235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 49414 48235 309 324 0 48484 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 197656

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1552888/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=202072 CPUtime=1421.8
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 52407 0 0 0 142121 59 0 0 25 0 1 0 270871477 206921728 49324 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 50518 49324 309 324 0 49588 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 202072

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1548856/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=206092 CPUtime=1481.78
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 53418 0 0 0 148117 61 0 0 25 0 1 0 270871477 211038208 50335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 51523 50335 309 324 0 50593 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 206092

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1545464/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=209604 CPUtime=1541.77
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 54292 0 0 0 154115 62 0 0 25 0 1 0 270871477 214634496 51209 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 52401 51209 309 324 0 51471 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 209604

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1541624/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=213400 CPUtime=1601.75
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 55255 0 0 0 160111 64 0 0 25 0 1 0 270871477 218521600 52172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 53350 52172 309 324 0 52420 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 213400

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1538104/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=216928 CPUtime=1661.74
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 56138 0 0 0 166108 66 0 0 25 0 1 0 270871477 222134272 53055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 54232 53055 309 324 0 53302 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 216928

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1534648/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=220332 CPUtime=1721.72
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 56995 0 0 0 172105 67 0 0 25 0 1 0 270871477 225619968 53912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 55083 53912 309 324 0 54153 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 220332

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.93 3/78 32612
/proc/meminfo: memFree=1531704/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=223200 CPUtime=1781.7
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 57710 0 0 0 178102 68 0 0 25 0 1 0 270871477 228556800 54627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 55800 54627 309 324 0 54870 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 223200



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.93 2/78 32612
/proc/meminfo: memFree=1530936/2055920 swapFree=4160076/4192956
[pid=32413] ppid=32411 vsize=223972 CPUtime=1800.01
/proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 57901 0 0 0 179933 68 0 0 25 0 1 0 270871477 229347328 54818 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10125389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32413/statm: 55993 54818 309 324 0 55063 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 223972

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.65
CPU time (s): 1800.05
CPU user time (s): 1799.33
CPU system time (s): 0.72089
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 223972

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

runsolver used 1.47978 second user time and 3.66644 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Mon Apr 30 15:52:21 UTC 2007

IDJOB= 432730
IDBENCH= 1731
IDSOLVER= 199
FILE ID= node12/432730-1177948341

PBS_JOBID= 4727830

Free space on /tmp= 66553 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  a740df3717a1394bed76c2a490fc20be

RANDOM SEED= 682576971

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1749912 kB
Buffers:         38780 kB
Cached:         173216 kB
SwapCached:      11792 kB
Active:         141240 kB
Inactive:        94108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1749912 kB
SwapTotal:     4192956 kB
SwapFree:      4160076 kB
Dirty:           11456 kB
Writeback:           0 kB
Mapped:          30220 kB
Slab:            56120 kB
Committed_AS:  6242992 kB
PageTables:       1792 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= 66553 MiB

End job on node12 on Mon Apr 30 16:22:24 UTC 2007