Trace number 348904

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb
MD5SUMc786421e3b1e46216a72d93f7d7302a0
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 variables36105
Total number of constraints16727
Number of constraints which are clauses5133
Number of constraints which are cardinality constraints (but not clauses)579
Number of constraints which are nor clauses,nor cardinality constraints11015
Minimum length of a constraint1
Maximum length of a constraint1209
Number of terms in the objective function 7440
Biggest coefficient in the objective function 16499
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 531697
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 531697
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/348904-1176606263/instance-348904-1176606263.opb
0.00/0.00	c File size is 2841719 bytes.
0.49/0.57	c Highest Coefficient sum: 531697
0.49/0.57	c Parsing was ok!!
0.49/0.57	c Total parsing time: 0.574 s
0.59/0.60	c Var: 36105 Constr: 21028 6742/7931/6355 Lit: 251471 Watch. Lit: 97469
0.59/0.60	c Obj. Vars: 7440 (20.6066 % of total variables)
8.39/8.44	c Pre-processing Time: 8.439 s
8.39/8.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.39/8.44	c        0  26774    20161   246623   12   104795  419330      0      0 8.44
8.39/8.44	c Switching off LPR mode.
1799.95/1800.54	c      101  26774    20262   247767   12   135775  461264    101     11 8.50
1799.95/1800.54	c      251  26774    20412   248728   12   130385  507391    251     29 8.51
1799.95/1800.54	c      476  26774    20637   251259   12   130570  558131    476     53 8.93
1799.95/1800.54	c      814  26774    20975   254931   12   121727  613945    814     86 9.39
1799.95/1800.54	c     1324  26774    21485   259209   12   121650  675340   1324    138 9.59
1799.95/1800.54	c     2088  26774    22249   268265   12   124699  742875   2088    215 9.67
1799.95/1800.54	c     3235  26774    23396   280574   11   125140  817163   3235    319 10.13
1799.95/1800.54	c     4956  26774    25117   298815   11   127673  898880   4956    479 10.34
1799.95/1800.54	c     7542  26774    27703   331569   11   133166  988769   7542    694 10.86
1799.95/1800.54	c    11421  26774    31582   373106   11   141867  500000  11421   1006 11.34
1799.95/1800.54	c    17243  26774    37404   470299   12   152989  550001  17243   1262 13.65
1799.95/1800.54	c    25980  26774    46141   585568   12   182456  605002  25980   1526 17.02
1799.95/1800.54	c    39090  26774    59251   850493   14   200916  665503  39090   1655 23.61
1799.95/1800.54	c    58760  26774    78921  1353769   17   246847  732054  58760   1581 37.16
1799.95/1800.54	c    88270  26774   108431  2858552   26   302526  805260  88270   1477 59.75
1799.95/1800.54	c   132540  26774   152701  4120792   26   393427  885787 132540   1037 127.79
1799.95/1800.54	c   198950  26767   219111  5957832   27   525982  974366 198950    926 214.65
1799.95/1800.54	c   298572  26767   318733  8736344   27   723662  500000 298572    667 446.97
1799.95/1800.54	c   448007  26767   468168 15455901   33  1025152  550001 448007    512 874.10
1799.95/1800.54	c Resources Exceeded
1799.95/1800.54	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.54	c   19   610590 379451  4287549    80162  3462355  60001    339 1800.00
1799.95/1800.54	s UNKNOWN
1799.95/1800.54	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/node11/watcher-348904-1176606263 -o ROOT/results/node11/solver-348904-1176606263 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348904-1176606263/instance-348904-1176606263.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.78 0.95 0.98 3/77 14176
/proc/meminfo: memFree=1671080/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=14512 CPUtime=0
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 371 0 0 0 0 0 0 0 18 0 1 0 101675289 14860288 339 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 3628 339 282 324 0 2003 0

[startup+0.08423 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 14176
/proc/meminfo: memFree=1671080/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=8840 CPUtime=0.08
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 1021 0 0 0 8 0 0 0 18 0 1 0 101675289 9052160 949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 2210 949 383 324 0 585 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8840

[startup+0.101231 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 14176
/proc/meminfo: memFree=1671080/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=8976 CPUtime=0.09
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 1077 0 0 0 9 0 0 0 18 0 1 0 101675289 9191424 1005 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 2244 1005 404 324 0 619 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8976

[startup+0.301254 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 14176
/proc/meminfo: memFree=1671080/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=11036 CPUtime=0.29
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 1827 0 0 0 29 0 0 0 19 0 1 0 101675289 11300864 1755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 2759 1755 650 324 0 1134 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11036

[startup+0.701302 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 14176
/proc/meminfo: memFree=1671080/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=17436 CPUtime=0.69
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 4378 0 0 0 68 1 0 0 22 0 1 0 101675289 17854464 3612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 4359 3612 306 324 0 3428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17436

[startup+1.5014 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 14177
/proc/meminfo: memFree=1657760/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=17436 CPUtime=1.49
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 4378 0 0 0 148 1 0 0 25 0 1 0 101675289 17854464 3612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527358 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 4359 3612 306 324 0 3428 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17436

[startup+3.10159 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 14177
/proc/meminfo: memFree=1657632/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=17436 CPUtime=3.09
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 4378 0 0 0 307 2 0 0 25 0 1 0 101675289 17854464 3612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 4359 3612 306 324 0 3428 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17436

[startup+6.30197 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 14177
/proc/meminfo: memFree=1657376/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=17436 CPUtime=6.29
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 4378 0 0 0 626 3 0 0 25 0 1 0 101675289 17854464 3612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 4359 3612 306 324 0 3428 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17436

[startup+12.7027 s]
/proc/loadavg: 0.81 0.95 0.98 2/78 14177
/proc/meminfo: memFree=1654304/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=21084 CPUtime=12.69
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 5674 0 0 0 1244 25 0 0 25 0 1 0 101675289 21590016 4553 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 5271 4553 312 324 0 4340 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21084

[startup+25.5012 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 14177
/proc/meminfo: memFree=1645024/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=30132 CPUtime=25.49
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 7917 0 0 0 2510 39 0 0 25 0 1 0 101675289 30855168 6796 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 7533 6796 312 324 0 6602 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30132

[startup+51.1013 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 14177
/proc/meminfo: memFree=1621984/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=53552 CPUtime=51.07
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 13788 0 0 0 5048 59 0 0 25 0 1 0 101675289 54837248 12667 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 13388 12667 312 324 0 12457 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53552

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 14177
/proc/meminfo: memFree=1599392/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=75588 CPUtime=102.26
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 19301 0 0 0 10135 91 0 0 25 0 1 0 101675289 77402112 18180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8412668 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 18897 18180 312 324 0 17966 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 75588

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1586464/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=88644 CPUtime=162.24
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 22542 0 0 0 16112 112 0 0 25 0 1 0 101675289 90771456 21421 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 22161 21421 312 324 0 21230 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 88644

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1559392/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=115584 CPUtime=222.22
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 29274 0 0 0 22078 144 0 0 25 0 1 0 101675289 118358016 28153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 28896 28153 312 324 0 27965 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 115584

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1544672/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=130484 CPUtime=282.2
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 33014 0 0 0 28061 159 0 0 25 0 1 0 101675289 133615616 31893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 32621 31893 312 324 0 31690 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 130484

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1533792/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=140980 CPUtime=342.18
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 35636 0 0 0 34046 172 0 0 25 0 1 0 101675289 144363520 34515 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551279 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 35245 34515 312 324 0 34314 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 140980

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1520608/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=154248 CPUtime=402.16
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 38970 0 0 0 40028 188 0 0 25 0 1 0 101675289 157949952 37849 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 38562 37849 312 324 0 37631 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 154248

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1512480/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=162364 CPUtime=462.15
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 40994 0 0 0 46012 203 0 0 25 0 1 0 101675289 166260736 39873 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 40591 39873 312 324 0 39660 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 162364

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1485216/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=190080 CPUtime=522.13
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 47913 0 0 0 51987 226 0 0 25 0 1 0 101675289 194641920 46792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 47520 46792 312 324 0 46589 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 190080

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1464800/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=210068 CPUtime=582.11
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 52914 0 0 0 57966 245 0 0 25 0 1 0 101675289 215109632 51793 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 52517 51793 312 324 0 51586 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 210068

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1452896/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=221780 CPUtime=642.1
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 55837 0 0 0 63954 256 0 0 25 0 1 0 101675289 227102720 54716 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 55445 54716 312 324 0 54514 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 221780


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

/proc/meminfo: memFree=1364768/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=309768 CPUtime=1061.98
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 77844 0 0 0 105861 337 0 0 25 0 1 0 101675289 317202432 76723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 77442 76723 312 324 0 76511 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 309768

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1345696/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=328916 CPUtime=1121.95
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 82613 0 0 0 111842 353 0 0 25 0 1 0 101675289 336809984 81492 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 82229 81492 312 324 0 81298 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 328916

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1330016/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=344444 CPUtime=1181.94
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 86503 0 0 0 117830 364 0 0 25 0 1 0 101675289 352710656 85382 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 86111 85382 312 324 0 85180 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 344444

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1323808/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=350576 CPUtime=1241.92
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 88037 0 0 0 123821 371 0 0 25 0 1 0 101675289 358989824 86916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 87644 86916 312 324 0 86713 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 350576

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1318048/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=356296 CPUtime=1301.91
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 89452 0 0 0 129814 377 0 0 25 0 1 0 101675289 364847104 88331 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 89074 88331 312 324 0 88143 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 356296

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1311904/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1361.89
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 135790 399 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 362132

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1311968/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1421.87
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 141788 399 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 362132

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1312032/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1481.84
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 147785 399 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 362132

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1312032/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1541.83
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 153783 400 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 362132

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1312032/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1601.81
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 159781 400 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 362132

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1661.8
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 165779 401 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 362132

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1721.78
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 171763 415 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160036204 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 362132

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1781.76
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 177753 423 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 362132

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1791.36
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 178711 425 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 362132

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1794.56
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 179031 425 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 362132

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1797.75
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 179350 425 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 362132

[startup+1799.9 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1799.35
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 179510 425 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (KiB) 362132

[startup+1800.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1799.75
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 179550 425 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1799.75
Current children cumulated vsize (KiB) 362132

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 14177
/proc/meminfo: memFree=1312096/2055920 swapFree=4146224/4192956
[pid=14176] ppid=14174 vsize=362132 CPUtime=1799.95
/proc/14176/stat : 14176 (bsolo3.0.16) R 14174 14176 14116 0 -1 4194304 91490 0 0 0 179570 425 0 0 25 0 1 0 101675289 370823168 89817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14176/statm: 90533 89817 312 324 0 89602 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 362132

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.06
CPU user time (s): 1795.75
CPU system time (s): 4.31234
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 364340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.75
system time used= 4.31234
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91491
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= 11
involuntary context switches= 38904

runsolver used 2.20366 second user time and 4.15537 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sun Apr 15 03:04:24 UTC 2007

IDJOB= 348904
IDBENCH= 1780
IDSOLVER= 163
FILE ID= node11/348904-1176606263

PBS_JOBID= 4556835

Free space on /tmp= 66464 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-msc98-ip.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348904-1176606263/instance-348904-1176606263.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-348904-1176606263 -o ROOT/results/node11/solver-348904-1176606263 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348904-1176606263/instance-348904-1176606263.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  c786421e3b1e46216a72d93f7d7302a0

RANDOM SEED= 922068829

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1671488 kB
Buffers:         51552 kB
Cached:         259980 kB
SwapCached:      15684 kB
Active:         140756 kB
Inactive:       196980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1671488 kB
SwapTotal:     4192956 kB
SwapFree:      4146224 kB
Dirty:            7356 kB
Writeback:           0 kB
Mapped:          29676 kB
Slab:            32084 kB
Committed_AS:  5579076 kB
PageTables:       1848 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= 66464 MiB

End job on node11 on Sun Apr 15 03:34:24 UTC 2007