Trace number 2702585

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.17 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_1.opb
MD5SUM26861ca996cf8fd2abe5c211e1f47a26
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1590.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1220
Sum of products size (including duplicates)2440
Number of different products610
Sum of products size1220

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-2702585-1278578200.opb.
0.00/0.00	c Instance file HOME/instance-2702585-1278578200.opb
0.00/0.00	c File size is 49946 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      710                                                 |
0.00/0.01	c |  Number Clauses:        660                                                 |
0.00/0.01	c |  Number Cardinality:    102                                                 |
0.00/0.01	c |  Number PB Constraints: 610                                                 |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     710     1372     5180 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 0
0.00/0.01	o 0
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     710     1373     5230 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -1
0.00/0.01	o -1
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         1 |     710     1374     5280 |     5000        1     51 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: -2
0.00/0.01	o -2
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         1 |     710     1375     5330 |     5000        1     51 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -3
0.00/0.02	o -3
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 179.981 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     710     1376     5380 |     5000        1     51 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -4
0.00/0.02	o -4
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         1 |     710     1377     5430 |     5000        1     51 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: -5
0.00/0.02	o -5
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 179.98 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |        57 |     710     1378     5480 |     5000       57     74 |  0.000 % |
0.00/0.02	c |       157 |     710     1378     5480 |     5500      157     84 |  0.003 % |
0.02/0.03	c |       308 |     710     1378     5480 |     6050      308     83 |  0.003 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c New solution: -6
0.02/0.03	o -6
0.02/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 179.964 s
0.02/0.03	c ===============================================================================
0.02/0.03	c |       332 |     710     1379     5530 |     5000      332     83 |  0.003 % |
0.02/0.04	c |       432 |     710     1379     5530 |     5500      432     84 |  0.002 % |
0.02/0.04	c ===============================================================================
0.02/0.04	c New solution: -7
0.02/0.04	o -7
0.02/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 179.956 s
0.02/0.04	c ===============================================================================
0.02/0.04	c |       454 |     710     1380     5580 |     5000      454     84 |  0.002 % |
0.02/0.05	c |       554 |     710     1380     5580 |     5500      554     85 |  0.003 % |
0.02/0.06	c |       704 |     710     1380     5580 |     6050      704     85 |  0.002 % |
0.02/0.07	c |       929 |     710     1380     5580 |     6655      929     85 |  0.002 % |
0.02/0.09	c |      1266 |     710     1380     5580 |     7320     1266     85 |  0.002 % |
0.09/0.13	c |      1772 |     710     1380     5580 |     8052     1772     86 |  0.000 % |
0.09/0.18	c |      2531 |     710     1380     5580 |     8857     2531     86 |  0.003 % |
0.29/0.31	c |      3672 |     710     1380     5580 |     9743     3672     86 |  0.002 % |
0.49/0.51	c |      5383 |     710     1380     5580 |    10717     5383     86 |  0.003 % |
0.79/0.84	c |      7945 |     710     1380     5580 |    11789     7945     87 |  0.002 % |
1.59/1.63	c |     11793 |     710     1380     5580 |    12968    11793     86 |  0.003 % |
2.69/2.72	c |     17561 |     710     1380     5580 |    14265    10736     86 |  0.003 % |
4.29/4.35	c |     26213 |     710     1380     5580 |    15692    11914     83 |  0.002 % |
7.39/7.50	c |     39187 |     710     1380     5580 |    17261     8517     86 |  0.003 % |
12.29/12.32	c |     58651 |     710     1380     5580 |    18987    10034     88 |  0.002 % |
21.59/21.67	c |     87847 |     710     1380     5580 |    20886    19561     87 |  0.003 % |
37.78/37.88	c |    131639 |     710     1380     5580 |    22974    19947     86 |  0.003 % |
62.18/62.29	c |    197325 |     710     1380     5580 |    25272    22106     84 |  0.003 % |
93.47/93.54	c |    295854 |     710     1380     5580 |    27799    16663     79 |  0.002 % |
149.35/149.47	c |    443643 |     710     1380     5580 |    30579    26590     79 |  0.003 % |
181.63/181.77	c There are 0 assigned variables. 0 in cost function.
182.23/182.33	c core #1
182.23/182.33	c 
182.23/182.33	c 
182.23/182.33	c Core size: 101	Core Weight: 1	Total Weight: -49
182.23/182.33	c
182.23/182.33	c
182.23/182.33	c ============================[ Search Statistics ]==============================
182.23/182.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.23/182.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.23/182.33	c ===============================================================================
182.23/182.33	c |         0 |     760     1488     5873 |     5000        0    nan |  0.000 % |
182.23/182.34	c ===============================================================================
182.23/182.34	c core #2
182.23/182.34	c 
182.23/182.34	c 
182.23/182.34	c Core size: 49	Core Weight: 1	Total Weight: -48
182.23/182.34	c
182.23/182.34	c
182.23/182.34	c ============================[ Search Statistics ]==============================
182.23/182.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.23/182.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.23/182.34	c ===============================================================================
182.23/182.34	c |         0 |     802     1491     5963 |     5000        0    nan |  0.000 % |
182.23/182.36	c |       100 |     785     1491     5963 |     5500       72     34 |  2.120 % |
182.23/182.37	c |       254 |     772     1491     5963 |     6050      189     28 |  3.745 % |
182.23/182.39	c |       479 |     688     1491     5963 |     6655      266     35 | 18.082 % |
182.34/182.42	c ===============================================================================
182.34/182.44	c core #3
182.34/182.44	c 
182.34/182.44	c 
182.34/182.44	c Core size: 76	Core Weight: 1	Total Weight: -47
182.34/182.44	c
182.34/182.44	c
182.34/182.44	c ============================[ Search Statistics ]==============================
182.34/182.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.44	c ===============================================================================
182.34/182.44	c |         0 |     852     1502     6093 |     5000        0    nan |  0.000 % |
182.34/182.45	c |       100 |     852     1502     6093 |     5500      100     54 |  0.002 % |
182.34/182.47	c |       250 |     852     1502     6093 |     6050      250     47 |  0.002 % |
182.34/182.49	c |       479 |     852     1502     6093 |     6655      479     42 |  0.002 % |
182.45/182.53	c |       817 |     852     1502     6093 |     7320      817     37 |  0.003 % |
182.45/182.59	c |      1323 |     852     1502     6093 |     8052     1323     38 |  0.000 % |
182.54/182.69	c |      2082 |     852     1502     6093 |     8857     2082     37 |  0.009 % |
182.74/182.85	c |      3221 |     852     1502     6093 |     9743     3221     36 |  0.021 % |
183.04/183.10	c |      4929 |     839     1502     6093 |    10717     3601     36 |  1.527 % |
183.55/183.60	c |      7492 |     792     1502     6093 |    11789     5216     35 | 12.356 % |
183.65/183.77	c ===============================================================================
183.74/183.86	c core #4
183.74/183.86	c 
183.74/183.86	c 
183.74/183.86	c Core size: 60	Core Weight: 1	Total Weight: -46
183.74/183.86	c
183.74/183.86	c
183.74/183.86	c ============================[ Search Statistics ]==============================
183.74/183.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.74/183.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.74/183.86	c ===============================================================================
183.74/183.86	c |         0 |     902     1733     6878 |     5000        0    nan |  0.000 % |
183.74/183.88	c |       101 |     902     1733     6878 |     5500      101     64 |  0.002 % |
183.84/183.90	c |       251 |     902     1733     6878 |     6050      251     53 |  0.001 % |
183.84/183.93	c |       477 |     902     1733     6878 |     6655      477     49 |  0.002 % |
183.84/183.98	c |       817 |     902     1733     6878 |     7320      817     48 |  0.000 % |
183.94/184.04	c |      1324 |     902     1733     6878 |     8052     1324     45 |  0.001 % |
184.04/184.16	c |      2083 |     902     1733     6878 |     8857     2083     47 |  0.002 % |
184.24/184.34	c |      3225 |     902     1733     6878 |     9743     3225     45 |  0.002 % |
184.54/184.64	c |      4933 |     902     1733     6878 |    10717     4933     42 |  0.000 % |
185.04/185.18	c |      7495 |     902     1733     6878 |    11789     7495     41 |  0.001 % |
186.04/186.15	c |     11340 |     902     1733     6878 |    12968    11340     42 |  0.003 % |
187.54/187.60	c |     17107 |     902     1733     6878 |    14265    10495     41 |  0.003 % |
189.54/189.61	c |     25757 |     902     1733     6878 |    15692    11903     45 |  0.004 % |
193.54/193.61	c |     38732 |     902     1733     6878 |    17261     8727     39 |  0.011 % |
198.43/198.59	c |     58193 |     883     1733     6878 |    18987    12456     44 |  2.108 % |
208.23/208.37	c |     87386 |     869     1733     6878 |    20886    12325     47 |  3.664 % |
223.23/223.32	c |    131175 |     833     1733     6878 |    22974    13375     51 | 10.534 % |
234.62/234.79	c ===============================================================================
236.43/236.51	c core #5
236.43/236.51	c 
236.43/236.51	c 
236.43/236.51	c Core size: 57	Core Weight: 1	Total Weight: -45
236.43/236.51	c
236.43/236.51	c
236.43/236.51	c ============================[ Search Statistics ]==============================
236.43/236.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
236.43/236.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
236.43/236.51	c ===============================================================================
236.43/236.51	c |         0 |     952     2062     7955 |     5000        0    nan |  0.000 % |
236.43/236.57	c |       101 |     952     2062     7955 |     5500      101     97 |  0.002 % |
236.43/236.59	c |       251 |     952     2062     7955 |     6050      251     68 |  0.001 % |
236.52/236.60	c |       476 |     952     2062     7955 |     6655      476     42 |  0.002 % |
236.52/236.65	c |       813 |     952     2062     7955 |     7320      813     51 |  0.000 % |
236.52/236.68	c |      1320 |     952     2062     7955 |     8052     1320     37 |  0.001 % |
236.72/236.80	c |      2080 |     952     2062     7955 |     8857     2080     46 |  0.000 % |
236.92/237.00	c |      3223 |     952     2062     7955 |     9743     3223     59 |  0.001 % |
237.22/237.35	c |      4936 |     952     2062     7955 |    10717     4936     63 |  0.000 % |
237.82/237.98	c |      7500 |     952     2062     7955 |    11789     7500     67 |  0.001 % |
238.72/238.85	c |     11345 |     952     2062     7955 |    12968    11345     63 |  0.001 % |
240.21/240.37	c |     17111 |     952     2062     7955 |    14265    10485     48 |  0.001 % |
242.22/242.31	c |     25761 |     952     2062     7955 |    15692    11661     59 |  0.000 % |
246.52/246.65	c |     38738 |     952     2062     7955 |    17261     8274     84 |  0.002 % |
252.42/252.59	c |     58202 |     952     2062     7955 |    18987     9795     83 |  0.001 % |
261.12/261.23	c |     87395 |     952     2062     7955 |    20886    19321     84 |  0.001 % |
280.80/280.99	c |    131185 |     952     2062     7955 |    22974    19836     81 |  0.001 % |
313.00/313.13	c |    196874 |     952     2062     7955 |    25272    21339     80 |  0.001 % |
365.09/365.28	c |    295402 |     952     2062     7955 |    27799    15287     83 |  0.001 % |
433.06/433.21	c |    443192 |     952     2062     7955 |    30579    25793     76 |  0.002 % |
562.23/562.46	c |    664877 |     952     2062     7955 |    33637    29834     79 |  0.001 % |
738.17/738.49	c |    997405 |     952     2062     7955 |    37001    21889     76 |  0.001 % |
1089.27/1089.69	c |   1496193 |     952     2062     7955 |    40701    23991     80 |  0.002 % |
1593.41/1593.92	c |   2244375 |     952     2062     7955 |    44771    34237     79 |  0.001 % |

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-2702585-1278578200/watcher-2702585-1278578200 -o /tmp/evaluation-result-2702585-1278578200/solver-2702585-1278578200 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702585-1278578200.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: 1.00 0.98 0.91 2/105 28758
/proc/meminfo: memFree=1837636/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=2760 CPUtime=0
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 312 0 0 0 0 0 0 0 25 0 1 0 26028693 2826240 230 1992294400 134512640 135752675 4289559632 18446744073709551615 134564635 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 690 230 141 303 0 372 0

[startup+0.0325319 s]
/proc/loadavg: 1.00 0.98 0.91 2/105 28758
/proc/meminfo: memFree=1837636/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=2972 CPUtime=0.02
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 392 0 0 0 2 0 0 0 18 0 1 0 26028693 3043328 297 1992294400 134512640 135752675 4289559632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 743 297 145 303 0 438 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2972

[startup+0.10154 s]
/proc/loadavg: 1.00 0.98 0.91 2/105 28758
/proc/meminfo: memFree=1837636/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=3360 CPUtime=0.09
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 504 0 0 0 9 0 0 0 18 0 1 0 26028693 3440640 409 1992294400 134512640 135752675 4289559632 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 840 409 145 303 0 535 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3360

[startup+0.30056 s]
/proc/loadavg: 1.00 0.98 0.91 2/105 28758
/proc/meminfo: memFree=1837636/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=4404 CPUtime=0.29
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 771 0 0 0 29 0 0 0 18 0 1 0 26028693 4509696 676 1992294400 134512640 135752675 4289559632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 1101 676 145 303 0 796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4404

[startup+0.700603 s]
/proc/loadavg: 1.00 0.98 0.91 2/105 28758
/proc/meminfo: memFree=1837636/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=5964 CPUtime=0.69
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 1153 0 0 0 68 1 0 0 18 0 1 0 26028693 6107136 1058 1992294400 134512640 135752675 4289559632 18446744073709551615 134611639 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 1491 1058 145 303 0 1186 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5964

[startup+1.50069 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28759
/proc/meminfo: memFree=1833412/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=8056 CPUtime=1.49
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 1661 0 0 0 147 2 0 0 20 0 1 0 26028693 8249344 1566 1992294400 134512640 135752675 4289559632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 2014 1566 145 303 0 1709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8056

[startup+3.10086 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28759
/proc/meminfo: memFree=1830932/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=11852 CPUtime=3.09
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 2630 0 0 0 304 5 0 0 25 0 1 0 26028693 12136448 2535 1992294400 134512640 135752675 4289559632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 2963 2535 145 303 0 2658 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11852

[startup+6.3002 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28759
/proc/meminfo: memFree=1823492/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=18392 CPUtime=6.29
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 4250 0 0 0 621 8 0 0 25 0 1 0 26028693 18833408 4155 1992294400 134512640 135752675 4289559632 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 4598 4155 145 303 0 4293 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18392

[startup+12.7019 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28759
/proc/meminfo: memFree=1811092/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=30052 CPUtime=12.68
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 7173 0 0 0 1253 15 0 0 25 0 1 0 26028693 30773248 7078 1992294400 134512640 135752675 4289559632 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 7513 7078 145 303 0 7208 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30052

[startup+25.5012 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28759
/proc/meminfo: memFree=1793236/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=47064 CPUtime=25.48
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 11395 0 0 0 2521 27 0 0 25 0 1 0 26028693 48193536 11300 1992294400 134512640 135752675 4289559632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 11766 11300 145 303 0 11461 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47064

[startup+51.101 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28759
/proc/meminfo: memFree=1765088/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=76036 CPUtime=51.08
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 18637 0 0 0 5057 51 0 0 25 0 1 0 26028693 77860864 18542 1992294400 134512640 135752675 4289559632 18446744073709551615 134517411 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 19009 18542 145 303 0 18704 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 76036

[startup+102.308 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28761
/proc/meminfo: memFree=1699492/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=140444 CPUtime=102.27
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 34672 0 0 0 10124 103 0 0 25 0 1 0 26028693 143814656 34577 1992294400 134512640 135752675 4289559632 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 35111 34577 145 303 0 34806 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 140444

[startup+162.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28763
/proc/meminfo: memFree=1638732/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=201700 CPUtime=162.25
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 49967 0 0 0 16066 159 0 0 25 0 1 0 26028693 206540800 49872 1992294400 134512640 135752675 4289559632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 50425 49872 145 303 0 50120 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 201700

[startup+222.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28765
/proc/meminfo: memFree=1607608/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=231772 CPUtime=222.23
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 57605 0 0 0 22014 209 0 0 25 0 1 0 26028693 237334528 57479 1992294400 134512640 135752675 4289559632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 57943 57479 146 303 0 57638 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 231772

[startup+282.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28765
/proc/meminfo: memFree=1560736/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=278800 CPUtime=282.2
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 69321 0 0 0 27959 261 0 0 25 0 1 0 26028693 285491200 69195 1992294400 134512640 135752675 4289559632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 69700 69195 146 303 0 69395 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 278800

[startup+342.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28767
/proc/meminfo: memFree=1518948/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=320428 CPUtime=342.19
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 79720 0 0 0 33913 306 0 0 25 0 1 0 26028693 328118272 79594 1992294400 134512640 135752675 4289559632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 80107 79594 146 303 0 79802 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 320428

[startup+402.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28769
/proc/meminfo: memFree=1478524/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=361084 CPUtime=402.18
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 89855 0 0 0 39867 351 0 0 25 0 1 0 26028693 369750016 89729 1992294400 134512640 135752675 4289559632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 90271 89729 146 303 0 89966 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 361084

[startup+462.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28771
/proc/meminfo: memFree=1436488/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=402920 CPUtime=462.16
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 100298 0 0 0 45811 405 0 0 25 0 1 0 26028693 412590080 100172 1992294400 134512640 135752675 4289559632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 100730 100172 146 303 0 100425 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 402920

[startup+522.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28773
/proc/meminfo: memFree=1403256/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=436444 CPUtime=522.14
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 108656 0 0 0 51767 447 0 0 25 0 1 0 26028693 446918656 108530 1992294400 134512640 135752675 4289559632 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 109111 108530 146 303 0 108806 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 436444

[startup+582.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28773
/proc/meminfo: memFree=1367172/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=472208 CPUtime=582.12
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 117601 0 0 0 57722 490 0 0 25 0 1 0 26028693 483540992 117475 1992294400 134512640 135752675 4289559632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 118052 117475 146 303 0 117747 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 472208

[startup+642.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28775
/proc/meminfo: memFree=1320920/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=517904 CPUtime=642.11
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 129016 0 0 0 63666 545 0 0 25 0 1 0 26028693 530333696 128890 1992294400 134512640 135752675 4289559632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 129476 128890 146 303 0 129171 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 517904

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28781
/proc/meminfo: memFree=1176212/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=662412 CPUtime=882.03
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 165092 0 0 0 87504 699 0 0 25 0 1 0 26028693 678309888 164966 1992294400 134512640 135752675 4289559632 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 165603 164966 146 303 0 165298 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 662412

[startup+942.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28783
/proc/meminfo: memFree=1147072/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=691584 CPUtime=942.01
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 172388 0 0 0 93472 729 0 0 25 0 1 0 26028693 708182016 172262 1992294400 134512640 135752675 4289559632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 172896 172262 146 303 0 172591 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 691584

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28785
/proc/meminfo: memFree=1110120/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=728480 CPUtime=1001.99
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 181608 0 0 0 99432 767 0 0 25 0 1 0 26028693 745963520 181482 1992294400 134512640 135752675 4289559632 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 182120 181482 146 303 0 181815 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 728480

[startup+1062.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28787
/proc/meminfo: memFree=1076144/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=762360 CPUtime=1061.97
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 190089 0 0 0 105392 805 0 0 25 0 1 0 26028693 780656640 189963 1992294400 134512640 135752675 4289559632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 190590 189963 146 303 0 190285 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 762360

[startup+1122.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28789
/proc/meminfo: memFree=1043408/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=795052 CPUtime=1121.96
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 198229 0 0 0 111348 848 0 0 25 0 1 0 26028693 814133248 198103 1992294400 134512640 135752675 4289559632 18446744073709551615 134602982 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 198763 198103 146 303 0 198458 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 795052

[startup+1182.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28789
/proc/meminfo: memFree=1006704/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=831912 CPUtime=1181.94
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 207428 0 0 0 117306 888 0 0 25 0 1 0 26028693 851877888 207302 1992294400 134512640 135752675 4289559632 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 207978 207302 146 303 0 207673 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 831912

[startup+1242.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28791
/proc/meminfo: memFree=973348/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=864912 CPUtime=1241.92
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 215681 0 0 0 123266 926 0 0 25 0 1 0 26028693 885669888 215555 1992294400 134512640 135752675 4289559632 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 216228 215555 146 303 0 215923 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 864912

[startup+1302.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28793
/proc/meminfo: memFree=942472/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=895312 CPUtime=1301.91
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 223258 0 0 0 129233 958 0 0 25 0 1 0 26028693 916799488 223132 1992294400 134512640 135752675 4289559632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 223828 223132 146 303 0 223523 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 895312

[startup+1362.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28795
/proc/meminfo: memFree=912712/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=925168 CPUtime=1361.88
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 230738 0 0 0 135191 997 0 0 25 0 1 0 26028693 947372032 230612 1992294400 134512640 135752675 4289559632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 231292 230612 146 303 0 230987 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 925168

[startup+1422.31 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28797
/proc/meminfo: memFree=874520/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=963220 CPUtime=1421.87
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 240252 0 0 0 141148 1039 0 0 25 0 1 0 26028693 986337280 240126 1992294400 134512640 135752675 4289559632 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 240805 240126 146 303 0 240500 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 963220

[startup+1482.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28806
/proc/meminfo: memFree=839120/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=998228 CPUtime=1481.84
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 249001 0 0 0 147104 1080 0 0 25 0 1 0 26028693 1022185472 248875 1992294400 134512640 135752675 4289559632 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 249557 248875 146 303 0 249252 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 998228

[startup+1542.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28808
/proc/meminfo: memFree=807872/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=1029116 CPUtime=1541.82
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 256741 0 0 0 153069 1113 0 0 25 0 1 0 26028693 1053814784 256615 1992294400 134512640 135752675 4289559632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 257279 256615 146 303 0 256974 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1029116

[startup+1602.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28810
/proc/meminfo: memFree=777120/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=1060136 CPUtime=1601.8
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 264477 0 0 0 159034 1146 0 0 25 0 1 0 26028693 1085579264 264351 1992294400 134512640 135752675 4289559632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 265034 264351 146 303 0 264729 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1060136

[startup+1662.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28812
/proc/meminfo: memFree=744384/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=1092656 CPUtime=1661.78
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 272627 0 0 0 164990 1188 0 0 25 0 1 0 26028693 1118879744 272501 1992294400 134512640 135752675 4289559632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 273164 272501 146 303 0 272859 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1092656

[startup+1722.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28814
/proc/meminfo: memFree=709664/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=1127560 CPUtime=1721.77
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 281344 0 0 0 170948 1229 0 0 25 0 1 0 26028693 1154621440 281218 1992294400 134512640 135752675 4289559632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 281890 281218 146 303 0 281585 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1127560

[startup+1782.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28814
/proc/meminfo: memFree=671100/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=1166124 CPUtime=1781.75
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 290982 0 0 0 176903 1272 0 0 25 0 1 0 26028693 1194110976 290856 1992294400 134512640 135752675 4289559632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 291531 290856 146 303 0 291226 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1166124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28816
/proc/meminfo: memFree=655972/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=1181004 CPUtime=1800.07
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4202496 294657 0 0 0 178719 1288 0 0 25 0 1 0 26028693 1209348096 294531 1992294400 134512640 135752675 4289559632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 295251 294531 146 303 0 294946 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1181004

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 0.98 0.91 2/106 28816
/proc/meminfo: memFree=655972/2059040 swapFree=4139484/4192956
[pid=28758] ppid=28756 vsize=0 CPUtime=1800.17
/proc/28758/stat : 28758 (wbo1.4b) R 28756 28758 28390 0 -1 4203524 294657 0 0 0 178719 1298 0 0 25 0 1 0 26028693 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28758/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.17
CPU user time (s): 1787.19
CPU system time (s): 12.982
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1181004

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

runsolver used 3.2625 second user time and 8.22475 second system time

The end

Launcher Data 

Begin job on node081 at 2010-07-08 10:36:40
IDJOB=2702585
IDBENCH=48227
IDSOLVER=1190
FILE ID=node081/2702585-1278578200
PBS_JOBID= 11240067
Free space on /tmp= 121872 MiB

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

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

MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26
RANDOM SEED=1447664361

node081.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.242
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.48
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.242
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	: 5999.38
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1838660 kB
Buffers:         28612 kB
Cached:         107716 kB
SwapCached:       7052 kB
Active:          79144 kB
Inactive:        71012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1838660 kB
SwapTotal:     4192956 kB
SwapFree:      4139484 kB
Dirty:            2620 kB
Writeback:           0 kB
AnonPages:       11900 kB
Mapped:          12184 kB
Slab:            48392 kB
PageTables:       4104 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182120 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702585-1278578200.opb

Free space on /tmp at the end= 121868 MiB
End job on node081 at 2010-07-08 11:06:43