Trace number 3460684

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.6? (TO) 1800.12 1800.14

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
MD5SUMd869c2ae266497675d66f161576eaac8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark137.513
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables11729
Total number of constraints36747
Number of constraints which are clauses36747
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5750
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 5750
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5750
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460684-1307107962.opb.
0.00/0.00	c Instance file HOME/instance-3460684-1307107962.opb
0.00/0.00	c File size is 1092591 bytes.
0.03/0.07	c Highest Coefficient sum: 128
0.03/0.07	c ============================[ Problem Statistics ]=============================
0.03/0.07	c |                                                                             |
0.03/0.07	c |  Parsing time:          0.07         s                                      |
0.03/0.07	c |  Number Variables:      11729                                               |
0.03/0.07	c |  Number Clauses:        36747                                               |
0.03/0.07	c |  Number Cardinality:    0                                                   |
0.03/0.07	c |  Number PB Constraints: 0                                                   |
0.03/0.09	c ============================[ Search Statistics ]==============================
0.03/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.03/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.03/0.09	c ===============================================================================
0.03/0.09	c |         0 |    9474    36747    86299 |    12249        0   -nan |  0.000 % |
0.29/0.32	c core #1
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 45	Core Weight: 1	Total Weight: 1
0.29/0.32	c Current CPU time: 0.099984 s
0.29/0.32	c
0.29/0.32	c core #2
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 70	Core Weight: 1	Total Weight: 2
0.29/0.32	c Current CPU time: 0.110983 s
0.29/0.32	c
0.29/0.32	c core #3
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 71	Core Weight: 1	Total Weight: 3
0.29/0.32	c Current CPU time: 0.121981 s
0.29/0.32	c
0.29/0.32	c core #4
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 71	Core Weight: 1	Total Weight: 4
0.29/0.32	c Current CPU time: 0.132979 s
0.29/0.32	c
0.29/0.32	c core #5
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 7	Core Weight: 1	Total Weight: 5
0.29/0.32	c Current CPU time: 0.143978 s
0.29/0.32	c
0.29/0.32	c core #6
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 71	Core Weight: 1	Total Weight: 6
0.29/0.32	c Current CPU time: 0.154976 s
0.29/0.32	c
0.29/0.32	c core #7
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 71	Core Weight: 1	Total Weight: 7
0.29/0.32	c Current CPU time: 0.165974 s
0.29/0.32	c
0.29/0.32	c core #8
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 51	Core Weight: 1	Total Weight: 8
0.29/0.32	c Current CPU time: 0.177972 s
0.29/0.32	c
0.29/0.32	c core #9
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 71	Core Weight: 1	Total Weight: 9
0.29/0.32	c Current CPU time: 0.188971 s
0.29/0.32	c
0.29/0.32	c core #10
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 31	Core Weight: 1	Total Weight: 10
0.29/0.32	c Current CPU time: 0.199969 s
0.29/0.32	c
0.29/0.32	c core #11
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 71	Core Weight: 1	Total Weight: 11
0.29/0.33	c Current CPU time: 0.211967 s
0.29/0.33	c
0.29/0.33	c core #12
0.29/0.33	c 
0.29/0.33	c 
0.29/0.33	c Core size: 15	Core Weight: 1	Total Weight: 12
0.29/0.33	c Current CPU time: 0.222966 s
0.29/0.33	c
0.29/0.33	c core #13
0.29/0.33	c 
0.29/0.33	c 
0.29/0.33	c Core size: 31	Core Weight: 1	Total Weight: 13
0.29/0.33	c Current CPU time: 0.234964 s
0.29/0.33	c
0.29/0.33	c core #14
0.29/0.33	c 
0.29/0.33	c 
0.29/0.33	c Core size: 30	Core Weight: 1	Total Weight: 14
0.29/0.33	c Current CPU time: 0.246962 s
0.29/0.33	c
0.29/0.33	c core #15
0.29/0.33	c 
0.29/0.33	c 
0.29/0.33	c Core size: 15	Core Weight: 1	Total Weight: 15
0.29/0.33	c Current CPU time: 0.25896 s
0.29/0.33	c
0.29/0.33	c core #16
0.29/0.33	c 
0.29/0.33	c 
0.29/0.33	c Core size: 31	Core Weight: 1	Total Weight: 16
0.29/0.33	c Current CPU time: 0.269958 s
0.29/0.33	c
0.29/0.33	c core #17
0.29/0.33	c 
0.29/0.33	c 
0.29/0.33	c Core size: 30	Core Weight: 1	Total Weight: 17
0.29/0.33	c Current CPU time: 0.281957 s
0.29/0.33	c
0.29/0.33	c core #18
0.29/0.33	c 
0.29/0.33	c 
0.29/0.33	c Core size: 15	Core Weight: 1	Total Weight: 18
0.29/0.33	c Current CPU time: 0.293955 s
0.29/0.33	c
0.29/0.33	c core #19
0.29/0.33	c 
0.29/0.33	c 
0.29/0.33	c Core size: 430	Core Weight: 1	Total Weight: 19
0.29/0.33	c Current CPU time: 0.306953 s
0.29/0.33	c
0.29/0.33	c ============================[ Search Statistics ]==============================
0.29/0.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.33	c ===============================================================================
0.29/0.33	c |         0 |    1262    37782    35011 |    12594        0   -nan |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.34	c core #20
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 516	Core Weight: 1	Total Weight: 20
0.29/0.34	c Current CPU time: 0.320951 s
0.29/0.34	c
0.29/0.34	c ============================[ Search Statistics ]==============================
0.29/0.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |    2277    37783    37950 |    12594        0   -nan |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.35	c core #21
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 249	Core Weight: 1	Total Weight: 21
0.29/0.35	c Current CPU time: 0.335948 s
0.29/0.35	c
0.29/0.35	c ============================[ Search Statistics ]==============================
0.29/0.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.35	c ===============================================================================
0.29/0.35	c |         0 |    2672    37784    39238 |    12594        0   -nan |  0.000 % |
0.29/0.36	c |       102 |    2672    37784    39238 |    13854      102     33 | 78.846 % |
0.29/0.38	c |       253 |    2672    37784    39238 |    15239      253     48 | 82.598 % |
0.29/0.38	c ===============================================================================
0.29/0.39	c core #22
0.29/0.39	c 
0.29/0.39	c 
0.29/0.39	c Core size: 1007	Core Weight: 1	Total Weight: 22
0.29/0.39	c Current CPU time: 0.373943 s
0.29/0.39	c
0.29/0.39	c ============================[ Search Statistics ]==============================
0.29/0.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.39	c ===============================================================================
0.29/0.39	c |         0 |    3574    37785    41572 |    12595        0   -nan |  0.000 % |
0.38/0.40	c |       100 |    3574    37785    41572 |    13854      100     51 | 73.002 % |
0.38/0.43	c |       251 |    3574    37785    41572 |    15239      251     64 | 73.002 % |
0.38/0.46	c |       477 |    3574    37785    41572 |    16763      477     62 | 73.002 % |
0.49/0.51	c |       816 |    3574    37785    41572 |    18440      816     63 | 73.002 % |
0.49/0.58	c |      1323 |    3574    37785    41572 |    20284     1323     56 | 73.002 % |
0.69/0.71	c |      2083 |    3574    37785    41572 |    22312     2083     61 | 73.002 % |
0.89/0.92	c |      3222 |    3574    37785    41572 |    24544     3222     68 | 73.002 % |
1.19/1.25	c |      4930 |    3574    37785    41572 |    26998     4930     67 | 73.002 % |
1.49/1.55	c ===============================================================================
1.49/1.59	c core #23
1.49/1.59	c 
1.49/1.59	c 
1.49/1.59	c Core size: 674	Core Weight: 1	Total Weight: 23
1.49/1.59	c Current CPU time: 1.55576 s
1.49/1.59	c
1.49/1.59	c ============================[ Search Statistics ]==============================
1.49/1.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.59	c ===============================================================================
1.49/1.59	c |         0 |    4209    37786    42842 |    12595        0   -nan |  0.000 % |
1.58/1.60	c |       100 |    4209    37786    42842 |    13854      100    106 | 69.660 % |
1.58/1.62	c |       250 |    4209    37786    42842 |    15240      250     71 | 69.660 % |
1.58/1.65	c |       475 |    4209    37786    42842 |    16764      475     53 | 69.661 % |
1.69/1.70	c |       812 |    4209    37786    42842 |    18440      812     64 | 69.660 % |
1.69/1.79	c |      1318 |    4209    37786    42842 |    20284     1318     67 | 69.660 % |
1.89/1.91	c |      2078 |    4209    37786    42842 |    22313     2078     72 | 69.661 % |
2.09/2.14	c |      3217 |    4209    37786    42842 |    24544     3217     78 | 69.660 % |
2.39/2.48	c |      4927 |    4209    37786    42842 |    26999     4927     89 | 69.660 % |
2.98/3.00	c |      7491 |    4209    37786    42842 |    29699     7491     98 | 69.660 % |
3.79/3.84	c |     11335 |    4209    37786    42842 |    32669    11335    104 | 69.660 % |
5.19/5.29	c |     17102 |    4209    37786    42842 |    35935    17102    103 | 69.660 % |
7.59/7.68	c |     25753 |    4209    37786    42842 |    39529    25753    122 | 69.660 % |
12.00/12.10	c |     38727 |    4209    37786    42842 |    43482    38727    125 | 69.660 % |
20.69/20.72	c |     58190 |    4209    37786    42842 |    47830    19851    172 | 69.660 % |
31.59/31.68	c |     87384 |    4209    37786    42842 |    52613    49045    174 | 69.660 % |
48.88/49.00	c |    131173 |    4209    37786    42842 |    57875    46209    163 | 69.660 % |
73.08/73.17	c ===============================================================================
74.49/74.51	c core #24
74.49/74.51	c 
74.49/74.51	c 
74.49/74.51	c Core size: 931	Core Weight: 1	Total Weight: 24
74.49/74.51	c Current CPU time: 74.1457 s
74.49/74.51	c
74.49/74.51	c ============================[ Search Statistics ]==============================
74.49/74.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
74.49/74.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
74.49/74.51	c ===============================================================================
74.49/74.51	c |         0 |    5086    37797    44758 |    12599        0   -nan |  0.000 % |
74.49/74.53	c |       102 |    5086    37797    44758 |    13858      102    323 | 65.305 % |
74.49/74.55	c |       252 |    5086    37797    44758 |    15244      252    203 | 65.305 % |
74.49/74.59	c |       478 |    5086    37797    44758 |    16769      478    146 | 65.305 % |
74.59/74.66	c |       816 |    5086    37797    44758 |    18446      816    146 | 65.305 % |
74.69/74.78	c |      1322 |    5086    37797    44758 |    20290     1322    189 | 65.305 % |
74.88/74.95	c |      2084 |    5086    37797    44758 |    22319     2084    156 | 65.305 % |
75.19/75.22	c |      3225 |    5086    37797    44758 |    24551     3225    149 | 65.305 % |
75.49/75.58	c |      4934 |    5086    37797    44758 |    27007     4934    145 | 65.305 % |
76.19/76.25	c |      7498 |    5086    37797    44758 |    29707     7498    169 | 65.305 % |
77.00/77.01	c |     11343 |    5086    37797    44758 |    32678    11343    158 | 65.305 % |
78.39/78.44	c |     17110 |    5086    37797    44758 |    35946    17110    154 | 65.305 % |
80.89/80.97	c |     25759 |    5086    37797    44758 |    39541    25759    151 | 65.305 % |
85.59/85.60	c |     38734 |    5086    37797    44758 |    43495    38734    166 | 65.305 % |
91.30/91.38	c |     58195 |    5086    37797    44758 |    47844    17495    134 | 65.305 % |
101.49/101.54	c |     87387 |    5086    37797    44758 |    52629    46687    150 | 65.305 % |
118.80/118.87	c |    131176 |    5086    37797    44758 |    57892    42312    188 | 65.305 % |
148.28/148.35	c |    196861 |    5086    37797    44758 |    63681    54489    228 | 65.305 % |
188.29/188.33	c |    295387 |    5086    37797    44758 |    70049    36307    152 | 65.305 % |
249.58/249.62	c |    443177 |    5086    37797    44758 |    77054    55237    164 | 65.305 % |
353.49/353.57	c |    664860 |    5086    37797    44758 |    84759    68316    158 | 65.305 % |
544.09/544.19	c |    997386 |    5086    37797    44758 |    93235    86598    186 | 65.305 % |
812.68/812.77	c |   1496174 |    5086    37797    44758 |   102559    77245    251 | 65.305 % |
1199.48/1199.51	c |   2244357 |    5086    37797    44758 |   112815    60694    242 | 65.305 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3460684-1307107962/watcher-3460684-1307107962 -o /tmp/evaluation-result-3460684-1307107962/solver-3460684-1307107962 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460684-1307107962.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.09 2.05 1.97 2/415 1577
/proc/meminfo: memFree=25982680/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=4276 CPUtime=0 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 550 0 0 0 0 0 0 0 25 0 1 0 278405579 4378624 504 33554432000 4194304 5714214 140736057530528 18446744073709551615 4315409 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 1069 505 166 372 0 427 0

[startup+0.0378239 s]
/proc/loadavg: 2.09 2.05 1.97 2/415 1577
/proc/meminfo: memFree=25982680/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=7232 CPUtime=0.03 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 1402 0 0 0 3 0 0 0 25 0 1 0 278405579 7405568 1356 33554432000 4194304 5714214 140736057530528 18446744073709551615 4232592 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 1808 1357 286 372 0 1166 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7232

[startup+0.100815 s]
/proc/loadavg: 2.09 2.05 1.97 2/415 1577
/proc/meminfo: memFree=25982680/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=16804 CPUtime=0.09 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 4229 0 0 0 9 0 0 0 18 0 1 0 278405579 17207296 3837 33554432000 4194304 5714214 140736057530528 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 4201 3842 173 372 0 3826 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16804

[startup+0.300783 s]
/proc/loadavg: 2.09 2.05 1.97 2/415 1577
/proc/meminfo: memFree=25982680/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=18184 CPUtime=0.29 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 6517 0 0 0 29 0 0 0 18 0 1 0 278405579 18620416 4222 33554432000 4194304 5714214 140736057530528 18446744073709551615 4337054 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 4546 4222 175 372 0 4171 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18184

[startup+0.700707 s]
/proc/loadavg: 2.09 2.05 1.97 2/415 1577
/proc/meminfo: memFree=25982680/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=18716 CPUtime=0.69 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 7148 0 0 0 68 1 0 0 18 0 1 0 278405579 19165184 4384 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 4679 4384 180 372 0 4304 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18716

[startup+1.50057 s]
/proc/loadavg: 2.09 2.05 1.97 3/416 1578
/proc/meminfo: memFree=25959732/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=18716 CPUtime=1.49 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 7148 0 0 0 148 1 0 0 20 0 1 0 278405579 19165184 4384 33554432000 4194304 5714214 140736057530528 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 4679 4384 180 372 0 4304 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18716

[startup+3.10028 s]
/proc/loadavg: 2.09 2.05 1.97 3/416 1578
/proc/meminfo: memFree=25952540/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=22912 CPUtime=3.08 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 8328 0 0 0 306 2 0 0 20 0 1 0 278405579 23461888 5338 33554432000 4194304 5714214 140736057530528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 5728 5338 180 372 0 5353 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22912

[startup+6.30072 s]
/proc/loadavg: 2.08 2.05 1.97 3/416 1578
/proc/meminfo: memFree=25949296/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=28876 CPUtime=6.29 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 9821 0 0 0 625 4 0 0 25 0 1 0 278405579 29569024 6831 33554432000 4194304 5714214 140736057530528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 7219 6831 180 372 0 6844 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28876

[startup+12.7006 s]
/proc/loadavg: 2.08 2.05 1.97 3/416 1578
/proc/meminfo: memFree=25926904/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=44940 CPUtime=12.69 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 13804 0 0 0 1263 6 0 0 25 0 1 0 278405579 46018560 10814 33554432000 4194304 5714214 140736057530528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 11235 10814 180 372 0 10860 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44940

[startup+25.5003 s]
/proc/loadavg: 2.06 2.04 1.97 3/416 1579
/proc/meminfo: memFree=25890908/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=58604 CPUtime=25.49 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 17206 0 0 0 2539 10 0 0 25 0 1 0 278405579 60010496 14216 33554432000 4194304 5714214 140736057530528 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 14651 14216 180 372 0 14276 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58604

[startup+51.1008 s]
/proc/loadavg: 2.04 2.04 1.97 3/416 1580
/proc/meminfo: memFree=25817836/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=79980 CPUtime=51.09 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 22488 0 0 0 5090 19 0 0 25 0 1 0 278405579 81899520 19498 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 19995 19498 180 372 0 19620 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 79980

[startup+102.316 s]
/proc/loadavg: 2.01 2.03 1.97 3/416 1581
/proc/meminfo: memFree=25728648/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=99808 CPUtime=102.3 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 27829 0 0 0 10196 34 0 0 25 0 1 0 278405579 102203392 24488 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 24952 24488 180 372 0 24577 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 99808

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/416 1582
/proc/meminfo: memFree=25600292/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=120424 CPUtime=162.28 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 33052 0 0 0 16180 48 0 0 25 0 1 0 278405579 123314176 29711 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 30106 29711 180 372 0 29731 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 120424

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/416 1584
/proc/meminfo: memFree=25480372/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=137420 CPUtime=222.28 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 37205 0 0 0 22165 63 0 0 25 0 1 0 278405579 140718080 33864 33554432000 4194304 5714214 140736057530528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 34355 33864 180 372 0 33980 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 137420

[startup+282.301 s]
/proc/loadavg: 2.08 2.03 1.97 3/416 1586
/proc/meminfo: memFree=25413516/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=178128 CPUtime=282.28 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 47350 0 0 0 28152 76 0 0 25 0 1 0 278405579 182403072 44009 33554432000 4194304 5714214 140736057530528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 44532 44009 180 372 0 44157 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 178128

[startup+342.3 s]
/proc/loadavg: 2.03 2.02 1.97 3/416 1722
/proc/meminfo: memFree=25768672/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=206508 CPUtime=342.29 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 54407 0 0 0 34138 91 0 0 25 0 1 0 278405579 211464192 51066 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 51627 51066 180 372 0 51252 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 206508

[startup+402.301 s]
/proc/loadavg: 2.01 2.02 1.97 3/416 1751
/proc/meminfo: memFree=25581584/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=206508 CPUtime=402.28 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 54430 0 0 0 40125 103 0 0 25 0 1 0 278405579 211464192 51089 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 51627 51089 180 372 0 51252 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 206508

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/416 1752
/proc/meminfo: memFree=25545316/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=242180 CPUtime=462.29 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 63248 0 0 0 46110 119 0 0 25 0 1 0 278405579 247992320 59907 33554432000 4194304 5714214 140736057530528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 60545 59907 180 372 0 60170 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 242180

[startup+522.301 s]
/proc/loadavg: 2.04 2.02 1.98 3/416 1754
/proc/meminfo: memFree=25507140/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=245336 CPUtime=522.28 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 64025 0 0 0 52097 131 0 0 25 0 1 0 278405579 251224064 60684 33554432000 4194304 5714214 140736057530528 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 61334 60684 180 372 0 60959 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 245336

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 1.98 3/416 1756
/proc/meminfo: memFree=25463604/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=290692 CPUtime=582.29 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 75256 0 0 0 58083 146 0 0 25 0 1 0 278405579 297668608 71915 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 72673 71915 180 372 0 72298 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 290692

[startup+642.3 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/416 1764
/proc/meminfo: memFree=24927216/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=393708 CPUtime=882.28 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 100920 0 0 0 88018 210 0 0 25 0 1 0 278405579 403156992 97579 33554432000 4194304 5714214 140736057530528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 98427 97579 180 372 0 98052 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 393708

[startup+942.3 s]
/proc/loadavg: 2.08 2.02 1.98 3/416 1765
/proc/meminfo: memFree=24689736/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=406908 CPUtime=942.28 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 104211 0 0 0 94007 221 0 0 25 0 1 0 278405579 416673792 100870 33554432000 4194304 5714214 140736057530528 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 101727 100870 180 372 0 101352 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 406908

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/416 1767
/proc/meminfo: memFree=24581836/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=418276 CPUtime=1002.28 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 107009 0 0 0 99997 231 0 0 25 0 1 0 278405579 428314624 103668 33554432000 4194304 5714214 140736057530528 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 104569 103668 180 372 0 104194 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 418276

[startup+1062.3 s]
/proc/loadavg: 2.13 2.04 2.00 3/416 1768
/proc/meminfo: memFree=24371148/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=452072 CPUtime=1062.29 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 115385 0 0 0 105985 244 0 0 25 0 1 0 278405579 462921728 112044 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 113018 112044 180 372 0 112643 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 452072

[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/416 1770
/proc/meminfo: memFree=24190088/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=458680 CPUtime=1122.28 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 117035 0 0 0 111972 256 0 0 25 0 1 0 278405579 469688320 113694 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 114670 113694 180 372 0 114295 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 458680

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/416 1772
/proc/meminfo: memFree=24011492/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=496108 CPUtime=1182.28 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 126325 0 0 0 117960 268 0 0 25 0 1 0 278405579 508014592 122984 33554432000 4194304 5714214 140736057530528 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 124027 122984 180 372 0 123652 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 496108

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 1773
/proc/meminfo: memFree=23875188/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=534724 CPUtime=1242.28 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 135975 0 0 0 123949 279 0 0 25 0 1 0 278405579 547557376 132634 33554432000 4194304 5714214 140736057530528 18446744073709551615 4300080 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 133681 132634 180 372 0 133306 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 534724

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 1775
/proc/meminfo: memFree=23779816/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=536512 CPUtime=1302.28 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 136372 0 0 0 129934 294 0 0 25 0 1 0 278405579 549388288 133031 33554432000 4194304 5714214 140736057530528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 134128 133031 180 372 0 133753 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 536512

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 1776
/proc/meminfo: memFree=23647248/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=552348 CPUtime=1362.27 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 140300 0 0 0 135920 307 0 0 25 0 1 0 278405579 565604352 136959 33554432000 4194304 5714214 140736057530528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 138087 136959 180 372 0 137712 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 552348

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 1778
/proc/meminfo: memFree=23538980/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=573600 CPUtime=1422.29 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 145532 0 0 0 141913 316 0 0 25 0 1 0 278405579 587366400 142191 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 143400 142191 180 372 0 143025 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 573600

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 1780
/proc/meminfo: memFree=23477708/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=582912 CPUtime=1482.27 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 147731 0 0 0 147901 326 0 0 25 0 1 0 278405579 596901888 144390 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 145728 144390 180 372 0 145353 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 582912

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/416 1781
/proc/meminfo: memFree=23309292/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=605660 CPUtime=1542.27 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 153259 0 0 0 153892 335 0 0 25 0 1 0 278405579 620195840 149918 33554432000 4194304 5714214 140736057530528 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 151415 149918 180 372 0 151040 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 605660

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 1783
/proc/meminfo: memFree=23264380/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=607424 CPUtime=1602.27 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 153687 0 0 0 159885 342 0 0 25 0 1 0 278405579 622002176 150346 33554432000 4194304 5714214 140736057530528 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 151856 150346 180 372 0 151481 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 607424

[startup+1662.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/416 1784
/proc/meminfo: memFree=23145328/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=627048 CPUtime=1662.27 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 158509 0 0 0 165877 350 0 0 25 0 1 0 278405579 642097152 155168 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319187 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 156762 155168 180 372 0 156387 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 627048

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/416 1795
/proc/meminfo: memFree=23057632/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=630820 CPUtime=1722.27 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 159415 0 0 0 171867 360 0 0 25 0 1 0 278405579 645959680 156074 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 157705 156074 180 372 0 157330 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 630820

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/416 1797
/proc/meminfo: memFree=22917352/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=654424 CPUtime=1782.27 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 165269 0 0 0 177855 372 0 0 25 0 1 0 278405579 670130176 161928 33554432000 4194304 5714214 140736057530528 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 163606 161928 180 372 0 163231 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 654424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 1797
/proc/meminfo: memFree=22872832/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=657120 CPUtime=1800.07 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 165936 0 0 0 179631 376 0 0 25 0 1 0 278405579 672890880 162595 33554432000 4194304 5714214 140736057530528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 164280 162595 180 372 0 163905 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 657120

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

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

[startup+1800.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 1797
/proc/meminfo: memFree=22872832/32950928 swapFree=52006644/67111528
[pid=1577] ppid=1575 vsize=657120 CPUtime=1800.07 cores=0,2,4,6
/proc/1577/stat : 1577 (wbo1.6) R 1575 1577 32638 0 -1 4202496 165936 0 0 0 179631 376 0 0 25 0 1 0 278405579 672890880 162595 33554432000 4194304 5714214 140736057530528 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1577/statm: 164280 162595 180 372 0 163905 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 657120

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.12
CPU user time (s): 1796.32
CPU system time (s): 3.79642
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 657120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.32
system time used= 3.79642
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165936
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= 8
involuntary context switches= 2203

runsolver used 7.77582 second user time and 16.7495 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-03 15:32:42
IDJOB=3460684
IDBENCH=24994
IDSOLVER=1953
FILE ID=node112/3460684-1307107962
RUNJOBID= node112-1307106157-1396
PBS_JOBID= 13497992
Free space on /tmp= 73824 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460684-1307107962/watcher-3460684-1307107962 -o /tmp/evaluation-result-3460684-1307107962/solver-3460684-1307107962 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460684-1307107962.opb

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

MD5SUM BENCH= d869c2ae266497675d66f161576eaac8
RANDOM SEED=1399856197

node112.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5180.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25982836 kB
Buffers:        325712 kB
Cached:        5641124 kB
SwapCached:      31280 kB
Active:         931192 kB
Inactive:      5755956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25982836 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:           13680 kB
Writeback:           0 kB
AnonPages:      696852 kB
Mapped:          13364 kB
Slab:           157028 kB
PageTables:      59212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98678496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73808 MiB
End job on node112 at 2011-06-03 16:02:44