Trace number 3726301

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
pwbo 2.02? (TO) 1800.09 900.32

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-f2000.opb
MD5SUMacba870ceff62e653e0b2927ff2b81fb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
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 variables4000
Total number of constraints10500
Number of constraints which are clauses10500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 4000
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 4000
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4000
Number of bits of the biggest sum of numbers12
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.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3726301-1338658771.opb.
0.00/0.00	c Instance file HOME/instance-3726301-1338658771.opb
0.00/0.00	c File size is 367975 bytes.
0.00/0.03	c Cost Offset: 0
0.00/0.03	c Highest Coefficient sum: 4
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      4000                                                |
0.00/0.03	c |  Number Clauses:        10500                                               |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 0                                                   |
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Problem Type:          Optimization                                        |
0.00/0.03	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.03	c |                                                                             |
0.00/0.03	c ===============================================================================
1800.09/900.31	c ===============================================================================
1800.09/900.31	c Wall Clock Time: 900.31 s
1800.09/900.31	s UNKNOWN

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-3726301-1338658771/watcher-3726301-1338658771 -o /tmp/evaluation-result-3726301-1338658771/solver-3726301-1338658771 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726301-1338658771.opb 

running on 4 cores: 0,2,4,6

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: 4.05 4.00 3.93 4/178 30761
/proc/meminfo: memFree=27192748/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=5632 CPUtime=0 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) R 30759 30761 28266 0 -1 4202496 660 0 0 0 0 0 0 0 20 0 1 0 332001998 5767168 612 33554432000 4194304 5964478 140735929796416 140733333923704 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 1408 613 165 433 0 882 0

[startup+0.0389219 s]
/proc/loadavg: 4.05 4.00 3.93 4/178 30761
/proc/meminfo: memFree=27192748/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=165752 CPUtime=0.03 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 2324 0 0 0 3 0 0 0 20 0 3 0 332001998 169730048 2185 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41438 2187 182 433 0 41002 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 165752

[startup+0.100176 s]
/proc/loadavg: 4.05 4.00 3.93 4/178 30761
/proc/meminfo: memFree=27192748/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=165884 CPUtime=0.15 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 3151 0 0 0 15 0 0 0 20 0 3 0 332001998 169865216 2954 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41471 2954 194 433 0 41035 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 165884

[startup+0.300129 s]
/proc/loadavg: 4.05 4.00 3.93 4/178 30761
/proc/meminfo: memFree=27192748/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=165884 CPUtime=0.55 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 3535 0 0 0 54 1 0 0 20 0 3 0 332001998 169865216 3282 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41471 3282 194 433 0 41035 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 165884

[startup+0.700138 s]
/proc/loadavg: 4.05 4.00 3.93 4/178 30761
/proc/meminfo: memFree=27192748/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=165884 CPUtime=1.35 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 4036 0 0 0 133 2 0 0 20 0 3 0 332001998 169865216 3648 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41471 3648 194 433 0 41035 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 165884

[startup+1.50029 s]
/proc/loadavg: 4.05 4.00 3.93 5/181 30764
/proc/meminfo: memFree=27177992/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=165884 CPUtime=2.94 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 7011 0 0 0 290 4 0 0 20 0 3 0 332001998 169865216 4529 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41471 4529 194 433 0 41035 0
[pid=30761/tid=30763] ppid=30759 vsize=165884 CPUtime=1.44 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 3962 0 0 0 143 1 0 0 20 0 3 0 332002001 169865216 4529 33554432000 4194304 5964478 140735929796416 140042231630360 5139118 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=165884 CPUtime=1.45 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 1357 0 0 0 141 4 0 0 20 0 3 0 332002001 169865216 4529 33554432000 4194304 5964478 140735929796416 140042221140328 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 165884

[startup+3.10029 s]
/proc/loadavg: 4.05 4.00 3.93 5/181 30764
/proc/meminfo: memFree=27174380/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=166148 CPUtime=6.15 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 12210 0 0 0 609 6 0 0 20 0 3 0 332001998 170135552 5669 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41537 5669 194 433 0 41101 0
[pid=30761/tid=30763] ppid=30759 vsize=166148 CPUtime=3.04 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 8939 0 0 0 302 2 0 0 20 0 3 0 332002001 170135552 5669 33554432000 4194304 5964478 140735929796416 140042231630360 5139166 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=166148 CPUtime=3.04 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 1579 0 0 0 300 4 0 0 20 0 3 0 332002001 170135552 5669 33554432000 4194304 5964478 140735929796416 140042221140040 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 166148

[startup+6.30029 s]
/proc/loadavg: 4.13 4.02 3.93 5/181 30764
/proc/meminfo: memFree=27161360/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=167024 CPUtime=12.54 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 22305 0 0 0 1244 10 0 0 20 0 3 0 332001998 171032576 9219 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 41756 9219 194 433 0 41320 0
[pid=30761/tid=30763] ppid=30759 vsize=167024 CPUtime=6.23 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 17788 0 0 0 620 3 0 0 20 0 3 0 332002001 171032576 9219 33554432000 4194304 5964478 140735929796416 140042231630360 5139161 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=167024 CPUtime=6.23 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 2825 0 0 0 616 7 0 0 20 0 3 0 332002001 171032576 9219 33554432000 4194304 5964478 140735929796416 140042221140280 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 167024

[startup+12.7003 s]
/proc/loadavg: 4.12 4.02 3.93 5/181 30764
/proc/meminfo: memFree=27139732/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=168192 CPUtime=25.34 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 31864 0 0 0 2520 14 0 0 20 0 3 0 332001998 172228608 13649 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 42048 13649 195 433 0 41612 0
[pid=30761/tid=30763] ppid=30759 vsize=168192 CPUtime=12.61 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 26283 0 0 0 1256 5 0 0 20 0 3 0 332002001 172228608 13649 33554432000 4194304 5964478 140735929796416 140042231630776 4403727 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=168192 CPUtime=12.62 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 3889 0 0 0 1253 9 0 0 20 0 3 0 332002001 172228608 13649 33554432000 4194304 5964478 140735929796416 140042221140040 4388828 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 168192

[startup+25.5003 s]
/proc/loadavg: 4.09 4.02 3.93 5/181 30764
/proc/meminfo: memFree=27120380/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=170112 CPUtime=50.94 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 36661 0 0 0 5076 18 0 0 20 0 3 0 332001998 174194688 18446 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 42528 18446 195 433 0 42092 0
[pid=30761/tid=30763] ppid=30759 vsize=170112 CPUtime=25.38 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 29158 0 0 0 2533 5 0 0 20 0 3 0 332002001 174194688 18446 33554432000 4194304 5964478 140735929796416 140042231629624 4399827 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=170112 CPUtime=25.38 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 5811 0 0 0 2526 12 0 0 20 0 3 0 332002001 174194688 18446 33554432000 4194304 5964478 140735929796416 140042221140280 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 170112

[startup+51.1003 s]
/proc/loadavg: 4.13 4.03 3.94 5/182 30767
/proc/meminfo: memFree=27101600/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=174052 CPUtime=102.13 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 41401 0 0 0 10192 21 0 0 20 0 3 0 332001998 178229248 23004 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 43513 23004 195 433 0 43077 0
[pid=30761/tid=30763] ppid=30759 vsize=174052 CPUtime=50.91 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 32272 0 0 0 5085 6 0 0 20 0 3 0 332002001 178229248 23004 33554432000 4194304 5964478 140735929796416 140042231629864 4400115 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=174052 CPUtime=50.92 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 7437 0 0 0 5078 14 0 0 20 0 3 0 332002001 178229248 23004 33554432000 4194304 5964478 140735929796416 140042221140040 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 174052

[startup+102.307 s]
/proc/loadavg: 4.06 4.03 3.94 5/181 30768
/proc/meminfo: memFree=27017456/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=244588 CPUtime=204.52 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 55303 0 0 0 20418 34 0 0 20 0 3 0 332001998 250458112 36906 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 61147 36906 195 433 0 60711 0
[pid=30761/tid=30763] ppid=30759 vsize=244588 CPUtime=101.98 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 43436 0 0 0 10183 15 0 0 20 0 3 0 332002001 250458112 36906 33554432000 4194304 5964478 140735929796416 140042231629864 4409248 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=244588 CPUtime=101.99 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 10175 0 0 0 10179 20 0 0 20 0 3 0 332002001 250458112 36906 33554432000 4194304 5964478 140735929796416 140042221140040 4400519 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 244588

[startup+162.3 s]
/proc/loadavg: 4.02 4.02 3.94 5/181 30768
/proc/meminfo: memFree=26941364/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=314112 CPUtime=324.48 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 68427 0 0 0 32401 47 0 0 20 0 3 0 332001998 321650688 50407 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 78528 50407 195 433 0 78092 0
[pid=30761/tid=30763] ppid=30759 vsize=314112 CPUtime=161.82 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 52929 0 0 0 16159 23 0 0 20 0 3 0 332002001 321650688 50407 33554432000 4194304 5964478 140735929796416 140042231629816 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=314112 CPUtime=161.83 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 13806 0 0 0 16156 27 0 0 20 0 3 0 332002001 321650688 50407 33554432000 4194304 5964478 140735929796416 140042221140384 4387996 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 314112

[startup+222.3 s]
/proc/loadavg: 4.00 4.01 3.94 5/181 30768
/proc/meminfo: memFree=26906612/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=317524 CPUtime=444.43 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 73120 0 0 0 44393 50 0 0 20 0 3 0 332001998 325144576 55649 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 79381 55649 195 433 0 78945 0
[pid=30761/tid=30763] ppid=30759 vsize=317524 CPUtime=221.62 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 56261 0 0 0 22136 26 0 0 20 0 3 0 332002001 325144576 55649 33554432000 4194304 5964478 140735929796416 140042231629816 4399865 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=317524 CPUtime=221.66 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 15167 0 0 0 22137 29 0 0 20 0 3 0 332002001 325144576 55649 33554432000 4194304 5964478 140735929796416 140042221140280 4400010 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 317524

[startup+282.3 s]
/proc/loadavg: 4.07 4.02 3.94 5/181 30768
/proc/meminfo: memFree=26810552/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=320900 CPUtime=564.38 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 85497 0 0 0 56376 62 0 0 20 0 3 0 332001998 328601600 68019 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 80225 68019 195 433 0 79789 0
[pid=30761/tid=30763] ppid=30759 vsize=320900 CPUtime=281.44 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 66671 0 0 0 28107 37 0 0 20 0 3 0 332002001 328601600 68019 33554432000 4194304 5964478 140735929796416 140042231629624 4389129 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=320900 CPUtime=281.5 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 17134 0 0 0 28118 32 0 0 20 0 3 0 332002001 328601600 68019 33554432000 4194304 5964478 140735929796416 140042221140384 4400018 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.38
Current children cumulated vsize (KiB) 320900

[startup+342.3 s]
/proc/loadavg: 4.14 4.05 3.95 5/181 30768
/proc/meminfo: memFree=26709260/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=389376 CPUtime=684.35 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 86618 0 0 0 68373 62 0 0 20 0 3 0 332001998 398721024 70770 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 97344 70770 195 433 0 96908 0

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

[pid=30761/tid=30764] ppid=30759 vsize=389376 CPUtime=341.34 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 17807 0 0 0 34100 34 0 0 20 0 3 0 332002001 398721024 70770 33554432000 4194304 5964478 140735929796416 140042221140040 4400432 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.35
Current children cumulated vsize (KiB) 389376

[startup+402.3 s]
/proc/loadavg: 4.05 4.04 3.95 5/181 30769
/proc/meminfo: memFree=26602400/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=393168 CPUtime=804.33 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 96484 0 0 0 80359 74 0 0 20 0 3 0 332001998 402604032 80636 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 98292 80636 195 433 0 97856 0
[pid=30761/tid=30763] ppid=30759 vsize=393168 CPUtime=401.12 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 75562 0 0 0 40063 49 0 0 20 0 3 0 332002001 402604032 80636 33554432000 4194304 5964478 140735929796416 140042231629624 4389170 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=393168 CPUtime=401.19 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 19230 0 0 0 40083 36 0 0 20 0 3 0 332002001 402604032 80636 33554432000 4194304 5964478 140735929796416 140042221140040 4400435 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.33
Current children cumulated vsize (KiB) 393168

[startup+462.3 s]
/proc/loadavg: 4.02 4.03 3.95 5/181 30769
/proc/meminfo: memFree=26574888/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=395232 CPUtime=924.32 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 99820 0 0 0 92354 78 0 0 20 0 3 0 332001998 404717568 83969 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 98808 83969 195 433 0 98372 0
[pid=30761/tid=30763] ppid=30759 vsize=395232 CPUtime=460.97 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 76926 0 0 0 46046 51 0 0 20 0 3 0 332002001 404717568 83969 33554432000 4194304 5964478 140735929796416 140042231629688 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=395232 CPUtime=461.03 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 21202 0 0 0 46063 40 0 0 20 0 3 0 332002001 404717568 83969 33554432000 4194304 5964478 140735929796416 140042221140040 4399890 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.32
Current children cumulated vsize (KiB) 395232

[startup+522.3 s]
/proc/loadavg: 4.08 4.04 3.96 5/181 30769
/proc/meminfo: memFree=26562964/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=396696 CPUtime=1044.29 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 100772 0 0 0 104351 78 0 0 20 0 3 0 332001998 406216704 84920 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 99174 84920 195 433 0 98738 0
[pid=30761/tid=30763] ppid=30759 vsize=396696 CPUtime=520.82 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 77510 0 0 0 52031 51 0 0 20 0 3 0 332002001 406216704 84920 33554432000 4194304 5964478 140735929796416 140042231629864 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=396696 CPUtime=520.88 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 21570 0 0 0 52048 40 0 0 20 0 3 0 332002001 406216704 84920 33554432000 4194304 5964478 140735929796416 140042221140040 4399854 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.29
Current children cumulated vsize (KiB) 396696

[startup+582.3 s]
/proc/loadavg: 4.13 4.06 3.97 5/181 30769
/proc/meminfo: memFree=26496064/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=466648 CPUtime=1164.28 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 115657 0 0 0 116337 91 0 0 20 0 3 0 332001998 477847552 99803 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 116662 99803 195 433 0 116226 0
[pid=30761/tid=30763] ppid=30759 vsize=466648 CPUtime=580.66 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 91828 0 0 0 58001 65 0 0 20 0 3 0 332002001 477847552 99803 33554432000 4194304 5964478 140735929796416 140042231629816 4389100 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=466648 CPUtime=580.73 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 22137 0 0 0 58031 42 0 0 20 0 3 0 332002001 477847552 99803 33554432000 4194304 5964478 140735929796416 140042221140040 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 466648

[startup+642.3 s]
/proc/loadavg: 4.05 4.05 3.97 5/182 30772
/proc/meminfo: memFree=26470488/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=468520 CPUtime=1284.22 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 118917 0 0 0 128329 93 0 0 20 0 3 0 332001998 479764480 103850 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 117130 103850 195 433 0 116694 0
[pid=30761/tid=30763] ppid=30759 vsize=468520 CPUtime=640.48 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 94375 0 0 0 63981 67 0 0 20 0 3 0 332002001 479764480 103850 33554432000 4194304 5964478 140735929796416 140042231629864 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=468520 CPUtime=640.57 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 22850 0 0 0 64014 43 0 0 20 0 3 0 332002001 479764480 103850 33554432000 4194304 5964478 140735929796416 140042221140040 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.22
Current children cumulated vsize (KiB) 468520

[startup+702.3 s]
/proc/loadavg: 4.09 4.05 3.97 5/181 30773
/proc/meminfo: memFree=26405772/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=536768 CPUtime=1404.16 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 132554 0 0 0 140313 103 0 0 20 0 3 0 332001998 549650432 117859 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 134192 117859 195 433 0 133756 0
[pid=30761/tid=30763] ppid=30759 vsize=536768 CPUtime=700.28 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 106057 0 0 0 69951 77 0 0 20 0 3 0 332002001 549650432 117860 33554432000 4194304 5964478 140735929796416 140042231629624 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=536768 CPUtime=700.4 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 24806 0 0 0 69995 45 0 0 20 0 3 0 332002001 549650432 117860 33554432000 4194304 5964478 140735929796416 140042221140040 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.16
Current children cumulated vsize (KiB) 536768

[startup+762.307 s]
/proc/loadavg: 4.07 4.05 3.98 5/181 30814
/proc/meminfo: memFree=26795260/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=611728 CPUtime=1524.14 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 146167 0 0 0 152300 114 0 0 20 0 3 0 332001998 626409472 131727 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 152932 131727 195 433 0 152496 0
[pid=30761/tid=30763] ppid=30759 vsize=611728 CPUtime=760.11 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 119295 0 0 0 75923 88 0 0 20 0 3 0 332002001 626409472 131727 33554432000 4194304 5964478 140735929796416 140042231629816 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=611728 CPUtime=760.26 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 25180 0 0 0 75979 47 0 0 20 0 3 0 332002001 626409472 131727 33554432000 4194304 5964478 140735929796416 140042221140040 4400496 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.14
Current children cumulated vsize (KiB) 611728

[startup+822.3 s]
/proc/loadavg: 4.02 4.04 3.98 5/181 30814
/proc/meminfo: memFree=26763492/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=679008 CPUtime=1644.1 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 148330 0 0 0 164293 117 0 0 20 0 3 0 332001998 695304192 133886 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 169752 133886 195 433 0 169316 0
[pid=30761/tid=30763] ppid=30759 vsize=679008 CPUtime=819.95 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 119302 0 0 0 81906 89 0 0 20 0 3 0 332002001 695304192 133886 33554432000 4194304 5964478 140735929796416 140042231629816 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=679008 CPUtime=820.08 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 27336 0 0 0 81958 50 0 0 20 0 3 0 332002001 695304192 133886 33554432000 4194304 5964478 140735929796416 140042221140040 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.1
Current children cumulated vsize (KiB) 679008

[startup+882.3 s]
/proc/loadavg: 4.01 4.03 3.98 5/181 30814
/proc/meminfo: memFree=26734628/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=680108 CPUtime=1764.08 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 148612 0 0 0 176291 117 0 0 20 0 3 0 332001998 696430592 134555 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 170027 134555 195 433 0 169591 0
[pid=30761/tid=30763] ppid=30759 vsize=680108 CPUtime=879.8 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 119319 0 0 0 87890 90 0 0 20 0 3 0 332002001 696430592 134555 33554432000 4194304 5964478 140735929796416 140042231629728 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=680108 CPUtime=879.93 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 27601 0 0 0 87941 52 0 0 20 0 3 0 332002001 696430592 134555 33554432000 4194304 5964478 140735929796416 140042221140040 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.08
Current children cumulated vsize (KiB) 680108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.03 3.98 5/181 30814
/proc/meminfo: memFree=26723312/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=680576 CPUtime=1800.09 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 148712 0 0 0 179892 117 0 0 20 0 3 0 332001998 696909824 134655 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 170144 134655 195 433 0 169708 0
[pid=30761/tid=30763] ppid=30759 vsize=680576 CPUtime=897.76 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 119319 0 0 0 89686 90 0 0 20 0 3 0 332002001 696909824 134655 33554432000 4194304 5964478 140735929796416 140042231629728 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=680576 CPUtime=897.89 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 27701 0 0 0 89737 52 0 0 20 0 3 0 332002001 696909824 134655 33554432000 4194304 5964478 140735929796416 140042221140040 4400519 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 680576

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

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

[startup+900.3 s]
/proc/loadavg: 4.00 4.03 3.98 5/181 30814
/proc/meminfo: memFree=26723312/32873844 swapFree=6608/6608
[pid=30761] ppid=30759 vsize=680576 CPUtime=1800.09 cores=0,2,4,6
/proc/30761/stat : 30761 (pwbo2.02) S 30759 30761 28266 0 -1 4202496 148712 0 0 0 179892 117 0 0 20 0 3 0 332001998 696909824 134655 33554432000 4194304 5964478 140735929796416 140735929795936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30761/statm: 170144 134655 195 433 0 169708 0
[pid=30761/tid=30763] ppid=30759 vsize=680576 CPUtime=897.76 cores=0,2,4,6
/proc/30761/task/30763/stat : 30763 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 119319 0 0 0 89686 90 0 0 20 0 3 0 332002001 696909824 134655 33554432000 4194304 5964478 140735929796416 140042231629728 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30761/tid=30764] ppid=30759 vsize=680576 CPUtime=897.89 cores=0,2,4,6
/proc/30761/task/30764/stat : 30764 (pwbo2.02) R 30759 30761 28266 0 -1 4202560 27701 0 0 0 89737 52 0 0 20 0 3 0 332002001 696909824 134655 33554432000 4194304 5964478 140735929796416 140042221140040 4400519 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 680576

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30761 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=267229
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=450779
# CPU time returned by wait4() is 1795.72
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.32
CPU time (s): 1800.09
CPU user time (s): 1798.92
CPU system time (s): 1.17
CPU usage (%): 199.939
Max. virtual memory (cumulated for all children) (KiB): 680576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.27
system time used= 1.45078
maximum resident set size= 538624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148713
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= 431
involuntary context switches= 2414

runsolver used 2.10168 second user time and 4.77527 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-02 19:39:31
IDJOB=3726301
IDBENCH=89869
IDSOLVER=2309
FILE ID=node140/3726301-1338658771
RUNJOBID= node140-1338651425-29649
PBS_JOBID= 14636440
Free space on /tmp= 70620 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-f2000.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3726301-1338658771/watcher-3726301-1338658771 -o /tmp/evaluation-result-3726301-1338658771/solver-3726301-1338658771 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726301-1338658771.opb

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

MD5SUM BENCH= acba870ceff62e653e0b2927ff2b81fb
RANDOM SEED=2046358392

node140.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.094
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.18
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.094
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	: 5331.91
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.094
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	: 5331.91
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.094
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	: 5331.91
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.094
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	: 5331.92
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.094
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	: 5331.88
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.094
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	: 5331.90
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.094
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27193276 kB
Buffers:          391708 kB
Cached:          4149464 kB
SwapCached:         1664 kB
Active:          1464332 kB
Inactive:        3326728 kB
Active(anon):     242132 kB
Inactive(anon):     9416 kB
Active(file):    1222200 kB
Inactive(file):  3317312 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105156 kB
Dirty:              6012 kB
Writeback:             0 kB
AnonPages:        254436 kB
Mapped:            11076 kB
Shmem:                 8 kB
Slab:             747856 kB
SReclaimable:     189616 kB
SUnreclaim:       558240 kB
KernelStack:        1504 kB
PageTables:         4568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     196112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70612 MiB
End job on node140 at 2012-06-02 19:54:34