Trace number 3732835

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: bsolo 3.0.17Signal 660.294 875.586

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
MD5SUMdae2a99f19ab3cbb5b0fd1a29cad1e80
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark20.7099
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 203
Optimality of the best value was proved NO
Number of variables10989
Total number of constraints12472
Number of constraints which are clauses10469
Number of constraints which are cardinality constraints (but not clauses)2003
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Number of terms in the objective function 10989
Biggest coefficient in the objective function 5985
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 32028
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5985
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 32028
Number of bits of the biggest sum of numbers15
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 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3732835-1338691264.opb
0.00/0.00	c File size is 603215 bytes.
0.00/0.06	c Highest Coefficient sum: 32028
0.00/0.06	c Parsing was ok!!
0.00/0.06	c Total parsing time: 0.063 s
0.00/0.07	c Var: 10989 Constr: 12473 10471/2002/0 Lit: 46389 Watch. Lit: 28907
0.00/0.07	c Obj. Vars: 10989 (100 % of total variables)
0.08/0.11	c Pre-processing Time: 0.109 s
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c        0  10978    12470    46385    3    28904   28787      0      0 0.11
0.08/0.11	c Switching off LPR mode.
0.08/0.11	o 938	0.113
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c        0  10978    12471    57363    4    36698   50743      1      0 0.12
0.08/0.12	o 936	0.12
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c        0  10978    12472    68341    5    44491   72699      2      0 0.12
0.08/0.13	o 933	0.127
0.08/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.14	c        0  10978    12473    79319    6    52285   94655      3      0 0.13
0.08/0.14	o 932	0.137
0.59/0.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.67	c        2  10978    12476    96672    7    60081   94655      6     14 0.14
0.59/0.67	o 764	0.672
516.66/517.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
516.66/517.00	c        2  10978    12477   107650    8    67398   94655      7      2 0.68
516.66/517.00	c      103  10978    12578   426070   33    67718  104121    108     84 1.22
516.66/517.00	c      353  10978    12828  1213171   94    68288  114534    358    141 2.50
516.66/517.00	c      828  10978    13303  2712475  203    69219  125988    833    189 4.37
516.66/517.00	c     1641  10978    14116  5253274  372    70960  138587   1646    233 7.03
516.66/517.00	c     2962  10978    15437  9409250  609    73487  152446   2967    273 10.82
516.66/517.00	c     5045  10978    17520 16044948  915    77547  167691   5050    292 17.27
516.66/517.00	c     8269  10978    20744 26329438 1269    83986  184461   8274    305 27.09
516.66/517.00	c    13205  10978    25680 41919990 1632    93872  202908  13210    256 51.42
516.66/517.00	c    20711  10978    33186 65761203 1981   108889  223199  20716    235 87.91
516.66/517.00	c    32072  10978    44547 101737097 2283   131622  245519  32077    219 145.86
516.66/517.00	c    49216  10978    61691 156042410 2529   165826  270071  49221    165 297.18
516.66/517.00	c    75036  10978    87511 237370644 2712   217650  297079  75041    145 515.99
516.66/517.00	o 745	516.764
654.84/655.33	terminate called after throwing an instance of 'std::bad_alloc'
654.84/655.33	  what():  std::bad_alloc
654.84/655.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
654.84/655.33	c    75036  10978    87512 237381622 2712   224906   94655  75042    145 516.77
654.84/655.33	c    75136  10978    87612 237707082 2713   224890  104121  75142    145 517.38
654.84/655.33	c    75387  10978    87863 238488815 2714   226349  114534  75393    145 519.07
654.84/655.33	c    75863  10978    88339 239995599 2716   227020  125988  75869    145 521.42
654.84/655.33	c    76676  10978    89152 242538836 2720   228832  138587  76682    145 525.48
654.84/655.33	c    77996  10978    90472 246693675 2726   231353  152446  78002    146 530.88
654.84/655.33	c    80077  10978    92553 253240651 2736   235496  167691  80083    148 540.38
654.84/655.33	c    83301  10978    95777 263437606 2750   241826  184461  83307    149 557.52
654.84/655.33	c    88238  10978   100714 279013920 2770   251891  202908  88244    152 579.42
654.84/655.33	c    95744  10978   108220 302984005 2799   266669  223199  95750    155 615.88

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732835-1338691264/watcher-3732835-1338691264 -o /tmp/evaluation-result-3732835-1338691264/solver-3732835-1338691264 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3732835-1338691264.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.98 3/178 29319
/proc/meminfo: memFree=28174276/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=12960 CPUtime=0 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 439 0 0 0 0 0 0 0 20 0 1 0 335251763 13271040 375 33554432000 134512640 135840783 4291164864 4291163792 8762663 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/29319/statm: 3240 375 321 325 0 2028 0

[startup+0.096095 s]
/proc/loadavg: 1.92 1.98 1.98 3/178 29319
/proc/meminfo: memFree=28174276/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=8860 CPUtime=0.08 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 1671 0 0 0 8 0 0 0 20 0 1 0 335251763 9072640 1459 33554432000 134512640 135840783 4291164864 4291031696 8762663 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/29319/statm: 2215 1463 343 325 0 1151 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8860

[startup+0.100319 s]
/proc/loadavg: 1.92 1.98 1.98 3/178 29319
/proc/meminfo: memFree=28174276/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=9256 CPUtime=0.08 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 1779 0 0 0 8 0 0 0 20 0 1 0 335251763 9478144 1567 33554432000 134512640 135840783 4291164864 4291031900 1582128 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/29319/statm: 2314 1567 344 325 0 1250 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9256

[startup+0.300218 s]
/proc/loadavg: 1.92 1.98 1.98 3/178 29319
/proc/meminfo: memFree=28174276/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=10104 CPUtime=0.29 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 2073 0 0 0 28 1 0 0 20 0 1 0 335251763 10346496 1775 33554432000 134512640 135840783 4291164864 4291164224 134551093 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/29319/statm: 2526 1775 349 325 0 1462 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10104

[startup+0.700214 s]
/proc/loadavg: 1.92 1.98 1.98 3/178 29319
/proc/meminfo: memFree=28174276/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=10416 CPUtime=0.69 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 2159 0 0 0 68 1 0 0 20 0 1 0 335251763 10665984 1861 33554432000 134512640 135840783 4291164864 4291164224 134551048 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/29319/statm: 2604 1861 349 325 0 1540 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10416

[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.98 3/179 29320
/proc/meminfo: memFree=28167936/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=14352 CPUtime=1.48 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 3160 0 0 0 147 1 0 0 20 0 1 0 335251763 14696448 2862 33554432000 134512640 135840783 4291164864 4291164224 134551048 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/29319/statm: 3588 2862 349 325 0 2524 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14352

[startup+3.1002 s]
/proc/loadavg: 1.92 1.98 1.98 3/179 29320
/proc/meminfo: memFree=28160488/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=24456 CPUtime=3.08 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 5665 0 0 0 307 1 0 0 20 0 1 0 335251763 25042944 5367 33554432000 134512640 135840783 4291164864 4291164224 134550902 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/29319/statm: 6114 5367 349 325 0 5050 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 24456

[startup+6.30035 s]
/proc/loadavg: 1.93 1.98 1.98 3/179 29320
/proc/meminfo: memFree=28128372/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=65180 CPUtime=6.28 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 15840 0 0 0 625 3 0 0 20 0 1 0 335251763 66744320 15542 33554432000 134512640 135840783 4291164864 4291126368 134586540 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/29319/statm: 16295 15542 349 325 0 15231 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 65180

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.98 3/179 29320
/proc/meminfo: memFree=28042360/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=146692 CPUtime=12.68 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 36247 0 0 0 1261 7 0 0 20 0 1 0 335251763 150212608 35961 33554432000 134512640 135840783 4291164864 4291164224 134551186 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/29319/statm: 36673 35961 349 325 0 35609 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 146692

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.98 3/179 29320
/proc/meminfo: memFree=27856484/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=324928 CPUtime=25.48 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 80805 0 0 0 2534 14 0 0 20 0 1 0 335251763 332726272 80513 33554432000 134512640 135840783 4291164864 4291163892 8749410 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/29319/statm: 81232 80513 349 325 0 80168 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 324928

[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.98 3/179 29320
/proc/meminfo: memFree=27638692/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=541252 CPUtime=51.06 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 134901 0 0 0 5081 25 0 0 20 0 1 0 335251763 554242048 134594 33554432000 134512640 135840783 4291164864 4291164224 134551093 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/29319/statm: 135313 134594 349 325 0 134249 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 541252

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.98 3/179 29320
/proc/meminfo: memFree=27182912/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=994460 CPUtime=102.24 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 248230 0 0 0 10177 47 0 0 20 0 1 0 335251763 1018327040 247892 33554432000 134512640 135840783 4291164864 4291164224 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29319/statm: 248615 247892 349 325 0 247551 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 994460

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/179 29321
/proc/meminfo: memFree=26721784/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=1458976 CPUtime=162.2 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 364407 0 0 0 16152 68 0 0 20 0 1 0 335251763 1493991424 364031 33554432000 134512640 135840783 4291164864 4291164224 134550887 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29319/statm: 364744 364031 349 325 0 363680 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 1458976

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/179 29321
/proc/meminfo: memFree=26420616/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=1753284 CPUtime=222.17 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 437985 0 0 0 22136 81 0 0 20 0 1 0 335251763 1795362816 437588 33554432000 134512640 135840783 4291164864 4291164224 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29319/statm: 438321 437588 349 325 0 437257 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 1753284

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/179 29321
/proc/meminfo: memFree=26229560/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=1945220 CPUtime=282.14 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 485984 0 0 0 28120 94 0 0 20 0 1 0 335251763 1991905280 485572 33554432000 134512640 135840783 4291164864 4291164224 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29319/statm: 486305 485572 349 325 0 485241 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 1945220

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/179 29321
/proc/meminfo: memFree=25868252/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=2305052 CPUtime=342.12 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 575950 0 0 0 34098 114 0 0 20 0 1 0 335251763 2360373248 575530 33554432000 134512640 135840783 4291164864 4291163892 8749410 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29319/statm: 576263 575530 349 325 0 575199 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 2305052

[startup+402.3 s]
/proc/loadavg: 2.06 2.00 1.98 3/179 29321
/proc/meminfo: memFree=25564728/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=2610688 CPUtime=402.09 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 652388 0 0 0 40079 130 0 0 20 0 1 0 335251763 2673344512 651939 33554432000 134512640 135840783 4291164864 4291164224 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29319/statm: 652672 651939 349 325 0 651608 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 2610688

[startup+462.3 s]
/proc/loadavg: 2.02 2.00 1.98 3/179 29322
/proc/meminfo: memFree=25326428/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=2845672 CPUtime=462.08 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 711166 0 0 0 46065 143 0 0 20 0 1 0 335251763 2913968128 710709 33554432000 134512640 135840783 4291164864 4291164224 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29319/statm: 711418 710709 349 325 0 710354 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 2845672

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 29322
/proc/meminfo: memFree=25109580/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=3064836 CPUtime=522.05 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 765950 0 0 0 52050 155 0 0 20 0 1 0 335251763 3138392064 765480 33554432000 134512640 135840783 4291164864 4291164224 134551377 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29319/statm: 766209 765480 349 325 0 765145 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 3064836

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 29325
/proc/meminfo: memFree=24592892/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=3582584 CPUtime=582.01 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 895427 0 0 0 58020 181 0 0 20 0 1 0 335251763 3668566016 894934 33554432000 134512640 135840783 4291164864 4291164224 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29319/statm: 895646 894934 349 325 0 894582 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 3582584

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 29325
/proc/meminfo: memFree=24062828/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=4106272 CPUtime=641.98 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4202496 1026189 0 0 0 63994 204 0 0 20 0 1 0 335251763 4204822528 1025673 33554432000 134512640 135840783 4291164864 4291164224 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29319/statm: 1026568 1025673 349 325 0 1025504 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 4106272

[startup+702.3 s]
/proc/loadavg: 3.50 2.38 2.11 2/180 29365
/proc/meminfo: memFree=15949196/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=4189224 CPUtime=659.69 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) S 29317 29319 27204 0 -1 4204032 1047146 0 1 0 65276 693 0 0 20 0 1 0 335251763 4289765376 1046626 33554432000 134512640 135840783 4291164864 4291125656 1582128 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 16 0 0
/proc/29319/statm: 1047306 1046626 378 325 0 1046242 0
Current children cumulated CPU time (s) 659.69
Current children cumulated vsize (KiB) 4189224

[startup+762.307 s]
/proc/loadavg: 4.49 2.87 2.29 2/179 29365
/proc/meminfo: memFree=15151980/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=4189224 CPUtime=660.07 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) S 29317 29319 27204 0 -1 4204032 1047146 0 1 0 65276 731 0 0 20 0 1 0 335251763 4289765376 1046626 33554432000 134512640 135840783 4291164864 4291125656 1582128 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 16 0 0
/proc/29319/statm: 1047306 1046626 378 325 0 1046242 0
Current children cumulated CPU time (s) 660.07
Current children cumulated vsize (KiB) 4189224

[startup+822.3 s]
/proc/loadavg: 4.98 3.31 2.48 2/180 29366
/proc/meminfo: memFree=15141584/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=4189224 CPUtime=660.07 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) S 29317 29319 27204 0 -1 4204032 1047146 0 1 0 65276 731 0 0 20 0 1 0 335251763 4289765376 1046626 33554432000 134512640 135840783 4291164864 4291125656 1582128 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 16 0 0
/proc/29319/statm: 1047306 1046626 378 325 0 1046242 0
Current children cumulated CPU time (s) 660.07
Current children cumulated vsize (KiB) 4189224

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

[startup+846.8 s]
/proc/loadavg: 4.98 3.44 2.55 2/180 29366
/proc/meminfo: memFree=15130020/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=4189224 CPUtime=660.07 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) S 29317 29319 27204 0 -1 4204032 1047146 0 1 0 65276 731 0 0 20 0 1 0 335251763 4289765376 1046626 33554432000 134512640 135840783 4291164864 4291125656 1582128 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 16 0 0
/proc/29319/statm: 1047306 1046626 378 325 0 1046242 0
Current children cumulated CPU time (s) 660.07
Current children cumulated vsize (KiB) 4189224

[startup+859.6 s]
/proc/loadavg: 4.99 3.52 2.58 2/180 29366
/proc/meminfo: memFree=15129740/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=4189224 CPUtime=660.07 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) S 29317 29319 27204 0 -1 4204032 1047146 0 1 0 65276 731 0 0 20 0 1 0 335251763 4289765376 1046626 33554432000 134512640 135840783 4291164864 4291125656 1582128 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 16 0 0
/proc/29319/statm: 1047306 1046626 378 325 0 1046242 0
Current children cumulated CPU time (s) 660.07
Current children cumulated vsize (KiB) 4189224

[startup+866 s]
/proc/loadavg: 4.99 3.54 2.60 2/180 29366
/proc/meminfo: memFree=15129988/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=4189224 CPUtime=660.07 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) S 29317 29319 27204 0 -1 4204032 1047146 0 1 0 65276 731 0 0 20 0 1 0 335251763 4289765376 1046626 33554432000 134512640 135840783 4291164864 4291125656 1582128 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 16 0 0
/proc/29319/statm: 1047306 1046626 378 325 0 1046242 0
Current children cumulated CPU time (s) 660.07
Current children cumulated vsize (KiB) 4189224

[startup+872.4 s]
/proc/loadavg: 4.99 3.57 2.61 2/180 29366
/proc/meminfo: memFree=15130468/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=4189224 CPUtime=660.07 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) S 29317 29319 27204 0 -1 4204032 1047146 0 1 0 65276 731 0 0 20 0 1 0 335251763 4289765376 1046626 33554432000 134512640 135840783 4291164864 4291125656 1582128 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 16 0 0
/proc/29319/statm: 1047306 1046626 378 325 0 1046242 0
Current children cumulated CPU time (s) 660.07
Current children cumulated vsize (KiB) 4189224

[startup+874 s]
/proc/loadavg: 4.91 3.57 2.62 2/180 29366
/proc/meminfo: memFree=15137164/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=4189224 CPUtime=660.07 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) S 29317 29319 27204 0 -1 4204032 1047146 0 1 0 65276 731 0 0 20 0 1 0 335251763 4289765376 1046626 33554432000 134512640 135840783 4291164864 4291125656 1582128 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 16 0 0
/proc/29319/statm: 1047306 1046626 378 325 0 1046242 0
Current children cumulated CPU time (s) 660.07
Current children cumulated vsize (KiB) 4189224

[startup+874.8 s]
/proc/loadavg: 4.91 3.57 2.62 2/180 29366
/proc/meminfo: memFree=15137536/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=4189224 CPUtime=660.07 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) S 29317 29319 27204 0 -1 4204032 1047146 0 1 0 65276 731 0 0 20 0 1 0 335251763 4289765376 1046626 33554432000 134512640 135840783 4291164864 4291125656 1582128 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 16 0 0
/proc/29319/statm: 1047306 1046626 378 325 0 1046242 0
Current children cumulated CPU time (s) 660.07
Current children cumulated vsize (KiB) 4189224

[startup+875.2 s]
/proc/loadavg: 4.91 3.57 2.62 2/180 29366
/proc/meminfo: memFree=15137536/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=4189224 CPUtime=660.07 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) S 29317 29319 27204 0 -1 4204032 1047146 0 1 0 65276 731 0 0 20 0 1 0 335251763 4289765376 1046626 33554432000 134512640 135840783 4291164864 4291125656 1582128 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 16 0 0
/proc/29319/statm: 1047306 1046626 378 325 0 1046242 0
Current children cumulated CPU time (s) 660.07
Current children cumulated vsize (KiB) 4189224

[startup+875.4 s]
/proc/loadavg: 4.91 3.57 2.62 3/180 29367
/proc/meminfo: memFree=16983292/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=0 CPUtime=660.1 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4204036 1047146 0 1 0 65276 734 0 0 20 0 1 0 335251763 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 16 0 0
/proc/29319/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 660.1
Current children cumulated vsize (KiB) 0

[startup+875.507 s]
/proc/loadavg: 4.91 3.57 2.62 3/180 29367
/proc/meminfo: memFree=16983292/32873844 swapFree=7124/7124
[pid=29319] ppid=29317 vsize=0 CPUtime=660.2 cores=1,3,5,7
/proc/29319/stat : 29319 (bsolo3.0.17) R 29317 29319 27204 0 -1 4204036 1047146 0 1 0 65276 744 0 0 20 0 1 0 335251763 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 16 0 0
/proc/29319/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 660.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 875.586
CPU time (s): 660.294
CPU user time (s): 652.767
CPU system time (s): 7.52685
CPU usage (%): 75.4117
Max. virtual memory (cumulated for all children) (KiB): 4189224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 652.767
system time used= 7.52686
maximum resident set size= 4186504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1047146
page faults= 1
swaps= 0
block input operations= 136
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1028794
involuntary context switches= 737

runsolver used 2.16567 second user time and 8.36373 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-03 04:41:04
IDJOB=3732835
IDBENCH=2220
IDSOLVER=2318
FILE ID=node134/3732835-1338691264
RUNJOBID= node134-1338678625-27224
PBS_JOBID= 14636679
Free space on /tmp= 70352 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732835-1338691264/watcher-3732835-1338691264 -o /tmp/evaluation-result-3732835-1338691264/solver-3732835-1338691264 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3732835-1338691264.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= dae2a99f19ab3cbb5b0fd1a29cad1e80
RANDOM SEED=1027861953

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28174548 kB
Buffers:          466292 kB
Cached:          3304872 kB
SwapCached:           76 kB
Active:          1770436 kB
Inactive:        2035972 kB
Active(anon):      26712 kB
Inactive(anon):    10496 kB
Active(file):    1743724 kB
Inactive(file):  2025476 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:              7012 kB
Writeback:             0 kB
AnonPages:         41532 kB
Mapped:            12488 kB
Shmem:                96 kB
Slab:             754708 kB
SReclaimable:     196464 kB
SUnreclaim:       558244 kB
KernelStack:        1472 kB
PageTables:         4104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     149412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 66256 MiB
End job on node134 at 2012-06-03 04:55:39