Trace number 433303

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.13 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-agg.opb
MD5SUM4f19aa044e880280faec0077a2509ba8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4890
Total number of constraints363
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 constraints363
Minimum length of a constraint30
Maximum length of a constraint540
Number of terms in the objective function 3930
Biggest coefficient in the objective function 5373004087296
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 556141355997381
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 22763326668800000
Number of bits of the biggest number in a constraint 55
Biggest sum of numbers in a constraint 46271983665442689
Number of bits of the biggest sum of numbers56
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/433303-1177957465/instance-433303-1177957465.opb
0.00/0.00	c File size is 783503 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.09/0.11	c Highest Coefficient sum: 4.6272e+16
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.107 s
0.09/0.11	c Var: 4890 Constr: 399 6/0/393 Lit: 56430 Watch. Lit: 31202
0.09/0.11	c Obj. Vars: 3930 (80.3681 % of total variables)
0.19/0.23	c Pre-processing Time: 0.232 s
1800.03/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.50	c        0   2992      175    30930  176    23540   61860      0      0 0.23
1800.03/1800.50	c      101   2992      276    37051  134    24858   68047    101    405 0.25
1800.03/1800.50	c      251   2992      426    50771  119    25900   74852    251    890 0.28
1800.03/1800.50	c      476   2992      651    74393  114    26532   82338    476    963 0.49
1800.03/1800.50	c      815   2992      990   101019  102    27178   90572    815    819 0.99
1800.03/1800.50	c     1325   2992     1500   132970   88    28260   99630   1325    925 1.43
1800.03/1800.50	c     2088   2992     2263   269147  118    29633  109594   2088   1292 1.61
1800.03/1800.50	c     3234   2992     3409   357143  104    31629  120554   3234   1687 1.92
1800.03/1800.50	c     4955   2992     5130   618011  120    35129  132610   4955   2075 2.39
1800.03/1800.50	c     7540   2992     7715   858460  111    40372  145872   7540   2283 3.30
1800.03/1800.50	c    11420   2992    11595  1785632  154    47918  160460  11420   2321 4.92
1800.03/1800.50	c    17243   2992    17418  3136293  180    59531  176507  17243   2391 7.21
1800.03/1800.50	c    25981   2992    26156  5134942  196    76981  194158  25981   2310 11.24
1800.03/1800.50	c    39092   2992    39267  9280399  236   102896  213574  39092   1068 36.58
1800.03/1800.50	c    58763   2992    58938 11667346  197   142219  234932  58763    962 61.08
1800.03/1800.50	c    88275   2991    88450 14412005  162   201043  258426  88275   1061 83.14
1800.03/1800.50	c   132546   2991   132721 17347047  130   289574  284269 132546    748 177.18
1800.03/1800.50	c   198957   2991   199132 23807388  119   422331  312696 198957    757 262.48
1800.03/1800.50	c   298577   2991   298752 42928793  143   621579  343966 298577    175 1701.59
1800.03/1800.50	c Caught signal: 15
1800.03/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.50	c   18   311392   2874   337840   311567 45431941 311392    172 1800.03
1800.03/1800.50	s UNKNOWN
1800.03/1800.50	c Total time: 1800.03 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/node63/watcher-433303-1177957465 -o ROOT/results/node63/solver-433303-1177957465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433303-1177957465/instance-433303-1177957465.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.95 0.90 3/64 14707
/proc/meminfo: memFree=1788428/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=12504 CPUtime=0
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 271736476 12804096 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3183935 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 3126 332 279 324 0 2004 0

[startup+0.0655049 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 14707
/proc/meminfo: memFree=1788428/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=5412 CPUtime=0.05
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 653 0 0 0 5 0 0 0 18 0 1 0 271736476 5541888 623 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 1353 623 395 324 0 231 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5412

[startup+0.101509 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 14707
/proc/meminfo: memFree=1788428/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=5672 CPUtime=0.09
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 789 0 0 0 9 0 0 0 18 0 1 0 271736476 5808128 759 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524931 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 1418 759 455 324 0 296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5672

[startup+0.30153 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 14707
/proc/meminfo: memFree=1788428/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=6400 CPUtime=0.29
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 1211 0 0 0 28 1 0 0 19 0 1 0 271736476 6553600 983 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 1600 983 310 324 0 670 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6400

[startup+0.701572 s]
/proc/loadavg: 0.92 0.95 0.90 3/64 14707
/proc/meminfo: memFree=1788428/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=6528 CPUtime=0.69
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 1216 0 0 0 68 1 0 0 22 0 1 0 271736476 6684672 988 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 1632 988 310 324 0 702 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6528

[startup+1.50166 s]
/proc/loadavg: 0.93 0.95 0.90 2/65 14708
/proc/meminfo: memFree=1785412/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=7700 CPUtime=1.49
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 1532 0 0 0 148 1 0 0 25 0 1 0 271736476 7884800 1304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 1925 1304 310 324 0 995 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7700

[startup+3.10183 s]
/proc/loadavg: 0.93 0.95 0.90 2/65 14708
/proc/meminfo: memFree=1780676/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=16500 CPUtime=3.09
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 3724 0 0 0 307 2 0 0 25 0 1 0 271736476 16896000 3496 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 4125 3496 310 324 0 3195 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16500

[startup+6.30116 s]
/proc/loadavg: 0.93 0.95 0.90 2/65 14708
/proc/meminfo: memFree=1757508/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=40936 CPUtime=6.29
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 9835 0 0 0 623 6 0 0 25 0 1 0 271736476 41918464 9607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 10234 9607 310 324 0 9304 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40936

[startup+12.7018 s]
/proc/loadavg: 0.94 0.96 0.91 2/65 14708
/proc/meminfo: memFree=1717060/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=75932 CPUtime=12.68
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 18584 0 0 0 1258 10 0 0 25 0 1 0 271736476 77754368 18356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 18983 18356 310 324 0 18053 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 75932

[startup+25.5012 s]
/proc/loadavg: 0.95 0.96 0.91 2/65 14708
/proc/meminfo: memFree=1678852/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=113480 CPUtime=25.48
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 27957 0 0 0 2532 16 0 0 25 0 1 0 271736476 116203520 27729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 28370 27729 310 324 0 27440 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 113480

[startup+51.1019 s]
/proc/loadavg: 0.97 0.96 0.91 2/65 14708
/proc/meminfo: memFree=1641284/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=151056 CPUtime=51.08
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 37372 0 0 0 5085 23 0 0 25 0 1 0 271736476 154681344 37144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 37764 37144 310 324 0 36834 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 151056

[startup+102.304 s]
/proc/loadavg: 0.98 0.96 0.91 2/65 14708
/proc/meminfo: memFree=1575812/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=216056 CPUtime=102.26
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 53600 0 0 0 10192 34 0 0 25 0 1 0 271736476 221241344 53372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 54014 53372 310 324 0 53084 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 216056

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1554820/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=236884 CPUtime=162.25
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 58830 0 0 0 16186 39 0 0 25 0 1 0 271736476 242569216 58602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 59221 58602 310 324 0 58291 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 236884

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1518340/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=273520 CPUtime=222.23
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 67982 0 0 0 22178 45 0 0 25 0 1 0 271736476 280084480 67754 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 68380 67754 310 324 0 67450 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 273520

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1430788/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=361200 CPUtime=282.22
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 89905 0 0 0 28160 62 0 0 25 0 1 0 271736476 369868800 89677 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550829 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 90300 89677 310 324 0 89370 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 361200

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1396996/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=394400 CPUtime=342.2
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 98188 0 0 0 34150 70 0 0 25 0 1 0 271736476 403865600 97960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 98600 97960 310 324 0 97670 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 394400

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1376900/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=414560 CPUtime=402.18
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 103235 0 0 0 40143 75 0 0 25 0 1 0 271736476 424509440 103007 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 103640 103007 310 324 0 102710 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 414560

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1361540/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=429592 CPUtime=462.17
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 107008 0 0 0 46137 80 0 0 25 0 1 0 271736476 439902208 106780 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 107398 106780 310 324 0 106468 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 429592

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1349252/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=442048 CPUtime=522.15
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 110099 0 0 0 52132 83 0 0 25 0 1 0 271736476 452657152 109871 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 110512 109871 310 324 0 109582 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 442048

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1337988/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=453108 CPUtime=582.13
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 112881 0 0 0 58127 86 0 0 25 0 1 0 271736476 463982592 112653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 113277 112653 310 324 0 112347 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 453108

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1327812/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=463136 CPUtime=642.12
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 115389 0 0 0 64124 88 0 0 25 0 1 0 271736476 474251264 115161 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 115784 115161 310 324 0 114854 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 463136


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1292164/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=498856 CPUtime=882.06
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 124298 0 0 0 88108 98 0 0 25 0 1 0 271736476 510828544 124070 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 124714 124070 310 324 0 123784 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 498856

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1284228/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=506832 CPUtime=942.04
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 126303 0 0 0 94103 101 0 0 25 0 1 0 271736476 518995968 126075 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3411598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 126708 126075 310 324 0 125778 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 506832

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1276100/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=514808 CPUtime=1002.03
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 128310 0 0 0 100100 103 0 0 25 0 1 0 271736476 527163392 128082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 128702 128082 310 324 0 127772 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 514808

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14708
/proc/meminfo: memFree=1268932/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=522004 CPUtime=1062.02
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 130108 0 0 0 106097 105 0 0 25 0 1 0 271736476 534532096 129880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 130501 129880 310 324 0 129571 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 522004

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14710
/proc/meminfo: memFree=1261764/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=529076 CPUtime=1122
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 131874 0 0 0 112094 106 0 0 25 0 1 0 271736476 541773824 131646 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 132269 131646 310 324 0 131339 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 529076

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14710
/proc/meminfo: memFree=1255108/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=535888 CPUtime=1181.99
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 133567 0 0 0 118090 109 0 0 25 0 1 0 271736476 548749312 133339 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 133972 133339 310 324 0 133042 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 535888

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14710
/proc/meminfo: memFree=1248836/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=542076 CPUtime=1241.96
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 135104 0 0 0 124086 110 0 0 25 0 1 0 271736476 555085824 134876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 135519 134876 310 324 0 134589 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 542076

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 14710
/proc/meminfo: memFree=1242500/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=548260 CPUtime=1301.96
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 136667 0 0 0 130084 112 0 0 25 0 1 0 271736476 561418240 136439 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 137065 136439 310 324 0 136135 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 548260

[startup+1362.3 s]
/proc/loadavg: 1.04 0.99 0.91 2/65 14710
/proc/meminfo: memFree=1236612/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=554176 CPUtime=1361.94
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 138142 0 0 0 136080 114 0 0 25 0 1 0 271736476 567476224 137914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 138544 137914 310 324 0 137614 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 554176

[startup+1422.31 s]
/proc/loadavg: 1.05 1.00 0.92 2/65 14710
/proc/meminfo: memFree=1230596/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=560088 CPUtime=1421.93
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 139616 0 0 0 142077 116 0 0 25 0 1 0 271736476 573530112 139388 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 140022 139388 310 324 0 139092 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 560088

[startup+1482.3 s]
/proc/loadavg: 1.06 1.01 0.93 2/65 14710
/proc/meminfo: memFree=1224964/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=565748 CPUtime=1481.91
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 141027 0 0 0 148073 118 0 0 25 0 1 0 271736476 579325952 140799 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 141437 140799 310 324 0 140507 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 565748

[startup+1542.3 s]
/proc/loadavg: 1.12 1.04 0.94 2/65 14710
/proc/meminfo: memFree=1219460/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=571148 CPUtime=1541.89
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 142398 0 0 0 154070 119 0 0 25 0 1 0 271736476 584855552 142170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 142787 142170 310 324 0 141857 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 571148

[startup+1602.3 s]
/proc/loadavg: 1.07 1.04 0.94 2/65 14710
/proc/meminfo: memFree=1214084/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=576552 CPUtime=1601.88
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 143750 0 0 0 160067 121 0 0 25 0 1 0 271736476 590389248 143522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 144138 143522 310 324 0 143208 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 576552

[startup+1662.3 s]
/proc/loadavg: 1.06 1.05 0.95 2/65 14710
/proc/meminfo: memFree=1209028/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=581572 CPUtime=1661.86
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 144999 0 0 0 166063 123 0 0 25 0 1 0 271736476 595529728 144771 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 145393 144771 310 324 0 144463 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 581572

[startup+1722.3 s]
/proc/loadavg: 1.02 1.04 0.95 2/65 14710
/proc/meminfo: memFree=1198404/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=592516 CPUtime=1721.84
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 147716 0 0 0 172059 125 0 0 25 0 1 0 271736476 606736384 147488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 148129 147488 310 324 0 147199 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 592516

[startup+1782.3 s]
/proc/loadavg: 1.01 1.03 0.95 2/65 14710
/proc/meminfo: memFree=1178116/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=612484 CPUtime=1781.83
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 152714 0 0 0 178053 130 0 0 25 0 1 0 271736476 627183616 152486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 153121 152486 310 324 0 152191 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 612484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 0.95 2/65 14710
/proc/meminfo: memFree=1172356/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=618144 CPUtime=1800.03
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 154123 0 0 0 179871 132 0 0 25 0 1 0 271736476 632979456 153895 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 154536 153895 310 324 0 153606 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 618144

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 0.95 2/65 14710
/proc/meminfo: memFree=1172356/2055920 swapFree=4182900/4192956
[pid=14707] ppid=14705 vsize=618144 CPUtime=1800.03
/proc/14707/stat : 14707 (bsolo3.0.17) R 14705 14707 14301 0 -1 4194304 154123 0 0 0 179871 132 0 0 25 0 1 0 271736476 632979456 153895 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14707/statm: 154536 153895 310 324 0 153606 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 618144

Child status: 15
Real time (s): 1800.6
CPU time (s): 1800.13
CPU user time (s): 1798.71
CPU system time (s): 1.41978
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 618144

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

runsolver used 1.46078 second user time and 3.46447 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Mon Apr 30 18:24:26 UTC 2007

IDJOB= 433303
IDBENCH= 2457
IDSOLVER= 199
FILE ID= node63/433303-1177957465

PBS_JOBID= 4727723

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  4f19aa044e880280faec0077a2509ba8

RANDOM SEED= 46851992

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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:       1788836 kB
Buffers:         14512 kB
Cached:         176652 kB
SwapCached:       3860 kB
Active:          79884 kB
Inactive:       120932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1788836 kB
SwapTotal:     4192956 kB
SwapFree:      4182900 kB
Dirty:            7484 kB
Writeback:           0 kB
Mapped:          15608 kB
Slab:            52280 kB
Committed_AS:  2356792 kB
PageTables:       1460 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 node63 on Mon Apr 30 18:54:28 UTC 2007