Trace number 2702397

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.08 1800.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_5.opb
MD5SUMd79bd0f7d6fceec4ec599aa8716e2601
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark85
Best CPU time to get the best result obtained on this benchmark1798.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 74
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31590
Sum of products size (including duplicates)63180
Number of different products31590
Sum of products size63180

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-2702397-1278566305.opb.
0.00/0.00	c Instance file HOME/instance-2702397-1278566305.opb
0.00/0.00	c File size is 2475714 bytes.
0.39/0.44	c Highest Coefficient sum: 52
0.39/0.44	c ============================[ Problem Statistics ]=============================
0.39/0.44	c |                                                                             |
0.39/0.44	c |  Parsing time:          0.43         s                                      |
0.39/0.44	c |  Number Variables:      32590                                               |
0.39/0.44	c |  Number Clauses:        32590                                               |
0.39/0.44	c |  Number Cardinality:    0                                                   |
0.39/0.44	c |  Number PB Constraints: 31590                                               |
0.39/0.49	c ============================[ Search Statistics ]==============================
0.39/0.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.49	c ===============================================================================
0.39/0.49	c |         0 |   32590    64180   222130 |    21393        0    nan |  0.000 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: 507
0.49/0.54	o 507
0.49/0.54	c Elapsed CPU time: 0.52592 s	Remaining CPU time: 179.474 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |         0 |   32590    64181   223130 |    21393        0    nan |  0.000 % |
0.59/0.60	c ===============================================================================
0.59/0.60	c New solution: 180
0.59/0.60	o 180
0.59/0.60	c Elapsed CPU time: 0.581911 s	Remaining CPU time: 179.418 s
0.59/0.60	c ===============================================================================
0.59/0.60	c |         0 |   32590    64182   224130 |    21394        0    nan |  0.000 % |
1.49/1.59	c |       100 |   32590    64182   224130 |    23533      100    206 |  0.000 % |
1.59/1.65	c ===============================================================================
1.59/1.65	c New solution: 145
1.59/1.65	o 145
1.59/1.65	c Elapsed CPU time: 1.62375 s	Remaining CPU time: 178.376 s
1.59/1.65	c ===============================================================================
1.59/1.65	c |       100 |   32590    64183   225130 |    21394      100    206 |  0.000 % |
2.39/2.40	c |       204 |   32590    64183   225130 |    23533      204    194 |  0.000 % |
2.59/2.64	c |       354 |   32590    64183   225130 |    25887      354    191 |  0.000 % |
2.69/2.70	c ===============================================================================
2.69/2.70	c New solution: 125
2.69/2.70	o 125
2.69/2.70	c Elapsed CPU time: 2.66959 s	Remaining CPU time: 177.33 s
2.69/2.70	c ===============================================================================
2.69/2.70	c |       354 |   32590    64184   226130 |    21394      354    191 |  0.000 % |
2.69/2.76	c ===============================================================================
2.69/2.76	c New solution: 118
2.69/2.76	o 118
2.69/2.76	c Elapsed CPU time: 2.72559 s	Remaining CPU time: 177.274 s
2.69/2.76	c ===============================================================================
2.69/2.76	c |       354 |   32590    64185   227130 |    21395      354    191 |  0.000 % |
2.89/2.92	c |       456 |   32590    64185   227130 |    23534      456    185 |  0.000 % |
2.89/2.98	c ===============================================================================
2.89/2.98	c New solution: 99
2.89/2.98	o 99
2.89/2.98	c Elapsed CPU time: 2.94455 s	Remaining CPU time: 177.055 s
2.89/2.98	c ===============================================================================
2.89/2.98	c |       456 |   32590    64186   228130 |    21395      456    185 |  0.000 % |
2.99/3.04	c ===============================================================================
2.99/3.04	c New solution: 98
2.99/3.04	o 98
2.99/3.04	c Elapsed CPU time: 2.99854 s	Remaining CPU time: 177.001 s
2.99/3.04	c ===============================================================================
2.99/3.04	c |       457 |   32590    64187   229130 |    21395      457    185 |  0.000 % |
2.99/3.09	c ===============================================================================
2.99/3.09	c New solution: 92
2.99/3.09	o 92
2.99/3.09	c Elapsed CPU time: 3.05654 s	Remaining CPU time: 176.943 s
2.99/3.09	c ===============================================================================
2.99/3.09	c |       457 |   32590    64188   230130 |    21396      457    185 |  0.000 % |
3.09/3.15	c ===============================================================================
3.09/3.15	c New solution: 91
3.09/3.15	o 91
3.09/3.15	c Elapsed CPU time: 3.11253 s	Remaining CPU time: 176.887 s
3.09/3.15	c ===============================================================================
3.09/3.15	c |       457 |   32590    64189   231130 |    21396      457    185 |  0.000 % |
3.20/3.23	c |       557 |   32590    64189   231130 |    23535      557    189 |  0.000 % |
3.30/3.35	c |       708 |   32590    64189   231130 |    25889      708    195 |  0.000 % |
3.49/3.53	c ===============================================================================
3.49/3.53	c New solution: 90
3.49/3.53	o 90
3.49/3.53	c Elapsed CPU time: 3.48847 s	Remaining CPU time: 176.512 s
3.49/3.53	c ===============================================================================
3.49/3.53	c |       927 |   32590    64190   232130 |    21396      927    190 |  0.000 % |
3.59/3.62	c |      1028 |   32590    64190   232130 |    23536     1028    193 |  0.000 % |
3.69/3.73	c |      1178 |   32590    64190   232130 |    25889     1178    196 |  0.000 % |
3.79/3.89	c |      1403 |   32590    64190   232130 |    28478     1403    199 |  0.000 % |
3.99/4.10	c |      1741 |   32590    64190   232130 |    31326     1741    210 |  0.000 % |
4.30/4.37	c |      2247 |   32590    64190   232130 |    34459     2247    208 |  0.000 % |
4.79/4.84	c |      3006 |   32590    64190   232130 |    37905     3006    205 |  0.000 % |
5.40/5.43	c |      4145 |   32590    64190   232130 |    41696     4145    196 |  0.000 % |
6.49/6.54	c |      5854 |   32590    64190   232130 |    45865     5854    199 |  0.000 % |
7.98/8.04	c |      8416 |   32590    64190   232130 |    50452     8416    197 |  0.000 % |
10.39/10.44	c |     12260 |   32590    64190   232130 |    55497    12260    194 |  0.000 % |
14.30/14.35	c |     18026 |   32590    64190   232130 |    61047    18026    205 |  0.000 % |
19.99/20.04	c |     26676 |   32590    64190   232130 |    67151    26676    223 |  0.000 % |
29.69/29.73	c |     39650 |   32590    64190   232130 |    73867    39650    221 |  0.000 % |
48.48/48.56	c |     59112 |   32590    64190   232130 |    81253    59112    238 |  0.000 % |
56.78/56.80	c ===============================================================================
56.78/56.80	c New solution: 89
56.78/56.80	o 89
56.78/56.80	c Elapsed CPU time: 56.3114 s	Remaining CPU time: 123.689 s
56.78/56.80	c ===============================================================================
56.78/56.80	c |     71568 |   32590    64191   233130 |    21397    71568    231 |  0.000 % |
57.08/57.20	c |     71669 |   32590    64191   233130 |    23536    12070    197 |  0.000 % |
57.28/57.33	c |     71820 |   32590    64191   233130 |    25890    12221    197 |  0.000 % |
57.47/57.51	c |     72046 |   32590    64191   233130 |    28479    12447    197 |  0.000 % |
57.67/57.76	c |     72383 |   32590    64191   233130 |    31327    12784    197 |  0.000 % |
57.97/58.08	c |     72889 |   32590    64191   233130 |    34460    13290    197 |  0.000 % |
58.57/58.61	c |     73648 |   32590    64191   233130 |    37906    14049    201 |  0.000 % |
59.28/59.39	c |     74787 |   32590    64191   233130 |    41696    15188    202 |  0.000 % |
60.48/60.50	c |     76495 |   32590    64191   233130 |    45866    16896    203 |  0.000 % |
61.88/61.99	c |     79057 |   32590    64191   233130 |    50453    19458    205 |  0.000 % |
64.07/64.11	c |     82901 |   32590    64191   233130 |    55498    23302    203 |  0.000 % |
67.87/67.97	c |     88668 |   32590    64191   233130 |    61048    29069    213 |  0.000 % |
74.07/74.14	c |     97318 |   32590    64191   233130 |    67152    37719    221 |  0.000 % |
82.27/82.30	c |    110293 |   32590    64191   233130 |    73868    50694    220 |  0.000 % |
98.07/98.11	c |    129754 |   32590    64191   233130 |    81255    70155    229 |  0.000 % |
129.26/129.36	c |    158947 |   32590    64191   233130 |    89380    99348    250 |  0.000 % |
169.05/169.16	c |    202736 |   32590    64191   233130 |    98318    56965    285 |  0.000 % |
181.34/181.45	c There are 0 assigned variables. 0 in cost function.
183.04/183.19	c core #1
183.04/183.19	c 
183.04/183.19	c 
183.04/183.19	c Core size: 52	Core Weight: 1	Total Weight: 1
183.04/183.19	c
183.04/183.19	c
183.04/183.19	c core #2
183.04/183.19	c 
183.04/183.19	c 
183.04/183.19	c Core size: 52	Core Weight: 1	Total Weight: 2
183.04/183.19	c
183.04/183.19	c
183.04/183.19	c core #3
183.04/183.19	c 
183.04/183.19	c 
183.04/183.19	c Core size: 52	Core Weight: 1	Total Weight: 3
183.04/183.19	c
183.04/183.19	c
183.04/183.19	c core #4
183.04/183.19	c 
183.04/183.19	c 
183.04/183.19	c Core size: 52	Core Weight: 1	Total Weight: 4
183.04/183.19	c
183.04/183.19	c
183.04/183.19	c core #5
183.04/183.19	c 
183.04/183.19	c 
183.04/183.19	c Core size: 52	Core Weight: 1	Total Weight: 5
183.04/183.19	c
183.04/183.19	c
183.04/183.19	c core #6
183.04/183.19	c 
183.04/183.19	c 
183.04/183.19	c Core size: 52	Core Weight: 1	Total Weight: 6
183.04/183.19	c
183.04/183.19	c
183.04/183.19	c core #7
183.04/183.19	c 
183.04/183.19	c 
183.04/183.19	c Core size: 52	Core Weight: 1	Total Weight: 7
183.04/183.19	c
183.04/183.19	c
183.04/183.19	c core #8
183.04/183.19	c 
183.04/183.19	c 
183.04/183.19	c Core size: 52	Core Weight: 1	Total Weight: 8
183.04/183.19	c
183.04/183.19	c
183.04/183.19	c core #9
183.04/183.19	c 
183.04/183.19	c 
183.04/183.19	c Core size: 78	Core Weight: 1	Total Weight: 9
183.04/183.19	c
183.04/183.19	c
183.04/183.19	c ============================[ Search Statistics ]==============================
183.04/183.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.04/183.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.04/183.19	c ===============================================================================
183.04/183.19	c |         0 |    8409    65200   161846 |    21733        0    nan |  0.000 % |
183.14/183.20	c ===============================================================================
183.34/183.45	c core #10
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 112	Core Weight: 1	Total Weight: 10
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c ============================[ Search Statistics ]==============================
183.34/183.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.34/183.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.34/183.45	c ===============================================================================
183.34/183.45	c |         0 |   10193    65201   167041 |    21733        0    nan |  0.000 % |
183.44/183.56	c ===============================================================================
183.74/183.81	c core #11
183.74/183.81	c 
183.74/183.81	c 
183.74/183.81	c Core size: 680	Core Weight: 1	Total Weight: 11
183.74/183.81	c
183.74/183.81	c
183.74/183.81	c ============================[ Search Statistics ]==============================
183.74/183.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.74/183.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.74/183.81	c ===============================================================================
183.74/183.81	c |         0 |   19552    65202   195239 |    21734        0    nan |  0.000 % |
184.14/184.23	c |       105 |   19552    65202   195239 |    23907      105    338 | 41.149 % |
184.84/184.90	c |       258 |   19552    65202   195239 |    26298      258    416 | 41.149 % |
186.05/186.13	c |       483 |   19552    65202   195239 |    28927      483    408 | 41.149 % |
188.14/188.22	c |       823 |   19552    65202   195239 |    31820      823    399 | 41.149 % |
191.45/191.52	c |      1329 |   19552    65202   195239 |    35002     1329    402 | 41.149 % |
196.94/197.09	c |      2088 |   19552    65202   195239 |    38503     2088    511 | 41.149 % |
198.24/198.33	c ===============================================================================
198.54/198.62	c core #12
198.54/198.62	c 
198.54/198.62	c 
198.54/198.62	c Core size: 2104	Core Weight: 1	Total Weight: 12
198.54/198.62	c
198.54/198.62	c
198.54/198.62	c ============================[ Search Statistics ]==============================
198.54/198.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.54/198.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.54/198.62	c ===============================================================================
198.54/198.62	c |         0 |   32996    65203   233870 |    21734        0    nan |  0.000 % |
198.94/199.05	c |       100 |   32996    65203   233870 |    23907      100    386 |  3.368 % |
199.84/199.96	c |       250 |   32996    65203   233870 |    26298      250    479 |  3.368 % |
202.04/202.16	c |       475 |   32996    65203   233870 |    28928      475    505 |  3.368 % |
206.34/206.49	c |       812 |   32996    65203   233870 |    31821      812    450 |  3.368 % |
211.83/211.96	c |      1318 |   32996    65203   233870 |    35003     1318    466 |  3.368 % |
222.04/222.10	c |      2077 |   32996    65203   233870 |    38503     2077    373 |  3.368 % |
230.54/230.61	c |      3218 |   32996    65203   233870 |    42354     3218    340 |  3.368 % |
247.23/247.37	c |      4926 |   32996    65203   233870 |    46589     4926    281 |  3.368 % |
270.22/270.39	c |      7489 |   32996    65203   233870 |    51248     7489    263 |  3.368 % |
320.02/320.18	c |     11333 |   32996    65203   233870 |    56373    11333    265 |  3.368 % |
376.70/376.84	c |     17099 |   32996    65203   233870 |    62010    17099    289 |  3.368 % |
456.07/456.20	c |     25749 |   32996    65203   233870 |    68211    25749    336 |  3.368 % |
633.73/633.91	c |     38724 |   32996    65203   233870 |    75032    38724    340 |  3.368 % |
852.97/853.20	c |     58185 |   32996    65203   233870 |    82536    58185    336 |  3.368 % |
1250.76/1251.15	c |     87378 |   32996    65203   233870 |    90789    15621    320 |  3.368 % |
1731.55/1732.00	c |    131170 |   32996    65203   233870 |    99868    59413    372 |  3.368 % |

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-2702397-1278566305/watcher-2702397-1278566305 -o /tmp/evaluation-result-2702397-1278566305/solver-2702397-1278566305 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702397-1278566305.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.99 0.97 0.91 3/106 590
/proc/meminfo: memFree=1711912/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=5132 CPUtime=0
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 299 0 0 0 0 0 0 0 18 0 1 0 24844382 5255168 217 1992294400 134512640 135752675 4292569456 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 1283 228 132 303 0 373 0

[startup+0.0520891 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 590
/proc/meminfo: memFree=1711912/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=8932 CPUtime=0.04
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 1224 0 0 0 4 0 0 0 20 0 1 0 24844382 9146368 1142 1992294400 134512640 135752675 4292569456 18446744073709551615 134574009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 2233 1142 190 303 0 1323 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8932

[startup+0.101092 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 590
/proc/meminfo: memFree=1711912/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=11096 CPUtime=0.09
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 1669 0 0 0 9 0 0 0 20 0 1 0 24844382 11362304 1587 1992294400 134512640 135752675 4292569456 18446744073709551615 135194333 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 2774 1587 256 303 0 1864 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11096

[startup+0.301113 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 590
/proc/meminfo: memFree=1711912/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=14324 CPUtime=0.29
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 2755 0 0 0 28 1 0 0 20 0 1 0 24844382 14667776 2673 1992294400 134512640 135752675 4292569456 18446744073709551615 134574276 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 3581 2673 529 303 0 2671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14324

[startup+0.701154 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 590
/proc/meminfo: memFree=1711912/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=17368 CPUtime=0.69
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 4939 0 0 0 67 2 0 0 21 0 1 0 24844382 17784832 3643 1992294400 134512640 135752675 4292569456 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 4342 3643 144 303 0 4037 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17368

[startup+1.50124 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 591
/proc/meminfo: memFree=1697644/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=17368 CPUtime=1.49
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 4939 0 0 0 147 2 0 0 22 0 1 0 24844382 17784832 3643 1992294400 134512640 135752675 4292569456 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 4342 3643 144 303 0 4037 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17368

[startup+3.1014 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 591
/proc/meminfo: memFree=1697396/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=17368 CPUtime=3.09
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 4940 0 0 0 305 4 0 0 25 0 1 0 24844382 17784832 3644 1992294400 134512640 135752675 4292569456 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 4342 3644 145 303 0 4037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17368

[startup+6.30073 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 591
/proc/meminfo: memFree=1695288/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=21328 CPUtime=6.29
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 5903 0 0 0 622 7 0 0 25 0 1 0 24844382 21839872 4607 1992294400 134512640 135752675 4292569456 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 5332 4607 145 303 0 5027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21328

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.91 3/108 594
/proc/meminfo: memFree=1658692/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=30568 CPUtime=12.68
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 8217 0 0 0 1255 13 0 0 25 0 1 0 24844382 31301632 6921 1992294400 134512640 135752675 4292569456 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 7642 6921 145 303 0 7337 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30568

[startup+25.5007 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 595
/proc/meminfo: memFree=1664412/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=50768 CPUtime=25.49
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 13268 0 0 0 2525 24 0 0 25 0 1 0 24844382 51986432 11972 1992294400 134512640 135752675 4292569456 18446744073709551615 134639489 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 12692 11972 145 303 0 12387 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50768

[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 595
/proc/meminfo: memFree=1632792/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=83044 CPUtime=51.08
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 21302 0 0 0 5064 44 0 0 25 0 1 0 24844382 85037056 20006 1992294400 134512640 135752675 4292569456 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 20761 20006 145 303 0 20456 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83044

[startup+102.309 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 597
/proc/meminfo: memFree=1558640/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=156340 CPUtime=102.27
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 39641 0 0 0 10142 85 0 0 25 0 1 0 24844382 160092160 38345 1992294400 134512640 135752675 4292569456 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 39085 38345 145 303 0 38780 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 156340

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 598
/proc/meminfo: memFree=1482752/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=233420 CPUtime=162.24
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 58863 0 0 0 16098 126 0 0 25 0 1 0 24844382 239022080 57567 1992294400 134512640 135752675 4292569456 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 58355 57567 145 303 0 58050 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 233420

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 600
/proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=255112 CPUtime=222.23
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66202 0 0 0 22078 145 0 0 25 0 1 0 24844382 261234688 63309 1992294400 134512640 135752675 4292569456 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 63778 63309 146 303 0 63473 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 255112

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 602
/proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=255112 CPUtime=282.22
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66205 0 0 0 28072 150 0 0 25 0 1 0 24844382 261234688 63312 1992294400 134512640 135752675 4292569456 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 63778 63312 146 303 0 63473 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 255112

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 603
/proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=255112 CPUtime=342.2
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66207 0 0 0 34064 156 0 0 25 0 1 0 24844382 261234688 63314 1992294400 134512640 135752675 4292569456 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 63778 63314 146 303 0 63473 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 255112

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 605
/proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=255112 CPUtime=402.19
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66209 0 0 0 40057 162 0 0 25 0 1 0 24844382 261234688 63316 1992294400 134512640 135752675 4292569456 18446744073709551615 134616082 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 63778 63316 146 303 0 63473 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 255112

[startup+462.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 606
/proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=255112 CPUtime=462.17
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66212 0 0 0 46050 167 0 0 25 0 1 0 24844382 261234688 63319 1992294400 134512640 135752675 4292569456 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 63778 63319 146 303 0 63473 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 255112

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 608
/proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=255112 CPUtime=522.15
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66212 0 0 0 52043 172 0 0 25 0 1 0 24844382 261234688 63319 1992294400 134512640 135752675 4292569456 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 63778 63319 146 303 0 63473 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 255112

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 610
/proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=255112 CPUtime=582.14
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66219 0 0 0 58038 176 0 0 25 0 1 0 24844382 261234688 63326 1992294400 134512640 135752675 4292569456 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 63778 63326 146 303 0 63473 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 255112

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 611
/proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=255112 CPUtime=642.13
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66220 0 0 0 64033 180 0 0 25 0 1 0 24844382 261234688 63327 1992294400 134512640 135752675 4292569456 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 63778 63327 146 303 0 63473 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 255112

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 618
/proc/meminfo: memFree=1445924/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=267160 CPUtime=882.07
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 69243 0 0 0 88004 203 0 0 25 0 1 0 24844382 273571840 66350 1992294400 134512640 135752675 4292569456 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 66790 66350 146 303 0 66485 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 267160

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 619
/proc/meminfo: memFree=1439972/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=273500 CPUtime=942.05
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 70777 0 0 0 93997 208 0 0 25 0 1 0 24844382 280064000 67884 1992294400 134512640 135752675 4292569456 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 68375 67884 146 303 0 68070 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 273500

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 621
/proc/meminfo: memFree=1433028/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=280240 CPUtime=1002.03
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 72464 0 0 0 99989 214 0 0 25 0 1 0 24844382 286965760 69571 1992294400 134512640 135752675 4292569456 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 70060 69571 146 303 0 69755 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 280240

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 622
/proc/meminfo: memFree=1427076/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=286344 CPUtime=1062.02
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 73980 0 0 0 105982 220 0 0 25 0 1 0 24844382 293216256 71087 1992294400 134512640 135752675 4292569456 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 71586 71087 146 303 0 71281 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 286344

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 624
/proc/meminfo: memFree=1419264/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=294056 CPUtime=1122
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 75904 0 0 0 111973 227 0 0 25 0 1 0 24844382 301113344 73011 1992294400 134512640 135752675 4292569456 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 73514 73011 146 303 0 73209 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 294056

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 626
/proc/meminfo: memFree=1410832/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=302428 CPUtime=1181.98
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 78004 0 0 0 117962 236 0 0 25 0 1 0 24844382 309686272 75111 1992294400 134512640 135752675 4292569456 18446744073709551615 134605489 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 75607 75111 146 303 0 75302 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 302428

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 627
/proc/meminfo: memFree=1404012/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=309296 CPUtime=1241.97
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 79723 0 0 0 123953 244 0 0 25 0 1 0 24844382 316719104 76830 1992294400 134512640 135752675 4292569456 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 77324 76830 146 303 0 77019 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 309296

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 629
/proc/meminfo: memFree=1390744/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=322124 CPUtime=1301.96
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 82949 0 0 0 129940 256 0 0 25 0 1 0 24844382 329854976 80056 1992294400 134512640 135752675 4292569456 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 80531 80056 146 303 0 80226 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 322124

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 630
/proc/meminfo: memFree=1380452/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=332572 CPUtime=1361.94
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 85545 0 0 0 135929 265 0 0 25 0 1 0 24844382 340553728 82652 1992294400 134512640 135752675 4292569456 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 83143 82652 146 303 0 82838 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 332572

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 632
/proc/meminfo: memFree=1368052/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=344748 CPUtime=1421.93
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 88600 0 0 0 141916 277 0 0 25 0 1 0 24844382 353021952 85707 1992294400 134512640 135752675 4292569456 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 86187 85707 146 303 0 85882 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 344748

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 634
/proc/meminfo: memFree=1353792/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=359052 CPUtime=1481.91
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 92149 0 0 0 147903 288 0 0 25 0 1 0 24844382 367669248 89256 1992294400 134512640 135752675 4292569456 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 89763 89256 146 303 0 89458 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 359052

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 635
/proc/meminfo: memFree=1343996/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=368876 CPUtime=1541.9
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 94600 0 0 0 153895 295 0 0 25 0 1 0 24844382 377729024 91707 1992294400 134512640 135752675 4292569456 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 92219 91707 146 303 0 91914 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 368876

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 637
/proc/meminfo: memFree=1336432/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=376552 CPUtime=1601.88
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 96544 0 0 0 159886 302 0 0 25 0 1 0 24844382 385589248 93651 1992294400 134512640 135752675 4292569456 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 94138 93651 146 303 0 93833 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 376552

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 638
/proc/meminfo: memFree=1328372/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=384456 CPUtime=1661.87
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 98483 0 0 0 165879 308 0 0 25 0 1 0 24844382 393682944 95590 1992294400 134512640 135752675 4292569456 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 96114 95590 146 303 0 95809 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 384456

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 640
/proc/meminfo: memFree=1321800/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=390940 CPUtime=1721.84
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 100101 0 0 0 171870 314 0 0 25 0 1 0 24844382 400322560 97208 1992294400 134512640 135752675 4292569456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 97735 97208 146 303 0 97430 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 390940

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 642
/proc/meminfo: memFree=1315352/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=397284 CPUtime=1781.83
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 101698 0 0 0 177862 321 0 0 25 0 1 0 24844382 406818816 98805 1992294400 134512640 135752675 4292569456 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 99321 98805 146 303 0 99016 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 397284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 642
/proc/meminfo: memFree=1311880/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=400852 CPUtime=1800.02
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 102576 0 0 0 179677 325 0 0 25 0 1 0 24844382 410472448 99683 1992294400 134512640 135752675 4292569456 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 100213 99683 146 303 0 99908 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 400852

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 642
/proc/meminfo: memFree=1311880/2059040 swapFree=4134944/4192956
[pid=590] ppid=588 vsize=400852 CPUtime=1800.02
/proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 102576 0 0 0 179677 325 0 0 25 0 1 0 24844382 410472448 99683 1992294400 134512640 135752675 4292569456 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/590/statm: 100213 99683 146 303 0 99908 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 400852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.55
CPU time (s): 1800.08
CPU user time (s): 1796.78
CPU system time (s): 3.2975
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 400852

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

runsolver used 2.85157 second user time and 8.63569 second system time

The end

Launcher Data 

Begin job on node002 at 2010-07-08 07:18:25
IDJOB=2702397
IDBENCH=48133
IDSOLVER=1190
FILE ID=node002/2702397-1278566305
PBS_JOBID= 11239536
Free space on /tmp= 62568 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_5.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-2702397-1278566305/watcher-2702397-1278566305 -o /tmp/evaluation-result-2702397-1278566305/solver-2702397-1278566305 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702397-1278566305.opb

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

MD5SUM BENCH= d79bd0f7d6fceec4ec599aa8716e2601
RANDOM SEED=67623982

node002.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.201
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.40
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.201
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:       1715044 kB
Buffers:         89792 kB
Cached:         169744 kB
SwapCached:      12900 kB
Active:         154400 kB
Inactive:       120356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1715044 kB
SwapTotal:     4192956 kB
SwapFree:      4134944 kB
Dirty:            3116 kB
Writeback:           0 kB
AnonPages:       12052 kB
Mapped:           8420 kB
Slab:            47396 kB
PageTables:       4204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180508 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-2702397-1278566305.opb

Free space on /tmp at the end= 62560 MiB
End job on node002 at 2010-07-08 07:48:29