Trace number 432687

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.19 1800.8

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-scrs8.opb
MD5SUMf3194c704d6cb84122c01530d022722f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.875865
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables35070
Total number of constraints488
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 constraints488
Minimum length of a constraint30
Maximum length of a constraint1110
Number of terms in the objective function 24750
Biggest coefficient in the objective function 20760
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 545888
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 545888
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/432687-1177947629/instance-432687-1177947629.opb
0.00/0.00	c File size is 1263058 bytes.
0.19/0.27	c Highest Coefficient sum: 545888
0.19/0.27	c Parsing was ok!!
0.19/0.27	c Total parsing time: 0.273 s
0.19/0.29	c Var: 35070 Constr: 872 20/0/852 Lit: 172590 Watch. Lit: 67591
0.19/0.29	c Obj. Vars: 24750 (70.5731 % of total variables)
96.84/96.93	c Pre-processing Time: 96.875 s
96.84/96.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.84/96.93	c        0  24376      807   168240  208   115724  306004      0      0 96.88
96.84/96.93	c Switching off LPR mode.
1800.09/1800.70	c      111  24376      918   173648  189   117570  336605    111      1 96.93
1800.09/1800.70	c      266  24369     1073   178649  166   117862  370266    266      2 96.98
1800.09/1800.70	c      496  24369     1303   189926  145   118325  407293    496      5 97.04
1800.09/1800.70	c      844  24369     1651   201492  122   119013  448023    844      8 97.11
1800.09/1800.70	c     1354  24369     2161   234092  108   120033  492826   1354     13 97.21
1800.09/1800.70	c     2117  24369     2924   279310   95   121559  542109   2117     21 97.31
1800.09/1800.70	c     3263  24363     4070   331415   81   123850  596320   3263     33 97.66
1800.09/1800.70	c     4987  24363     5794   458290   79   127298  655953   4987     50 98.18
1800.09/1800.70	c     7574  24363     8381   701705   83   132472  721549   7574     75 100.12
1800.09/1800.70	c    11458  24345    12265  1086222   88   148705  793704  11458    106 107.80
1800.09/1800.70	c    17280  24329    18087  2569993  142   161106  873075  17280    154 112.18
1800.09/1800.70	c    26018  24329    26825  3385314  126   180574  960383  26018    214 121.50
1800.09/1800.70	c    39128  24329    39935  4101021  102   206351  500000  39128    306 127.74
1800.09/1800.70	c    58801  24329    59608  6266410  105   245428  550001  58801    386 152.03
1800.09/1800.71	c    88311  24329    89118 10327554  115   304783  605002  88311    350 251.92
1800.09/1800.71	c   132582  24329   133389 12691788   95   393008  665503 132582    410 323.15
1800.09/1800.71	c   198992  24329   199799 18630548   93   525858  732054 198992    270 736.34
1800.09/1800.71	c   298613  24312   299420 28198064   94   724536  805260 298613    299 998.28
1800.09/1800.71	c Caught signal: 15
1800.09/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.71	c   18   378371  96980  1151401   379178 39321160 378371    210 1800.10
1800.09/1800.71	s UNKNOWN
1800.09/1800.71	c Total time: 1800.1 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/node68/watcher-432687-1177947629 -o ROOT/results/node68/solver-432687-1177947629 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432687-1177947629/instance-432687-1177947629.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.84 0.95 0.91 3/64 27835
/proc/meminfo: memFree=1840440/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=3828 CPUtime=0
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 99 0 0 0 0 0 0 0 18 0 1 0 270752487 3919872 82 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10478758 0 0 4096 0 0 0 0 17 1 0 0
/proc/27835/statm: 957 97 80 324 0 15 0

[startup+0.017335 s]
/proc/loadavg: 0.84 0.95 0.91 3/64 27835
/proc/meminfo: memFree=1840440/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=13396 CPUtime=0.01
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 461 0 0 0 1 0 0 0 18 0 1 0 270752487 13717504 431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 3349 432 294 324 0 2110 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13396

[startup+0.102343 s]
/proc/loadavg: 0.84 0.95 0.91 3/64 27835
/proc/meminfo: memFree=1840440/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=8120 CPUtime=0.09
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 1258 0 0 0 9 0 0 0 18 0 1 0 270752487 8314880 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 2030 1188 393 324 0 791 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8120

[startup+0.301361 s]
/proc/loadavg: 0.84 0.95 0.91 3/64 27835
/proc/meminfo: memFree=1840440/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=13284 CPUtime=0.28
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3062 0 0 0 28 0 0 0 19 0 1 0 270752487 13602816 2634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 3321 2634 304 324 0 2391 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13284

[startup+0.702397 s]
/proc/loadavg: 0.84 0.95 0.91 3/64 27835
/proc/meminfo: memFree=1840440/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=14328 CPUtime=0.69
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3298 0 0 0 68 1 0 0 22 0 1 0 270752487 14671872 2870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 3582 2870 304 324 0 2652 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14328

[startup+1.50147 s]
/proc/loadavg: 0.84 0.95 0.91 2/65 27836
/proc/meminfo: memFree=1830064/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=14328 CPUtime=1.49
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3298 0 0 0 148 1 0 0 25 0 1 0 270752487 14671872 2870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 3582 2870 304 324 0 2652 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14328

[startup+3.10161 s]
/proc/loadavg: 0.84 0.95 0.91 2/65 27836
/proc/meminfo: memFree=1829936/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=14328 CPUtime=3.09
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3298 0 0 0 308 1 0 0 25 0 1 0 270752487 14671872 2870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 3582 2870 304 324 0 2652 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14328

[startup+6.3019 s]
/proc/loadavg: 0.85 0.95 0.91 2/65 27836
/proc/meminfo: memFree=1829872/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=14328 CPUtime=6.29
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3298 0 0 0 628 1 0 0 25 0 1 0 270752487 14671872 2870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 3582 2870 304 324 0 2652 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14328

[startup+12.7015 s]
/proc/loadavg: 0.87 0.95 0.91 2/65 27836
/proc/meminfo: memFree=1829872/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=14460 CPUtime=12.69
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3305 0 0 0 1268 1 0 0 25 0 1 0 270752487 14807040 2877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 3615 2877 304 324 0 2685 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14460

[startup+25.5016 s]
/proc/loadavg: 0.89 0.95 0.91 2/65 27836
/proc/meminfo: memFree=1830008/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=14460 CPUtime=25.49
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3309 0 0 0 2548 1 0 0 25 0 1 0 270752487 14807040 2881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 3615 2881 304 324 0 2685 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14460

[startup+51.1019 s]
/proc/loadavg: 0.93 0.96 0.91 2/65 27836
/proc/meminfo: memFree=1829880/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=14460 CPUtime=51.05
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 3321 0 0 0 5104 1 0 0 25 0 1 0 270752487 14807040 2893 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 3615 2893 304 324 0 2685 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 14460

[startup+102.306 s]
/proc/loadavg: 0.97 0.96 0.91 2/65 27838
/proc/meminfo: memFree=1821048/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=23392 CPUtime=102.24
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 6330 0 0 0 10218 6 0 0 25 0 1 0 270752487 23953408 5134 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 5848 5134 310 324 0 4918 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 23392

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27838
/proc/meminfo: memFree=1731512/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=113396 CPUtime=162.22
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 28838 0 0 0 16204 18 0 0 25 0 1 0 270752487 116117504 27642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 28349 27642 310 324 0 27419 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 113396

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27838
/proc/meminfo: memFree=1698808/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=145400 CPUtime=222.2
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 36836 0 0 0 22196 24 0 0 25 0 1 0 270752487 148889600 35640 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 36350 35640 310 324 0 35420 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 145400

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27838
/proc/meminfo: memFree=1667448/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=176948 CPUtime=282.19
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 44713 0 0 0 28185 34 0 0 25 0 1 0 270752487 181194752 43517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 44237 43517 310 324 0 43307 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 176948

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27838
/proc/meminfo: memFree=1642040/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=202044 CPUtime=342.17
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 51004 0 0 0 34178 39 0 0 25 0 1 0 270752487 206893056 49808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 50511 49808 310 324 0 49581 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 202044

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27838
/proc/meminfo: memFree=1625912/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=218132 CPUtime=402.15
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 55034 0 0 0 40172 43 0 0 25 0 1 0 270752487 223367168 53838 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 54533 53838 310 324 0 53603 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 218132

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27838
/proc/meminfo: memFree=1615480/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=228480 CPUtime=462.14
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 57597 0 0 0 46168 46 0 0 25 0 1 0 270752487 233963520 56401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 57120 56401 310 324 0 56190 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 228480

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27838
/proc/meminfo: memFree=1605432/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=238468 CPUtime=522.12
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 60116 0 0 0 52164 48 0 0 25 0 1 0 270752487 244191232 58920 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 59617 58920 310 324 0 58687 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 238468

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27838
/proc/meminfo: memFree=1596152/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=247700 CPUtime=582.11
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 62424 0 0 0 58161 50 0 0 25 0 1 0 270752487 253644800 61228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 61925 61228 310 324 0 60995 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 247700

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27838
/proc/meminfo: memFree=1585976/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=257800 CPUtime=642.1
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 64931 0 0 0 64157 53 0 0 25 0 1 0 270752487 263987200 63735 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 64450 63735 310 324 0 63520 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 257800


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

[startup+882.302 s]
/proc/loadavg: 1.12 1.00 0.92 2/65 27838
/proc/meminfo: memFree=1472184/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=371348 CPUtime=882.03
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 93330 0 0 0 88127 76 0 0 25 0 1 0 270752487 380260352 92134 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 92837 92134 310 324 0 91907 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 371348

[startup+942.301 s]
/proc/loadavg: 1.09 1.01 0.93 2/65 27838
/proc/meminfo: memFree=1450744/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=392936 CPUtime=942.01
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 98723 0 0 0 94119 82 0 0 25 0 1 0 270752487 402366464 97527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 98234 97527 310 324 0 97304 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 392936

[startup+1002.3 s]
/proc/loadavg: 1.03 1.01 0.93 2/65 27838
/proc/meminfo: memFree=1437624/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=405740 CPUtime=1001.99
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 101943 0 0 0 100113 86 0 0 25 0 1 0 270752487 415477760 100747 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550797 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 101435 100747 310 324 0 100505 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 405740

[startup+1062.3 s]
/proc/loadavg: 1.01 1.00 0.93 2/65 27838
/proc/meminfo: memFree=1413816/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=429804 CPUtime=1061.98
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 107955 0 0 0 106106 92 0 0 25 0 1 0 270752487 440119296 106759 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10948142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 107451 106759 310 324 0 106521 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 429804

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 27838
/proc/meminfo: memFree=1398392/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=444980 CPUtime=1121.96
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 111733 0 0 0 112100 96 0 0 25 0 1 0 270752487 455659520 110537 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10948306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 111245 110537 310 324 0 110315 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 444980

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 27838
/proc/meminfo: memFree=1389816/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=453648 CPUtime=1181.95
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 113897 0 0 0 118097 98 0 0 25 0 1 0 270752487 464535552 112701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 113412 112701 310 324 0 112482 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 453648

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/71 27912
/proc/meminfo: memFree=1375928/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=466164 CPUtime=1241.89
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 117028 0 0 0 124086 103 0 0 25 0 1 0 270752487 477351936 115832 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 116541 115832 310 324 0 115611 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 466164

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28036
/proc/meminfo: memFree=1364408/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=478496 CPUtime=1301.82
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 120105 0 0 0 130075 107 0 0 25 0 1 0 270752487 489979904 118909 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 119624 118909 310 324 0 118694 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 478496

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28036
/proc/meminfo: memFree=1353080/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=489884 CPUtime=1361.8
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 122979 0 0 0 136070 110 0 0 25 0 1 0 270752487 501641216 121783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 122471 121783 310 324 0 121541 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 489884

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28036
/proc/meminfo: memFree=1343736/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=499080 CPUtime=1421.79
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 125278 0 0 0 142066 113 0 0 25 0 1 0 270752487 511057920 124082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 124770 124082 310 324 0 123840 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 499080

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28036
/proc/meminfo: memFree=1335032/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=508004 CPUtime=1481.77
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 127487 0 0 0 148062 115 0 0 25 0 1 0 270752487 520196096 126291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 127001 126291 310 324 0 126071 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 508004

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28036
/proc/meminfo: memFree=1325880/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=517040 CPUtime=1541.75
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 129760 0 0 0 154058 117 0 0 25 0 1 0 270752487 529448960 128564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 129260 128564 310 324 0 128330 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 517040

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28036
/proc/meminfo: memFree=1317624/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=525328 CPUtime=1601.73
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 131829 0 0 0 160055 118 0 0 25 0 1 0 270752487 537935872 130633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 131332 130633 310 324 0 130402 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 525328

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28036
/proc/meminfo: memFree=1310200/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=532684 CPUtime=1661.72
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 133667 0 0 0 166051 121 0 0 25 0 1 0 270752487 545468416 132471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 133171 132471 310 324 0 132241 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 532684

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28036
/proc/meminfo: memFree=1300920/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=542104 CPUtime=1721.71
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 136011 0 0 0 172048 123 0 0 25 0 1 0 270752487 555114496 134815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 135526 134815 310 324 0 134596 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 542104

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28036
/proc/meminfo: memFree=1290488/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=552328 CPUtime=1781.69
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 138587 0 0 0 178044 125 0 0 25 0 1 0 270752487 565583872 137391 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 138082 137391 310 324 0 137152 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 552328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28036
/proc/meminfo: memFree=1286776/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=556064 CPUtime=1800.09
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 139493 0 0 0 179883 126 0 0 25 0 1 0 270752487 569409536 138297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 139016 138297 310 324 0 138086 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 556064

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 28036
/proc/meminfo: memFree=1286776/2055920 swapFree=4183928/4192956
[pid=27835] ppid=27833 vsize=556064 CPUtime=1800.09
/proc/27835/stat : 27835 (bsolo3.0.17) R 27833 27835 26650 0 -1 4194304 139493 0 0 0 179883 126 0 0 25 0 1 0 270752487 569409536 138297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27835/statm: 139016 138297 310 324 0 138086 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 556064

Child status: 15
Real time (s): 1800.8
CPU time (s): 1800.19
CPU user time (s): 1798.83
CPU system time (s): 1.35579
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 556064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.35579
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139497
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= 11
involuntary context switches= 5347

runsolver used 1.45378 second user time and 3.52046 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Mon Apr 30 15:40:30 UTC 2007

IDJOB= 432687
IDBENCH= 1686
IDSOLVER= 199
FILE ID= node68/432687-1177947629

PBS_JOBID= 4727531

Free space on /tmp= 66557 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-scrs8.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432687-1177947629/instance-432687-1177947629.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-432687-1177947629 -o ROOT/results/node68/solver-432687-1177947629 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432687-1177947629/instance-432687-1177947629.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  f3194c704d6cb84122c01530d022722f

RANDOM SEED= 455967231

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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:       1840848 kB
Buffers:         19464 kB
Cached:         117364 kB
SwapCached:       3048 kB
Active:          31400 kB
Inactive:       115124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1840848 kB
SwapTotal:     4192956 kB
SwapFree:      4183928 kB
Dirty:            7936 kB
Writeback:           0 kB
Mapped:          15736 kB
Slab:            54616 kB
Committed_AS:  3045832 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= 66557 MiB

End job on node68 on Mon Apr 30 16:10:32 UTC 2007