Trace number 348540

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.16SAT (MO)51973 1515.78 1516.32

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-maros-r7.opb
MD5SUM24e8096a6d8928e5a9e214fdf85bd87e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark51973
Best CPU time to get the best result obtained on this benchmark1514.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51973
Optimality of the best value was proved NO
Number of variables282240
Total number of constraints3136
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 constraints3136
Minimum length of a constraint150
Maximum length of a constraint720
Number of terms in the objective function 188160
Biggest coefficient in the objective function 42
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 683648
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 80921
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 683648
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

Sorry, but this trace is too large and cannot be obtained.

Verifier Data (download as text)

OK	51973

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node70/watcher-348540-1176586689 -o ROOT/results/node70/solver-348540-1176586689 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348540-1176586689/instance-348540-1176586689.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: 1.16 1.03 1.01 3/64 29597
/proc/meminfo: memFree=1735224/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=36604 CPUtime=0
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 98206232 37482496 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 9151 335 281 324 0 2003 0

[startup+0.0549999 s]
/proc/loadavg: 1.16 1.03 1.01 3/64 29597
/proc/meminfo: memFree=1735224/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=38540 CPUtime=0.05
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 915 0 0 0 5 0 0 0 18 0 1 0 98206232 39464960 843 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 9635 843 343 324 0 2487 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 38540

[startup+0.102003 s]
/proc/loadavg: 1.16 1.03 1.01 3/64 29597
/proc/meminfo: memFree=1735224/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=40000 CPUtime=0.09
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 1405 0 0 0 9 0 0 0 18 0 1 0 98206232 40960000 1254 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8738791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 10000 1254 407 324 0 2852 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40000

[startup+0.302023 s]
/proc/loadavg: 1.16 1.03 1.01 3/64 29597
/proc/meminfo: memFree=1735224/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=46032 CPUtime=0.29
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 3465 0 0 0 28 1 0 0 19 0 1 0 98206232 47136768 3011 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8873780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 11508 3011 644 324 0 4360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46032

[startup+0.701064 s]
/proc/loadavg: 1.16 1.03 1.01 3/64 29597
/proc/meminfo: memFree=1735224/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=50172 CPUtime=0.68
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 7234 0 0 0 66 2 0 0 22 0 1 0 98206232 51376128 6274 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8883409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 12543 6274 1090 324 0 5395 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 50172

[startup+1.50114 s]
/proc/loadavg: 1.16 1.03 1.01 2/65 29598
/proc/meminfo: memFree=1710064/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=60520 CPUtime=1.49
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 10790 0 0 0 145 4 0 0 25 0 1 0 98206232 61972480 9830 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8873754 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 15130 9830 2021 324 0 7982 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60520

[startup+3.1013 s]
/proc/loadavg: 1.15 1.03 1.01 2/65 29598
/proc/meminfo: memFree=1696432/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=79520 CPUtime=3.09
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 17360 0 0 0 303 6 0 0 25 0 1 0 98206232 81428480 16400 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8873744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 19880 16400 3790 324 0 12732 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79520

[startup+6.30163 s]
/proc/loadavg: 1.15 1.03 1.01 2/65 29598
/proc/meminfo: memFree=1659824/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=144592 CPUtime=6.29
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 42181 0 0 0 604 25 0 0 25 0 1 0 98206232 148062208 34636 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 36148 34636 305 324 0 35217 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144592

[startup+12.7013 s]
/proc/loadavg: 1.12 1.03 1.01 2/65 29598
/proc/meminfo: memFree=1555384/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=186976 CPUtime=12.68
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 55542 0 0 0 1228 40 0 0 25 0 1 0 98206232 191463424 45239 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 46744 45239 307 324 0 45813 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 186976

[startup+25.5026 s]
/proc/loadavg: 1.10 1.03 1.01 2/65 29598
/proc/meminfo: memFree=1555576/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=186976 CPUtime=25.48
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 55542 0 0 0 2501 47 0 0 25 0 1 0 98206232 191463424 45239 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 46744 45239 307 324 0 45813 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 186976

[startup+51.1021 s]
/proc/loadavg: 1.07 1.03 1.01 2/65 29598
/proc/meminfo: memFree=1555704/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=186976 CPUtime=51.08
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 55542 0 0 0 5059 49 0 0 25 0 1 0 98206232 191463424 45239 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540882 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 46744 45239 307 324 0 45813 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 186976

[startup+102.305 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 29598
/proc/meminfo: memFree=1555768/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=186976 CPUtime=102.26
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 55542 0 0 0 10175 51 0 0 25 0 1 0 98206232 191463424 45239 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540874 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 46744 45239 307 324 0 45813 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 186976

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 29598
/proc/meminfo: memFree=1593272/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=162360 CPUtime=162.24
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 60169 0 0 0 16159 65 0 0 25 0 1 0 98206232 166256640 39366 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 40590 39366 309 324 0 39659 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 162360

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 29598
/proc/meminfo: memFree=1376056/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=365360 CPUtime=222.23
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 114558 0 0 0 22068 155 0 0 25 0 1 0 98206232 374128640 90152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 91340 90152 312 324 0 90409 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 365360

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29598
/proc/meminfo: memFree=1210616/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=531808 CPUtime=282.21
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 156152 0 0 0 28034 187 0 0 25 0 1 0 98206232 544571392 131746 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 132952 131746 312 324 0 132021 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 531808

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29598
/proc/meminfo: memFree=1125496/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=615624 CPUtime=342.2
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 177121 0 0 0 34016 204 0 0 25 0 1 0 98206232 630398976 152715 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 153906 152715 312 324 0 152975 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 615624

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29598
/proc/meminfo: memFree=1064696/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=676028 CPUtime=402.18
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 192224 0 0 0 39999 219 0 0 25 0 1 0 98206232 692252672 167818 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 169007 167818 312 324 0 168076 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 676028

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29598
/proc/meminfo: memFree=1034936/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=705756 CPUtime=462.16
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 199641 0 0 0 45990 226 0 0 25 0 1 0 98206232 722694144 175235 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 176439 175235 312 324 0 175508 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 705756

[startup+522.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 29598
/proc/meminfo: memFree=1010104/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=730496 CPUtime=522.15
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 205837 0 0 0 51984 231 0 0 25 0 1 0 98206232 748027904 181431 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 182624 181431 312 324 0 181693 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 730496

[startup+582.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 29598
/proc/meminfo: memFree=973048/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=767560 CPUtime=582.13
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 215089 0 0 0 57975 238 0 0 25 0 1 0 98206232 785981440 190683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 191890 190683 312 324 0 190959 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 767560

[startup+642.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 29598
/proc/meminfo: memFree=942584/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=797580 CPUtime=642.11
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 222610 0 0 0 63967 244 0 0 25 0 1 0 98206232 816721920 198204 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 199395 198204 312 324 0 198464 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 797580

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29598
/proc/meminfo: memFree=920696/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=819560 CPUtime=702.09
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 228109 0 0 0 69961 248 0 0 25 0 1 0 98206232 839229440 203703 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 204890 203703 312 324 0 203959 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 819560

[startup+762.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29598
/proc/meminfo: memFree=890232/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=849988 CPUtime=762.08
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 235695 0 0 0 75953 255 0 0 25 0 1 0 98206232 870387712 211289 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 212497 211289 312 324 0 211566 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 849988

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29598
/proc/meminfo: memFree=852792/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=887804 CPUtime=822.06
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 245149 0 0 0 81943 263 0 0 25 0 1 0 98206232 909111296 220743 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 221951 220743 312 324 0 221020 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 887804

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29598
/proc/meminfo: memFree=822456/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=917640 CPUtime=882.04
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 252612 0 0 0 87936 268 0 0 25 0 1 0 98206232 939663360 228206 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 229410 228206 312 324 0 228479 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 917640

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29600
/proc/meminfo: memFree=771448/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=971376 CPUtime=942.02
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 266047 0 0 0 93926 276 0 0 25 0 1 0 98206232 994689024 241641 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 242844 241641 312 324 0 241913 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 971376

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29600
/proc/meminfo: memFree=624440/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=1115856 CPUtime=1002
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 302154 0 0 0 99901 299 0 0 25 0 1 0 98206232 1142636544 277748 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 278964 277748 312 324 0 278033 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1115856

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29600
/proc/meminfo: memFree=518520/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=1222108 CPUtime=1061.99
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 328715 0 0 0 105878 321 0 0 25 0 1 0 98206232 1251438592 304309 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 305527 304309 312 324 0 304596 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1222108

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29600
/proc/meminfo: memFree=431416/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=1308456 CPUtime=1121.97
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 350313 0 0 0 111858 339 0 0 25 0 1 0 98206232 1339858944 325907 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 327114 325907 312 324 0 326183 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1308456

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29600
/proc/meminfo: memFree=341368/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=1398892 CPUtime=1181.95
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 372919 0 0 0 117837 358 0 0 25 0 1 0 98206232 1432465408 348513 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 349723 348513 312 324 0 348792 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1398892

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29600
/proc/meminfo: memFree=255672/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=1483840 CPUtime=1241.95
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 394178 0 0 0 123824 371 0 0 25 0 1 0 98206232 1519452160 369772 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8847192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 370960 369772 312 324 0 370029 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1483840

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29600
/proc/meminfo: memFree=171832/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=1566892 CPUtime=1301.93
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 414917 0 0 0 129809 384 0 0 25 0 1 0 98206232 1604497408 390511 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 391723 390511 312 324 0 390792 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1566892

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29600
/proc/meminfo: memFree=78520/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=1661000 CPUtime=1361.9
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 438439 0 0 0 135794 396 0 0 25 0 1 0 98206232 1700864000 414033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 415250 414033 312 324 0 414319 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1661000

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 29776
/proc/meminfo: memFree=15488/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=1737092 CPUtime=1421.81
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 457479 0 0 0 141772 409 0 0 25 0 1 0 98206232 1778782208 433073 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 434273 433073 312 324 0 433342 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1737092

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29798
/proc/meminfo: memFree=15096/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=1806452 CPUtime=1481.78
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 474803 0 0 0 147758 420 0 0 25 0 1 0 98206232 1849806848 450397 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 451613 450397 312 324 0 450682 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1806452



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1515.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29798
/proc/meminfo: memFree=15160/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=1843240 CPUtime=1515.38
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 484017 0 0 0 151112 426 0 0 25 0 1 0 98206232 1887477760 459611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29597/statm: 460810 459611 312 324 0 459879 0
Current children cumulated CPU time (s) 1515.38
Current children cumulated vsize (KiB) 1843240

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

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

[startup+1516.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29798
/proc/meminfo: memFree=15160/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=0 CPUtime=1515.65
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194308 484018 0 0 0 151123 442 0 0 18 0 1 0 98206232 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0
/proc/29597/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1515.65
Current children cumulated vsize (KiB) 0

[startup+1516.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29798
/proc/meminfo: memFree=15160/2055920 swapFree=4192812/4192956
[pid=29597] ppid=29595 vsize=0 CPUtime=1515.75
/proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194308 484018 0 0 0 151123 452 0 0 18 0 1 0 98206232 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0
/proc/29597/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1515.75
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1516.32
CPU time (s): 1515.78
CPU user time (s): 1511.23
CPU system time (s): 4.54331
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 1843240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1511.23
system time used= 4.54331
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484018
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= 18
involuntary context switches= 3676

runsolver used 1.11483 second user time and 3.15652 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Sat Apr 14 21:38:09 UTC 2007

IDJOB= 348540
IDBENCH= 1690
IDSOLVER= 163
FILE ID= node70/348540-1176586689

PBS_JOBID= 4556933

Free space on /tmp= 66536 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-maros-r7.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348540-1176586689/instance-348540-1176586689.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-348540-1176586689 -o ROOT/results/node70/solver-348540-1176586689 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348540-1176586689/instance-348540-1176586689.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  24e8096a6d8928e5a9e214fdf85bd87e

RANDOM SEED= 499197490

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.218
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.218
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:       1735632 kB
Buffers:         27216 kB
Cached:         200040 kB
SwapCached:          0 kB
Active:          84236 kB
Inactive:       159144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1735632 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           29288 kB
Writeback:           0 kB
Mapped:          26324 kB
Slab:            62964 kB
Committed_AS:   933120 kB
PageTables:       1396 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= 66536 MiB

End job on node70 on Sat Apr 14 22:03:27 UTC 2007