Trace number 362869

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16? 1800.05 1800.66

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-vtp.base.opb
MD5SUMa7e24e57a312eb47e85004eff6279cc1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark78.792
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables4524
Total number of constraints257
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 constraints257
Minimum length of a constraint11
Maximum length of a constraint1080
Number of terms in the objective function 181
Biggest coefficient in the objective function 74899
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 524431
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 525060
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/362869-1177019272/instance-362869-1177019272.opb
0.00/0.00	c File size is 188698 bytes.
0.00/0.04	c Highest Coefficient sum: 525060
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.036 s
0.00/0.04	c Var: 4524 Constr: 312 11/0/301 Lit: 30366 Watch. Lit: 11839
0.00/0.04	c Obj. Vars: 181 (4.00088 % of total variables)
3.59/3.68	c Pre-processing Time: 3.685 s
3.59/3.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.69	c        0   2805      159    21107  132    14332   42214      0      0 3.69
3.59/3.69	c Switching off LPR mode.
1799.98/1800.61	c      100   2805      259    22186   85    14569   46436    100     27 3.69
1799.98/1800.61	c      251   2805      410    29911   72    17311   51080    251     67 3.73
1799.98/1800.61	c      487   2805      646    39070   60    17660   56189    487    122 3.98
1799.98/1800.61	c      826   2805      985    50550   51    18233   61808    826    201 4.11
1799.98/1800.61	c     1335   2805     1494    71110   47    19215   67989   1335    296 4.51
1799.98/1800.61	c     2098   2805     2257    95077   42    20739   74788   2098    415 5.04
1799.98/1800.61	c     3245   2805     3404   138175   40    23109   82267   3245    578 5.61
1799.98/1800.61	c     4970   2805     5129   194017   37    26558   90494   4970    751 6.62
1799.98/1800.61	c     7555   2805     7714   284428   36    31712   99544   7555    997 7.57
1799.98/1800.61	c    11435   2805    11594   398340   34    39449  109499  11435   1213 9.42
1799.98/1800.61	c    17258   2805    17417   497439   28    51046  120449  17258   1486 11.61
1799.98/1800.61	c    25997   2805    26156   756551   28    68529  132494  25997   1364 19.05
1799.98/1800.61	c    39109   2804    39268  1155402   29    95071  145744  39109   1429 27.36
1799.98/1800.61	c    58780   2804    58939  1566251   26   134287  160319  58780   1469 40.00
1799.98/1800.61	c    88292   2804    88451 11859760  134   193665  176351  88292    623 141.62
1799.98/1800.61	c   132562   2804   132721 15932979  120   282135  193987 132562    624 212.42
1799.98/1800.61	c   198973   2804    16475   405503   24    49776  213386  16316    384 517.46
1799.98/1800.61	c   298595   2804   116097  3528207   30   249046  234725 115938    434 686.98
1799.98/1800.61	c   448032   2804    42552  2102849   49   101474  258198  42393    338 1322.76
1799.98/1800.61	c Resources Exceeded
1799.98/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.98/1800.61	c   19   595572 120847  1280821   190092 18895247 189933    330 1800.00
1799.98/1800.61	s UNKNOWN
1799.98/1800.61	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-362869-1177019272 -o ROOT/results/node12/solver-362869-1177019272 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362869-1177019272/instance-362869-1177019272.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.90 0.97 0.99 3/77 14317
/proc/meminfo: memFree=1837800/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=11924 CPUtime=0
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 177964551 12210176 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 2981 334 281 324 0 2003 0

[startup+0.0738641 s]
/proc/loadavg: 0.90 0.97 0.99 3/77 14317
/proc/meminfo: memFree=1837800/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=5628 CPUtime=0.07
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 831 0 0 0 7 0 0 0 18 0 1 0 177964551 5763072 752 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 1407 752 305 324 0 476 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5628

[startup+0.101879 s]
/proc/loadavg: 0.90 0.97 0.99 3/77 14317
/proc/meminfo: memFree=1837800/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=5640 CPUtime=0.09
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 843 0 0 0 9 0 0 0 18 0 1 0 177964551 5775360 764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134585088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 1410 764 305 324 0 479 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5640

[startup+0.301887 s]
/proc/loadavg: 0.90 0.97 0.99 3/77 14317
/proc/meminfo: memFree=1837800/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=5684 CPUtime=0.29
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 880 0 0 0 29 0 0 0 19 0 1 0 177964551 5820416 798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 1421 798 307 324 0 490 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5684

[startup+0.701927 s]
/proc/loadavg: 0.90 0.97 0.99 3/77 14317
/proc/meminfo: memFree=1837800/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=5684 CPUtime=0.69
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 880 0 0 0 69 0 0 0 22 0 1 0 177964551 5820416 798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 1421 798 307 324 0 490 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5684

[startup+1.50201 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1835808/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=5684 CPUtime=1.49
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 880 0 0 0 149 0 0 0 25 0 1 0 177964551 5820416 798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 1421 798 307 324 0 490 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5684

[startup+3.10117 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1835680/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=5684 CPUtime=3.09
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 880 0 0 0 309 0 0 0 25 0 1 0 177964551 5820416 798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 1421 798 307 324 0 490 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5684

[startup+6.30249 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1834400/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=7796 CPUtime=6.29
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 1415 0 0 0 628 1 0 0 25 0 1 0 177964551 7983104 1333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 1949 1333 312 324 0 1018 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7796

[startup+12.7011 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1827680/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=14108 CPUtime=12.69
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 2968 0 0 0 1265 4 0 0 25 0 1 0 177964551 14446592 2886 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 3527 2886 312 324 0 2596 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14108

[startup+25.5014 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1818272/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=23140 CPUtime=25.48
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 5244 0 0 0 2539 9 0 0 25 0 1 0 177964551 23695360 5162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 5785 5162 312 324 0 4854 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23140

[startup+51.102 s]
/proc/loadavg: 0.95 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1792608/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=49960 CPUtime=51.07
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 11946 0 0 0 5089 18 0 0 25 0 1 0 177964551 51159040 11864 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 12490 11864 312 324 0 11559 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49960

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1710752/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=130348 CPUtime=102.27
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 32050 0 0 0 10195 32 0 0 25 0 1 0 177964551 133476352 31968 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 32587 31968 312 324 0 31656 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 130348

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1653280/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=187988 CPUtime=162.25
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 46450 0 0 0 16181 44 0 0 25 0 1 0 177964551 192499712 46368 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 46997 46368 312 324 0 46066 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 187988

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1614688/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=226196 CPUtime=222.23
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 56013 0 0 0 22165 58 0 0 25 0 1 0 177964551 231624704 55931 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 56549 55931 312 324 0 55618 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 226196

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1603296/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=237528 CPUtime=282.21
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 58846 0 0 0 28153 68 0 0 25 0 1 0 177964551 243228672 58764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 59382 58764 312 324 0 58451 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 237528

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1597408/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=243396 CPUtime=342.19
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 60288 0 0 0 34145 74 0 0 25 0 1 0 177964551 249237504 60206 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 60849 60206 312 324 0 59918 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 243396

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1592416/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=248372 CPUtime=402.17
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 61552 0 0 0 40136 81 0 0 25 0 1 0 177964551 254332928 61470 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62093 61470 312 324 0 61162 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 248372

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1589536/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=250980 CPUtime=462.16
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62380 0 0 0 46130 86 0 0 25 0 1 0 177964551 257003520 62106 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62745 62106 312 324 0 61814 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 250980

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1589536/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=250980 CPUtime=522.15
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62380 0 0 0 52126 89 0 0 25 0 1 0 177964551 257003520 62106 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62745 62106 312 324 0 61814 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 250980

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1589536/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=250980 CPUtime=582.13
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62380 0 0 0 58112 101 0 0 25 0 1 0 177964551 257003520 62106 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62745 62106 312 324 0 61814 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 250980

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14318
/proc/meminfo: memFree=1589600/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=250980 CPUtime=642.11
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62380 0 0 0 64103 108 0 0 25 0 1 0 177964551 257003520 62106 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62745 62106 312 324 0 61814 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 250980


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

/proc/meminfo: memFree=1589216/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=251140 CPUtime=1121.86
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 112040 146 0 0 25 0 1 0 177964551 257167360 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62785 62146 312 324 0 61854 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 251140

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1589152/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=251140 CPUtime=1181.85
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 118038 147 0 0 25 0 1 0 177964551 257167360 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62785 62146 312 324 0 61854 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 251140

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1589152/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=251140 CPUtime=1241.83
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 124036 147 0 0 25 0 1 0 177964551 257167360 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62785 62146 312 324 0 61854 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 251140

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1589088/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=251140 CPUtime=1301.82
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 130031 151 0 0 25 0 1 0 177964551 257167360 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62785 62146 312 324 0 61854 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 251140

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1589088/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=251140 CPUtime=1361.79
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 136010 169 0 0 25 0 1 0 177964551 257167360 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62785 62146 312 324 0 61854 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 251140

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1589024/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=251112 CPUtime=1421.79
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 142003 176 0 0 25 0 1 0 177964551 257138688 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10127219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62778 62146 312 324 0 61847 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 251112

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1589024/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=251112 CPUtime=1481.76
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 147997 179 0 0 25 0 1 0 177964551 257138688 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62778 62146 312 324 0 61847 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 251112

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1588960/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=251112 CPUtime=1541.75
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 153991 184 0 0 25 0 1 0 177964551 257138688 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62778 62146 312 324 0 61847 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 251112

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1588960/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=251112 CPUtime=1601.73
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 159986 187 0 0 25 0 1 0 177964551 257138688 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62778 62146 312 324 0 61847 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 251112

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1588896/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=251112 CPUtime=1661.71
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 165981 190 0 0 25 0 1 0 177964551 257138688 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62778 62146 312 324 0 61847 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 251112

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1588896/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=251112 CPUtime=1721.7
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 62420 0 0 0 171977 193 0 0 25 0 1 0 177964551 257138688 62146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 62778 62146 312 324 0 61847 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 251112

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1577504/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=262488 CPUtime=1781.68
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 65278 0 0 0 177970 198 0 0 25 0 1 0 177964551 268787712 65004 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551201 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 65622 65004 312 324 0 64691 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 262488

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

[startup+1791.91 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1574944/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=265076 CPUtime=1791.28
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 65913 0 0 0 178929 199 0 0 25 0 1 0 177964551 271437824 65639 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 66269 65639 312 324 0 65338 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 265076

[startup+1795.1 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1574048/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=265844 CPUtime=1794.48
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 66117 0 0 0 179249 199 0 0 25 0 1 0 177964551 272224256 65843 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 66461 65843 312 324 0 65530 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 265844

[startup+1798.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1573536/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=266744 CPUtime=1797.68
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 66321 0 0 0 179568 200 0 0 25 0 1 0 177964551 273145856 66047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 66686 66047 312 324 0 65755 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 266744

[startup+1799.9 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1572832/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=267260 CPUtime=1799.28
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 66457 0 0 0 179728 200 0 0 25 0 1 0 177964551 273674240 66183 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 66815 66183 312 324 0 65884 0
Current children cumulated CPU time (s) 1799.28
Current children cumulated vsize (KiB) 267260

[startup+1800.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1572832/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=267388 CPUtime=1799.68
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 66483 0 0 0 179768 200 0 0 25 0 1 0 177964551 273805312 66209 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 66847 66209 312 324 0 65916 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (KiB) 267388

[startup+1800.5 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1572832/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=267388 CPUtime=1799.87
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 66496 0 0 0 179787 200 0 0 25 0 1 0 177964551 273805312 66222 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 66847 66222 312 324 0 65916 0
Current children cumulated CPU time (s) 1799.87
Current children cumulated vsize (KiB) 267388

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 14516
/proc/meminfo: memFree=1572512/2055920 swapFree=4160068/4192956
[pid=14317] ppid=14315 vsize=267388 CPUtime=1799.98
/proc/14317/stat : 14317 (bsolo3.0.16) R 14315 14317 13586 0 -1 4194304 66502 0 0 0 179798 200 0 0 25 0 1 0 177964551 273805312 66228 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14317/statm: 66847 66228 312 324 0 65916 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 267388

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.05
CPU user time (s): 1798
CPU system time (s): 2.05269
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 267388

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

runsolver used 2.22766 second user time and 4.18336 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Thu Apr 19 21:47:52 UTC 2007

IDJOB= 362869
IDBENCH= 1678
IDSOLVER= 163
FILE ID= node12/362869-1177019272

PBS_JOBID= 4630557

Free space on /tmp= 66252 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-vtp.base.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362869-1177019272/instance-362869-1177019272.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-362869-1177019272 -o ROOT/results/node12/solver-362869-1177019272 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362869-1177019272/instance-362869-1177019272.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  a7e24e57a312eb47e85004eff6279cc1

RANDOM SEED= 62818528

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1838272 kB
Buffers:         21440 kB
Cached:         117636 kB
SwapCached:      11408 kB
Active:          56268 kB
Inactive:       107472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1838272 kB
SwapTotal:     4192956 kB
SwapFree:      4160068 kB
Dirty:            4596 kB
Writeback:           0 kB
Mapped:          31880 kB
Slab:            39456 kB
Committed_AS:  4404012 kB
PageTables:       1796 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= 66252 MiB

End job on node12 on Thu Apr 19 22:17:53 UTC 2007