Trace number 3705594

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? 1800.02 1800.01

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opb
MD5SUMa88af6dd0118c2f12fc3d8f44e999a51
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-432
Best CPU time to get the best result obtained on this benchmark780.628
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 892
Biggest coefficient in the objective function 512
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 3967
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 61696
Number of bits of the biggest sum of numbers16
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-3705594-1338165439.opb.
0.00/0.00	c Instance file HOME/instance-3705594-1338165439.opb
0.00/0.00	c File size is 28224608 bytes.
2.78/2.81	c Cost Offset: -3967
2.78/2.81	c Highest Coefficient sum: 61696
2.78/2.81	c ============================[ Problem Statistics ]=============================
2.78/2.81	c |                                                                             |
2.78/2.81	c |  Parsing time:          2.81         s                                      |
2.78/2.81	c |  Number Variables:      400896                                              |
2.78/2.81	c |  Number Clauses:        400785                                              |
2.78/2.81	c |  Number Cardinality:    1977                                                |
2.78/2.81	c |  Number PB Constraints: 1                                                   |
2.78/2.81	c |                                                                             |
2.99/3.09	c |  Problem Type:          Optimization                                        |
2.99/3.09	c |  Objective Function:    PB Constraint                                       |
2.99/3.09	c |                                                                             |
2.99/3.09	c ============================[ Search Statistics ]==============================
2.99/3.09	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
2.99/3.09	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
2.99/3.09	c ===============================================================================
3.49/3.55	c | 3.55      | 0  | -3966        lb |  0                0                0.00  |
3.89/3.96	c | 3.97      | 0  | -3965        lb |  0                0                0.00  |
4.28/4.35	c | 4.35      | 0  | -3963        lb |  0                0                0.00  |
4.68/4.72	c | 4.73      | 0  | -3959        lb |  0                0                0.00  |
4.99/5.09	c | 5.10      | 0  | -3951        lb |  0                0                0.00  |
5.39/5.47	c | 5.48      | 0  | -3935        lb |  0                0                0.00  |
5.78/5.85	c | 5.86      | 0  | -3903        lb |  0                0                0.00  |
6.28/6.40	c | 6.40      | 0  | -3902        lb |  0                0                0.00  |
6.99/7.07	c | 7.08      | 0  | -3901        lb |  0                0                0.00  |
8.49/8.51	c | 8.52      | 0  | -3900        lb |  0                0                0.00  |
9.69/9.74	c | 9.74      | 0  | -3899        lb |  0                0                0.00  |
11.10/11.14	c | 11.14     | 0  | -3898        lb |  0                0                0.00  |
12.39/12.49	c | 12.49     | 0  | -3897        lb |  0                0                0.00  |
13.59/13.68	c | 13.69     | 0  | -3896        lb |  0                0                0.00  |
14.99/15.03	c | 15.04     | 0  | -3895        lb |  0                0                0.00  |
16.18/16.21	c | 16.21     | 0  | -3894        lb |  0                0                0.00  |
17.38/17.48	c | 17.48     | 0  | -3893        lb |  0                0                0.00  |
18.69/18.78	c | 18.79     | 0  | -3892        lb |  0                0                0.00  |
20.09/20.15	c | 20.16     | 0  | -3891        lb |  0                0                0.00  |
21.88/21.90	c | 21.91     | 0  | -3890        lb |  0                0                0.00  |
23.19/23.23	c | 23.23     | 0  | -3889        lb |  0                0                0.00  |
24.58/24.64	c | 24.64     | 0  | -3887        lb |  0                0                0.00  |
25.99/26.07	c | 26.08     | 0  | -3886        lb |  0                0                0.00  |
27.59/27.65	c | 27.66     | 0  | -3885        lb |  0                0                0.00  |
29.18/29.25	c | 29.25     | 0  | -3884        lb |  0                0                0.00  |
30.79/30.82	c | 30.83     | 0  | -3883        lb |  0                0                0.00  |
32.49/32.54	c | 32.54     | 0  | -3882        lb |  0                0                0.00  |
34.59/34.62	c | 34.63     | 0  | -3881        lb |  0                0                0.00  |
37.09/37.14	c | 37.15     | 0  | -3880        lb |  0                0                0.00  |
38.38/38.44	c | 38.44     | 0  | -3879        lb |  0                0                0.00  |
40.98/41.04	c | 41.05     | 0  | -3878        lb |  0                0                0.00  |
42.89/42.96	c | 42.97     | 0  | -3877        lb |  0                0                0.00  |
44.28/44.38	c | 44.39     | 0  | -3876        lb |  0                0                0.00  |
46.28/46.35	c | 46.36     | 0  | -3875        lb |  0                0                0.00  |
49.38/49.50	c | 49.50     | 0  | -3874        lb |  0                0                0.00  |
50.88/50.99	c | 50.99     | 0  | -3873        lb |  0                0                0.00  |
53.48/53.50	c | 53.50     | 0  | -3872        lb |  0                0                0.00  |
55.48/55.57	c | 55.58     | 0  | -3868        lb |  0                0                0.00  |
58.68/58.75	c | 58.75     | 0  | -3867        lb |  0                0                0.00  |
60.08/60.15	c | 60.15     | 0  | -3866        lb |  0                0                0.00  |
62.08/62.10	c | 62.10     | 0  | -3865        lb |  0                0                0.00  |
63.47/63.57	c | 63.57     | 0  | -3864        lb |  0                0                0.00  |
65.68/65.77	c | 65.78     | 0  | -3863        lb |  0                0                0.00  |
68.37/68.43	c | 68.44     | 0  | -3862        lb |  0                0                0.00  |
69.88/69.93	c | 69.94     | 0  | -3861        lb |  0                0                0.00  |
71.49/71.54	c | 71.55     | 0  | -3860        lb |  0                0                0.00  |
74.38/74.48	c | 74.48     | 0  | -3859        lb |  0                0                0.00  |
75.98/76.06	c | 76.07     | 0  | -3856        lb |  0                0                0.00  |
77.68/77.70	c | 77.71     | 0  | -3855        lb |  0                0                0.00  |
79.08/79.16	c | 79.17     | 0  | -3853        lb |  0                0                0.00  |
80.88/80.91	c | 80.91     | 0  | -3852        lb |  0                0                0.00  |
83.58/83.64	c | 83.64     | 0  | -3851        lb |  0                0                0.00  |
85.68/85.74	c | 85.74     | 0  | -3849        lb |  0                0                0.00  |
87.99/88.05	c | 88.05     | 0  | -3848        lb |  0                0                0.00  |
90.88/90.99	c | 90.99     | 0  | -3847        lb |  0                0                0.00  |
93.58/93.65	c | 93.65     | 0  | -3839        lb |  0                0                0.00  |
96.68/96.79	c | 96.79     | 0  | -3838        lb |  0                0                0.00  |
99.47/99.55	c | 99.56     | 0  | -3837        lb |  0                0                0.00  |
102.38/102.48	c | 102.49    | 0  | -3836        lb |  0                0                0.00  |
106.67/106.76	c | 106.76    | 0  | -3835        lb |  0                0                0.00  |
110.58/110.66	c | 110.66    | 0  | -3834        lb |  0                0                0.00  |
111.97/112.08	c | 112.08    | 0  | -3833        lb |  0                0                0.00  |
113.07/113.14	c | 113.14    | 0  | -3832        lb |  0                0                0.00  |
113.97/114.05	c | 114.05    | 0  | -3831        lb |  0                0                0.00  |
114.67/114.75	c | 114.75    | 0  | -3830        lb |  0                0                0.00  |
115.58/115.64	c | 115.64    | 0  | -3829        lb |  0                0                0.00  |
116.87/116.97	c | 116.97    | 0  | -3828        lb |  0                0                0.00  |
118.97/119.06	c | 119.06    | 0  | -3827        lb |  0                0                0.00  |
119.77/119.86	c | 119.87    | 0  | -3826        lb |  0                0                0.00  |
120.67/120.77	c | 120.77    | 0  | -3825        lb |  0                0                0.00  |
121.37/121.47	c | 121.47    | 0  | -3824        lb |  0                0                0.00  |
124.27/124.33	c | 124.34    | 0  | -3823        lb |  0                0                0.00  |
125.57/125.67	c | 125.68    | 0  | -3822        lb |  0                0                0.00  |
126.58/126.60	c | 126.61    | 0  | -3821        lb |  0                0                0.00  |
127.68/127.79	c | 127.80    | 0  | -3820        lb |  0                0                0.00  |
128.47/128.57	c | 128.57    | 0  | -3819        lb |  0                0                0.00  |
129.27/129.34	c | 129.34    | 0  | -3818        lb |  0                0                0.00  |
130.57/130.60	c | 130.60    | 0  | -3817        lb |  0                0                0.00  |
132.37/132.49	c | 132.49    | 0  | -3816        lb |  0                0                0.00  |
133.57/133.66	c | 133.66    | 0  | -3815        lb |  0                0                0.00  |
134.57/134.68	c | 134.69    | 0  | -3814        lb |  0                0                0.00  |
135.67/135.70	c | 135.71    | 0  | -3813        lb |  0                0                0.00  |
138.97/139.08	c | 139.09    | 0  | -3812        lb |  0                0                0.00  |
139.86/139.95	c | 139.95    | 0  | -3811        lb |  0                0                0.00  |
140.97/141.03	c | 141.03    | 0  | -3810        lb |  0                0                0.00  |
142.07/142.11	c | 142.12    | 0  | -3809        lb |  0                0                0.00  |
146.47/146.57	c | 146.58    | 0  | -3808        lb |  0                0                0.00  |
151.37/151.42	c | 151.43    | 0  | -3807        lb |  0                0                0.00  |
154.67/154.71	c | 154.72    | 0  | -3806        lb |  0                0                0.00  |
159.57/159.62	c | 159.62    | 0  | -3805        lb |  0                0                0.00  |
164.36/164.44	c | 164.45    | 0  | -3804        lb |  0                0                0.00  |
171.66/171.74	c | 171.75    | 0  | -3803        lb |  0                0                0.00  |
178.66/178.72	c | 178.72    | 0  | -3802        lb |  0                0                0.00  |
184.66/184.72	c | 184.73    | 0  | -3801        lb |  0                0                0.00  |
190.56/190.63	c | 190.63    | 0  | -3800        lb |  0                0                0.00  |
199.35/199.40	c | 199.41    | 0  | -3799        lb |  0                0                0.00  |
207.86/207.97	c | 207.97    | 0  | -3798        lb |  0                0                0.00  |
215.56/215.68	c | 215.68    | 0  | -3797        lb |  0                0                0.00  |
222.16/222.21	c | 222.22    | 0  | -3796        lb |  0                0                0.00  |
230.85/230.90	c | 230.90    | 0  | -3795        lb |  0                0                0.00  |
235.46/235.51	c | 235.51    | 0  | -3794        lb |  0                0                0.00  |
243.55/243.63	c | 243.63    | 0  | -3793        lb |  0                0                0.00  |
250.55/250.62	c | 250.63    | 0  | -3792        lb |  0                0                0.00  |
255.75/255.83	c | 255.83    | 0  | -3791        lb |  0                0                0.00  |
265.34/265.49	c | 265.50    | 0  | -3790        lb |  0                0                0.00  |
276.74/276.87	c | 276.87    | 0  | -3789        lb |  0                0                0.00  |
282.76/282.86	c | 282.87    | 0  | -3788        lb |  0                0                0.00  |
303.44/303.52	c | 303.52    | 0  | -3787        lb |  0                0                0.00  |
309.05/309.17	c | 309.17    | 0  | -3786        lb |  0                0                0.00  |
318.54/318.64	c | 318.64    | 0  | -3785        lb |  0                0                0.00  |
323.74/323.83	c | 323.84    | 0  | -3784        lb |  0                0                0.00  |
332.53/332.69	c | 332.70    | 0  | -3783        lb |  0                0                0.00  |
340.63/340.70	c | 340.70    | 0  | -3782        lb |  0                0                0.00  |
349.84/349.92	c | 349.93    | 0  | -3781        lb |  0                0                0.00  |
358.34/358.43	c | 358.44    | 0  | -3780        lb |  0                0                0.00  |
368.23/368.31	c | 368.31    | 0  | -3779        lb |  0                0                0.00  |
400.33/400.47	c | 400.47    | 0  | -3778        lb |  0                0                0.00  |
414.42/414.57	c | 414.57    | 0  | -3777        lb |  0                0                0.00  |
425.73/425.82	c | 425.82    | 0  | -3776        lb |  0                0                0.00  |
517.91/518.02	c | 518.02    | 0  | -3775        lb |  0                0                0.00  |
529.12/529.29	c | 529.29    | 0  | -3774        lb |  0                0                0.00  |
543.90/544.06	c | 544.07    | 0  | -3773        lb |  0                0                0.00  |
553.21/553.37	c | 553.38    | 0  | -3772        lb |  0                0                0.00  |
558.71/558.88	c | 558.88    | 0  | -3771        lb |  0                0                0.00  |
1284.32/1284.64	c | 1284.65   | 0  | -3770        lb |  0                0                0.00  |
1286.62/1286.93	c | 1286.93   | 0  | -3769        lb |  0                0                0.00  |
1292.42/1292.73	c | 1292.73   | 0  | -3768        lb |  0                0                0.00  |
1300.41/1300.78	c | 1300.78   | 0  | -3767        lb |  0                0                0.00  |
1302.62/1302.96	c | 1302.96   | 0  | -3766        lb |  0                0                0.00  |
1754.95/1755.33	c | 1755.33   | 0  | -3765        lb |  0                0                0.00  |
1757.84/1758.22	c | 1758.23   | 0  | -3764        lb |  0                0                0.00  |
1763.15/1763.57	c | 1763.57   | 0  | -3763        lb |  0                0                0.00  |
1765.75/1766.16	c | 1766.17   | 0  | -3762        lb |  0                0                0.00  |
1799.64/1800.00	c ===============================================================================
1799.64/1800.00	c Wall Clock Time: 1800.00 s
1799.64/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-3705594-1338165439/watcher-3705594-1338165439 -o /tmp/evaluation-result-3705594-1338165439/solver-3705594-1338165439 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705594-1338165439.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/175 14853
/proc/meminfo: memFree=29797256/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=31868 CPUtime=0 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) R 14851 14853 14387 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 282672589 32632832 528 33554432000 4194304 5963574 140736403671024 140733752587288 4338704 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/14853/statm: 7967 528 173 432 0 641 0

[startup+0.0353459 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 14853
/proc/meminfo: memFree=29797256/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=35660 CPUtime=0.03 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) R 14851 14853 14387 0 -1 4202496 1549 0 0 0 3 0 0 0 20 0 1 0 282672589 36515840 1502 33554432000 4194304 5963574 140736403671024 140733752587288 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/14853/statm: 8915 1508 263 432 0 1589 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 35660

[startup+0.100233 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 14853
/proc/meminfo: memFree=29797256/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=42040 CPUtime=0.09 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) R 14851 14853 14387 0 -1 4202496 3220 0 0 0 9 0 0 0 20 0 1 0 282672589 43048960 3059 33554432000 4194304 5963574 140736403671024 140733752587288 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/14853/statm: 10510 3059 467 432 0 3184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42040

[startup+0.300221 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 14853
/proc/meminfo: memFree=29797256/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=53148 CPUtime=0.29 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) R 14851 14853 14387 0 -1 4202496 6838 0 0 0 28 1 0 0 20 0 1 0 282672589 54423552 6540 33554432000 4194304 5963574 140736403671024 140733752587288 5155366 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/14853/statm: 13287 6541 1052 432 0 5961 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53148

[startup+0.700284 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 14853
/proc/meminfo: memFree=29797256/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=86304 CPUtime=0.69 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) R 14851 14853 14387 0 -1 4202496 16160 0 0 0 66 3 0 0 20 0 1 0 282672589 88375296 15204 33554432000 4194304 5963574 140736403671024 140736403669512 5135642 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 21576 15205 2250 432 0 14250 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86304

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14854
/proc/meminfo: memFree=29676136/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=146732 CPUtime=1.48 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) R 14851 14853 14387 0 -1 4202496 31030 0 0 0 143 5 0 0 20 0 1 0 282672589 150253568 30750 33554432000 4194304 5963574 140736403671024 140736403669480 4394802 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 36683 30751 4242 432 0 29357 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 146732

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14855
/proc/meminfo: memFree=29359820/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=361812 CPUtime=3.09 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 69255 0 0 0 297 12 0 0 20 0 2 0 282672589 370495488 68468 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 90453 68491 185 432 0 90018 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 361812

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14856
/proc/meminfo: memFree=28895456/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=565660 CPUtime=6.28 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 114596 0 0 0 606 22 0 0 20 0 2 0 282672589 579235840 125818 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 141415 125818 195 432 0 140980 0
[pid=14853/tid=14856] ppid=14851 vsize=565660 CPUtime=3.47 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 67430 0 0 0 332 15 0 0 20 0 2 0 282672870 579235840 125818 33554432000 4194304 5963574 140736403671024 140332031596888 4405927 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 565660

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14856
/proc/meminfo: memFree=28913384/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=565660 CPUtime=12.69 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 117675 0 0 0 1244 25 0 0 20 0 2 0 282672589 579235840 128517 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 141415 128517 197 432 0 140980 0
[pid=14853/tid=14856] ppid=14851 vsize=565660 CPUtime=9.87 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 70509 0 0 0 970 17 0 0 20 0 2 0 282672870 579235840 128517 33554432000 4194304 5963574 140736403671024 140332031597384 4380454 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) 565660

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14856
/proc/meminfo: memFree=28807684/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=631196 CPUtime=25.49 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 121404 0 0 0 2522 27 0 0 20 0 2 0 282672589 646344704 138743 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 157799 138743 197 432 0 157364 0
[pid=14853/tid=14856] ppid=14851 vsize=631196 CPUtime=22.67 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 74238 0 0 0 2247 20 0 0 20 0 2 0 282672870 646344704 138743 33554432000 4194304 5963574 140736403671024 140332031596888 4403156 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) 631196

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14856
/proc/meminfo: memFree=28714640/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=631196 CPUtime=51.08 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 124636 0 0 0 5079 29 0 0 20 0 2 0 282672589 646344704 143176 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 157799 143176 197 432 0 157364 0
[pid=14853/tid=14856] ppid=14851 vsize=631196 CPUtime=48.27 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 77470 0 0 0 4805 22 0 0 20 0 2 0 282672870 646344704 143176 33554432000 4194304 5963574 140736403671024 140332031596888 4221056 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) 631196

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14856
/proc/meminfo: memFree=28524212/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=631196 CPUtime=102.28 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 145857 0 0 0 10191 37 0 0 20 0 2 0 282672589 646344704 145885 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 157799 145885 197 432 0 157364 0
[pid=14853/tid=14856] ppid=14851 vsize=631196 CPUtime=99.48 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 98691 0 0 0 9917 31 0 0 20 0 2 0 282672870 646344704 145885 33554432000 4194304 5963574 140736403671024 140332031597384 4392399 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 631196

[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 14859
/proc/meminfo: memFree=28259572/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=762268 CPUtime=162.26 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 164967 0 0 0 16181 45 0 0 20 0 2 0 282672589 780562432 170598 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 190567 170598 197 432 0 190132 0
[pid=14853/tid=14856] ppid=14851 vsize=762268 CPUtime=159.48 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 117801 0 0 0 15908 40 0 0 20 0 2 0 282672870 780562432 170598 33554432000 4194304 5963574 140736403671024 140332031596888 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 762268

[startup+222.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14860
/proc/meminfo: memFree=28173608/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=762268 CPUtime=222.26 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 168307 0 0 0 22179 47 0 0 20 0 2 0 282672589 780562432 175140 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 190567 175140 197 432 0 190132 0
[pid=14853/tid=14856] ppid=14851 vsize=762268 CPUtime=219.49 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 121141 0 0 0 21906 43 0 0 20 0 2 0 282672870 780562432 175140 33554432000 4194304 5963574 140736403671024 140332031597384 5130053 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 762268

[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 14860
/proc/meminfo: memFree=28058348/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=762268 CPUtime=282.25 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 170753 0 0 0 28177 48 0 0 20 0 2 0 282672589 780562432 178796 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 190567 178796 197 432 0 190132 0
[pid=14853/tid=14856] ppid=14851 vsize=762268 CPUtime=279.49 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 123587 0 0 0 27905 44 0 0 20 0 2 0 282672870 780562432 178796 33554432000 4194304 5963574 140736403671024 140332031597080 4399451 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 762268

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14860
/proc/meminfo: memFree=27986312/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=827804 CPUtime=342.24 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 171705 0 0 0 34175 49 0 0 20 0 2 0 282672589 847671296 182381 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 206951 182381 197 432 0 206516 0
[pid=14853/tid=14856] ppid=14851 vsize=827804 CPUtime=339.49 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 124539 0 0 0 33902 47 0 0 20 0 2 0 282672870 847671296 182381 33554432000 4194304 5963574 140736403671024 140332031596840 4403036 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 827804

[startup+402.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 14860
/proc/meminfo: memFree=27938704/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=827804 CPUtime=402.23 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 171721 0 0 0 40174 49 0 0 20 0 2 0 282672589 847671296 182381 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 206951 182381 197 432 0 206516 0
[pid=14853/tid=14856] ppid=14851 vsize=827804 CPUtime=399.49 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 124555 0 0 0 39901 48 0 0 20 0 2 0 282672870 847671296 182381 33554432000 4194304 5963574 140736403671024 140332031596840 4400155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 827804

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 14860
/proc/meminfo: memFree=27840184/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=827804 CPUtime=462.22 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 172242 0 0 0 46172 50 0 0 20 0 2 0 282672589 847671296 185960 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 206951 185960 197 432 0 206516 0
[pid=14853/tid=14856] ppid=14851 vsize=827804 CPUtime=459.49 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 125076 0 0 0 45901 48 0 0 20 0 2 0 282672870 847671296 185960 33554432000 4194304 5963574 140736403671024 140332031596888 4408821 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0

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

/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 127879 0 0 0 123884 62 0 0 20 0 2 0 282672870 780681216 177916 33554432000 4194304 5963574 140736403671024 140332031597384 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 762384

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14866
/proc/meminfo: memFree=26947772/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=848052 CPUtime=1302.02 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 180215 0 0 0 130148 54 0 0 20 0 2 0 282672589 868405248 198643 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 212013 198643 197 432 0 211578 0
[pid=14853/tid=14856] ppid=14851 vsize=848052 CPUtime=1299.46 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 133049 0 0 0 129881 65 0 0 20 0 2 0 282672870 868405248 198643 33554432000 4194304 5963574 140736403671024 140332031597384 4402879 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 848052

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14869
/proc/meminfo: memFree=26881880/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=891796 CPUtime=1362 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 181492 0 0 0 136146 54 0 0 20 0 2 0 282672589 913199104 208092 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 222949 208092 197 432 0 222514 0
[pid=14853/tid=14856] ppid=14851 vsize=891796 CPUtime=1359.47 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 134326 0 0 0 135880 67 0 0 20 0 2 0 282672870 913199104 208092 33554432000 4194304 5963574 140736403671024 140332031596840 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 891796

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14892
/proc/meminfo: memFree=26816484/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=891796 CPUtime=1422 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 181492 0 0 0 142146 54 0 0 20 0 2 0 282672589 913199104 208092 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 222949 208092 197 432 0 222514 0
[pid=14853/tid=14856] ppid=14851 vsize=891796 CPUtime=1419.47 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 134326 0 0 0 141879 68 0 0 20 0 2 0 282672870 913199104 208092 33554432000 4194304 5963574 140736403671024 140332031596840 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 891796

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14893
/proc/meminfo: memFree=26739760/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=891796 CPUtime=1481.99 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 181492 0 0 0 148144 55 0 0 20 0 2 0 282672589 913199104 208092 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 222949 208092 197 432 0 222514 0
[pid=14853/tid=14856] ppid=14851 vsize=891796 CPUtime=1479.47 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 134326 0 0 0 147878 69 0 0 20 0 2 0 282672870 913199104 208092 33554432000 4194304 5963574 140736403671024 140332031596840 4392454 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 891796

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14893
/proc/meminfo: memFree=26722744/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=891796 CPUtime=1541.99 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 181492 0 0 0 154144 55 0 0 20 0 2 0 282672589 913199104 208092 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 222949 208092 197 432 0 222514 0
[pid=14853/tid=14856] ppid=14851 vsize=891796 CPUtime=1539.48 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 134326 0 0 0 153877 71 0 0 20 0 2 0 282672870 913199104 208092 33554432000 4194304 5963574 140736403671024 140332031596840 4392297 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 891796

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14893
/proc/meminfo: memFree=26715296/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=891796 CPUtime=1601.97 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 181492 0 0 0 160142 55 0 0 20 0 2 0 282672589 913199104 208092 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 222949 208092 197 432 0 222514 0
[pid=14853/tid=14856] ppid=14851 vsize=891796 CPUtime=1599.48 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 134326 0 0 0 159876 72 0 0 20 0 2 0 282672870 913199104 208092 33554432000 4194304 5963574 140736403671024 140332031596840 4392418 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 891796

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14893
/proc/meminfo: memFree=26652228/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=891796 CPUtime=1661.96 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 181492 0 0 0 166141 55 0 0 20 0 2 0 282672589 913199104 208092 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 222949 208092 197 432 0 222514 0
[pid=14853/tid=14856] ppid=14851 vsize=891796 CPUtime=1659.48 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 134326 0 0 0 165875 73 0 0 20 0 2 0 282672870 913199104 208092 33554432000 4194304 5963574 140736403671024 140332031596840 4402879 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 891796

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14893
/proc/meminfo: memFree=26625168/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=891796 CPUtime=1721.95 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 181492 0 0 0 172140 55 0 0 20 0 2 0 282672589 913199104 208092 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 222949 208092 197 432 0 222514 0
[pid=14853/tid=14856] ppid=14851 vsize=891796 CPUtime=1719.48 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 134326 0 0 0 171874 74 0 0 20 0 2 0 282672870 913199104 208092 33554432000 4194304 5963574 140736403671024 140332031596840 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 891796

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14894
/proc/meminfo: memFree=26676852/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=893456 CPUtime=1781.94 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 186155 0 0 0 178137 57 0 0 20 0 2 0 282672589 914898944 195048 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 223364 195048 197 432 0 222929 0
[pid=14853/tid=14856] ppid=14851 vsize=893456 CPUtime=1779.49 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 138989 0 0 0 177872 77 0 0 20 0 2 0 282672870 914898944 195048 33554432000 4194304 5963574 140736403671024 140332031596840 4390404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 893456

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

[startup+1792.01 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 14894
/proc/meminfo: memFree=26676788/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=893456 CPUtime=1791.64 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 186155 0 0 0 179107 57 0 0 20 0 2 0 282672589 914898944 195048 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 223364 195048 197 432 0 222929 0
[pid=14853/tid=14856] ppid=14851 vsize=893456 CPUtime=1789.19 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 138989 0 0 0 178842 77 0 0 20 0 2 0 282672870 914898944 195048 33554432000 4194304 5963574 140736403671024 140332031596840 4390395 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.64
Current children cumulated vsize (KiB) 893456

[startup+1795.2 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14894
/proc/meminfo: memFree=26676912/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=893456 CPUtime=1794.84 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 186155 0 0 0 179427 57 0 0 20 0 2 0 282672589 914898944 195048 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 223364 195048 197 432 0 222929 0
[pid=14853/tid=14856] ppid=14851 vsize=893456 CPUtime=1792.39 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 138989 0 0 0 179162 77 0 0 20 0 2 0 282672870 914898944 195048 33554432000 4194304 5963574 140736403671024 140332031596840 4388696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.84
Current children cumulated vsize (KiB) 893456

[startup+1798.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14894
/proc/meminfo: memFree=26676912/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=893456 CPUtime=1798.04 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 186155 0 0 0 179747 57 0 0 20 0 2 0 282672589 914898944 195048 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 223364 195048 197 432 0 222929 0
[pid=14853/tid=14856] ppid=14851 vsize=893456 CPUtime=1795.59 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 138989 0 0 0 179482 77 0 0 20 0 2 0 282672870 914898944 195048 33554432000 4194304 5963574 140736403671024 140332031596840 4388683 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 893456

[startup+1799.2 s]
/proc/loadavg: 2.07 2.02 2.00 2/171 14918
/proc/meminfo: memFree=29168732/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=893456 CPUtime=1798.84 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 186155 0 0 0 179827 57 0 0 20 0 2 0 282672589 914898944 195048 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 223364 195048 197 432 0 222929 0
[pid=14853/tid=14856] ppid=14851 vsize=893456 CPUtime=1796.39 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 138989 0 0 0 179562 77 0 0 20 0 2 0 282672870 914898944 195048 33554432000 4194304 5963574 140736403671024 140332031596840 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.84
Current children cumulated vsize (KiB) 893456

[startup+1799.6 s]
/proc/loadavg: 2.07 2.02 2.00 2/171 14918
/proc/meminfo: memFree=29168988/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=893456 CPUtime=1799.24 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 186155 0 0 0 179867 57 0 0 20 0 2 0 282672589 914898944 195048 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 223364 195048 197 432 0 222929 0
[pid=14853/tid=14856] ppid=14851 vsize=893456 CPUtime=1796.79 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 138989 0 0 0 179602 77 0 0 20 0 2 0 282672870 914898944 195048 33554432000 4194304 5963574 140736403671024 140332031596840 4388621 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.24
Current children cumulated vsize (KiB) 893456

[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 2/171 14918
/proc/meminfo: memFree=29168988/32873844 swapFree=7112/7112
[pid=14853] ppid=14851 vsize=893456 CPUtime=1799.64 cores=0,2,4,6
/proc/14853/stat : 14853 (wbo1.7) S 14851 14853 14387 0 -1 4202496 186155 0 0 0 179907 57 0 0 20 0 2 0 282672589 914898944 195048 33554432000 4194304 5963574 140736403671024 140736403670544 4545837 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14853/statm: 223364 195048 197 432 0 222929 0
[pid=14853/tid=14856] ppid=14851 vsize=893456 CPUtime=1797.19 cores=0,2,4,6
/proc/14853/task/14856/stat : 14856 (wbo1.7) R 14851 14853 14387 0 -1 4202560 138989 0 0 0 179642 77 0 0 20 0 2 0 282672870 914898944 195048 33554432000 4194304 5963574 140736403671024 140332031596840 4392418 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 893456

Child status: 255
Real time (s): 1800.01
CPU time (s): 1800.02
CPU user time (s): 1799.16
CPU system time (s): 0.865868
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1017480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 0.865868
maximum resident set size= 910396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186155
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= 84
involuntary context switches= 1848

runsolver used 2.66359 second user time and 7.15791 second system time

The end

Launcher Data 

Begin job on node104 at 2012-05-28 02:37:20
IDJOB=3705594
IDBENCH=91155
IDSOLVER=2283
FILE ID=node104/3705594-1338165439
RUNJOBID= node104-1338158234-14403
PBS_JOBID= 14624539
Free space on /tmp= 70972 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705594-1338165439/watcher-3705594-1338165439 -o /tmp/evaluation-result-3705594-1338165439/solver-3705594-1338165439 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705594-1338165439.opb

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

MD5SUM BENCH= a88af6dd0118c2f12fc3d8f44e999a51
RANDOM SEED=483147645

node104.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.266
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.53
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.266
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.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
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.266
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.266
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.266
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:       32873844 kB
MemFree:        29798380 kB
Buffers:          359648 kB
Cached:          1748044 kB
SwapCached:         1120 kB
Active:          1328064 kB
Inactive:         907608 kB
Active(anon):     120428 kB
Inactive(anon):     9936 kB
Active(file):    1207636 kB
Inactive(file):   897672 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67106684 kB
Dirty:             66004 kB
Writeback:             0 kB
AnonPages:        136280 kB
Mapped:            33252 kB
Shmem:               196 kB
Slab:             698668 kB
SReclaimable:     140472 kB
SUnreclaim:       558196 kB
KernelStack:        1440 kB
PageTables:         4248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     251688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71000 MiB
End job on node104 at 2012-05-28 03:07:20