Trace number 348293

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16? (TO) 1800.18 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-ship12s.opb
MD5SUMbde0c0fbe1d85bc08e3fa72426bea662
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 variables82890
Total number of constraints1037
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 constraints1037
Minimum length of a constraint30
Maximum length of a constraint1470
Number of terms in the objective function 82890
Biggest coefficient in the objective function 3868
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 594441
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 594441
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.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/348293-1176575722/instance-348293-1176575722.opb
0.00/0.00	c File size is 3428378 bytes.
0.69/0.73	c Highest Coefficient sum: 594441
0.69/0.73	c Parsing was ok!!
0.69/0.73	c Total parsing time: 0.728 s
0.69/0.76	c Var: 82890 Constr: 1973 801/0/1172 Lit: 402450 Watch. Lit: 89366
0.69/0.76	c Obj. Vars: 82890 (100 % of total variables)
38.77/38.87	c Pre-processing Time: 38.859 s
38.77/38.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.77/38.87	c        0  43593     1412   374610  265   137153  656993      0      0 38.86
38.77/38.87	c Switching off LPR mode.
1799.98/1800.64	c      102  43593     1514   378104  249   272595  722693    102      2 43.45
1799.98/1800.64	c      252  43593     1664   383576  230   272939  794963    252      5 43.96
1799.98/1800.64	c      478  43593     1890   393653  208   273760  874460    478     10 45.28
1799.98/1800.64	c      817  43593     2229   406880  182   274910  961907    817     17 46.69
1799.98/1800.64	c     1325  43593     2737   429832  157   275927  500000   1325     26 49.09
1799.98/1800.64	c     2088  43593     3500   467459  133   277411  550001   2088     41 49.93
1799.98/1800.64	c     3235  43593     4647   522847  112   279670  605002   3235     63 51.23
1799.98/1800.64	c     4956  43593     6368   606442   95   283129  665503   4956     93 53.23
1799.98/1800.64	c     7541  43593     8953   731147   81   288096  732054   7541    128 58.74
1799.98/1800.64	c    11420  43593    12832   918104   71   295775  805260  11420    179 63.55
1799.98/1800.64	c    17242  43593    18654  1199443   64   307369  885787  17242    245 70.27
1799.98/1800.64	c    25979  43593    27391  1627503   59   324801  974366  25979    312 83.25
1799.98/1800.64	c    39089  43593    40501  2258590   55   351059  500000  39089    375 104.22
1799.98/1800.64	c    58760  43593    60172  3223236   53   390363  550001  58760    409 143.48
1799.98/1800.64	c    88270  43593    89682 16257519  181   441866  605002  88270    353 249.94
1799.98/1800.64	c   132540  43593   133952 25291946  188   528472  665503 132540    336 393.34
1799.98/1800.64	c   198950  43593   200362 40907274  204   657870  732054 198950    274 726.02
1799.98/1800.64	c   298571  43593   299983 59573296  198   856909  805260 298571    256 1163.43
1799.98/1800.64	c Resources Exceeded
1799.98/1800.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.98/1800.64	c   18   384501 201023  1606564   385913 75504079 384501    213 1800.02
1799.98/1800.64	s UNKNOWN
1799.98/1800.64	c Total time: 1800.02 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-348293-1176575722 -o ROOT/results/node5/solver-348293-1176575722 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348293-1176575722/instance-348293-1176575722.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.96 1.02 1.00 3/77 28190
/proc/meminfo: memFree=1793016/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=15088 CPUtime=0
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 133609850 15450112 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 3772 337 281 324 0 2003 0

[startup+0.030094 s]
/proc/loadavg: 0.96 1.02 1.00 3/77 28190
/proc/meminfo: memFree=1793016/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=16100 CPUtime=0.02
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 632 0 0 0 2 0 0 0 18 0 1 0 133609850 16486400 600 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 4025 600 313 324 0 2256 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16100

[startup+0.101102 s]
/proc/loadavg: 0.96 1.02 1.00 3/77 28190
/proc/meminfo: memFree=1793016/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=18488 CPUtime=0.09
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 1401 0 0 0 9 0 0 0 18 0 1 0 133609850 18931712 1250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134541250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 4719 1256 399 324 0 2950 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18488

[startup+0.301124 s]
/proc/loadavg: 0.96 1.02 1.00 3/77 28190
/proc/meminfo: memFree=1793016/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=16248 CPUtime=0.29
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 3149 0 0 0 28 1 0 0 19 0 1 0 133609850 16637952 2792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 4062 2792 630 324 0 2293 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16248

[startup+0.70117 s]
/proc/loadavg: 0.96 1.02 1.00 3/77 28190
/proc/meminfo: memFree=1793016/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=19748 CPUtime=0.69
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 4469 0 0 0 67 2 0 0 23 0 1 0 133609850 20221952 4112 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 4937 4112 1083 324 0 3168 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19748

[startup+1.50126 s]
/proc/loadavg: 0.96 1.02 1.00 2/78 28191
/proc/meminfo: memFree=1772976/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=25836 CPUtime=1.49
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 6730 0 0 0 143 6 0 0 25 0 1 0 133609850 26456064 5535 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 6459 5535 306 324 0 5528 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25836

[startup+3.10144 s]
/proc/loadavg: 0.96 1.02 1.00 2/78 28191
/proc/meminfo: memFree=1768560/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=29352 CPUtime=3.09
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 8408 0 0 0 301 8 0 0 25 0 1 0 133609850 30056448 6403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 7338 6403 308 324 0 6407 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29352

[startup+6.30181 s]
/proc/loadavg: 0.96 1.02 1.00 2/78 28191
/proc/meminfo: memFree=1768312/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=29352 CPUtime=6.28
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 8408 0 0 0 620 8 0 0 25 0 1 0 133609850 30056448 6403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 7338 6403 308 324 0 6407 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29352

[startup+12.7015 s]
/proc/loadavg: 0.96 1.02 1.00 2/78 28191
/proc/meminfo: memFree=1768568/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=29352 CPUtime=12.69
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 8408 0 0 0 1260 9 0 0 25 0 1 0 133609850 30056448 6403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 7338 6403 308 324 0 6407 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29352

[startup+25.502 s]
/proc/loadavg: 0.97 1.02 1.00 2/78 28191
/proc/meminfo: memFree=1768760/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=29352 CPUtime=25.48
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 8408 0 0 0 2538 10 0 0 25 0 1 0 133609850 30056448 6403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 7338 6403 308 324 0 6407 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29352

[startup+51.1019 s]
/proc/loadavg: 0.98 1.02 1.00 2/78 28191
/proc/meminfo: memFree=1767672/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=30880 CPUtime=51.07
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 9549 0 0 0 5091 16 0 0 25 0 1 0 133609850 31621120 6801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 7720 6801 312 324 0 6789 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30880

[startup+102.306 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 28191
/proc/meminfo: memFree=1741560/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=56588 CPUtime=102.26
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 15982 0 0 0 10197 29 0 0 25 0 1 0 133609850 57946112 13234 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 14147 13234 312 324 0 13216 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 56588

[startup+162.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 28191
/proc/meminfo: memFree=1694136/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=106316 CPUtime=162.24
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 28407 0 0 0 16178 46 0 0 25 0 1 0 133609850 108867584 25659 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 26579 25659 312 324 0 25648 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 106316

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 28191
/proc/meminfo: memFree=1588088/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=209872 CPUtime=222.22
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 54314 0 0 0 22158 64 0 0 25 0 1 0 133609850 214908928 51566 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 52468 51566 312 324 0 51537 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 209872

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 28191
/proc/meminfo: memFree=1531320/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=266684 CPUtime=282.2
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 68500 0 0 0 28143 77 0 0 25 0 1 0 133609850 273084416 65752 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 66671 65752 312 324 0 65740 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 266684

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 28191
/proc/meminfo: memFree=1475832/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=321900 CPUtime=342.19
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 82329 0 0 0 34126 93 0 0 25 0 1 0 133609850 329625600 79581 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 80475 79581 312 324 0 79544 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 321900

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 28191
/proc/meminfo: memFree=1434296/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=363760 CPUtime=402.17
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 92798 0 0 0 40108 109 0 0 25 0 1 0 133609850 372490240 90050 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 90940 90050 312 324 0 90009 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 363760

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 28191
/proc/meminfo: memFree=1397368/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=400044 CPUtime=462.16
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 101853 0 0 0 46098 118 0 0 25 0 1 0 133609850 409645056 99105 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 100011 99105 312 324 0 99080 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 400044

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 28191
/proc/meminfo: memFree=1375352/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=422180 CPUtime=522.13
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 107400 0 0 0 52087 126 0 0 25 0 1 0 133609850 432312320 104652 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 105545 104652 312 324 0 104614 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 422180

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 28191
/proc/meminfo: memFree=1354552/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=442620 CPUtime=582.11
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 112505 0 0 0 58078 133 0 0 25 0 1 0 133609850 453242880 109757 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 110655 109757 312 324 0 109724 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 442620

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 28191
/proc/meminfo: memFree=1314360/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=482468 CPUtime=642.11
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 122479 0 0 0 64063 148 0 0 25 0 1 0 133609850 494047232 119731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 120617 119731 312 324 0 119686 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 482468


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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 28191
/proc/meminfo: memFree=1135672/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=660776 CPUtime=882.03
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 167041 0 0 0 88001 202 0 0 25 0 1 0 133609850 676634624 164293 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 165194 164293 312 324 0 164263 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 660776

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 28191
/proc/meminfo: memFree=1095160/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=701452 CPUtime=942.02
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 177211 0 0 0 93990 212 0 0 25 0 1 0 133609850 718286848 174463 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8326576 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 175363 174463 312 324 0 174432 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 701452

[startup+1002.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/78 28191
/proc/meminfo: memFree=1061048/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=735168 CPUtime=1001.99
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 185650 0 0 0 99976 223 0 0 25 0 1 0 133609850 752812032 182902 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 183792 182902 312 324 0 182861 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 735168

[startup+1062.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 28191
/proc/meminfo: memFree=1028216/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=768232 CPUtime=1061.98
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 193919 0 0 0 105964 234 0 0 25 0 1 0 133609850 786669568 191171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 192058 191171 312 324 0 191127 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 768232

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 28191
/proc/meminfo: memFree=999160/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=796928 CPUtime=1121.96
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 201097 0 0 0 111951 245 0 0 25 0 1 0 133609850 816054272 198349 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 199232 198349 312 324 0 198301 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 796928

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 28191
/proc/meminfo: memFree=975096/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=821000 CPUtime=1181.94
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 207121 0 0 0 117938 256 0 0 25 0 1 0 133609850 840704000 204373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 205250 204373 312 324 0 204319 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 821000

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28191
/proc/meminfo: memFree=954296/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=841588 CPUtime=1241.92
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 212258 0 0 0 123927 265 0 0 25 0 1 0 133609850 861786112 209510 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 210397 209510 312 324 0 209466 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 841588

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28191
/proc/meminfo: memFree=933240/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=862340 CPUtime=1301.91
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 217451 0 0 0 129918 273 0 0 25 0 1 0 133609850 883036160 214703 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 215585 214703 312 324 0 214654 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 862340

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28191
/proc/meminfo: memFree=914040/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=881668 CPUtime=1361.89
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 222264 0 0 0 135908 281 0 0 25 0 1 0 133609850 902828032 219516 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 220417 219516 312 324 0 219486 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 881668

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28191
/proc/meminfo: memFree=893432/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=902032 CPUtime=1421.88
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 227365 0 0 0 141898 290 0 0 25 0 1 0 133609850 923680768 224617 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 225508 224617 312 324 0 224577 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 902032

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28191
/proc/meminfo: memFree=870200/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=925460 CPUtime=1481.85
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 233227 0 0 0 147878 307 0 0 25 0 1 0 133609850 947671040 230479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 231365 230479 312 324 0 230434 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 925460

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 28217
/proc/meminfo: memFree=847368/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=946696 CPUtime=1541.83
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 238522 0 0 0 153868 315 0 0 25 0 1 0 133609850 969416704 235774 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 236674 235774 312 324 0 235743 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 946696

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28389
/proc/meminfo: memFree=827448/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=967668 CPUtime=1601.73
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 243778 0 0 0 159850 323 0 0 25 0 1 0 133609850 990892032 241030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 241917 241030 312 324 0 240986 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 967668

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28389
/proc/meminfo: memFree=807992/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=986964 CPUtime=1661.72
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 248590 0 0 0 165840 332 0 0 25 0 1 0 133609850 1010651136 245842 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 246741 245842 312 324 0 245810 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 986964

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28389
/proc/meminfo: memFree=789112/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=1005852 CPUtime=1721.69
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 253322 0 0 0 171829 340 0 0 25 0 1 0 133609850 1029992448 250574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 251463 250574 312 324 0 250532 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1005852

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28389
/proc/meminfo: memFree=772856/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=1021936 CPUtime=1781.68
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 257339 0 0 0 177822 346 0 0 25 0 1 0 133609850 1046462464 254591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 255484 254591 312 324 0 254553 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1021936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28389
/proc/meminfo: memFree=1141968/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=0 CPUtime=1800.08
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194308 258468 0 0 0 179654 354 0 0 25 0 1 0 133609850 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28389
/proc/meminfo: memFree=1141968/2055920 swapFree=4191880/4192956
[pid=28190] ppid=28188 vsize=0 CPUtime=1800.08
/proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194308 258468 0 0 0 179654 354 0 0 25 0 1 0 133609850 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28190/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.18
CPU user time (s): 1796.54
CPU system time (s): 3.63845
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 1026420

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

runsolver used 2.33364 second user time and 4.14037 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Apr 14 18:35:22 UTC 2007

IDJOB= 348293
IDBENCH= 1648
IDSOLVER= 163
FILE ID= node5/348293-1176575722

PBS_JOBID= 4556782

Free space on /tmp= 66550 MiB

SOLVER NAME= bsolo 3.0.16
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-ship12s.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348293-1176575722/instance-348293-1176575722.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-348293-1176575722 -o ROOT/results/node5/solver-348293-1176575722 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348293-1176575722/instance-348293-1176575722.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  bde0c0fbe1d85bc08e3fa72426bea662

RANDOM SEED= 266074558

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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.232
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.232
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:       1793616 kB
Buffers:         32644 kB
Cached:         125116 kB
SwapCached:        408 kB
Active:         164416 kB
Inactive:        47696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1793616 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            7908 kB
Writeback:           0 kB
Mapped:          70904 kB
Slab:            35812 kB
Committed_AS:  5517024 kB
PageTables:       1720 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= 66550 MiB

End job on node5 on Sat Apr 14 19:05:25 UTC 2007