Trace number 3727433

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.72? 1799.95 1800.09

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM6389567e651775a5f815611581d2023e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark659
Best CPU time to get the best result obtained on this benchmark1800.79
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 474
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494177
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494177
Number of bits of the biggest sum of numbers19
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.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727433-1338654089.opb.
0.00/0.00	c Instance file HOME/instance-3727433-1338654089.opb
0.00/0.00	c File size is 17233678 bytes.
1.09/1.19	c Cost Offset: 0
1.09/1.19	c Highest Coefficient sum: 101
1.09/1.19	c ============================[ Problem Statistics ]=============================
1.09/1.19	c |                                                                             |
1.09/1.19	c |  Parsing time:          1.19         s                                      |
1.09/1.19	c |  Number Variables:      10000                                               |
1.09/1.19	c |  Number Clauses:        656900                                              |
1.09/1.19	c |  Number Cardinality:    0                                                   |
1.09/1.19	c |  Number PB Constraints: 0                                                   |
1.09/1.19	c |                                                                             |
1.49/1.52	c |  Problem Type:          Optimization                                        |
1.49/1.52	c |  Objective Function:    PB Constraint                                       |
1.49/1.52	c |                                                                             |
1.49/1.52	c ============================[ Search Statistics ]==============================
1.49/1.52	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
1.49/1.52	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
1.49/1.52	c ===============================================================================
1.68/1.72	c | 1.73      | 0  | 1            lb |  0                0                0.00  |
1.88/1.90	c | 1.91      | 0  | 2            lb |  0                0                0.00  |
1.99/2.07	c | 2.08      | 0  | 3            lb |  0                0                0.00  |
2.19/2.24	c | 2.24      | 0  | 4            lb |  0                0                0.00  |
2.38/2.40	c | 2.41      | 0  | 5            lb |  0                0                0.00  |
2.48/2.57	c | 2.57      | 0  | 6            lb |  0                0                0.00  |
2.68/2.74	c | 2.74      | 0  | 8            lb |  0                0                0.00  |
2.88/2.90	c | 2.91      | 0  | 9            lb |  0                0                0.00  |
2.98/3.07	c | 3.07      | 0  | 10           lb |  0                0                0.00  |
3.19/3.23	c | 3.24      | 0  | 11           lb |  0                0                0.00  |
3.38/3.40	c | 3.40      | 0  | 13           lb |  0                0                0.00  |
3.48/3.57	c | 3.57      | 0  | 15           lb |  0                0                0.00  |
3.68/3.73	c | 3.74      | 0  | 16           lb |  0                0                0.00  |
3.88/3.90	c | 3.91      | 0  | 17           lb |  0                0                0.00  |
3.98/4.07	c | 4.07      | 0  | 18           lb |  0                0                0.00  |
4.18/4.23	c | 4.24      | 0  | 21           lb |  0                0                0.00  |
4.29/4.40	c | 4.40      | 0  | 22           lb |  0                0                0.00  |
4.48/4.56	c | 4.57      | 0  | 23           lb |  0                0                0.00  |
4.68/4.74	c | 4.73      | 0  | 24           lb |  0                0                0.00  |
4.78/4.89	c | 4.90      | 0  | 25           lb |  0                0                0.00  |
4.98/5.07	c | 5.07      | 0  | 26           lb |  0                0                0.00  |
5.18/5.23	c | 5.24      | 0  | 27           lb |  0                0                0.00  |
5.28/5.40	c | 5.40      | 0  | 28           lb |  0                0                0.00  |
5.49/5.57	c | 5.57      | 0  | 29           lb |  0                0                0.00  |
5.68/5.73	c | 5.74      | 0  | 30           lb |  0                0                0.00  |
5.88/5.90	c | 5.90      | 0  | 31           lb |  0                0                0.00  |
5.98/6.06	c | 6.07      | 0  | 32           lb |  0                0                0.00  |
6.18/6.23	c | 6.23      | 0  | 33           lb |  0                0                0.00  |
6.38/6.40	c | 6.40      | 0  | 34           lb |  0                0                0.00  |
6.49/6.56	c | 6.57      | 0  | 35           lb |  0                0                0.00  |
6.68/6.73	c | 6.73      | 0  | 36           lb |  0                0                0.00  |
6.88/6.90	c | 6.90      | 0  | 37           lb |  0                0                0.00  |
6.98/7.07	c | 7.07      | 0  | 38           lb |  0                0                0.00  |
7.18/7.23	c | 7.24      | 0  | 39           lb |  0                0                0.00  |
7.38/7.40	c | 7.41      | 0  | 40           lb |  0                0                0.00  |
7.48/7.57	c | 7.57      | 0  | 41           lb |  0                0                0.00  |
7.68/7.73	c | 7.74      | 0  | 42           lb |  0                0                0.00  |
7.88/7.90	c | 7.91      | 0  | 43           lb |  0                0                0.00  |
7.98/8.07	c | 8.08      | 0  | 44           lb |  0                0                0.00  |
8.18/8.24	c | 8.24      | 0  | 45           lb |  0                0                0.00  |
8.38/8.41	c | 8.41      | 0  | 48           lb |  0                0                0.00  |
8.48/8.58	c | 8.59      | 0  | 49           lb |  0                0                0.00  |
8.68/8.75	c | 8.76      | 0  | 50           lb |  0                0                0.00  |
8.88/8.92	c | 8.92      | 0  | 51           lb |  0                0                0.00  |
8.98/9.09	c | 9.09      | 0  | 52           lb |  0                0                0.00  |
9.18/9.25	c | 9.26      | 0  | 53           lb |  0                0                0.00  |
9.38/9.42	c | 9.43      | 0  | 56           lb |  0                0                0.00  |
9.48/9.59	c | 9.59      | 0  | 57           lb |  0                0                0.00  |
9.68/9.76	c | 9.76      | 0  | 58           lb |  0                0                0.00  |
9.88/9.93	c | 9.93      | 0  | 59           lb |  0                0                0.00  |
10.08/10.10	c | 10.10     | 0  | 61           lb |  0                0                0.00  |
10.18/10.26	c | 10.27     | 0  | 62           lb |  0                0                0.00  |
10.38/10.43	c | 10.44     | 0  | 63           lb |  0                0                0.00  |
10.58/10.60	c | 10.61     | 0  | 64           lb |  0                0                0.00  |
10.68/10.77	c | 10.78     | 0  | 65           lb |  0                0                0.00  |
10.88/10.94	c | 10.95     | 0  | 66           lb |  0                0                0.00  |
11.08/11.11	c | 11.11     | 0  | 67           lb |  0                0                0.00  |
11.18/11.28	c | 11.28     | 0  | 68           lb |  0                0                0.00  |
11.38/11.45	c | 11.45     | 0  | 69           lb |  0                0                0.00  |
11.58/11.61	c | 11.62     | 0  | 70           lb |  0                0                0.00  |
11.68/11.78	c | 11.79     | 0  | 71           lb |  0                0                0.00  |
11.89/11.96	c | 11.96     | 0  | 72           lb |  0                0                0.00  |
12.09/12.13	c | 12.13     | 0  | 73           lb |  0                0                0.00  |
12.19/12.29	c | 12.30     | 0  | 74           lb |  0                0                0.00  |
12.39/12.46	c | 12.47     | 0  | 75           lb |  0                0                0.00  |
12.59/12.63	c | 12.64     | 0  | 78           lb |  0                0                0.00  |
12.79/12.81	c | 12.81     | 0  | 79           lb |  0                0                0.00  |
12.89/12.98	c | 12.98     | 0  | 81           lb |  0                0                0.00  |
13.09/13.15	c | 13.15     | 0  | 82           lb |  0                0                0.00  |
13.28/13.32	c | 13.32     | 0  | 83           lb |  0                0                0.00  |
13.38/13.49	c | 13.49     | 0  | 84           lb |  0                0                0.00  |
13.58/13.66	c | 13.66     | 0  | 85           lb |  0                0                0.00  |
13.78/13.83	c | 13.84     | 0  | 86           lb |  0                0                0.00  |
13.98/14.00	c | 14.01     | 0  | 87           lb |  0                0                0.00  |
14.08/14.17	c | 14.18     | 0  | 88           lb |  0                0                0.00  |
14.29/14.34	c | 14.35     | 0  | 89           lb |  0                0                0.00  |
14.48/14.52	c | 14.52     | 0  | 90           lb |  0                0                0.00  |
14.58/14.69	c | 14.69     | 0  | 91           lb |  0                0                0.00  |
14.78/14.86	c | 14.86     | 0  | 92           lb |  0                0                0.00  |
14.98/15.03	c | 15.04     | 0  | 93           lb |  0                0                0.00  |
15.18/15.20	c | 15.21     | 0  | 94           lb |  0                0                0.00  |
15.29/15.37	c | 15.38     | 0  | 95           lb |  0                0                0.00  |
15.48/15.55	c | 15.55     | 0  | 97           lb |  0                0                0.00  |
15.68/15.72	c | 15.72     | 0  | 98           lb |  0                0                0.00  |
15.78/15.89	c | 15.89     | 0  | 99           lb |  0                0                0.00  |
15.98/16.06	c | 16.06     | 0  | 100          lb |  0                0                0.00  |
16.18/16.23	c | 16.24     | 0  | 101          lb |  0                0                0.00  |
16.39/16.41	c | 16.42     | 0  | 102          lb |  0                0                0.00  |
16.49/16.59	c | 16.59     | 0  | 103          lb |  0                0                0.00  |
16.68/16.76	c | 16.77     | 0  | 104          lb |  0                0                0.00  |
16.88/16.93	c | 16.94     | 0  | 105          lb |  0                0                0.00  |
17.08/17.11	c | 17.11     | 0  | 106          lb |  0                0                0.00  |
17.18/17.28	c | 17.28     | 0  | 107          lb |  0                0                0.00  |
17.38/17.45	c | 17.46     | 0  | 108          lb |  0                0                0.00  |
17.59/17.63	c | 17.63     | 0  | 110          lb |  0                0                0.00  |
17.78/17.81	c | 17.81     | 0  | 111          lb |  0                0                0.00  |
17.88/17.98	c | 17.99     | 0  | 114          lb |  0                0                0.00  |
18.08/18.16	c | 18.16     | 0  | 115          lb |  0                0                0.00  |
18.28/18.34	c | 18.34     | 0  | 117          lb |  0                0                0.00  |
18.48/18.51	c | 18.51     | 0  | 119          lb |  0                0                0.00  |
18.59/18.68	c | 18.69     | 0  | 120          lb |  0                0                0.00  |
18.78/18.86	c | 18.86     | 0  | 121          lb |  0                0                0.00  |
18.98/19.03	c | 19.03     | 0  | 122          lb |  0                0                0.00  |
19.18/19.21	c | 19.21     | 0  | 123          lb |  0                0                0.00  |
19.28/19.38	c | 19.39     | 0  | 124          lb |  0                0                0.00  |
19.48/19.56	c | 19.56     | 0  | 125          lb |  0                0                0.00  |
19.69/19.73	c | 19.74     | 0  | 126          lb |  0                0                0.00  |
19.88/19.91	c | 19.91     | 0  | 127          lb |  0                0                0.00  |
19.98/20.08	c | 20.09     | 0  | 129          lb |  0                0                0.00  |
20.18/20.26	c | 20.27     | 0  | 131          lb |  0                0                0.00  |
20.38/20.44	c | 20.44     | 0  | 132          lb |  0                0                0.00  |
20.58/20.61	c | 20.62     | 0  | 133          lb |  0                0                0.00  |
20.79/20.82	c | 20.83     | 0  | 134          lb |  0                0                0.00  |
20.98/21.00	c | 21.01     | 0  | 135          lb |  0                0                0.00  |
21.08/21.18	c | 21.19     | 0  | 136          lb |  0                0                0.00  |
21.28/21.36	c | 21.37     | 0  | 137          lb |  0                0                0.00  |
21.48/21.54	c | 21.55     | 0  | 138          lb |  0                0                0.00  |
21.68/21.72	c | 21.73     | 0  | 139          lb |  0                0                0.00  |
21.78/21.90	c | 21.91     | 0  | 141          lb |  0                0                0.00  |
21.99/22.09	c | 22.09     | 0  | 142          lb |  0                0                0.00  |
22.18/22.27	c | 22.27     | 0  | 143          lb |  0                0                0.00  |
22.38/22.44	c | 22.45     | 0  | 145          lb |  0                0                0.00  |
22.58/22.63	c | 22.63     | 0  | 147          lb |  0                0                0.00  |
22.77/22.81	c | 22.82     | 0  | 148          lb |  0                0                0.00  |
22.87/23.00	c | 23.00     | 0  | 149          lb |  0                0                0.00  |
23.08/23.18	c | 23.19     | 0  | 150          lb |  0                0                0.00  |
23.28/23.37	c | 23.38     | 0  | 151          lb |  0                0                0.00  |
23.48/23.57	c | 23.57     | 0  | 152          lb |  0                0                0.00  |
23.68/23.75	c | 23.76     | 0  | 153          lb |  0                0                0.00  |
23.88/23.95	c | 23.95     | 0  | 154          lb |  0                0                0.00  |
24.08/24.15	c | 24.15     | 0  | 155          lb |  0                0                0.00  |
24.28/24.37	c | 24.38     | 0  | 156          lb |  0                0                0.00  |
24.48/24.58	c | 24.58     | 0  | 157          lb |  0                0                0.00  |
24.77/24.83	c | 24.84     | 0  | 158          lb |  0                0                0.00  |
25.38/25.42	c | 25.43     | 0  | 159          lb |  0                0                0.00  |
26.98/27.04	c | 27.04     | 0  | 160          lb |  0                0                0.00  |
33.78/33.81	c | 33.81     | 0  | 161          lb |  0                0                0.00  |
816.01/816.25	c | 816.25    | 0  | 162          lb |  0                0                0.00  |
1799.53/1800.00	c ===============================================================================
1799.53/1800.00	c Wall Clock Time: 1800.00 s
1799.53/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-3727433-1338654089/watcher-3727433-1338654089 -o /tmp/evaluation-result-3727433-1338654089/solver-3727433-1338654089 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727433-1338654089.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18725
/proc/meminfo: memFree=30348764/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=21612 CPUtime=0 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) R 18723 18725 16985 0 -1 4202496 647 0 0 0 0 0 0 0 20 0 1 0 331534901 22130688 599 33554432000 4194304 5964350 140735249570736 140734669977496 4353427 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 5403 599 161 433 0 759 0

[startup+0.0602809 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18725
/proc/meminfo: memFree=30348764/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=25108 CPUtime=0.05 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) R 18723 18725 16985 0 -1 4202496 1700 0 0 0 5 0 0 0 20 0 1 0 331534901 25710592 1652 33554432000 4194304 5964350 140735249570736 140734669977496 5369096 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 6277 1652 358 433 0 1633 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25108

[startup+0.100185 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18725
/proc/meminfo: memFree=30348764/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=26848 CPUtime=0.09 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) R 18723 18725 16985 0 -1 4202496 2298 0 0 0 9 0 0 0 20 0 1 0 331534901 27492352 2217 33554432000 4194304 5964350 140735249570736 140734669977496 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 6712 2218 505 433 0 2068 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26848

[startup+0.300165 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18725
/proc/meminfo: memFree=30348764/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=36544 CPUtime=0.29 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) R 18723 18725 16985 0 -1 4202496 5482 0 0 0 29 0 0 0 20 0 1 0 331534901 37421056 5207 33554432000 4194304 5964350 140735249570736 140734669977496 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 9136 5208 1218 433 0 4492 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36544

[startup+0.700182 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18725
/proc/meminfo: memFree=30348764/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=55036 CPUtime=0.69 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) R 18723 18725 16985 0 -1 4202496 11671 0 0 0 68 1 0 0 20 0 1 0 331534901 56356864 11139 33554432000 4194304 5964350 140735249570736 140735249569080 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 13759 11140 2641 433 0 9115 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55036

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18726
/proc/meminfo: memFree=30300432/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=206156 CPUtime=1.49 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 40426 0 0 0 143 6 0 0 20 0 2 0 331534901 211103744 35684 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 51539 35684 172 433 0 51103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 206156

[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18727
/proc/meminfo: memFree=30135256/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=265364 CPUtime=3.08 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 58952 0 0 0 298 10 0 0 20 0 2 0 331534901 271732736 53508 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 66341 53508 190 433 0 65905 0
[pid=18725/tid=18727] ppid=18723 vsize=265364 CPUtime=1.89 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 39624 0 0 0 180 9 0 0 20 0 2 0 331535020 271732736 53508 33554432000 4194304 5964350 140735249570736 140682429391168 4444983 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 265364

[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18727
/proc/meminfo: memFree=30133092/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=265364 CPUtime=6.28 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 59183 0 0 0 618 10 0 0 20 0 2 0 331534901 271732736 53739 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 66341 53739 190 433 0 65905 0
[pid=18725/tid=18727] ppid=18723 vsize=265364 CPUtime=5.09 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 39855 0 0 0 500 9 0 0 20 0 2 0 331535020 271732736 53739 33554432000 4194304 5964350 140735249570736 140682429391168 4419388 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 265364

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18727
/proc/meminfo: memFree=30129040/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=265364 CPUtime=12.69 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 59749 0 0 0 1258 11 0 0 20 0 2 0 331534901 271732736 54305 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 66341 54305 190 433 0 65905 0
[pid=18725/tid=18727] ppid=18723 vsize=265364 CPUtime=11.49 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 40421 0 0 0 1140 9 0 0 20 0 2 0 331535020 271732736 54305 33554432000 4194304 5964350 140735249570736 140682429401624 5130914 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 265364

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18766
/proc/meminfo: memFree=30528176/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=273568 CPUtime=25.48 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 74240 0 0 0 2535 13 0 0 20 0 2 0 331534901 280133632 59900 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 68392 59901 193 433 0 67956 0
[pid=18725/tid=18727] ppid=18723 vsize=273568 CPUtime=24.29 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 54913 0 0 0 2417 12 0 0 20 0 2 0 331535020 280133632 59901 33554432000 4194304 5964350 140735249570736 140682429401496 4419455 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 273568

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18766
/proc/meminfo: memFree=30412604/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=330900 CPUtime=51.07 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 88699 0 0 0 5091 16 0 0 20 0 2 0 331534901 338841600 74909 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 82725 74909 195 433 0 82289 0
[pid=18725/tid=18727] ppid=18723 vsize=330900 CPUtime=49.89 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 69371 0 0 0 4974 15 0 0 20 0 2 0 331535020 338841600 74909 33554432000 4194304 5964350 140735249570736 140682429401432 4389020 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 330900

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18766
/proc/meminfo: memFree=29892088/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=658580 CPUtime=102.26 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 156315 0 0 0 10198 28 0 0 20 0 2 0 331534901 674385920 143712 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 164645 143712 195 433 0 164209 0
[pid=18725/tid=18727] ppid=18723 vsize=658580 CPUtime=101.08 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 136987 0 0 0 10080 28 0 0 20 0 2 0 331535020 674385920 143712 33554432000 4194304 5964350 140735249570736 140682429401080 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 658580

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18767
/proc/meminfo: memFree=29450536/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=920724 CPUtime=162.23 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 229095 0 0 0 16180 43 0 0 20 0 2 0 331534901 942821376 216480 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 230181 216480 195 433 0 229745 0
[pid=18725/tid=18727] ppid=18723 vsize=920724 CPUtime=161.06 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 209767 0 0 0 16062 44 0 0 20 0 2 0 331535020 942821376 216480 33554432000 4194304 5964350 140735249570736 140682429401080 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 920724

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/179 18767
/proc/meminfo: memFree=29214484/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=1182868 CPUtime=222.19 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 287641 0 0 0 22163 56 0 0 20 0 2 0 331534901 1211256832 275014 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 295717 275014 195 433 0 295281 0
[pid=18725/tid=18727] ppid=18723 vsize=1182868 CPUtime=221.04 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 268313 0 0 0 22046 58 0 0 20 0 2 0 331535020 1211256832 275014 33554432000 4194304 5964350 140735249570736 140682429401080 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1182868

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/179 18767
/proc/meminfo: memFree=28811772/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=1379476 CPUtime=282.18 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 337168 0 0 0 28150 68 0 0 20 0 2 0 331534901 1412583424 324541 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 344869 324541 195 433 0 344433 0
[pid=18725/tid=18727] ppid=18723 vsize=1379476 CPUtime=281.04 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 317840 0 0 0 28033 71 0 0 20 0 2 0 331535020 1412583424 324541 33554432000 4194304 5964350 140735249570736 140682429401080 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1379476

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18768
/proc/meminfo: memFree=28439516/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=1510548 CPUtime=342.17 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 370825 0 0 0 34141 76 0 0 20 0 2 0 331534901 1546801152 358198 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 377637 358198 195 433 0 377201 0
[pid=18725/tid=18727] ppid=18723 vsize=1510548 CPUtime=341.04 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 351497 0 0 0 34024 80 0 0 20 0 2 0 331535020 1546801152 358198 33554432000 4194304 5964350 140735249570736 140682429401080 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1510548

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/179 18768
/proc/meminfo: memFree=28087764/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=1576084 CPUtime=402.16 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 400687 0 0 0 40132 84 0 0 20 0 2 0 331534901 1613910016 388060 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 394021 388060 195 433 0 393585 0
[pid=18725/tid=18727] ppid=18723 vsize=1576084 CPUtime=401.04 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 381359 0 0 0 40015 89 0 0 20 0 2 0 331535020 1613910016 388060 33554432000 4194304 5964350 140735249570736 140682429401080 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1576084

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 18768
/proc/meminfo: memFree=27734844/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=1707156 CPUtime=462.15 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 429254 0 0 0 46125 90 0 0 20 0 2 0 331534901 1748127744 416627 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 426789 416627 195 433 0 426353 0

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

/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 606211 0 0 0 129952 152 0 0 20 0 2 0 331535020 2553434112 616463 33554432000 4194304 5964350 140735249570736 140682429401432 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 2493588

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18777
/proc/meminfo: memFree=24540200/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=2493588 CPUtime=1361.96 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 625560 0 0 0 136062 134 0 0 20 0 2 0 331534901 2553434112 616475 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 623397 616475 195 433 0 622961 0
[pid=18725/tid=18727] ppid=18723 vsize=2493588 CPUtime=1361.03 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 606232 0 0 0 135950 153 0 0 20 0 2 0 331535020 2553434112 616475 33554432000 4194304 5964350 140735249570736 140682429401432 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 2493588

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18778
/proc/meminfo: memFree=24433848/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=2493588 CPUtime=1421.96 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 625571 0 0 0 142062 134 0 0 20 0 2 0 331534901 2553434112 616476 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 623397 616476 195 433 0 622961 0
[pid=18725/tid=18727] ppid=18723 vsize=2493588 CPUtime=1421.03 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 606243 0 0 0 141949 154 0 0 20 0 2 0 331535020 2553434112 616476 33554432000 4194304 5964350 140735249570736 140682429401432 4389052 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 2493588

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18778
/proc/meminfo: memFree=24316456/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=2493588 CPUtime=1481.94 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 625581 0 0 0 148060 134 0 0 20 0 2 0 331534901 2553434112 616476 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 623397 616476 195 433 0 622961 0
[pid=18725/tid=18727] ppid=18723 vsize=2493588 CPUtime=1481.03 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 606253 0 0 0 147948 155 0 0 20 0 2 0 331535020 2553434112 616476 33554432000 4194304 5964350 140735249570736 140682429401432 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 2493588

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18778
/proc/meminfo: memFree=24196824/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=2493588 CPUtime=1541.92 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 625600 0 0 0 154058 134 0 0 20 0 2 0 331534901 2553434112 616476 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 623397 616476 195 433 0 622961 0
[pid=18725/tid=18727] ppid=18723 vsize=2493588 CPUtime=1541.02 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 606272 0 0 0 153946 156 0 0 20 0 2 0 331535020 2553434112 616476 33554432000 4194304 5964350 140735249570736 140682429401432 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 2493588

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18778
/proc/meminfo: memFree=23892068/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=2755732 CPUtime=1601.9 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 676525 0 0 0 160046 144 0 0 20 0 2 0 331534901 2821869568 667385 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 688933 667385 195 433 0 688497 0
[pid=18725/tid=18727] ppid=18723 vsize=2755732 CPUtime=1601 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 657197 0 0 0 159934 166 0 0 20 0 2 0 331535020 2821869568 667385 33554432000 4194304 5964350 140735249570736 140682429401080 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 2755732

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18778
/proc/meminfo: memFree=23587304/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=2886804 CPUtime=1661.87 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 716827 0 0 0 166033 154 0 0 20 0 2 0 331534901 2956087296 707670 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 721701 707670 195 433 0 721265 0
[pid=18725/tid=18727] ppid=18723 vsize=2886804 CPUtime=1660.98 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 697499 0 0 0 165920 178 0 0 20 0 2 0 331535020 2956087296 707670 33554432000 4194304 5964350 140735249570736 140682429401080 4389090 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 2886804

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 18782
/proc/meminfo: memFree=23324808/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=3083412 CPUtime=1721.85 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 757942 0 0 0 172020 165 0 0 20 0 2 0 331534901 3157413888 748770 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 770853 748770 195 433 0 770417 0
[pid=18725/tid=18727] ppid=18723 vsize=3083412 CPUtime=1720.97 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 738614 0 0 0 171907 190 0 0 20 0 2 0 331535020 3157413888 748770 33554432000 4194304 5964350 140735249570736 140682429401080 4403567 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 3083412

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18782
/proc/meminfo: memFree=23046788/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=3214484 CPUtime=1781.83 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 802698 0 0 0 178008 175 0 0 20 0 2 0 331534901 3291631616 793514 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 803621 793514 195 433 0 803185 0
[pid=18725/tid=18727] ppid=18723 vsize=3214484 CPUtime=1780.97 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 783370 0 0 0 177896 201 0 0 20 0 2 0 331535020 3291631616 793514 33554432000 4194304 5964350 140735249570736 140682429401080 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 3214484

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18782
/proc/meminfo: memFree=23001016/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=3280020 CPUtime=1791.44 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 809601 0 0 0 178967 177 0 0 20 0 2 0 331534901 3358740480 800411 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 820005 800411 195 433 0 819569 0
[pid=18725/tid=18727] ppid=18723 vsize=3280020 CPUtime=1790.57 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 790273 0 0 0 178854 203 0 0 20 0 2 0 331535020 3358740480 800411 33554432000 4194304 5964350 140735249570736 140682429401080 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 3280020

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18782
/proc/meminfo: memFree=22980060/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=3280020 CPUtime=1794.63 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 813802 0 0 0 179285 178 0 0 20 0 2 0 331534901 3358740480 804612 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 820005 804612 195 433 0 819569 0
[pid=18725/tid=18727] ppid=18723 vsize=3280020 CPUtime=1793.77 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 794474 0 0 0 179173 204 0 0 20 0 2 0 331535020 3358740480 804612 33554432000 4194304 5964350 140735249570736 140682429401080 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 3280020

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18782
/proc/meminfo: memFree=22967536/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=3280020 CPUtime=1797.83 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 817334 0 0 0 179604 179 0 0 20 0 2 0 331534901 3358740480 808139 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 820005 808139 195 433 0 819569 0
[pid=18725/tid=18727] ppid=18723 vsize=3280020 CPUtime=1796.96 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 798006 0 0 0 179491 205 0 0 20 0 2 0 331535020 3358740480 808139 33554432000 4194304 5964350 140735249570736 140682429401080 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 3280020

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18782
/proc/meminfo: memFree=22960576/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=3280020 CPUtime=1798.63 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 818242 0 0 0 179684 179 0 0 20 0 2 0 331534901 3358740480 809047 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 820005 809047 195 433 0 819569 0
[pid=18725/tid=18727] ppid=18723 vsize=3280020 CPUtime=1797.76 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 798914 0 0 0 179571 205 0 0 20 0 2 0 331535020 3358740480 809047 33554432000 4194304 5964350 140735249570736 140682429401080 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 3280020

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18782
/proc/meminfo: memFree=22954376/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=3280020 CPUtime=1799.03 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 818539 0 0 0 179724 179 0 0 20 0 2 0 331534901 3358740480 809344 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 820005 809344 195 433 0 819569 0
[pid=18725/tid=18727] ppid=18723 vsize=3280020 CPUtime=1798.17 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 799211 0 0 0 179612 205 0 0 20 0 2 0 331535020 3358740480 809344 33554432000 4194304 5964350 140735249570736 140682429401080 4392771 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.03
Current children cumulated vsize (KiB) 3280020

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18782
/proc/meminfo: memFree=22954376/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=3280020 CPUtime=1799.43 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 819138 0 0 0 179764 179 0 0 20 0 2 0 331534901 3358740480 809943 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 820005 809943 195 433 0 819569 0
[pid=18725/tid=18727] ppid=18723 vsize=3280020 CPUtime=1798.56 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 799810 0 0 0 179651 205 0 0 20 0 2 0 331535020 3358740480 809943 33554432000 4194304 5964350 140735249570736 140682429401080 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 3280020

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18782
/proc/meminfo: memFree=22954376/32873648 swapFree=7628/7628
[pid=18725] ppid=18723 vsize=3280020 CPUtime=1799.53 cores=1,3,5,7
/proc/18725/stat : 18725 (wbo1.72) S 18723 18725 16985 0 -1 4202496 819138 0 0 0 179774 179 0 0 20 0 2 0 331534901 3358740480 809943 33554432000 4194304 5964350 140735249570736 140735249570256 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18725/statm: 820005 809943 195 433 0 819569 0
[pid=18725/tid=18727] ppid=18723 vsize=3280020 CPUtime=1798.66 cores=1,3,5,7
/proc/18725/task/18727/stat : 18727 (wbo1.72) R 18723 18725 16985 0 -1 4202560 799810 0 0 0 179661 205 0 0 20 0 2 0 331535020 3358740480 809943 33554432000 4194304 5964350 140735249570736 140682429401080 4389090 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 3280020

Child status: 255
Real time (s): 1800.09
CPU time (s): 1799.95
CPU user time (s): 1797.79
CPU system time (s): 2.16767
CPU usage (%): 99.9925
Max. virtual memory (cumulated for all children) (KiB): 3280020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.79
system time used= 2.16767
maximum resident set size= 3239780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 819140
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= 316
involuntary context switches= 3843

runsolver used 7.05193 second user time and 17.4164 second system time

The end

Launcher Data 

Begin job on node122 at 2012-06-02 18:21:29
IDJOB=3727433
IDBENCH=1975
IDSOLVER=2313
FILE ID=node122/3727433-1338654089
RUNJOBID= node122-1338650487-18369
PBS_JOBID= 14636458
Free space on /tmp= 71296 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727433-1338654089/watcher-3727433-1338654089 -o /tmp/evaluation-result-3727433-1338654089/solver-3727433-1338654089 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727433-1338654089.opb

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

MD5SUM BENCH= 6389567e651775a5f815611581d2023e
RANDOM SEED=968850670

node122.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.533
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.06
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.533
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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.04
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.533
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.533
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.91
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.533
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	: 5438.54
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.533
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.533
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:       32873648 kB
MemFree:        30348888 kB
Buffers:          134716 kB
Cached:           977508 kB
SwapCached:         1816 kB
Active:           838204 kB
Inactive:         922524 kB
Active(anon):     648796 kB
Inactive(anon):     1928 kB
Active(file):     189408 kB
Inactive(file):   920596 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100092 kB
Dirty:             22156 kB
Writeback:             0 kB
AnonPages:        783796 kB
Mapped:             9612 kB
Shmem:                 0 kB
Slab:             625096 kB
SReclaimable:      69020 kB
SUnreclaim:       556076 kB
KernelStack:        1456 kB
PageTables:         5396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     146024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    757760 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= 71272 MiB
End job on node122 at 2012-06-02 18:51:29