Trace number 3705095

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
wbo 1.7? 1799.85 1800.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
MD5SUM9828b7020b058ee74169951dda258843
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark188
Best CPU time to get the best result obtained on this benchmark1796.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 186
Optimality of the best value was proved NO
Number of variables476
Total number of constraints476
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 476
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 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
Number of bits of the biggest sum of numbers9
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 |   wbo:                    1.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705095-1338087682.opb.
0.00/0.00	c Instance file HOME/instance-3705095-1338087682.opb
0.00/0.00	c File size is 43369 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 251
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      476                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 476                                                 |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.00	c |                                                                             |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.00	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.00	c ===============================================================================
0.00/0.00	c | 0.01      | 0  | 1            lb |  0                0                0.00  |
0.00/0.00	c | 0.01      | 0  | 2            lb |  0                0                0.00  |
0.00/0.00	c | 0.01      | 0  | 3            lb |  0                0                0.00  |
0.00/0.00	c | 0.01      | 0  | 4            lb |  0                0                0.00  |
0.00/0.00	c | 0.01      | 0  | 5            lb |  0                0                0.00  |
0.00/0.00	c | 0.01      | 0  | 6            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 7            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 8            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 9            lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 10           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 11           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 12           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 13           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 14           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 15           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 16           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 17           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 18           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 19           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 20           lb |  0                0                0.00  |
0.00/0.01	c | 0.02      | 0  | 21           lb |  0                0                0.00  |
0.00/0.01	c | 0.02      | 0  | 22           lb |  0                0                0.00  |
0.00/0.01	c | 0.02      | 0  | 23           lb |  0                0                0.00  |
0.00/0.01	c | 0.02      | 0  | 24           lb |  0                0                0.00  |
0.00/0.01	c | 0.02      | 0  | 25           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 26           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 27           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 28           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 29           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 30           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 31           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 32           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 33           lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 34           lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 35           lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 36           lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 37           lb |  0                0                0.00  |
0.02/0.02	c | 0.03      | 0  | 38           lb |  0                0                0.00  |
0.02/0.02	c | 0.03      | 0  | 39           lb |  0                0                0.00  |
0.02/0.02	c | 0.03      | 0  | 40           lb |  0                0                0.00  |
0.02/0.03	c | 0.03      | 0  | 41           lb |  0                0                0.00  |
0.02/0.03	c | 0.03      | 0  | 42           lb |  0                0                0.00  |
0.02/0.03	c | 0.03      | 0  | 43           lb |  0                0                0.00  |
0.02/0.03	c | 0.03      | 0  | 44           lb |  0                0                0.00  |
0.02/0.03	c | 0.03      | 0  | 45           lb |  0                0                0.00  |
0.02/0.03	c | 0.03      | 0  | 46           lb |  0                0                0.00  |
0.02/0.03	c | 0.03      | 0  | 47           lb |  0                0                0.00  |
0.02/0.03	c | 0.03      | 0  | 48           lb |  0                0                0.00  |
0.02/0.03	c | 0.04      | 0  | 49           lb |  0                0                0.00  |
0.02/0.03	c | 0.04      | 0  | 50           lb |  0                0                0.00  |
0.02/0.03	c | 0.04      | 0  | 51           lb |  0                0                0.00  |
0.02/0.03	c | 0.04      | 0  | 52           lb |  0                0                0.00  |
0.02/0.04	c | 0.04      | 0  | 53           lb |  0                0                0.00  |
0.02/0.04	c | 0.04      | 0  | 54           lb |  0                0                0.00  |
0.02/0.04	c | 0.04      | 0  | 55           lb |  0                0                0.00  |
0.02/0.04	c | 0.04      | 0  | 56           lb |  0                0                0.00  |
0.02/0.04	c | 0.04      | 0  | 57           lb |  0                0                0.00  |
0.02/0.04	c | 0.04      | 0  | 58           lb |  0                0                0.00  |
0.02/0.04	c | 0.04      | 0  | 59           lb |  0                0                0.00  |
0.02/0.04	c | 0.05      | 0  | 60           lb |  0                0                0.00  |
0.02/0.04	c | 0.05      | 0  | 61           lb |  0                0                0.00  |
0.02/0.04	c | 0.05      | 0  | 62           lb |  0                0                0.00  |
0.02/0.05	c | 0.05      | 0  | 63           lb |  0                0                0.00  |
0.02/0.05	c | 0.05      | 0  | 64           lb |  0                0                0.00  |
0.02/0.05	c | 0.05      | 0  | 65           lb |  0                0                0.00  |
0.02/0.05	c | 0.05      | 0  | 66           lb |  0                0                0.00  |
0.02/0.05	c | 0.05      | 0  | 67           lb |  0                0                0.00  |
0.02/0.05	c | 0.06      | 0  | 68           lb |  0                0                0.00  |
0.02/0.05	c | 0.06      | 0  | 69           lb |  0                0                0.00  |
0.02/0.05	c | 0.06      | 0  | 70           lb |  0                0                0.00  |
0.02/0.06	c | 0.06      | 0  | 71           lb |  0                0                0.00  |
0.02/0.06	c | 0.06      | 0  | 72           lb |  0                0                0.00  |
0.02/0.06	c | 0.06      | 0  | 73           lb |  0                0                0.00  |
0.02/0.06	c | 0.06      | 0  | 74           lb |  0                0                0.00  |
0.02/0.06	c | 0.07      | 0  | 75           lb |  0                0                0.00  |
0.02/0.06	c | 0.07      | 0  | 76           lb |  0                0                0.00  |
0.02/0.06	c | 0.07      | 0  | 77           lb |  0                0                0.00  |
0.02/0.07	c | 0.07      | 0  | 78           lb |  0                0                0.00  |
0.02/0.07	c | 0.07      | 0  | 79           lb |  0                0                0.00  |
0.02/0.07	c | 0.07      | 0  | 80           lb |  0                0                0.00  |
0.02/0.07	c | 0.07      | 0  | 81           lb |  0                0                0.00  |
0.02/0.07	c | 0.07      | 0  | 82           lb |  0                0                0.00  |
0.02/0.07	c | 0.08      | 0  | 83           lb |  0                0                0.00  |
0.02/0.07	c | 0.08      | 0  | 84           lb |  0                0                0.00  |
0.02/0.08	c | 0.08      | 0  | 85           lb |  0                0                0.00  |
0.02/0.08	c | 0.08      | 0  | 86           lb |  0                0                0.00  |
0.02/0.08	c | 0.08      | 0  | 87           lb |  0                0                0.00  |
0.02/0.08	c | 0.08      | 0  | 88           lb |  0                0                0.00  |
0.02/0.08	c | 0.09      | 0  | 89           lb |  0                0                0.00  |
0.02/0.08	c | 0.09      | 0  | 90           lb |  0                0                0.00  |
0.02/0.09	c | 0.09      | 0  | 91           lb |  0                0                0.00  |
0.02/0.09	c | 0.09      | 0  | 92           lb |  0                0                0.00  |
0.02/0.09	c | 0.09      | 0  | 93           lb |  0                0                0.00  |
0.02/0.09	c | 0.09      | 0  | 94           lb |  0                0                0.00  |
0.02/0.09	c | 0.10      | 0  | 95           lb |  0                0                0.00  |
0.02/0.09	c | 0.10      | 0  | 96           lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 97           lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 98           lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 99           lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 100          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 101          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 102          lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 103          lb |  0                0                0.00  |
0.09/0.11	c | 0.12      | 0  | 104          lb |  0                0                0.00  |
0.09/0.11	c | 0.12      | 0  | 105          lb |  0                0                0.00  |
0.09/0.12	c | 0.13      | 0  | 106          lb |  0                0                0.00  |
0.09/0.12	c | 0.13      | 0  | 107          lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 108          lb |  0                0                0.00  |
0.09/0.17	c | 0.18      | 0  | 109          lb |  0                0                0.00  |
0.79/0.83	c | 0.84      | 0  | 110          lb |  0                0                0.00  |
1.19/1.20	c | 1.21      | 0  | 111          lb |  0                0                0.00  |
22.79/22.86	c | 22.86     | 0  | 112          lb |  0                0                0.00  |
39.69/39.79	c | 39.79     | 0  | 113          lb |  0                0                0.00  |
1799.47/1800.00	c ===============================================================================
1799.47/1800.00	c Wall Clock Time: 1800.00 s
1799.47/1800.00	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-3705095-1338087682/watcher-3705095-1338087682 -o /tmp/evaluation-result-3705095-1338087682/solver-3705095-1338087682 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705095-1338087682.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: 2.00 2.00 2.00 2/178 16142
/proc/meminfo: memFree=31161912/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=83988 CPUtime=0 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 826 0 0 0 0 0 0 0 20 0 2 0 274894156 86003712 768 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 20997 768 173 432 0 20562 0
[pid=16142/tid=16143] ppid=16140 vsize=83988 CPUtime=0 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 2 0 274894156 86003712 773 33554432000 4194304 5963574 140735027435776 140736308703944 5135642 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0

[startup+0.027606 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 16142
/proc/meminfo: memFree=31161912/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=83988 CPUtime=0.02 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 1199 0 0 0 2 0 0 0 20 0 2 0 274894156 86003712 1141 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 20997 1141 189 432 0 20562 0
[pid=16142/tid=16143] ppid=16140 vsize=83988 CPUtime=0.01 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 405 0 0 0 1 0 0 0 20 0 2 0 274894156 86003712 1141 33554432000 4194304 5963574 140735027435776 140736308703944 4394942 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83988

[startup+0.100185 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 16142
/proc/meminfo: memFree=31161912/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=83988 CPUtime=0.09 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 1738 0 0 0 9 0 0 0 20 0 2 0 274894156 86003712 1680 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 20997 1680 190 432 0 20562 0
[pid=16142/tid=16143] ppid=16140 vsize=83988 CPUtime=0.08 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 944 0 0 0 8 0 0 0 20 0 2 0 274894156 86003712 1680 33554432000 4194304 5963574 140735027435776 140736308703944 5121514 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83988

[startup+0.300244 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 16142
/proc/meminfo: memFree=31161912/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=83988 CPUtime=0.29 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 2116 0 0 0 29 0 0 0 20 0 2 0 274894156 86003712 2058 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 20997 2058 192 432 0 20562 0
[pid=16142/tid=16143] ppid=16140 vsize=83988 CPUtime=0.28 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 1322 0 0 0 28 0 0 0 20 0 2 0 274894156 86003712 2058 33554432000 4194304 5963574 140735027435776 140120216648024 5135642 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83988

[startup+0.700134 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 16142
/proc/meminfo: memFree=31161912/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=83988 CPUtime=0.69 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 2858 0 0 0 69 0 0 0 20 0 2 0 274894156 86003712 2800 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 20997 2800 192 432 0 20562 0
[pid=16142/tid=16143] ppid=16140 vsize=83988 CPUtime=0.68 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 2064 0 0 0 68 0 0 0 20 0 2 0 274894156 86003712 2800 33554432000 4194304 5963574 140735027435776 140120216648024 4399968 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83988

[startup+1.50013 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16144
/proc/meminfo: memFree=31149968/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=83988 CPUtime=1.49 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 3271 0 0 0 149 0 0 0 20 0 2 0 274894156 86003712 3213 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 20997 3213 192 432 0 20562 0
[pid=16142/tid=16143] ppid=16140 vsize=83988 CPUtime=1.48 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 2477 0 0 0 148 0 0 0 20 0 2 0 274894156 86003712 3213 33554432000 4194304 5963574 140735027435776 140120216648008 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83988

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16144
/proc/meminfo: memFree=31148976/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=84132 CPUtime=3.08 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 4028 0 0 0 308 0 0 0 20 0 2 0 274894156 86151168 3970 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 21033 3970 192 432 0 20598 0
[pid=16142/tid=16143] ppid=16140 vsize=84132 CPUtime=3.08 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 3234 0 0 0 308 0 0 0 20 0 2 0 274894156 86151168 3970 33554432000 4194304 5963574 140735027435776 140120216647480 4409238 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84132

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16144
/proc/meminfo: memFree=31141400/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=84204 CPUtime=6.29 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 5861 0 0 0 628 1 0 0 20 0 2 0 274894156 86224896 5803 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 21051 5803 192 432 0 20616 0
[pid=16142/tid=16143] ppid=16140 vsize=84204 CPUtime=6.28 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 5067 0 0 0 626 2 0 0 20 0 2 0 274894156 86224896 5803 33554432000 4194304 5963574 140735027435776 140120216647720 4220678 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84204

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16144
/proc/meminfo: memFree=31126620/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=84456 CPUtime=12.69 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 8786 0 0 0 1267 2 0 0 20 0 2 0 274894156 86482944 8728 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 21114 8728 192 432 0 20679 0
[pid=16142/tid=16143] ppid=16140 vsize=84456 CPUtime=12.68 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 7992 0 0 0 1265 3 0 0 20 0 2 0 274894156 86482944 8728 33554432000 4194304 5963574 140735027435776 140120216647480 4388305 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84456

[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 16144
/proc/meminfo: memFree=31110732/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=83988 CPUtime=25.49 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 12164 0 0 0 2545 4 0 0 20 0 2 0 274894156 86003712 11917 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 20997 11917 192 432 0 20562 0
[pid=16142/tid=16143] ppid=16140 vsize=83988 CPUtime=25.49 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 11370 0 0 0 2544 5 0 0 20 0 2 0 274894156 86003712 11917 33554432000 4194304 5963574 140735027435776 140120216648632 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83988

[startup+51.1002 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 16144
/proc/meminfo: memFree=31057456/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=83988 CPUtime=51.08 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 12904 0 0 0 5104 4 0 0 20 0 2 0 274894156 86003712 12657 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 20997 12657 192 432 0 20562 0
[pid=16142/tid=16143] ppid=16140 vsize=83988 CPUtime=51.08 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 12110 0 0 0 5103 5 0 0 20 0 2 0 274894156 86003712 12657 33554432000 4194304 5963574 140735027435776 140120216648024 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83988

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16144
/proc/meminfo: memFree=30961708/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=149524 CPUtime=102.26 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 25102 0 0 0 10218 8 0 0 20 0 2 0 274894156 153112576 25370 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 37381 25370 192 432 0 36946 0
[pid=16142/tid=16143] ppid=16140 vsize=149524 CPUtime=102.26 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 24308 0 0 0 10216 10 0 0 20 0 2 0 274894156 153112576 25370 33554432000 4194304 5963574 140735027435776 140120216647672 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 149524

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 16144
/proc/meminfo: memFree=30877752/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=215784 CPUtime=162.24 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 33801 0 0 0 16212 12 0 0 20 0 2 0 274894156 220962816 34768 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 53946 34768 192 432 0 53511 0
[pid=16142/tid=16143] ppid=16140 vsize=215784 CPUtime=162.26 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 33007 0 0 0 16211 15 0 0 20 0 2 0 274894156 220962816 34768 33554432000 4194304 5963574 140735027435776 140120216647672 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 215784

[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 16145
/proc/meminfo: memFree=30756168/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=281680 CPUtime=222.23 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 49904 0 0 0 22205 18 0 0 20 0 2 0 274894156 288440320 50870 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 70420 50870 192 432 0 69985 0
[pid=16142/tid=16143] ppid=16140 vsize=281680 CPUtime=222.26 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 49110 0 0 0 22204 22 0 0 20 0 2 0 274894156 288440320 50870 33554432000 4194304 5963574 140735027435776 140120216647480 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 281680

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 16145
/proc/meminfo: memFree=30716116/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=281680 CPUtime=282.19 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 52162 0 0 0 28200 19 0 0 20 0 2 0 274894156 288440320 53409 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 70420 53409 192 432 0 69985 0
[pid=16142/tid=16143] ppid=16140 vsize=281680 CPUtime=282.24 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 51368 0 0 0 28200 24 0 0 20 0 2 0 274894156 288440320 53409 33554432000 4194304 5963574 140735027435776 140120216647544 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 281680

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 16145
/proc/meminfo: memFree=30644756/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=281680 CPUtime=342.16 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 62764 0 0 0 34191 25 0 0 20 0 2 0 274894156 288440320 64166 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 70420 64166 192 432 0 69985 0
[pid=16142/tid=16143] ppid=16140 vsize=281680 CPUtime=342.22 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 61970 0 0 0 34191 31 0 0 20 0 2 0 274894156 288440320 64166 33554432000 4194304 5963574 140735027435776 140120216647480 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 281680

[startup+402.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 16145
/proc/meminfo: memFree=30599764/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=347216 CPUtime=402.15 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 70129 0 0 0 40186 29 0 0 20 0 2 0 274894156 355549184 71532 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0

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

/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 132256 0 0 0 130130 85 0 0 20 0 2 0 274894156 626020352 136667 33554432000 4194304 5963574 140735027435776 140120216647672 4378852 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 611348

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16155
/proc/meminfo: memFree=29973232/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=611348 CPUtime=1361.88 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 133504 0 0 0 136123 65 0 0 20 0 2 0 274894156 626020352 137116 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 152837 137116 192 432 0 152402 0
[pid=16142/tid=16143] ppid=16140 vsize=611348 CPUtime=1362.14 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 132710 0 0 0 136128 86 0 0 20 0 2 0 274894156 626020352 137116 33554432000 4194304 5963574 140735027435776 140120216647544 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 611348

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29876760/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=611348 CPUtime=1421.88 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 141466 0 0 0 142118 70 0 0 20 0 2 0 274894156 626020352 145073 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 152837 145073 192 432 0 152402 0
[pid=16142/tid=16143] ppid=16140 vsize=611348 CPUtime=1422.15 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 140672 0 0 0 142123 92 0 0 20 0 2 0 274894156 626020352 145073 33554432000 4194304 5963574 140735027435776 140120216647672 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 611348

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29826044/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=676884 CPUtime=1481.87 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 150780 0 0 0 148109 78 0 0 20 0 2 0 274894156 693129216 154386 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 169221 154386 192 432 0 168786 0
[pid=16142/tid=16143] ppid=16140 vsize=676884 CPUtime=1482.15 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 149986 0 0 0 148114 101 0 0 20 0 2 0 274894156 693129216 154386 33554432000 4194304 5963574 140735027435776 140120216647480 4378852 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 676884

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29809000/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=676884 CPUtime=1541.86 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 151352 0 0 0 154108 78 0 0 20 0 2 0 274894156 693129216 154957 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 169221 154957 192 432 0 168786 0
[pid=16142/tid=16143] ppid=16140 vsize=676884 CPUtime=1542.15 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 150558 0 0 0 154113 102 0 0 20 0 2 0 274894156 693129216 154957 33554432000 4194304 5963574 140735027435776 140120216647480 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 676884

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29738856/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=681952 CPUtime=1601.84 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 157140 0 0 0 160103 81 0 0 20 0 2 0 274894156 698318848 160476 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 170488 160476 192 432 0 170053 0
[pid=16142/tid=16143] ppid=16140 vsize=681952 CPUtime=1602.15 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 156346 0 0 0 160109 106 0 0 20 0 2 0 274894156 698318848 160476 33554432000 4194304 5963574 140735027435776 140120216647672 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 681952

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29709540/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=682312 CPUtime=1661.84 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 162042 0 0 0 166100 84 0 0 20 0 2 0 274894156 698687488 165378 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 170578 165378 192 432 0 170143 0
[pid=16142/tid=16143] ppid=16140 vsize=682312 CPUtime=1662.15 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 161248 0 0 0 166105 110 0 0 20 0 2 0 274894156 698687488 165378 33554432000 4194304 5963574 140735027435776 140120216647672 4399560 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 682312

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16198
/proc/meminfo: memFree=30257348/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=682312 CPUtime=1721.82 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 162056 0 0 0 172098 84 0 0 20 0 2 0 274894156 698687488 165745 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 170578 165745 192 432 0 170143 0
[pid=16142/tid=16143] ppid=16140 vsize=682312 CPUtime=1722.15 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 161262 0 0 0 172104 111 0 0 20 0 2 0 274894156 698687488 165745 33554432000 4194304 5963574 140735027435776 140120216647672 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 682312

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16199
/proc/meminfo: memFree=30018720/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=682312 CPUtime=1781.79 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 162263 0 0 0 178094 85 0 0 20 0 2 0 274894156 698687488 166239 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 170578 166239 192 432 0 170143 0
[pid=16142/tid=16143] ppid=16140 vsize=682312 CPUtime=1782.13 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 161469 0 0 0 178100 113 0 0 20 0 2 0 274894156 698687488 166239 33554432000 4194304 5963574 140735027435776 140120216647672 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 682312

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16199
/proc/meminfo: memFree=29955836/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=747848 CPUtime=1791.38 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 164075 0 0 0 179052 86 0 0 20 0 2 0 274894156 765796352 168089 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 186962 168090 192 432 0 186527 0
[pid=16142/tid=16143] ppid=16140 vsize=747848 CPUtime=1791.73 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 163282 0 0 0 179059 114 0 0 20 0 2 0 274894156 765796352 168090 33554432000 4194304 5963574 140735027435776 140120216647672 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 747848

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16199
/proc/meminfo: memFree=29937096/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=747848 CPUtime=1794.58 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 164598 0 0 0 179371 87 0 0 20 0 2 0 274894156 765796352 168676 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 186962 168676 192 432 0 186527 0
[pid=16142/tid=16143] ppid=16140 vsize=747848 CPUtime=1794.92 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 163804 0 0 0 179377 115 0 0 20 0 2 0 274894156 765796352 168676 33554432000 4194304 5963574 140735027435776 140120216647672 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 747848

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16199
/proc/meminfo: memFree=29924076/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=747848 CPUtime=1797.77 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 165084 0 0 0 179690 87 0 0 20 0 2 0 274894156 765796352 169162 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 186962 169162 192 432 0 186527 0
[pid=16142/tid=16143] ppid=16140 vsize=747848 CPUtime=1798.12 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 164290 0 0 0 179697 115 0 0 20 0 2 0 274894156 765796352 169162 33554432000 4194304 5963574 140735027435776 140120216647672 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 747848

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16199
/proc/meminfo: memFree=29916512/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=747848 CPUtime=1798.57 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 165207 0 0 0 179770 87 0 0 20 0 2 0 274894156 765796352 169285 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 186962 169285 192 432 0 186527 0
[pid=16142/tid=16143] ppid=16140 vsize=747848 CPUtime=1798.92 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 164413 0 0 0 179777 115 0 0 20 0 2 0 274894156 765796352 169285 33554432000 4194304 5963574 140735027435776 140120216647672 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 747848

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16199
/proc/meminfo: memFree=29908452/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=747848 CPUtime=1798.98 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 165297 0 0 0 179811 87 0 0 20 0 2 0 274894156 765796352 169375 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 186962 169375 192 432 0 186527 0
[pid=16142/tid=16143] ppid=16140 vsize=747848 CPUtime=1799.32 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 164503 0 0 0 179817 115 0 0 20 0 2 0 274894156 765796352 169375 33554432000 4194304 5963574 140735027435776 140120216647672 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.98
Current children cumulated vsize (KiB) 747848

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16199
/proc/meminfo: memFree=29908452/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=747848 CPUtime=1799.37 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 165349 0 0 0 179850 87 0 0 20 0 2 0 274894156 765796352 169427 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 186962 169427 192 432 0 186527 0
[pid=16142/tid=16143] ppid=16140 vsize=747848 CPUtime=1799.72 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 164555 0 0 0 179857 115 0 0 20 0 2 0 274894156 765796352 169427 33554432000 4194304 5963574 140735027435776 140120216647672 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 747848

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16199
/proc/meminfo: memFree=29908452/32873648 swapFree=7112/7112
[pid=16142] ppid=16140 vsize=747848 CPUtime=1799.47 cores=0,2,4,6
/proc/16142/stat : 16142 (wbo1.7) S 16140 16142 12452 0 -1 4202496 165390 0 0 0 179860 87 0 0 20 0 2 0 274894156 765796352 169468 33554432000 4194304 5963574 140735027435776 140735027435296 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16142/statm: 186962 169468 192 432 0 186527 0
[pid=16142/tid=16143] ppid=16140 vsize=747848 CPUtime=1799.82 cores=0,2,4,6
/proc/16142/task/16143/stat : 16143 (wbo1.7) R 16140 16142 12452 0 -1 4202560 164596 0 0 0 179867 115 0 0 20 0 2 0 274894156 765796352 169468 33554432000 4194304 5963574 140735027435776 140120216647672 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 747848

Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.85
CPU user time (s): 1798.68
CPU system time (s): 1.16582
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 747848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.68
system time used= 1.16582
maximum resident set size= 677872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165390
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= 302
involuntary context switches= 1859

runsolver used 2.74858 second user time and 7.39088 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-27 05:01:22
IDJOB=3705095
IDBENCH=1950
IDSOLVER=2283
FILE ID=node126/3705095-1338087682
RUNJOBID= node126-1338077272-12468
PBS_JOBID= 14624421
Free space on /tmp= 71356 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705095-1338087682/watcher-3705095-1338087682 -o /tmp/evaluation-result-3705095-1338087682/solver-3705095-1338087682 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705095-1338087682.opb

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

MD5SUM BENCH= 9828b7020b058ee74169951dda258843
RANDOM SEED=1644187373

node126.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.456
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	: 5332.91
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.456
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.456
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.92
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.456
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		: 2666.456
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		: 2666.456
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.456
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		: 2666.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31162176 kB
Buffers:          266812 kB
Cached:           539036 kB
SwapCached:        17756 kB
Active:           810516 kB
Inactive:          96140 kB
Active(anon):      82236 kB
Inactive(anon):    20452 kB
Active(file):     728280 kB
Inactive(file):    75688 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:              5548 kB
Writeback:             0 kB
AnonPages:        207180 kB
Mapped:            10440 kB
Shmem:                 0 kB
Slab:             667268 kB
SReclaimable:     111716 kB
SUnreclaim:       555552 kB
KernelStack:        1496 kB
PageTables:         3904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     143216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node126 at 2012-05-27 05:31:23