Trace number 432667

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-standgub.opb
MD5SUMbe7d2de9880253117af16fa9444a1c79
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 variables33244
Total number of constraints456
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 constraints456
Minimum length of a constraint11
Maximum length of a constraint22350
Number of terms in the objective function 210
Biggest coefficient in the objective function 86232
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 524437
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 542229
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/432667-1177947346/instance-432667-1177947346.opb
0.00/0.00	c File size is 923451 bytes.
0.19/0.20	c Highest Coefficient sum: 542229
0.19/0.20	c Parsing was ok!!
0.19/0.20	c Total parsing time: 0.198 s
0.19/0.21	c Var: 33244 Constr: 617 4/0/613 Lit: 154254 Watch. Lit: 53677
0.19/0.21	c Obj. Vars: 210 (0.631693 % of total variables)
26.68/26.78	c Pre-processing Time: 26.774 s
26.68/26.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.68/26.78	c        0  19436      579   146223  252   108768  292267      0      0 26.77
26.68/26.78	c Switching off LPR mode.
1800.07/1800.71	c      100  19436      679   166679  245   109753  321494    100      3 27.00
1800.07/1800.71	c      250  19436      829   189172  228   110049  353644    250      9 27.19
1800.07/1800.71	c      475  19436     1054   224666  213   110502  389009    475     17 27.43
1800.07/1800.71	c      813  19436     1392   283815  203   111555  427910    813     28 28.04
1800.07/1800.71	c     1325  19436     1904   376659  197   112583  470702   1325     45 28.92
1800.07/1800.71	c     2088  19436     2667   528048  197   114109  517773   2088     67 30.87
1800.07/1800.71	c     3236  19436     3815   706022  185   116406  569551   3236     96 33.50
1800.07/1800.71	c     4962  19436     5541  1133348  204   120096  626507   4962    142 34.87
1800.07/1800.71	c     7546  19436     8125  1586700  195   125260  689158   7546    196 38.43
1800.07/1800.71	c    11426  19432    12005  2396810  199   133164  758074  11426    233 49.01
1800.07/1800.71	c    17248  19432    17827  3002905  168   144736  833882  17248    235 73.37
1800.07/1800.71	c    25990  19432    26569  6743332  253   162229  917271  25990    260 99.59
1800.07/1800.71	c    39100  19432    39679 11227822  282   188410  500000  39100    231 169.24
1800.07/1800.71	c    58770  19432    59349 12808421  215   227766  550001  58770    233 251.67
1800.07/1800.71	c    88281  19432    88860 19538755  219   286749  605002  88281    181 487.51
1800.07/1800.71	c   132551  19432   133130 23895513  179   375056  665503 132551    114 1159.21
1800.07/1800.71	c Caught signal: 15
1800.07/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.71	c   16   155621  35272  1305187   156200 25070396 155621     86 1800.08
1800.07/1800.71	s UNKNOWN
1800.07/1800.71	c Total time: 1800.08 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/node74/watcher-432667-1177947346 -o ROOT/results/node74/solver-432667-1177947346 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432667-1177947346/instance-432667-1177947346.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.91 0.95 0.90 3/66 2125
/proc/meminfo: memFree=1794072/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=12640 CPUtime=0
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242649434 12943360 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 3160 333 279 324 0 2004 0

[startup+0.0882739 s]
/proc/loadavg: 0.91 0.95 0.90 3/66 2125
/proc/meminfo: memFree=1794072/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=7732 CPUtime=0.08
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 1231 0 0 0 8 0 0 0 18 0 1 0 242649434 7917568 1161 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 1933 1161 376 324 0 777 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7732

[startup+0.101274 s]
/proc/loadavg: 0.91 0.95 0.90 3/66 2125
/proc/meminfo: memFree=1794072/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=8004 CPUtime=0.09
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 1307 0 0 0 9 0 0 0 18 0 1 0 242649434 8196096 1237 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524931 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 2001 1237 392 324 0 845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8004

[startup+0.301297 s]
/proc/loadavg: 0.91 0.95 0.90 3/66 2125
/proc/meminfo: memFree=1794072/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=13872 CPUtime=0.29
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3177 0 0 0 28 1 0 0 19 0 1 0 242649434 14204928 2749 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 3468 2749 304 324 0 2538 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13872

[startup+0.701343 s]
/proc/loadavg: 0.91 0.95 0.90 3/66 2125
/proc/meminfo: memFree=1794072/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=14004 CPUtime=0.69
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3191 0 0 0 68 1 0 0 22 0 1 0 242649434 14340096 2763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 3501 2763 304 324 0 2571 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14004

[startup+1.50144 s]
/proc/loadavg: 0.91 0.95 0.90 2/67 2126
/proc/meminfo: memFree=1784144/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=14004 CPUtime=1.49
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3191 0 0 0 148 1 0 0 25 0 1 0 242649434 14340096 2763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 3501 2763 304 324 0 2571 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14004

[startup+3.10162 s]
/proc/loadavg: 0.91 0.95 0.90 2/67 2126
/proc/meminfo: memFree=1783760/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=14004 CPUtime=3.09
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3191 0 0 0 308 1 0 0 25 0 1 0 242649434 14340096 2763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 3501 2763 304 324 0 2571 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14004

[startup+6.30199 s]
/proc/loadavg: 0.92 0.95 0.90 2/67 2126
/proc/meminfo: memFree=1783768/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=14004 CPUtime=6.29
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3191 0 0 0 627 2 0 0 25 0 1 0 242649434 14340096 2763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 3501 2763 304 324 0 2571 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14004

[startup+12.7017 s]
/proc/loadavg: 0.93 0.95 0.90 2/67 2126
/proc/meminfo: memFree=1783768/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=14004 CPUtime=12.68
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3191 0 0 0 1266 2 0 0 25 0 1 0 242649434 14340096 2763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 3501 2763 304 324 0 2571 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14004

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.91 2/67 2126
/proc/meminfo: memFree=1782744/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=15352 CPUtime=25.48
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 3872 0 0 0 2544 4 0 0 25 0 1 0 242649434 15720448 3119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540661 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 3838 3119 306 324 0 2908 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15352

[startup+51.1012 s]
/proc/loadavg: 0.96 0.96 0.91 2/67 2126
/proc/meminfo: memFree=1752344/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=46556 CPUtime=51.08
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 11694 0 0 0 5099 9 0 0 25 0 1 0 242649434 47673344 10941 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 11639 10941 310 324 0 10709 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46556

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.91 2/67 2126
/proc/meminfo: memFree=1694744/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=103216 CPUtime=102.27
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 25876 0 0 0 10210 17 0 0 25 0 1 0 242649434 105693184 25123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 25804 25123 310 324 0 24874 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 103216

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2126
/proc/meminfo: memFree=1644632/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=153480 CPUtime=162.24
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 38424 0 0 0 16199 25 0 0 25 0 1 0 242649434 157163520 37671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 38370 37671 310 324 0 37440 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 153480

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2126
/proc/meminfo: memFree=1627096/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=170680 CPUtime=222.22
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 42713 0 0 0 22193 29 0 0 25 0 1 0 242649434 174776320 41960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 42670 41960 310 324 0 41740 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 170680

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2126
/proc/meminfo: memFree=1615000/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=182684 CPUtime=282.21
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 45715 0 0 0 28190 31 0 0 25 0 1 0 242649434 187068416 44962 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 45671 44962 310 324 0 44741 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 182684

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1613592/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=184048 CPUtime=342.19
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 46073 0 0 0 34188 31 0 0 25 0 1 0 242649434 188465152 45320 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 46012 45320 310 324 0 45082 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 184048

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1612120/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=185520 CPUtime=402.17
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 46433 0 0 0 40186 31 0 0 25 0 1 0 242649434 189972480 45680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 46380 45680 310 324 0 45450 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 185520

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1560664/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=237436 CPUtime=462.16
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 59404 0 0 0 46175 41 0 0 25 0 1 0 242649434 243134464 58651 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 59359 58651 310 324 0 58429 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 237436

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1503640/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=293824 CPUtime=522.14
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 73514 0 0 0 52162 52 0 0 25 0 1 0 242649434 300875776 72761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10198750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 73456 72761 310 324 0 72526 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 293824

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1488152/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=309868 CPUtime=582.12
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 77542 0 0 0 58157 55 0 0 25 0 1 0 242649434 317304832 76789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 77467 76789 310 324 0 76537 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 309868

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1481688/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=315616 CPUtime=642.11
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 78957 0 0 0 64155 56 0 0 25 0 1 0 242649434 323190784 78204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572650 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 78904 78204 310 324 0 77974 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 315616


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1473048/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=324292 CPUtime=882.03
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 81118 0 0 0 88144 59 0 0 25 0 1 0 242649434 332075008 80365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 81073 80365 310 324 0 80143 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 324292

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1471832/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=325544 CPUtime=942.01
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 81434 0 0 0 94142 59 0 0 25 0 1 0 242649434 333357056 80681 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 81386 80681 310 324 0 80456 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 325544

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1470680/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=326532 CPUtime=1002
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 81708 0 0 0 100140 60 0 0 25 0 1 0 242649434 334368768 80955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10190998 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 81633 80955 310 324 0 80703 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 326532

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1469400/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=327924 CPUtime=1061.98
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 82051 0 0 0 106138 60 0 0 25 0 1 0 242649434 335794176 81298 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 81981 81298 310 324 0 81051 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 327924

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1467480/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=329908 CPUtime=1121.96
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 82551 0 0 0 112135 61 0 0 25 0 1 0 242649434 337825792 81798 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 82477 81798 310 324 0 81547 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 329908

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1465752/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=331652 CPUtime=1181.94
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 82968 0 0 0 118132 62 0 0 25 0 1 0 242649434 339611648 82215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 82913 82215 310 324 0 81983 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 331652

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1463704/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=333612 CPUtime=1241.93
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 83474 0 0 0 124130 63 0 0 25 0 1 0 242649434 341618688 82721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 83403 82721 310 324 0 82473 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 333612

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1462168/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=335124 CPUtime=1301.91
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 83846 0 0 0 130128 63 0 0 25 0 1 0 242649434 343166976 83093 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 83781 83093 310 324 0 82851 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 335124

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1460824/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=336452 CPUtime=1361.89
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 84174 0 0 0 136125 64 0 0 25 0 1 0 242649434 344526848 83421 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 84113 83421 310 324 0 83183 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 336452

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1459224/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=338008 CPUtime=1421.87
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 84566 0 0 0 142123 64 0 0 25 0 1 0 242649434 346120192 83813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 84502 83813 310 324 0 83572 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 338008

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2128
/proc/meminfo: memFree=1457688/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=339588 CPUtime=1481.85
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 84965 0 0 0 148120 65 0 0 25 0 1 0 242649434 347738112 84212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 84897 84212 310 324 0 83967 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 339588

[startup+1542.3 s]
/proc/loadavg: 1.11 1.00 0.92 2/73 2292
/proc/meminfo: memFree=1454688/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=341268 CPUtime=1541.77
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 85379 0 0 0 154110 67 0 0 25 0 1 0 242649434 349458432 84626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 85317 84626 310 324 0 84387 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 341268

[startup+1602.3 s]
/proc/loadavg: 1.04 1.00 0.92 2/67 2338
/proc/meminfo: memFree=1454032/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=342944 CPUtime=1601.72
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 85806 0 0 0 160104 68 0 0 25 0 1 0 242649434 351174656 85053 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 85736 85053 310 324 0 84806 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 342944

[startup+1662.3 s]
/proc/loadavg: 1.01 1.00 0.92 2/67 2338
/proc/meminfo: memFree=1452240/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=344756 CPUtime=1661.7
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 86253 0 0 0 166102 68 0 0 25 0 1 0 242649434 353030144 85500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 86189 85500 310 324 0 85259 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 344756

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 2338
/proc/meminfo: memFree=1450512/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=346524 CPUtime=1721.69
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 86688 0 0 0 172100 69 0 0 25 0 1 0 242649434 354840576 85935 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551970 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 86631 85935 310 324 0 85701 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 346524

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 2338
/proc/meminfo: memFree=1448720/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=348164 CPUtime=1781.67
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 87108 0 0 0 178097 70 0 0 25 0 1 0 242649434 356519936 86355 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 87041 86355 310 324 0 86111 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 348164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 2338
/proc/meminfo: memFree=1448208/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=348864 CPUtime=1800.07
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 87260 0 0 0 179937 70 0 0 25 0 1 0 242649434 357236736 86507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 87216 86507 310 324 0 86286 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 348864

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.92 2/67 2338
/proc/meminfo: memFree=1448208/2055920 swapFree=4183092/4192956
[pid=2125] ppid=2123 vsize=348864 CPUtime=1800.07
/proc/2125/stat : 2125 (bsolo3.0.17) R 2123 2125 1213 0 -1 4194304 87260 0 0 0 179937 70 0 0 25 0 1 0 242649434 357236736 86507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2125/statm: 87216 86507 310 324 0 86286 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 348864

Child status: 15
Real time (s): 1800.78
CPU time (s): 1800.14
CPU user time (s): 1799.38
CPU system time (s): 0.760884
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 348864

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

runsolver used 1.50177 second user time and 3.48847 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Mon Apr 30 15:35:47 UTC 2007

IDJOB= 432667
IDBENCH= 1666
IDSOLVER= 199
FILE ID= node74/432667-1177947346

PBS_JOBID= 4727526

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  be7d2de9880253117af16fa9444a1c79

RANDOM SEED= 388999047

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1794480 kB
Buffers:         17264 kB
Cached:         160452 kB
SwapCached:       3096 kB
Active:          77676 kB
Inactive:       117076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1794480 kB
SwapTotal:     4192956 kB
SwapFree:      4183092 kB
Dirty:            7584 kB
Writeback:           0 kB
Mapped:          22996 kB
Slab:            52448 kB
Committed_AS:  4138332 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103238 MiB

End job on node74 on Mon Apr 30 16:05:50 UTC 2007