Trace number 3725827

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.16 900.32

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-1.opb
MD5SUM5a9e4c8983ff8fc3ce01109a5c224dd2
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 variables6352
Total number of constraints13453
Number of constraints which are clauses13453
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 constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
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 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
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.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-3725827-1338654118.opb.
0.00/0.00	c Instance file HOME/instance-3725827-1338654118.opb
0.00/0.00	c File size is 453911 bytes.
0.00/0.04	c Cost Offset: 0
0.00/0.04	c Highest Coefficient sum: 4
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Parsing time:          0.04         s                                      |
0.00/0.04	c |  Number Variables:      6352                                                |
0.00/0.04	c |  Number Clauses:        13453                                               |
0.00/0.04	c |  Number Cardinality:    0                                                   |
0.00/0.04	c |  Number PB Constraints: 0                                                   |
0.00/0.04	c |                                                                             |
0.00/0.05	c |  Problem Type:          Optimization                                        |
0.00/0.05	c |  Objective Function:    PB Constraint                                       |
0.00/0.05	c |                                                                             |
0.00/0.05	c ===============================================================================
1800.16/900.31	c ===============================================================================
1800.16/900.31	c Wall Clock Time: 900.31 s
1800.16/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-3725827-1338654118/watcher-3725827-1338654118 -o /tmp/evaluation-result-3725827-1338654118/solver-3725827-1338654118 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725827-1338654118.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.00 3.99 3.82 3/178 12246
/proc/meminfo: memFree=28343988/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=5908 CPUtime=0 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) R 12244 12246 10378 0 -1 4202496 664 0 0 0 0 0 0 0 20 0 1 0 331536715 6049792 618 33554432000 4194304 5964478 140733830829376 140737439716168 5179696 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 1477 626 157 433 0 930 0

[startup+0.078723 s]
/proc/loadavg: 4.00 3.99 3.82 3/178 12246
/proc/meminfo: memFree=28343988/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=167140 CPUtime=0.09 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 4427 0 0 0 8 1 0 0 20 0 3 0 331536715 171151360 3973 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 41785 3973 197 433 0 41349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 167140

[startup+0.100198 s]
/proc/loadavg: 4.00 3.99 3.82 3/178 12246
/proc/meminfo: memFree=28343988/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=167140 CPUtime=0.14 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 4856 0 0 0 13 1 0 0 20 0 3 0 331536715 171151360 4068 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 41785 4068 198 433 0 41349 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 167140

[startup+0.300126 s]
/proc/loadavg: 4.00 3.99 3.82 3/178 12246
/proc/meminfo: memFree=28343988/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=167140 CPUtime=0.54 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 5771 0 0 0 53 1 0 0 20 0 3 0 331536715 171151360 4166 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 41785 4166 198 433 0 41349 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 167140

[startup+0.70014 s]
/proc/loadavg: 4.00 3.99 3.82 3/178 12246
/proc/meminfo: memFree=28343988/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=167140 CPUtime=1.33 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 8566 0 0 0 132 1 0 0 20 0 3 0 331536715 171151360 4663 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 41785 4663 198 433 0 41349 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 167140

[startup+1.50028 s]
/proc/loadavg: 4.00 3.99 3.82 5/181 12249
/proc/meminfo: memFree=28323404/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=167140 CPUtime=2.94 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 14037 0 0 0 291 3 0 0 20 0 3 0 331536715 171151360 5408 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 41785 5408 198 433 0 41349 0
[pid=12246/tid=12248] ppid=12244 vsize=167140 CPUtime=1.43 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 10671 0 0 0 141 2 0 0 20 0 3 0 331536719 171151360 5408 33554432000 4194304 5964478 140733830829376 140192556448280 5236855 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=167140 CPUtime=1.43 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 1265 0 0 0 143 0 0 0 20 0 3 0 331536719 171151360 5408 33554432000 4194304 5964478 140733830829376 140192545958008 4392812 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 167140

[startup+3.10029 s]
/proc/loadavg: 4.00 3.99 3.82 5/181 12249
/proc/meminfo: memFree=28317312/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=167140 CPUtime=6.13 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 24248 0 0 0 609 4 0 0 20 0 3 0 331536715 171151360 7333 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 41785 7333 198 433 0 41349 0
[pid=12246/tid=12248] ppid=12244 vsize=167140 CPUtime=3.03 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 20726 0 0 0 300 3 0 0 20 0 3 0 331536719 171151360 7333 33554432000 4194304 5964478 140733830829376 140192556448280 5139118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=167140 CPUtime=3.03 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 1421 0 0 0 303 0 0 0 20 0 3 0 331536719 171151360 7333 33554432000 4194304 5964478 140733830829376 140192545958008 4400091 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 167140

[startup+6.3003 s]
/proc/loadavg: 4.00 3.99 3.82 5/181 12249
/proc/meminfo: memFree=28294000/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=167276 CPUtime=12.52 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 39675 0 0 0 1246 6 0 0 20 0 3 0 331536715 171290624 11261 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 41819 11261 199 433 0 41383 0
[pid=12246/tid=12248] ppid=12244 vsize=167276 CPUtime=6.22 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 35923 0 0 0 617 5 0 0 20 0 3 0 331536719 171290624 11261 33554432000 4194304 5964478 140733830829376 140192556448280 4375186 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=167276 CPUtime=6.21 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 1651 0 0 0 621 0 0 0 20 0 3 0 331536719 171290624 11261 33554432000 4194304 5964478 140733830829376 140192545958008 4399915 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 167276

[startup+12.7003 s]
/proc/loadavg: 4.00 3.99 3.82 5/181 12249
/proc/meminfo: memFree=28269596/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=167412 CPUtime=25.32 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 48013 0 0 0 2524 8 0 0 20 0 3 0 331536715 171429888 15182 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 41853 15182 199 433 0 41417 0
[pid=12246/tid=12248] ppid=12244 vsize=167412 CPUtime=12.6 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 43899 0 0 0 1253 7 0 0 20 0 3 0 331536719 171429888 15182 33554432000 4194304 5964478 140733830829376 140192556447736 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=167412 CPUtime=12.6 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 2013 0 0 0 1260 0 0 0 20 0 3 0 331536719 171429888 15182 33554432000 4194304 5964478 140733830829376 140192545958008 4400010 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 167412

[startup+25.5004 s]
/proc/loadavg: 4.08 4.00 3.83 5/181 12410
/proc/meminfo: memFree=28799640/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=168180 CPUtime=50.91 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 53269 0 0 0 5076 15 0 0 20 0 3 0 331536715 172216320 20438 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 42045 20438 199 433 0 41609 0
[pid=12246/tid=12248] ppid=12244 vsize=168180 CPUtime=25.37 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 48513 0 0 0 2523 14 0 0 20 0 3 0 331536719 172216320 20438 33554432000 4194304 5964478 140733830829376 140192556447784 4399926 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=168180 CPUtime=25.36 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 2655 0 0 0 2535 1 0 0 20 0 3 0 331536719 172216320 20438 33554432000 4194304 5964478 140733830829376 140192545958008 4400516 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 168180

[startup+51.1004 s]
/proc/loadavg: 4.05 4.00 3.83 5/181 12410
/proc/meminfo: memFree=28689088/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=235064 CPUtime=102.08 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 62707 0 0 0 10179 29 0 0 20 0 3 0 331536715 240705536 30037 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 58766 30037 199 433 0 58330 0
[pid=12246/tid=12248] ppid=12244 vsize=235064 CPUtime=50.89 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 57113 0 0 0 5063 26 0 0 20 0 3 0 331536719 240705536 30037 33554432000 4194304 5964478 140733830829376 140192556447544 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=235064 CPUtime=50.88 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 3493 0 0 0 5086 2 0 0 20 0 3 0 331536719 240705536 30037 33554432000 4194304 5964478 140733830829376 140192545958200 4387939 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 235064

[startup+102.307 s]
/proc/loadavg: 4.02 4.00 3.83 5/181 12411
/proc/meminfo: memFree=28514324/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=234668 CPUtime=204.46 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 65123 0 0 0 20413 33 0 0 20 0 3 0 331536715 240300032 33203 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 58667 33203 199 433 0 58231 0
[pid=12246/tid=12248] ppid=12244 vsize=234668 CPUtime=101.94 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 58621 0 0 0 10164 30 0 0 20 0 3 0 331536719 240300032 33203 33554432000 4194304 5964478 140733830829376 140192556447840 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=234668 CPUtime=101.95 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 4401 0 0 0 10191 4 0 0 20 0 3 0 331536719 240300032 33203 33554432000 4194304 5964478 140733830829376 140192545958008 4400155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.46
Current children cumulated vsize (KiB) 234668

[startup+162.3 s]
/proc/loadavg: 4.00 4.00 3.84 5/181 12411
/proc/meminfo: memFree=28384276/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=235440 CPUtime=324.43 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 66459 0 0 0 32407 36 0 0 20 0 3 0 331536715 241090560 34539 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 58860 34539 199 433 0 58424 0
[pid=12246/tid=12248] ppid=12244 vsize=235440 CPUtime=161.78 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 58621 0 0 0 16147 31 0 0 20 0 3 0 331536719 241090560 34539 33554432000 4194304 5964478 140733830829376 140192556447840 4399952 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=235440 CPUtime=161.79 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 5737 0 0 0 16171 8 0 0 20 0 3 0 331536719 241090560 34539 33554432000 4194304 5964478 140733830829376 140192545958248 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.43
Current children cumulated vsize (KiB) 235440

[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/181 12411
/proc/meminfo: memFree=28319456/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=235768 CPUtime=444.41 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 66924 0 0 0 44404 37 0 0 20 0 3 0 331536715 241426432 35004 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 58942 35004 199 433 0 58506 0
[pid=12246/tid=12248] ppid=12244 vsize=235768 CPUtime=221.63 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 58622 0 0 0 22131 32 0 0 20 0 3 0 331536719 241426432 35004 33554432000 4194304 5964478 140733830829376 140192556447840 4400787 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=235768 CPUtime=221.63 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 6201 0 0 0 22153 10 0 0 20 0 3 0 331536719 241426432 35004 33554432000 4194304 5964478 140733830829376 140192545958304 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.41
Current children cumulated vsize (KiB) 235768

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/181 12411
/proc/meminfo: memFree=28231332/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=236296 CPUtime=564.39 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 67446 0 0 0 56402 37 0 0 20 0 3 0 331536715 241967104 35525 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 59074 35525 199 433 0 58638 0
[pid=12246/tid=12248] ppid=12244 vsize=236296 CPUtime=281.47 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 58664 0 0 0 28114 33 0 0 20 0 3 0 331536719 241967104 35525 33554432000 4194304 5964478 140733830829376 140192556447840 4399969 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=236296 CPUtime=281.48 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 6681 0 0 0 28136 12 0 0 20 0 3 0 331536719 241967104 35525 33554432000 4194304 5964478 140733830829376 140192545958008 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.39
Current children cumulated vsize (KiB) 236296

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.86 5/181 12411
/proc/meminfo: memFree=28131984/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=236496 CPUtime=684.37 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 70163 0 0 0 68392 45 0 0 20 0 3 0 331536715 242171904 38242 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 59124 38242 199 433 0 58688 0

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

[pid=12246/tid=12249] ppid=12244 vsize=236496 CPUtime=341.32 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 6833 0 0 0 34119 13 0 0 20 0 3 0 331536719 242171904 38242 33554432000 4194304 5964478 140733830829376 140192545958008 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.37
Current children cumulated vsize (KiB) 236496

[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.86 5/181 12412
/proc/meminfo: memFree=28042672/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=302244 CPUtime=804.35 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 75025 0 0 0 80376 59 0 0 20 0 3 0 331536715 309497856 43104 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 75561 43104 199 433 0 75125 0
[pid=12246/tid=12248] ppid=12244 vsize=302244 CPUtime=401.17 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 65828 0 0 0 40061 56 0 0 20 0 3 0 331536719 309497856 43104 33554432000 4194304 5964478 140733830829376 140192556447736 4399912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=302244 CPUtime=401.16 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 7096 0 0 0 40102 14 0 0 20 0 3 0 331536719 309497856 43104 33554432000 4194304 5964478 140733830829376 140192545958008 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 302244

[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/181 12412
/proc/meminfo: memFree=27971056/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=304188 CPUtime=924.33 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 79441 0 0 0 92365 68 0 0 20 0 3 0 331536715 311488512 47520 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 76047 47520 199 433 0 75611 0
[pid=12246/tid=12248] ppid=12244 vsize=304188 CPUtime=461.01 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 69795 0 0 0 46036 65 0 0 20 0 3 0 331536719 311488512 47520 33554432000 4194304 5964478 140733830829376 140192556447736 4400010 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=304188 CPUtime=461 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 7545 0 0 0 46085 15 0 0 20 0 3 0 331536719 311488512 47520 33554432000 4194304 5964478 140733830829376 140192545958008 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.33
Current children cumulated vsize (KiB) 304188

[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/182 12415
/proc/meminfo: memFree=27854164/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=304188 CPUtime=1044.28 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 80977 0 0 0 104355 73 0 0 20 0 3 0 331536715 311488512 49438 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 76047 49438 199 433 0 75611 0
[pid=12246/tid=12248] ppid=12244 vsize=304188 CPUtime=520.82 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 70866 0 0 0 52013 69 0 0 20 0 3 0 331536719 311488512 49438 33554432000 4194304 5964478 140733830829376 140192556447784 4400001 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=304188 CPUtime=520.84 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 8010 0 0 0 52068 16 0 0 20 0 3 0 331536719 311488512 49438 33554432000 4194304 5964478 140733830829376 140192545958008 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 304188

[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/181 12415
/proc/meminfo: memFree=27794388/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=304188 CPUtime=1164.25 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 81216 0 0 0 116352 73 0 0 20 0 3 0 331536715 311488512 49796 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 76047 49796 199 433 0 75611 0
[pid=12246/tid=12248] ppid=12244 vsize=304188 CPUtime=580.67 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 70940 0 0 0 57997 70 0 0 20 0 3 0 331536719 311488512 49796 33554432000 4194304 5964478 140733830829376 140192556447648 4399854 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=304188 CPUtime=580.68 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 8175 0 0 0 58050 18 0 0 20 0 3 0 331536719 311488512 49796 33554432000 4194304 5964478 140733830829376 140192545958304 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.25
Current children cumulated vsize (KiB) 304188

[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/182 12416
/proc/meminfo: memFree=27755632/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=304488 CPUtime=1284.24 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 83706 0 0 0 128344 80 0 0 20 0 3 0 331536715 311795712 52285 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 76122 52285 199 433 0 75686 0
[pid=12246/tid=12248] ppid=12244 vsize=304488 CPUtime=640.52 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 73276 0 0 0 63973 79 0 0 20 0 3 0 331536719 311795712 52285 33554432000 4194304 5964478 140733830829376 140192556447544 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=304488 CPUtime=640.53 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 8329 0 0 0 64034 19 0 0 20 0 3 0 331536719 311795712 52285 33554432000 4194304 5964478 140733830829376 140192545958072 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.24
Current children cumulated vsize (KiB) 304488

[startup+702.3 s]
/proc/loadavg: 4.03 4.01 3.90 5/181 12417
/proc/meminfo: memFree=27700364/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=305160 CPUtime=1404.22 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 87710 0 0 0 140330 92 0 0 20 0 3 0 331536715 312483840 56287 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 76290 56287 199 433 0 75854 0
[pid=12246/tid=12248] ppid=12244 vsize=305160 CPUtime=700.36 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 76731 0 0 0 69946 90 0 0 20 0 3 0 331536719 312483840 56287 33554432000 4194304 5964478 140733830829376 140192556447784 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=305160 CPUtime=700.36 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 8878 0 0 0 70016 20 0 0 20 0 3 0 331536719 312483840 56287 33554432000 4194304 5964478 140733830829376 140192545958200 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.22
Current children cumulated vsize (KiB) 305160

[startup+762.307 s]
/proc/loadavg: 4.01 4.01 3.90 5/181 12417
/proc/meminfo: memFree=27629724/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=305644 CPUtime=1524.21 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 90936 0 0 0 152318 103 0 0 20 0 3 0 331536715 312979456 59512 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 76411 59512 199 433 0 75975 0
[pid=12246/tid=12248] ppid=12244 vsize=305644 CPUtime=760.21 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 79795 0 0 0 75918 103 0 0 20 0 3 0 331536719 312979456 59512 33554432000 4194304 5964478 140733830829376 140192556447784 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=305644 CPUtime=760.21 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 9040 0 0 0 76000 21 0 0 20 0 3 0 331536719 312979456 59512 33554432000 4194304 5964478 140733830829376 140192545958072 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.21
Current children cumulated vsize (KiB) 305644

[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12417
/proc/meminfo: memFree=27563536/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=371180 CPUtime=1644.18 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 94473 0 0 0 164305 113 0 0 20 0 3 0 331536715 380088320 63048 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 92795 63048 199 433 0 92359 0
[pid=12246/tid=12248] ppid=12244 vsize=371180 CPUtime=820.05 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 82775 0 0 0 81893 112 0 0 20 0 3 0 331536719 380088320 63048 33554432000 4194304 5964478 140733830829376 140192556447736 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=371180 CPUtime=820.05 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 9597 0 0 0 81981 24 0 0 20 0 3 0 331536719 380088320 63048 33554432000 4194304 5964478 140733830829376 140192545958304 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.18
Current children cumulated vsize (KiB) 371180

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12417
/proc/meminfo: memFree=27497284/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=371312 CPUtime=1764.16 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 97547 0 0 0 176293 123 0 0 20 0 3 0 331536715 380223488 66120 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 92828 66120 199 433 0 92392 0
[pid=12246/tid=12248] ppid=12244 vsize=371312 CPUtime=879.9 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 85685 0 0 0 87867 123 0 0 20 0 3 0 331536719 380223488 66120 33554432000 4194304 5964478 140733830829376 140192556447736 4399912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=371312 CPUtime=879.89 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 9761 0 0 0 87964 25 0 0 20 0 3 0 331536719 380223488 66120 33554432000 4194304 5964478 140733830829376 140192545958072 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.16
Current children cumulated vsize (KiB) 371312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 12417
/proc/meminfo: memFree=27483256/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=371312 CPUtime=1800.16 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 98371 0 0 0 179891 125 0 0 20 0 3 0 331536715 380223488 66944 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 92828 66944 199 433 0 92392 0
[pid=12246/tid=12248] ppid=12244 vsize=371312 CPUtime=897.86 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 86509 0 0 0 89661 125 0 0 20 0 3 0 331536719 380223488 66944 33554432000 4194304 5964478 140733830829376 140192556447736 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=371312 CPUtime=897.85 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 9761 0 0 0 89760 25 0 0 20 0 3 0 331536719 380223488 66944 33554432000 4194304 5964478 140733830829376 140192545958072 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 371312

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.00 3.91 5/181 12417
/proc/meminfo: memFree=27483256/32873844 swapFree=7120/7120
[pid=12246] ppid=12244 vsize=371312 CPUtime=1800.16 cores=0,2,4,6
/proc/12246/stat : 12246 (pwbo2.02) S 12244 12246 10378 0 -1 4202496 98371 0 0 0 179891 125 0 0 20 0 3 0 331536715 380223488 66944 33554432000 4194304 5964478 140733830829376 140733830828896 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12246/statm: 92828 66944 199 433 0 92392 0
[pid=12246/tid=12248] ppid=12244 vsize=371312 CPUtime=897.86 cores=0,2,4,6
/proc/12246/task/12248/stat : 12248 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 86509 0 0 0 89661 125 0 0 20 0 3 0 331536719 380223488 66944 33554432000 4194304 5964478 140733830829376 140192556447736 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12246/tid=12249] ppid=12244 vsize=371312 CPUtime=897.85 cores=0,2,4,6
/proc/12246/task/12249/stat : 12249 (pwbo2.02) R 12244 12246 10378 0 -1 4202560 9761 0 0 0 89760 25 0 0 20 0 3 0 331536719 380223488 66944 33554432000 4194304 5964478 140733830829376 140192545958072 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 371312

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12246 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=276228
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=532766
# CPU time returned by wait4() is 1795.81
# while last known CPU time is 1800.16
#
# 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.16
CPU user time (s): 1798.91
CPU system time (s): 1.25
CPU usage (%): 199.947
Max. virtual memory (cumulated for all children) (KiB): 371312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.28
system time used= 1.53277
maximum resident set size= 267780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98372
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= 439
involuntary context switches= 1941

runsolver used 2.11168 second user time and 4.77327 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-02 18:21:58
IDJOB=3725827
IDBENCH=2208
IDSOLVER=2309
FILE ID=node142/3725827-1338654118
RUNJOBID= node142-1338651410-11883
PBS_JOBID= 14636438
Free space on /tmp= 71196 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725827-1338654118/watcher-3725827-1338654118 -o /tmp/evaluation-result-3725827-1338654118/solver-3725827-1338654118 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725827-1338654118.opb

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

MD5SUM BENCH= 5a9e4c8983ff8fc3ce01109a5c224dd2
RANDOM SEED=121423363

node142.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		: 2666.776
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	: 5333.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		: 2666.776
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		: 2666.776
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	: 5391.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		: 2666.776
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.92
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		: 2666.776
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.90
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		: 2666.776
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.91
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		: 2666.776
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.91
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		: 2666.776
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:        28344252 kB
Buffers:          223984 kB
Cached:          2684912 kB
SwapCached:            0 kB
Active:          1869832 kB
Inactive:        1845032 kB
Active(anon):     797056 kB
Inactive(anon):    11236 kB
Active(file):    1072776 kB
Inactive(file):  1833796 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5864 kB
Writeback:             0 kB
AnonPages:        798420 kB
Mapped:            11136 kB
Shmem:               200 kB
Slab:             672812 kB
SReclaimable:     115096 kB
SUnreclaim:       557716 kB
KernelStack:        1480 kB
PageTables:         5208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     192120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    555008 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= 71192 MiB
End job on node142 at 2012-06-02 18:37:01