Trace number 3462978

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
bsolo 3.2? 1798 1797.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_1.opb
MD5SUMc7543821508efc06c2ce41424051ab2c
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 variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5652
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3462978-1307179385.opb
0.00/0.01	c File size is 9033 bytes.
0.00/0.01	c Highest Coefficient sum: 5652
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0 s
0.00/0.01	c Var: 71 Constr: 17 1/0/16 Lit: 1109 Watch. Lit: 357
0.00/0.01	c Obj. Vars: 1 (1.40845 % of total variables)
0.00/0.01	c Pre-processing Time: 0.001 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0     70       16     1108   69      358    2216      0      0 0.00
0.00/0.01	c Switching off lower bounding mode.
1797.95/1797.94	c      100     70      161     9059   56     1100    2438    145   6250 0.02
1797.95/1797.94	c      250     70      331    17173   51     1444    2682    315   7142 0.04
1797.95/1797.94	c      476     70      590    29524   50     1984    2951    574   7803 0.06
1797.95/1797.94	c      814     70      995    49102   49     2874    3247    979   7902 0.10
1797.95/1797.94	c     1322     70     1579    78021   49     4137    3572   1563   7641 0.17
1797.95/1797.94	c     2085     70     2477   123612   49     6119    3930   2461   7367 0.28
1797.95/1797.94	c     3231     70     3854   192810   50     9456    4324   3838   6859 0.47
1797.95/1797.94	c     4952     70     3671   185078   50     9457    4757   3655   6755 0.73
1797.95/1797.94	c     7536     70     2480   139656   56     9302    5233   2464   6062 1.24
1797.95/1797.94	c    11416     70     4250   214387   50     9495    5757   4234   5777 1.98
1797.95/1797.94	c    17239     70     5445   289576   53    14079    6333   5429   5742 3.00
1797.95/1797.94	c    25976     70     6121   316874   51    13894    6967   6105   5275 4.92
1797.95/1797.94	c    39086     70     5791   307042   53    15681    7664   5775   4862 8.04
1797.95/1797.94	c    58757     70     3849   201072   52     9701    8431   3833   4549 12.91
1797.95/1797.94	c    88269     70     6184   344994   55    21367    9275   6168   4148 21.28
1797.95/1797.94	c   132539     70     6487   370750   57    26157   10203   6471   3568 37.14
1797.95/1797.94	c   198949     70     7259   416266   57    28799   11224   7243   3141 63.34
1797.95/1797.94	c   298570     70     6039   340830   56    22620   12347   6023   2873 103.92
1797.95/1797.94	c   448005     70     9798   563993   57    36402   13582   9782   2605 171.96
1797.95/1797.94	c   672163     70     7088   403872   56    24836   14941   7072   2310 290.97
1797.95/1797.94	c  1008406     70     9170   492898   53    24780   16436   9154   2410 418.33
1797.95/1797.94	c  1512777     70     9804   561384   57    40299   18080   9788   2185 692.05
1797.95/1797.94	c  2269341     70    16792   943823   56    55675   19889  16776   1954 1161.24
1797.95/1797.94	c  3404192     70    14835   824715   55    40769   21878  14819   1901 1789.84
1797.95/1797.94	c Resources Exceeded
1797.95/1797.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1797.94	c   24  3419732  41341  3462253    13434   726526  13418   1901 1798.00
1797.95/1797.94	s UNKNOWN
1797.95/1797.94	c Total time: 1798 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3462978-1307179385/watcher-3462978-1307179385 -o /tmp/evaluation-result-3462978-1307179385/solver-3462978-1307179385 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462978-1307179385.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: 2.06 2.03 2.00 3/429 2802
/proc/meminfo: memFree=28741148/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=26416 CPUtime=0 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 281 0 0 0 0 0 0 0 25 0 1 0 829538951 27049984 233 33554432000 134512640 137138936 4288376064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 6604 233 184 642 0 5960 0

[startup+0.050857 s]
/proc/loadavg: 2.06 2.03 2.00 3/429 2802
/proc/meminfo: memFree=28741148/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=18860 CPUtime=0.04 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 367 0 0 0 4 0 0 0 25 0 1 0 829538951 19312640 319 33554432000 134512640 137138936 4288376064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 4715 320 192 642 0 4071 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18860

[startup+0.100847 s]
/proc/loadavg: 2.06 2.03 2.00 3/429 2802
/proc/meminfo: memFree=28741148/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=19244 CPUtime=0.09 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 456 0 0 0 9 0 0 0 25 0 1 0 829538951 19705856 408 33554432000 134512640 137138936 4288376064 18446744073709551615 134618964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 4811 408 192 642 0 4167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19244

[startup+0.300812 s]
/proc/loadavg: 2.06 2.03 2.00 3/429 2802
/proc/meminfo: memFree=28741148/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=20404 CPUtime=0.29 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 767 0 0 0 29 0 0 0 25 0 1 0 829538951 20893696 719 33554432000 134512640 137138936 4288376064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 5101 719 192 642 0 4457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20404

[startup+0.70074 s]
/proc/loadavg: 2.06 2.03 2.00 3/429 2802
/proc/meminfo: memFree=28741148/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=21932 CPUtime=0.69 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 1126 0 0 0 69 0 0 0 25 0 1 0 829538951 22458368 1078 33554432000 134512640 137138936 4288376064 18446744073709551615 136500383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 5483 1078 192 642 0 4839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21932

[startup+1.50059 s]
/proc/loadavg: 2.06 2.03 2.00 3/430 2803
/proc/meminfo: memFree=28736924/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=22580 CPUtime=1.48 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 1304 0 0 0 148 0 0 0 25 0 1 0 829538951 23121920 1256 33554432000 134512640 137138936 4288376064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 5645 1256 192 642 0 5001 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22580

[startup+3.10029 s]
/proc/loadavg: 2.06 2.03 2.00 3/430 2803
/proc/meminfo: memFree=28735452/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=23208 CPUtime=3.08 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 1465 0 0 0 307 1 0 0 25 0 1 0 829538951 23764992 1417 33554432000 134512640 137138936 4288376064 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 5802 1417 192 642 0 5158 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23208

[startup+6.3007 s]
/proc/loadavg: 2.05 2.03 2.00 3/430 2803
/proc/meminfo: memFree=28733732/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=24348 CPUtime=6.28 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 1742 0 0 0 626 2 0 0 25 0 1 0 829538951 24932352 1694 33554432000 134512640 137138936 4288376064 18446744073709551615 134542387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 6087 1694 192 642 0 5443 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24348

[startup+12.7005 s]
/proc/loadavg: 2.05 2.03 2.00 3/430 2803
/proc/meminfo: memFree=28732384/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=24992 CPUtime=12.69 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 1907 0 0 0 1264 5 0 0 25 0 1 0 829538951 25591808 1859 33554432000 134512640 137138936 4288376064 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 6248 1859 192 642 0 5604 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24992

[startup+25.5001 s]
/proc/loadavg: 2.04 2.03 2.00 3/430 2804
/proc/meminfo: memFree=28731272/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=26512 CPUtime=25.49 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 2295 0 0 0 2540 9 0 0 25 0 1 0 829538951 27148288 2247 33554432000 134512640 137138936 4288376064 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 6628 2247 192 642 0 5984 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26512

[startup+51.1004 s]
/proc/loadavg: 2.02 2.02 2.00 3/430 2805
/proc/meminfo: memFree=28730168/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=27652 CPUtime=51.09 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 2575 0 0 0 5093 16 0 0 25 0 1 0 829538951 28315648 2527 33554432000 134512640 137138936 4288376064 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 6913 2527 192 642 0 6269 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27652

[startup+102.316 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 2806
/proc/meminfo: memFree=28728532/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=28516 CPUtime=102.31 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 2782 0 0 0 10202 29 0 0 25 0 1 0 829538951 29200384 2734 33554432000 134512640 137138936 4288376064 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 7129 2734 192 642 0 6485 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 28516

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2807
/proc/meminfo: memFree=28724136/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=29740 CPUtime=162.29 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 3086 0 0 0 16189 40 0 0 25 0 1 0 829538951 30453760 3038 33554432000 134512640 137138936 4288376064 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 7435 3038 192 642 0 6791 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 29740

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2810
/proc/meminfo: memFree=28722236/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=30708 CPUtime=222.29 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 3341 0 0 0 22177 52 0 0 25 0 1 0 829538951 31444992 3293 33554432000 134512640 137138936 4288376064 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 7677 3293 192 642 0 7033 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 30708

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2812
/proc/meminfo: memFree=28722060/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=30820 CPUtime=282.29 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 3359 0 0 0 28166 63 0 0 25 0 1 0 829538951 31559680 3311 33554432000 134512640 137138936 4288376064 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 7705 3311 192 642 0 7061 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 30820

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2813
/proc/meminfo: memFree=28722372/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=31404 CPUtime=342.29 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 3507 0 0 0 34152 77 0 0 25 0 1 0 829538951 32157696 3459 33554432000 134512640 137138936 4288376064 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 7851 3459 192 642 0 7207 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 31404

[startup+402.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/430 2815
/proc/meminfo: memFree=28723312/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=31392 CPUtime=402.3 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 3507 0 0 0 40137 93 0 0 25 0 1 0 829538951 32145408 3459 33554432000 134512640 137138936 4288376064 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 7848 3459 192 642 0 7204 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31392

[startup+462.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/430 2816
/proc/meminfo: memFree=28694120/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=33292 CPUtime=462.3 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 3988 0 0 0 46127 103 0 0 25 0 1 0 829538951 34091008 3940 33554432000 134512640 137138936 4288376064 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 8323 3940 192 642 0 7679 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 33292

[startup+522.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/430 2818
/proc/meminfo: memFree=28693200/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=33568 CPUtime=522.31 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4049 0 0 0 52118 113 0 0 25 0 1 0 829538951 34373632 4001 33554432000 134512640 137138936 4288376064 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 8392 4001 192 642 0 7748 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 33568

[startup+582.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/430 2820
/proc/meminfo: memFree=28692916/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=33568 CPUtime=582.31 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4049 0 0 0 58107 124 0 0 25 0 1 0 829538951 34373632 4001 33554432000 134512640 137138936 4288376064 18446744073709551615 136504176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 8392 4001 192 642 0 7748 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 33568

[startup+642.301 s]

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

/proc/meminfo: memFree=28982152/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=34956 CPUtime=1062.32 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4399 0 0 0 106039 193 0 0 25 0 1 0 829538951 35794944 4351 33554432000 134512640 137138936 4288376064 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 8739 4351 192 642 0 8095 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 34956

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 2862
/proc/meminfo: memFree=28982372/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=34948 CPUtime=1122.33 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4399 0 0 0 112032 201 0 0 25 0 1 0 829538951 35786752 4351 33554432000 134512640 137138936 4288376064 18446744073709551615 136504025 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 8737 4351 192 642 0 8093 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 34948

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/430 2864
/proc/meminfo: memFree=28982468/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=35808 CPUtime=1182.33 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4609 0 0 0 118026 207 0 0 25 0 1 0 829538951 36667392 4561 33554432000 134512640 137138936 4288376064 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 8952 4561 192 642 0 8308 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 35808

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2873
/proc/meminfo: memFree=28980956/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=36360 CPUtime=1242.33 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4750 0 0 0 124018 215 0 0 25 0 1 0 829538951 37232640 4702 33554432000 134512640 137138936 4288376064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9090 4702 192 642 0 8446 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 36360

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2875
/proc/meminfo: memFree=28981036/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=36360 CPUtime=1302.34 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4750 0 0 0 130011 223 0 0 25 0 1 0 829538951 37232640 4702 33554432000 134512640 137138936 4288376064 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9090 4702 192 642 0 8446 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 36360

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/430 2876
/proc/meminfo: memFree=28980128/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=36356 CPUtime=1362.34 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4750 0 0 0 136003 231 0 0 25 0 1 0 829538951 37228544 4702 33554432000 134512640 137138936 4288376064 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9089 4702 192 642 0 8445 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 36356

[startup+1422.32 s]
/proc/loadavg: 2.17 2.05 2.01 3/430 2878
/proc/meminfo: memFree=28977848/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=36348 CPUtime=1422.35 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4750 0 0 0 141996 239 0 0 25 0 1 0 829538951 37220352 4702 33554432000 134512640 137138936 4288376064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9087 4702 192 642 0 8443 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 36348

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/430 2880
/proc/meminfo: memFree=28973604/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=36340 CPUtime=1482.34 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4750 0 0 0 147988 246 0 0 25 0 1 0 829538951 37212160 4702 33554432000 134512640 137138936 4288376064 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9085 4702 192 642 0 8441 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 36340

[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 2881
/proc/meminfo: memFree=28973688/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=36340 CPUtime=1542.34 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4750 0 0 0 153979 255 0 0 25 0 1 0 829538951 37212160 4702 33554432000 134512640 137138936 4288376064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9085 4702 192 642 0 8441 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 36340

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 2883
/proc/meminfo: memFree=28975496/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=36332 CPUtime=1602.34 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4750 0 0 0 159971 263 0 0 25 0 1 0 829538951 37203968 4702 33554432000 134512640 137138936 4288376064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9083 4702 192 642 0 8439 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 36332

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2884
/proc/meminfo: memFree=28976168/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=36320 CPUtime=1662.34 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4750 0 0 0 165962 272 0 0 25 0 1 0 829538951 37191680 4702 33554432000 134512640 137138936 4288376064 18446744073709551615 134600129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9080 4702 192 642 0 8436 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 36320

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2887
/proc/meminfo: memFree=28975384/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=36308 CPUtime=1722.35 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4750 0 0 0 171955 280 0 0 25 0 1 0 829538951 37179392 4699 33554432000 134512640 137138936 4288376064 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9077 4699 192 642 0 8433 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 36308

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2889
/proc/meminfo: memFree=28967672/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=36304 CPUtime=1782.34 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4750 0 0 0 177947 287 0 0 25 0 1 0 829538951 37175296 4698 33554432000 134512640 137138936 4288376064 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9076 4698 192 642 0 8432 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 36304

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2889
/proc/meminfo: memFree=28967548/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=36304 CPUtime=1785.55 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4750 0 0 0 178267 288 0 0 25 0 1 0 829538951 37175296 4698 33554432000 134512640 137138936 4288376064 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9076 4698 192 642 0 8432 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 36304

[startup+1791.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2889
/proc/meminfo: memFree=28967652/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=36820 CPUtime=1791.96 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4861 0 0 0 178907 289 0 0 25 0 1 0 829538951 37703680 4808 33554432000 134512640 137138936 4288376064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9205 4808 192 642 0 8561 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 36820

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2889
/proc/meminfo: memFree=28967280/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=37132 CPUtime=1795.15 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4947 0 0 0 179225 290 0 0 25 0 1 0 829538951 38023168 4894 33554432000 134512640 137138936 4288376064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9283 4894 192 642 0 8639 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 37132

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2889
/proc/meminfo: memFree=28967280/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=37132 CPUtime=1796.75 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4948 0 0 0 179385 290 0 0 25 0 1 0 829538951 38023168 4895 33554432000 134512640 137138936 4288376064 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9283 4895 192 642 0 8639 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 37132

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2889
/proc/meminfo: memFree=28967404/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=37132 CPUtime=1797.55 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4948 0 0 0 179465 290 0 0 25 0 1 0 829538951 38023168 4895 33554432000 134512640 137138936 4288376064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9283 4895 192 642 0 8639 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 37132

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2889
/proc/meminfo: memFree=28967404/32951124 swapFree=43324008/67111528
[pid=2802] ppid=2800 vsize=37132 CPUtime=1797.95 cores=1,3,5,7
/proc/2802/stat : 2802 (bsolo) R 2800 2802 585 0 -1 4202496 4948 0 0 0 179505 290 0 0 25 0 1 0 829538951 38023168 4895 33554432000 134512640 137138936 4288376064 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2802/statm: 9283 4895 192 642 0 8639 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 37132

Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1795.1
CPU system time (s): 2.90456
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 37132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.1
system time used= 2.90456
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4948
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= 5
involuntary context switches= 4805

runsolver used 7.46686 second user time and 17.9843 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-04 11:23:05
IDJOB=3462978
IDBENCH=2930
IDSOLVER=1955
FILE ID=node105/3462978-1307179385
RUNJOBID= node105-1307175060-2486
PBS_JOBID= 13508836
Free space on /tmp= 73764 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462978-1307179385/watcher-3462978-1307179385 -o /tmp/evaluation-result-3462978-1307179385/solver-3462978-1307179385 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462978-1307179385.opb

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

MD5SUM BENCH= c7543821508efc06c2ce41424051ab2c
RANDOM SEED=1083550662

node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5410.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28741428 kB
Buffers:        336268 kB
Cached:         861652 kB
SwapCached:      20984 kB
Active:        3187060 kB
Inactive:       709552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28741428 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:            3908 kB
Writeback:           0 kB
AnonPages:     2695616 kB
Mapped:          20092 kB
Slab:           165072 kB
PageTables:      81520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115179264 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73760 MiB
End job on node105 at 2011-06-04 11:53:03