Trace number 2702633

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.4b (fixed)? (TO) 1800.14 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_1.opb
MD5SUM8c398fbb12ba7dbf676dd8375a76e0de
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-27
Best CPU time to get the best result obtained on this benchmark1789.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2496
Sum of products size (including duplicates)4992
Number of different products1248
Sum of products size2496

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702633-1278572911.opb.
0.00/0.00	c Instance file HOME/instance-2702633-1278572911.opb
0.00/0.00	c File size is 106648 bytes.
0.01/0.02	c Highest Coefficient sum: 200
0.01/0.02	c ============================[ Problem Statistics ]=============================
0.01/0.02	c |                                                                             |
0.01/0.02	c |  Parsing time:          0.02         s                                      |
0.01/0.02	c |  Number Variables:      1448                                                |
0.01/0.02	c |  Number Clauses:        1348                                                |
0.01/0.02	c |  Number Cardinality:    202                                                 |
0.01/0.02	c |  Number PB Constraints: 1248                                                |
0.01/0.03	c ============================[ Search Statistics ]==============================
0.01/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.03	c ===============================================================================
0.01/0.03	c |         0 |    1448     2798    10584 |     5000        0    nan |  0.000 % |
0.01/0.03	c ===============================================================================
0.01/0.03	c New solution: 0
0.01/0.03	o 0
0.01/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 179.966 s
0.01/0.03	c ===============================================================================
0.01/0.03	c |         0 |    1448     2799    10684 |     5000        0    nan |  0.000 % |
0.01/0.03	c ===============================================================================
0.01/0.03	c New solution: -1
0.01/0.03	o -1
0.01/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 179.964 s
0.01/0.03	c ===============================================================================
0.01/0.03	c |         1 |    1448     2800    10784 |     5000        1    101 |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: -2
0.01/0.04	o -2
0.01/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 179.962 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         1 |    1448     2801    10884 |     5000        1    101 |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: -3
0.01/0.04	o -3
0.01/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 179.96 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         7 |    1448     2802    10984 |     5000        7    181 |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: -4
0.01/0.04	o -4
0.01/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 179.959 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         7 |    1448     2803    11084 |     5000        7    181 |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: -5
0.01/0.04	o -5
0.01/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 179.958 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |         9 |    1448     2804    11184 |     5000        9    142 |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: -6
0.01/0.04	o -6
0.01/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 179.954 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |        46 |    1448     2805    11284 |     5000       46    179 |  0.000 % |
0.01/0.05	c |       146 |    1448     2805    11284 |     5500      146    187 |  0.001 % |
0.01/0.07	c |       296 |    1448     2805    11284 |     6050      296    188 |  0.001 % |
0.01/0.09	c |       521 |    1448     2805    11284 |     6655      521    189 |  0.001 % |
0.09/0.13	c |       858 |    1448     2805    11284 |     7320      858    190 |  0.001 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: -7
0.09/0.13	o -7
0.09/0.13	c Elapsed CPU time: 0.131979 s	Remaining CPU time: 179.868 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |       861 |    1448     2806    11384 |     5000      861    189 |  0.001 % |
0.09/0.14	c |       961 |    1448     2806    11384 |     5500      961    189 |  0.001 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: -8
0.09/0.16	o -8
0.09/0.16	c Elapsed CPU time: 0.157975 s	Remaining CPU time: 179.842 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |      1056 |    1448     2807    11484 |     5000     1056    188 |  0.001 % |
0.09/0.17	c |      1157 |    1448     2807    11484 |     5500     1157    188 |  0.001 % |
0.09/0.19	c |      1307 |    1448     2807    11484 |     6050     1307    187 |  0.001 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: -9
0.19/0.21	o -9
0.19/0.21	c Elapsed CPU time: 0.211967 s	Remaining CPU time: 179.788 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |      1482 |    1448     2808    11584 |     5000     1482    187 |  0.001 % |
0.19/0.23	c |      1583 |    1448     2808    11584 |     5500     1583    187 |  0.001 % |
0.19/0.24	c |      1733 |    1448     2808    11584 |     6050     1733    187 |  0.001 % |
0.19/0.27	c |      1959 |    1448     2808    11584 |     6655     1959    186 |  0.001 % |
0.29/0.31	c |      2298 |    1448     2808    11584 |     7320     2298    186 |  0.001 % |
0.29/0.38	c |      2805 |    1448     2808    11584 |     8052     2805    186 |  0.001 % |
0.39/0.49	c |      3564 |    1448     2808    11584 |     8857     3564    186 |  0.001 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: -10
0.49/0.50	o -10
0.49/0.50	c Elapsed CPU time: 0.491925 s	Remaining CPU time: 179.508 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |      3593 |    1448     2809    11684 |     5000     3593    185 |  0.001 % |
0.49/0.54	c |      3698 |    1448     2809    11684 |     5500     3698    185 |  0.001 % |
0.49/0.56	c |      3848 |    1448     2809    11684 |     6050     3848    185 |  0.001 % |
0.49/0.60	c |      4075 |    1448     2809    11684 |     6655     4075    185 |  0.001 % |
0.59/0.65	c |      4412 |    1448     2809    11684 |     7320     4412    185 |  0.001 % |
0.69/0.72	c |      4918 |    1448     2809    11684 |     8052     4918    184 |  0.001 % |
0.79/0.82	c |      5677 |    1448     2809    11684 |     8857     5677    181 |  0.001 % |
0.99/1.01	c |      6816 |    1448     2809    11684 |     9743     6816    180 |  0.001 % |
1.29/1.30	c |      8525 |    1448     2809    11684 |    10717     8525    181 |  0.001 % |
1.29/1.31	c ===============================================================================
1.29/1.31	c New solution: -11
1.29/1.31	o -11
1.29/1.31	c Elapsed CPU time: 1.2948 s	Remaining CPU time: 178.705 s
1.29/1.31	c ===============================================================================
1.29/1.31	c |      8531 |    1448     2810    11784 |     5000     8531    181 |  0.001 % |
1.29/1.34	c |      8631 |    1448     2810    11784 |     5500     4366    177 |  0.000 % |
1.29/1.37	c |      8781 |    1448     2810    11784 |     6050     4516    177 |  0.001 % |
1.29/1.39	c |      9006 |    1448     2810    11784 |     6655     4741    177 |  0.001 % |
1.39/1.44	c |      9344 |    1448     2810    11784 |     7320     5079    177 |  0.001 % |
1.49/1.51	c |      9850 |    1448     2810    11784 |     8052     5585    176 |  0.001 % |
1.59/1.63	c |     10609 |    1448     2810    11784 |     8857     6344    176 |  0.001 % |
1.79/1.81	c |     11748 |    1448     2810    11784 |     9743     7483    176 |  0.001 % |
2.10/2.11	c |     13456 |    1448     2810    11784 |    10717     9191    177 |  0.001 % |
2.69/2.70	c |     16018 |    1448     2810    11784 |    11789    11753    178 |  0.001 % |
3.39/3.47	c |     19862 |    1448     2810    11784 |    12968     8995    182 |  0.001 % |
4.89/4.98	c |     25628 |    1448     2810    11784 |    14265     7575    180 |  0.001 % |
6.89/6.93	c |     34277 |    1448     2810    11784 |    15692     8386    180 |  0.001 % |
10.58/10.60	c |     47252 |    1448     2810    11784 |    17261    12813    178 |  0.001 % |
16.28/16.30	c |     66714 |    1448     2810    11784 |    18987    13609    174 |  0.001 % |
25.78/25.81	c |     95906 |    1448     2810    11784 |    20886    12199    176 |  0.001 % |
44.99/45.10	c |    139697 |    1448     2810    11784 |    22974    21332    176 |  0.001 % |
69.98/70.01	c |    205381 |    1448     2810    11784 |    25272    19400    177 |  0.001 % |
110.86/110.94	c |    303907 |    1448     2810    11784 |    27799    23845    175 |  0.001 % |
174.55/174.62	c |    451697 |    1448     2810    11784 |    30579    26194    182 |  0.001 % |
181.84/181.93	c There are 0 assigned variables. 0 in cost function.
182.34/182.49	c core #1
182.34/182.49	c 
182.34/182.49	c 
182.34/182.49	c Core size: 201	Core Weight: 1	Total Weight: -99
182.34/182.49	c
182.34/182.49	c
182.34/182.49	c ============================[ Search Statistics ]==============================
182.34/182.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.49	c ===============================================================================
182.34/182.49	c |         0 |    1548     2929    12130 |     5000        0    nan |  0.000 % |
182.45/182.51	c ===============================================================================
182.45/182.53	c core #2
182.45/182.53	c 
182.45/182.53	c 
182.45/182.53	c Core size: 198	Core Weight: 1	Total Weight: -98
182.45/182.53	c
182.45/182.53	c
182.45/182.53	c ============================[ Search Statistics ]==============================
182.45/182.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.45/182.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.45/182.53	c ===============================================================================
182.45/182.53	c |         0 |    1648     2937    12351 |     5000        0    nan |  0.000 % |
182.45/182.55	c |       100 |    1648     2937    12351 |     5500      100     80 |  0.001 % |
182.45/182.59	c |       250 |    1648     2937    12351 |     6050      250     78 |  0.000 % |
182.55/182.64	c |       504 |    1648     2937    12351 |     6655      504     67 |  0.001 % |
182.64/182.73	c |       841 |    1648     2937    12351 |     7320      841     67 |  0.001 % |
182.74/182.86	c |      1347 |    1648     2937    12351 |     8052     1347     66 |  0.001 % |
182.94/183.07	c |      2106 |    1631     2937    12351 |     8857     1959     71 |  2.973 % |
183.34/183.47	c |      3255 |    1581     2937    12351 |     9743     2886     74 |  6.326 % |
183.55/183.63	c ===============================================================================
183.55/183.68	c core #3
183.55/183.68	c 
183.55/183.68	c 
183.55/183.68	c Core size: 114	Core Weight: 1	Total Weight: -97
183.55/183.68	c
183.55/183.68	c
183.55/183.68	c ============================[ Search Statistics ]==============================
183.55/183.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.55/183.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.55/183.68	c ===============================================================================
183.55/183.68	c |         0 |    1747     2971    12647 |     5000        0    nan |  0.000 % |
183.65/183.71	c |       100 |    1747     2971    12647 |     5500      100    103 |  0.001 % |
183.65/183.75	c |       250 |    1747     2971    12647 |     6050      250     86 |  0.000 % |
183.74/183.80	c |       475 |    1747     2971    12647 |     6655      475     83 |  0.000 % |
183.84/183.90	c |       818 |    1747     2971    12647 |     7320      818     79 |  0.000 % |
183.94/184.03	c |      1339 |    1747     2971    12647 |     8052     1339     79 |  0.001 % |
184.14/184.24	c |      2098 |    1747     2971    12647 |     8857     2098     83 |  0.001 % |
184.44/184.58	c |      3237 |    1747     2971    12647 |     9743     3237     84 |  0.001 % |
185.04/185.15	c |      4947 |    1747     2971    12647 |    10717     4947     87 |  0.002 % |
185.94/186.07	c |      7509 |    1747     2971    12647 |    11789     7509     86 |  0.000 % |
187.54/187.64	c |     11353 |    1747     2971    12647 |    12968    11353     87 |  0.001 % |
189.84/189.97	c |     17119 |    1747     2971    12647 |    14265    10293     82 |  0.003 % |
193.45/193.57	c |     25768 |    1734     2971    12647 |    15692     6993     65 |  0.744 % |
199.24/199.39	c |     38744 |    1690     2971    12647 |    17261     8337     54 |  3.287 % |
211.24/211.31	c |     58206 |    1564     2971    12647 |    18987    11836     69 | 15.513 % |
225.23/225.32	c ===============================================================================
226.63/226.74	c core #4
226.63/226.74	c 
226.63/226.74	c 
226.63/226.74	c Core size: 117	Core Weight: 1	Total Weight: -96
226.63/226.74	c
226.63/226.74	c
226.63/226.74	c ============================[ Search Statistics ]==============================
226.63/226.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
226.63/226.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
226.63/226.74	c ===============================================================================
226.63/226.74	c |         0 |    1847     3259    13685 |     5000        0    nan |  0.000 % |
226.73/226.80	c |       100 |    1847     3259    13685 |     5500      100    131 |  0.000 % |
226.73/226.89	c |       268 |    1847     3259    13685 |     6050      268     95 |  0.000 % |
226.83/226.92	c |       494 |    1847     3259    13685 |     6655      494     58 |  0.000 % |
226.93/227.02	c |       834 |    1847     3259    13685 |     7320      834     71 |  0.000 % |
227.03/227.16	c |      1340 |    1847     3259    13685 |     8052     1340     67 |  0.000 % |
227.23/227.37	c |      2099 |    1847     3259    13685 |     8857     2099     73 |  0.000 % |
227.63/227.74	c |      3238 |    1847     3259    13685 |     9743     3238     76 |  0.000 % |
228.23/228.36	c |      4953 |    1847     3259    13685 |    10717     4953     87 |  0.000 % |
229.23/229.32	c |      7516 |    1847     3259    13685 |    11789     7516     87 |  0.000 % |
231.63/231.78	c |     11362 |    1847     3259    13685 |    12968    11362     82 |  0.000 % |
235.02/235.19	c |     17128 |    1847     3259    13685 |    14265    10495     71 |  0.000 % |
241.03/241.14	c |     25778 |    1847     3259    13685 |    15692    11601     70 |  0.000 % |
248.62/248.79	c |     38752 |    1847     3259    13685 |    17261     8394     89 |  0.000 % |
263.32/263.43	c |     58214 |    1847     3259    13685 |    18987     9814     77 |  0.000 % |
282.62/282.72	c |     87407 |    1847     3259    13685 |    20886    19100     81 |  0.000 % |
313.11/313.22	c |    131197 |    1847     3259    13685 |    22974    20135     91 |  0.000 % |
356.30/356.41	c |    196884 |    1847     3259    13685 |    25272    14456     91 |  0.000 % |
435.38/435.55	c |    295410 |    1847     3259    13685 |    27799    20869     93 |  0.000 % |
547.65/547.82	c |    443203 |    1847     3259    13685 |    30579    14191     89 |  0.000 % |
754.79/755.02	c |    664886 |    1847     3259    13685 |    33637    15721     85 |  0.000 % |
1070.61/1070.94	c |    997413 |    1847     3259    13685 |    37001    14254     75 |  0.000 % |
1546.58/1547.09	c |   1496201 |    1846     3259    13685 |    40701    21732    102 |  0.054 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702633-1278572911/watcher-2702633-1278572911 -o /tmp/evaluation-result-2702633-1278572911/solver-2702633-1278572911 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702633-1278572911.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.02 0.29 3/106 4468
/proc/meminfo: memFree=1555284/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=2956 CPUtime=0
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 336 0 0 0 0 0 0 0 18 0 1 0 25504945 3026944 254 1992294400 134512640 135752675 4290728352 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 739 254 140 303 0 407 0

[startup+0.012402 s]
/proc/loadavg: 0.00 0.02 0.29 3/106 4468
/proc/meminfo: memFree=1555284/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=2956 CPUtime=0.01
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 361 0 0 0 1 0 0 0 18 0 1 0 25504945 3026944 279 1992294400 134512640 135752675 4290728352 18446744073709551615 134564519 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 739 279 146 303 0 407 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2956

[startup+0.101412 s]
/proc/loadavg: 0.00 0.02 0.29 3/106 4468
/proc/meminfo: memFree=1555284/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=3516 CPUtime=0.09
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 568 0 0 0 9 0 0 0 20 0 1 0 25504945 3600384 459 1992294400 134512640 135752675 4290728352 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 879 459 145 303 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3516

[startup+0.301435 s]
/proc/loadavg: 0.00 0.02 0.29 3/106 4468
/proc/meminfo: memFree=1555284/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=4948 CPUtime=0.29
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 916 0 0 0 29 0 0 0 20 0 1 0 25504945 5066752 807 1992294400 134512640 135752675 4290728352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 1237 807 145 303 0 932 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4948

[startup+0.701482 s]
/proc/loadavg: 0.00 0.02 0.29 3/106 4468
/proc/meminfo: memFree=1555284/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=7296 CPUtime=0.69
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 1482 0 0 0 68 1 0 0 20 0 1 0 25504945 7471104 1373 1992294400 134512640 135752675 4290728352 18446744073709551615 134612056 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 1824 1373 145 303 0 1519 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7296

[startup+1.50057 s]
/proc/loadavg: 0.08 0.03 0.29 2/107 4469
/proc/meminfo: memFree=1549076/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=11360 CPUtime=1.49
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 2509 0 0 0 147 2 0 0 23 0 1 0 25504945 11632640 2400 1992294400 134512640 135752675 4290728352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 2840 2400 145 303 0 2535 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11360

[startup+3.10076 s]
/proc/loadavg: 0.08 0.03 0.29 2/107 4469
/proc/meminfo: memFree=1543372/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=18016 CPUtime=3.09
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 4182 0 0 0 305 4 0 0 25 0 1 0 25504945 18448384 4073 1992294400 134512640 135752675 4290728352 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 4504 4073 145 303 0 4199 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18016

[startup+6.30114 s]
/proc/loadavg: 0.08 0.03 0.29 2/107 4469
/proc/meminfo: memFree=1531220/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=29796 CPUtime=6.29
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 7106 0 0 0 620 9 0 0 25 0 1 0 25504945 30511104 6997 1992294400 134512640 135752675 4290728352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 7449 6997 145 303 0 7144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29796

[startup+12.7009 s]
/proc/loadavg: 0.22 0.06 0.30 2/107 4469
/proc/meminfo: memFree=1510760/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=48508 CPUtime=12.69
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 11779 0 0 0 1252 17 0 0 25 0 1 0 25504945 49672192 11670 1992294400 134512640 135752675 4290728352 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 12127 11670 145 303 0 11822 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48508

[startup+25.5014 s]
/proc/loadavg: 0.34 0.09 0.31 2/107 4469
/proc/meminfo: memFree=1478024/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=79812 CPUtime=25.48
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 19627 0 0 0 2515 33 0 0 25 0 1 0 25504945 81727488 19518 1992294400 134512640 135752675 4290728352 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 19953 19518 145 303 0 19648 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79812

[startup+51.1014 s]
/proc/loadavg: 0.56 0.17 0.32 2/107 4470
/proc/meminfo: memFree=1429664/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=128408 CPUtime=51.07
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 31754 0 0 0 5046 61 0 0 25 0 1 0 25504945 131489792 31645 1992294400 134512640 135752675 4290728352 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 32102 31645 145 303 0 31797 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 128408

[startup+102.308 s]
/proc/loadavg: 0.82 0.30 0.36 2/107 4471
/proc/meminfo: memFree=1326124/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=231108 CPUtime=102.28
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 57410 0 0 0 10117 111 0 0 25 0 1 0 25504945 236654592 57301 1992294400 134512640 135752675 4290728352 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 57777 57301 145 303 0 57472 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 231108

[startup+162.301 s]
/proc/loadavg: 0.93 0.43 0.40 2/107 4473
/proc/meminfo: memFree=1216508/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=343056 CPUtime=162.24
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 85344 0 0 0 16057 167 0 0 25 0 1 0 25504945 351289344 85235 1992294400 134512640 135752675 4290728352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 85764 85235 145 303 0 85459 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 343056

[startup+222.301 s]
/proc/loadavg: 0.97 0.53 0.43 2/107 4475
/proc/meminfo: memFree=1164800/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=391884 CPUtime=222.23
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 97661 0 0 0 22004 219 0 0 25 0 1 0 25504945 401289216 97520 1992294400 134512640 135752675 4290728352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 97971 97520 146 303 0 97666 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 391884

[startup+282.301 s]
/proc/loadavg: 0.99 0.61 0.46 2/107 4476
/proc/meminfo: memFree=1138884/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=418040 CPUtime=282.22
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 104202 0 0 0 27959 263 0 0 25 0 1 0 25504945 428072960 104061 1992294400 134512640 135752675 4290728352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 104510 104061 146 303 0 104205 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 418040

[startup+342.301 s]
/proc/loadavg: 0.99 0.68 0.49 2/107 4477
/proc/meminfo: memFree=1098460/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=458192 CPUtime=342.2
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 114233 0 0 0 33910 310 0 0 25 0 1 0 25504945 469188608 114092 1992294400 134512640 135752675 4290728352 18446744073709551615 134605322 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 114548 114092 146 303 0 114243 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 458192

[startup+402.301 s]
/proc/loadavg: 0.99 0.74 0.52 2/107 4479
/proc/meminfo: memFree=1062996/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=493784 CPUtime=402.19
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 123129 0 0 0 39873 346 0 0 25 0 1 0 25504945 505634816 122988 1992294400 134512640 135752675 4290728352 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 123446 122988 146 303 0 123141 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 493784

[startup+462.301 s]
/proc/loadavg: 0.99 0.78 0.55 2/107 4481
/proc/meminfo: memFree=1025796/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=530668 CPUtime=462.17
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 132317 0 0 0 45833 384 0 0 25 0 1 0 25504945 543404032 132176 1992294400 134512640 135752675 4290728352 18446744073709551615 134517569 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 132667 132176 146 303 0 132362 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 530668

[startup+522.301 s]
/proc/loadavg: 0.99 0.82 0.58 2/107 4483
/proc/meminfo: memFree=990456/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=566100 CPUtime=522.15
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 141196 0 0 0 51793 422 0 0 25 0 1 0 25504945 579686400 141055 1992294400 134512640 135752675 4290728352 18446744073709551615 134604131 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 141525 141055 146 303 0 141220 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 566100

[startup+582.301 s]
/proc/loadavg: 0.99 0.85 0.60 2/107 4484
/proc/meminfo: memFree=948296/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=608088 CPUtime=582.13
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 151671 0 0 0 57751 462 0 0 25 0 1 0 25504945 622682112 151530 1992294400 134512640 135752675 4290728352 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 152022 151530 146 303 0 151717 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 608088

[startup+642.301 s]
/proc/loadavg: 1.04 0.89 0.63 2/107 4488
/proc/meminfo: memFree=919776/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=635440 CPUtime=642.12
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 158530 0 0 0 63721 491 0 0 25 0 1 0 25504945 650690560 158389 1992294400 134512640 135752675 4290728352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 158860 158389 146 303 0 158555 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 635440

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 0.95 0.71 2/107 4495
/proc/meminfo: memFree=786352/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=768900 CPUtime=882.06
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 191846 0 0 0 87582 624 0 0 25 0 1 0 25504945 787353600 191705 1992294400 134512640 135752675 4290728352 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 192225 191705 146 303 0 191920 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 768900

[startup+942.3 s]
/proc/loadavg: 1.00 0.95 0.72 2/107 4496
/proc/meminfo: memFree=756220/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=799260 CPUtime=942.04
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 199462 0 0 0 93549 655 0 0 25 0 1 0 25504945 818442240 199321 1992294400 134512640 135752675 4290728352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 199815 199321 146 303 0 199510 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 799260

[startup+1002.3 s]
/proc/loadavg: 1.00 0.96 0.74 3/107 4498
/proc/meminfo: memFree=730676/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=824484 CPUtime=1002.02
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 205747 0 0 0 99521 681 0 0 25 0 1 0 25504945 844271616 205606 1992294400 134512640 135752675 4290728352 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 206121 205606 146 303 0 205816 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 824484

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.75 2/107 4500
/proc/meminfo: memFree=702404/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=853012 CPUtime=1062
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 212873 0 0 0 105491 709 0 0 25 0 1 0 25504945 873484288 212732 1992294400 134512640 135752675 4290728352 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 213253 212732 146 303 0 212948 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 853012

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.76 2/107 4502
/proc/meminfo: memFree=662600/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=892552 CPUtime=1121.99
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 222752 0 0 0 111453 746 0 0 25 0 1 0 25504945 913973248 222611 1992294400 134512640 135752675 4290728352 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 223138 222611 146 303 0 222833 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 892552

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/107 4503
/proc/meminfo: memFree=629616/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=925840 CPUtime=1181.97
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 231089 0 0 0 117417 780 0 0 25 0 1 0 25504945 948060160 230948 1992294400 134512640 135752675 4290728352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 231460 230948 146 303 0 231155 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 925840

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.78 2/107 4504
/proc/meminfo: memFree=599608/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=955552 CPUtime=1241.96
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 238498 0 0 0 123386 810 0 0 25 0 1 0 25504945 978485248 238357 1992294400 134512640 135752675 4290728352 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 238888 238357 146 303 0 238583 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 955552

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.79 2/107 4506
/proc/meminfo: memFree=566996/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=987764 CPUtime=1301.95
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 246558 0 0 0 129353 842 0 0 25 0 1 0 25504945 1011470336 246417 1992294400 134512640 135752675 4290728352 18446744073709551615 134611672 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 246941 246417 146 303 0 246636 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 987764

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 4508
/proc/meminfo: memFree=530664/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=1024268 CPUtime=1361.92
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 255670 0 0 0 135313 879 0 0 25 0 1 0 25504945 1048850432 255529 1992294400 134512640 135752675 4290728352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 256067 255529 146 303 0 255762 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1024268

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 4510
/proc/meminfo: memFree=501028/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=1053644 CPUtime=1421.92
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 263021 0 0 0 141282 910 0 0 25 0 1 0 25504945 1078931456 262880 1992294400 134512640 135752675 4290728352 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 263411 262880 146 303 0 263106 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1053644

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 4511
/proc/meminfo: memFree=473128/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=1081792 CPUtime=1481.89
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 270045 0 0 0 147247 942 0 0 25 0 1 0 25504945 1107755008 269904 1992294400 134512640 135752675 4290728352 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 270448 269904 146 303 0 270143 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1081792

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 4512
/proc/meminfo: memFree=444112/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=1110568 CPUtime=1541.88
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 277232 0 0 0 153221 967 0 0 25 0 1 0 25504945 1137221632 277091 1992294400 134512640 135752675 4290728352 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 277642 277091 146 303 0 277337 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1110568

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 4514
/proc/meminfo: memFree=414104/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=1141148 CPUtime=1601.86
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 284864 0 0 0 159186 1000 0 0 25 0 1 0 25504945 1168535552 284723 1992294400 134512640 135752675 4290728352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 285287 284723 146 303 0 284982 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1141148

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 4516
/proc/meminfo: memFree=381368/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=1173364 CPUtime=1661.84
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 292898 0 0 0 165151 1033 0 0 25 0 1 0 25504945 1201524736 292757 1992294400 134512640 135752675 4290728352 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 293341 292757 146 303 0 293036 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1173364

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 4518
/proc/meminfo: memFree=351856/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=1203052 CPUtime=1721.83
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 300330 0 0 0 171119 1064 0 0 25 0 1 0 25504945 1231925248 300189 1992294400 134512640 135752675 4290728352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 300763 300189 146 303 0 300458 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1203052

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 4519
/proc/meminfo: memFree=320112/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=1234560 CPUtime=1781.81
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 308175 0 0 0 177086 1095 0 0 25 0 1 0 25504945 1264189440 308034 1992294400 134512640 135752675 4290728352 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 308640 308034 146 303 0 308335 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1234560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 4520
/proc/meminfo: memFree=308332/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=1246176 CPUtime=1800.01
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4202496 311095 0 0 0 178893 1108 0 0 25 0 1 0 25504945 1276084224 310954 1992294400 134512640 135752675 4290728352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4468/statm: 311544 310954 146 303 0 311239 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1246176

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 0.97 0.86 2/108 4521
/proc/meminfo: memFree=1408824/2059040 swapFree=4139384/4192956
[pid=4468] ppid=4466 vsize=0 CPUtime=1800.12
/proc/4468/stat : 4468 (wbo1.4b) R 4466 4468 4427 0 -1 4203524 311095 0 0 0 178893 1119 0 0 25 0 1 0 25504945 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/4468/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.14
CPU user time (s): 1788.94
CPU system time (s): 11.1993
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1246176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.94
system time used= 11.1993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311095
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= 3
involuntary context switches= 3082

runsolver used 3.24751 second user time and 8.24375 second system time

The end

Launcher Data 

Begin job on node001 at 2010-07-08 09:08:31
IDJOB=2702633
IDBENCH=48251
IDSOLVER=1190
FILE ID=node001/2702633-1278572911
PBS_JOBID= 11240114
Free space on /tmp= 62500 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702633-1278572911/watcher-2702633-1278572911 -o /tmp/evaluation-result-2702633-1278572911/solver-2702633-1278572911 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702633-1278572911.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de
RANDOM SEED=1106380042

node001.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1556184 kB
Buffers:         91920 kB
Cached:         305308 kB
SwapCached:       8392 kB
Active:         134808 kB
Inactive:       277384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1556184 kB
SwapTotal:     4192956 kB
SwapFree:      4139384 kB
Dirty:            2612 kB
Writeback:           0 kB
AnonPages:       11928 kB
Mapped:          11956 kB
Slab:            68620 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180332 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702633-1278572911.opb

Free space on /tmp at the end= 62500 MiB
End job on node001 at 2010-07-08 09:38:34