Trace number 432681

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.24 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-ship04s.opb
MD5SUMfe1a2bbeb11180a9cf7bf3ad481e98b1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2333
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables43740
Total number of constraints348
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 constraints348
Minimum length of a constraint30
Maximum length of a constraint1980
Number of terms in the objective function 43740
Biggest coefficient in the objective function 3749
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 560502
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 560502
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/432681-1177947595/instance-432681-1177947595.opb
0.00/0.00	c File size is 1792879 bytes.
0.28/0.38	c Highest Coefficient sum: 560502
0.28/0.38	c Parsing was ok!!
0.28/0.38	c Total parsing time: 0.378 s
0.39/0.40	c Var: 43740 Constr: 660 273/0/387 Lit: 214440 Watch. Lit: 52042
0.39/0.40	c Obj. Vars: 43740 (100 % of total variables)
30.18/30.22	c Pre-processing Time: 30.217 s
30.18/30.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.18/30.23	c        0  22073      548   204900  373    72924  347532      0      0 30.22
30.18/30.23	c Switching off LPR mode.
1800.08/1800.61	c      100  22073      648   207898  320   128293  382286    100      3 31.11
1800.08/1800.61	c      250  22073      798   212433  266   128481  420515    250      6 41.21
1800.08/1800.61	c      475  22073     1023   219621  214   129374  462567    475     10 44.52
1800.08/1800.61	c      813  22073     1361   230556  169   130064  508824    813     17 45.36
1800.08/1800.61	c     1321  22073     1869   246929  132   131079  559707   1321     28 46.62
1800.08/1800.61	c     2084  22073     2632   271377  103   132116  615678   2084     32 64.24
1800.08/1800.61	c     3230  22073     3778   308662   81   134694  677246   3230     46 69.82
1800.08/1800.61	c     4951  22073     5499   365270   66   138109  744971   4951     66 74.18
1800.08/1800.61	c     7535  22073     8083   454269   56   143286  819469   7535     93 80.96
1800.08/1800.61	c    11415  22073    11963   586382   49   151047  901416  11415    124 91.36
1800.08/1800.61	c    17238  22073    17786   782688   44   162708  991558  17238    159 108.28
1800.08/1800.61	c    25975  22073    26523  2353671   88   180234  500000  25975    196 132.51
1800.08/1800.61	c    39085  22073    39633  4768294  120   207823  550001  39085    149 260.80
1800.08/1800.61	c    58756  22073    59304 27609415  465   254623  605002  58756    118 494.78
1800.08/1800.61	c    88266  22073    88814 31526358  354   313157  665503  88266     86 1019.80
1800.08/1800.61	c   132536  22073   133084 46522930  349   404039  732054 132536    107 1235.39
1800.08/1800.61	c Caught signal: 15
1800.08/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.61	c   16   196898  66748  1065180   197446 75705441 196898    109 1800.09
1800.08/1800.61	s UNKNOWN
1800.08/1800.61	c Total time: 1800.09 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/node51/watcher-432681-1177947595 -o ROOT/results/node51/solver-432681-1177947595 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432681-1177947595/instance-432681-1177947595.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/64 13835
/proc/meminfo: memFree=1836024/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=21300 CPUtime=0
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 149604623 21811200 329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134536096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 5325 330 278 324 0 3957 0

[startup+0.0999951 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 13835
/proc/meminfo: memFree=1836024/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=17600 CPUtime=0.08
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 1551 0 0 0 8 0 0 0 18 0 1 0 149604623 18022400 1402 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 4400 1402 391 324 0 3032 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17600

[startup+0.101994 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 13835
/proc/meminfo: memFree=1836024/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=17600 CPUtime=0.09
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 1554 0 0 0 9 0 0 0 18 0 1 0 149604623 18022400 1405 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524931 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 4400 1405 394 324 0 3032 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17600

[startup+0.30201 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 13835
/proc/meminfo: memFree=1836024/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=11856 CPUtime=0.28
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 2296 0 0 0 28 0 0 0 19 0 1 0 149604623 12140544 2147 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 2964 2147 622 324 0 1596 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11856

[startup+0.701047 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 13835
/proc/meminfo: memFree=1836024/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=15252 CPUtime=0.69
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 3610 0 0 0 67 2 0 0 22 0 1 0 149604623 15618048 3023 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 3813 3023 304 324 0 2883 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15252

[startup+1.50212 s]
/proc/loadavg: 0.92 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1824752/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=17272 CPUtime=1.49
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 4574 0 0 0 145 4 0 0 25 0 1 0 149604623 17686528 3559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 4318 3559 306 324 0 3388 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17272

[startup+3.10126 s]
/proc/loadavg: 0.92 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1822768/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=17272 CPUtime=3.09
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 4574 0 0 0 305 4 0 0 25 0 1 0 149604623 17686528 3559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540756 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 4318 3559 306 324 0 3388 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17272

[startup+6.30155 s]
/proc/loadavg: 0.93 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1822576/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=17272 CPUtime=6.29
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 4574 0 0 0 625 4 0 0 25 0 1 0 149604623 17686528 3559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 4318 3559 306 324 0 3388 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17272

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1822704/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=17272 CPUtime=12.68
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 4574 0 0 0 1264 4 0 0 25 0 1 0 149604623 17686528 3559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 4318 3559 306 324 0 3388 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17272

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1822768/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=17272 CPUtime=25.48
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 4574 0 0 0 2543 5 0 0 25 0 1 0 149604623 17686528 3559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 4318 3559 306 324 0 3388 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17272

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1822128/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=17864 CPUtime=51.07
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 5136 0 0 0 5102 5 0 0 25 0 1 0 149604623 18292736 3715 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 4466 3715 310 324 0 3536 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17864

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1815216/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=24832 CPUtime=102.27
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 6873 0 0 0 10220 7 0 0 25 0 1 0 149604623 25427968 5452 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 6208 5452 310 324 0 5278 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 24832

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1785328/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=54756 CPUtime=162.25
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 14363 0 0 0 16215 10 0 0 25 0 1 0 149604623 56070144 12942 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 13689 12942 310 324 0 12759 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 54756

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1770096/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=69760 CPUtime=222.24
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 18125 0 0 0 22211 13 0 0 25 0 1 0 149604623 71434240 16704 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572042 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 17440 16704 310 324 0 16510 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 69760

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1755888/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=84124 CPUtime=282.22
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 21689 0 0 0 28207 15 0 0 25 0 1 0 149604623 86142976 20268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 21031 20268 310 324 0 20101 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 84124

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1742192/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=97596 CPUtime=342.21
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 25064 0 0 0 34203 18 0 0 25 0 1 0 149604623 99938304 23643 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 24399 23643 310 324 0 23469 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 97596

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1589040/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=252428 CPUtime=402.19
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 63794 0 0 0 40184 35 0 0 25 0 1 0 149604623 258486272 62373 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 63107 62373 310 324 0 62177 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 252428

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1513008/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=326800 CPUtime=462.18
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 82387 0 0 0 46177 41 0 0 25 0 1 0 149604623 334643200 80966 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 81700 80966 310 324 0 80770 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 326800

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1464240/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=374896 CPUtime=522.16
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 94413 0 0 0 52168 48 0 0 25 0 1 0 149604623 383893504 92992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 93724 92992 310 324 0 92794 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 374896

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1460976/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=378248 CPUtime=582.14
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 95222 0 0 0 58166 48 0 0 25 0 1 0 149604623 387325952 93801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 94562 93801 310 324 0 93632 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 378248

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1454064/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=384976 CPUtime=642.13
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 96923 0 0 0 64164 49 0 0 25 0 1 0 149604623 394215424 95502 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 96244 95502 310 324 0 95314 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 384976


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1427632/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=411412 CPUtime=882.07
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 103517 0 0 0 88153 54 0 0 25 0 1 0 149604623 421285888 102096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 102853 102096 310 324 0 101923 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 411412

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1420784/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=418384 CPUtime=942.06
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 105274 0 0 0 94150 56 0 0 25 0 1 0 149604623 428425216 103853 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3059463 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 104596 103853 310 324 0 103666 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 418384

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1415536/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=423548 CPUtime=1002.05
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 106554 0 0 0 100148 57 0 0 25 0 1 0 149604623 433713152 105133 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 105887 105133 310 324 0 104957 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 423548

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1376624/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=464184 CPUtime=1062.03
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 116740 0 0 0 106141 62 0 0 25 0 1 0 149604623 475324416 115319 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 116046 115319 310 324 0 115116 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 464184

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1300400/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=538824 CPUtime=1122.01
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 135382 0 0 0 112125 76 0 0 25 0 1 0 149604623 551755776 133961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 134706 133961 310 324 0 133776 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 538824

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1250288/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=588996 CPUtime=1182
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 147925 0 0 0 118113 87 0 0 25 0 1 0 149604623 603131904 146504 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 147249 146504 310 324 0 146319 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 588996

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 13836
/proc/meminfo: memFree=1213296/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=625612 CPUtime=1241.99
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 157078 0 0 0 124106 93 0 0 25 0 1 0 149604623 640626688 155657 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 156403 155657 310 324 0 155473 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 625612

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/71 14004
/proc/meminfo: memFree=1120552/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=716532 CPUtime=1301.91
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 179813 0 0 0 130086 105 0 0 25 0 1 0 149604623 733728768 178392 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 179133 178392 310 324 0 178203 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 716532

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 14034
/proc/meminfo: memFree=1070832/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=767944 CPUtime=1361.87
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 192675 0 0 0 136073 114 0 0 25 0 1 0 149604623 786374656 191254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 191986 191254 310 324 0 191056 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 767944

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 14034
/proc/meminfo: memFree=1024240/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=813888 CPUtime=1421.86
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 204160 0 0 0 142063 123 0 0 25 0 1 0 149604623 833421312 202739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 203472 202739 310 324 0 202542 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 813888

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 14034
/proc/meminfo: memFree=995760/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=842576 CPUtime=1481.84
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 211319 0 0 0 148058 126 0 0 25 0 1 0 149604623 862797824 209898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 210644 209898 310 324 0 209714 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 842576

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 14034
/proc/meminfo: memFree=962032/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=876092 CPUtime=1541.83
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 219710 0 0 0 154052 131 0 0 25 0 1 0 149604623 897118208 218289 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3051361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 219023 218289 310 324 0 218093 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 876092

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 14034
/proc/meminfo: memFree=921072/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=916944 CPUtime=1601.81
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 229928 0 0 0 160044 137 0 0 25 0 1 0 149604623 938950656 228507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 229236 228507 310 324 0 228306 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 916944

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 14034
/proc/meminfo: memFree=893296/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=944512 CPUtime=1661.8
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 236815 0 0 0 166037 143 0 0 25 0 1 0 149604623 967180288 235394 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 236128 235394 310 324 0 235198 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 944512

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 14034
/proc/meminfo: memFree=871152/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=966836 CPUtime=1721.78
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 242384 0 0 0 172031 147 0 0 25 0 1 0 149604623 990040064 240963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 241709 240963 310 324 0 240779 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 966836

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 14034
/proc/meminfo: memFree=846384/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=991332 CPUtime=1781.77
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 248517 0 0 0 178026 151 0 0 25 0 1 0 149604623 1015123968 247096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571442 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 247833 247096 310 324 0 246903 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 991332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 14034
/proc/meminfo: memFree=839024/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=998564 CPUtime=1800.08
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194304 250319 0 0 0 179855 153 0 0 25 0 1 0 149604623 1022529536 248898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 249641 248898 310 324 0 248711 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 998564

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

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

[startup+1800.72 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 14034
/proc/meminfo: memFree=839024/2055920 swapFree=4183292/4192956
[pid=13835] ppid=13833 vsize=0 CPUtime=1800.17
/proc/13835/stat : 13835 (bsolo3.0.17) R 13833 13835 13175 0 -1 4194308 250323 0 0 0 179855 162 0 0 25 0 1 0 149604623 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/13835/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.78
CPU time (s): 1800.24
CPU user time (s): 1798.56
CPU system time (s): 1.68574
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 998564

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

runsolver used 1.43378 second user time and 3.54046 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Mon Apr 30 15:39:55 UTC 2007

IDJOB= 432681
IDBENCH= 1680
IDSOLVER= 199
FILE ID= node51/432681-1177947595

PBS_JOBID= 4727545

Free space on /tmp= 66556 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship04s.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432681-1177947595/instance-432681-1177947595.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-432681-1177947595 -o ROOT/results/node51/solver-432681-1177947595 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432681-1177947595/instance-432681-1177947595.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  fe1a2bbeb11180a9cf7bf3ad481e98b1

RANDOM SEED= 788139252

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1836432 kB
Buffers:         14540 kB
Cached:         130444 kB
SwapCached:       3664 kB
Active:          31960 kB
Inactive:       122696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1836432 kB
SwapTotal:     4192956 kB
SwapFree:      4183292 kB
Dirty:            8332 kB
Writeback:           0 kB
Mapped:          15648 kB
Slab:            50876 kB
Committed_AS:  3928556 kB
PageTables:       1408 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 node51 on Mon Apr 30 16:09:58 UTC 2007