Trace number 2680479

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.06 1800.75

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir09_area_opers.opb
MD5SUM23ab85bb903b24d53f7c52c70411f8cf
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark23.1835
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 34
Optimality of the best value was proved YES
Number of variables25134
Total number of constraints59372
Number of constraints which are clauses59372
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 constraint254
Number of terms in the objective function 12324
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 12324
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 12324
Number of bits of the biggest sum of numbers14
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.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680479-1277460241.opb.
0.00/0.00	c Instance file HOME/instance-2680479-1277460241.opb
0.00/0.00	c File size is 1920451 bytes.
0.29/0.32	c Highest Coefficient sum: 255
0.29/0.32	c ============================[ Problem Statistics ]=============================
0.29/0.32	c |                                                                             |
0.29/0.32	c |  Parsing time:          0.32         s                                      |
0.29/0.32	c |  Number Variables:      25134                                               |
0.29/0.32	c |  Number Clauses:        59372                                               |
0.29/0.32	c |  Number Cardinality:    0                                                   |
0.29/0.32	c |  Number PB Constraints: 0                                                   |
0.59/0.61	c ============================[ Search Statistics ]==============================
0.59/0.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.61	c ===============================================================================
0.59/0.61	c |         0 |   24960    59543   152349 |    19790        0    nan |  0.000 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c New solution: 40
0.59/0.66	o 40
0.59/0.66	c Elapsed CPU time: 0.621905 s	Remaining CPU time: 179.378 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |         1 |   24960    59544   164673 |    19848        1     55 |  0.000 % |
1.19/1.24	c |       101 |   24960    59544   164673 |    21832      101    127 |  0.692 % |
1.69/1.76	c |       251 |   24960    59544   164673 |    24016      251     93 |  0.692 % |
2.29/2.37	c |       476 |   24960    59544   164673 |    26417      476     81 |  0.692 % |
3.69/3.71	c |       813 |   24960    59544   164673 |    29059      813     82 |  0.692 % |
9.58/9.69	c |      1320 |   24960    59544   164673 |    31965     1320     97 |  0.692 % |
11.79/11.89	c |      2079 |   24960    59544   164673 |    35161     2079     88 |  0.692 % |
16.38/16.41	c |      3219 |   24960    59544   164673 |    38678     3219     85 |  0.692 % |
23.87/23.97	c |      4927 |   24960    59544   164673 |    42545     4927     96 |  0.692 % |
34.17/34.25	c |      7489 |   24960    59544   164673 |    46800     7489    108 |  0.692 % |
46.27/46.36	c |     11333 |   24960    59544   164673 |    51480    11333    117 |  0.692 % |
79.55/79.66	c |     17099 |   24960    59544   164673 |    56628    17099    182 |  0.692 % |
121.14/121.21	c |     25748 |   24960    59544   164673 |    62291    25748    171 |  0.692 % |
174.22/174.30	c |     38722 |   24960    59544   164673 |    68520    38722    173 |  0.692 % |
180.62/180.73	c There are 174 assigned variables. 1 in cost function.
182.72/182.80	c core #1
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 241	Core Weight: 1	Total Weight: 2
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #2
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 509	Core Weight: 1	Total Weight: 3
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #3
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 127	Core Weight: 1	Total Weight: 4
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #4
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 125	Core Weight: 1	Total Weight: 5
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #5
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 29	Core Weight: 1	Total Weight: 6
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #6
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 7	Core Weight: 1	Total Weight: 7
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #7
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 127	Core Weight: 1	Total Weight: 8
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #8
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 63	Core Weight: 1	Total Weight: 9
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #9
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 63	Core Weight: 1	Total Weight: 10
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #10
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 126	Core Weight: 1	Total Weight: 11
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #11
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 15	Core Weight: 1	Total Weight: 12
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #12
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 63	Core Weight: 1	Total Weight: 13
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #13
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 63	Core Weight: 1	Total Weight: 14
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #14
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 31	Core Weight: 1	Total Weight: 15
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #15
182.72/182.80	c 
182.72/182.80	c 
182.72/182.80	c Core size: 29	Core Weight: 1	Total Weight: 16
182.72/182.80	c
182.72/182.80	c
182.72/182.80	c core #16
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 31	Core Weight: 1	Total Weight: 17
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c core #17
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 30	Core Weight: 1	Total Weight: 18
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c core #18
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 15	Core Weight: 1	Total Weight: 19
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c core #19
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 61	Core Weight: 1	Total Weight: 20
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c core #20
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 14	Core Weight: 1	Total Weight: 21
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c core #21
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 29	Core Weight: 1	Total Weight: 22
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c core #22
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 15	Core Weight: 1	Total Weight: 23
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c core #23
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 29	Core Weight: 1	Total Weight: 24
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c core #24
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 15	Core Weight: 1	Total Weight: 25
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c core #25
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 1556	Core Weight: 1	Total Weight: 26
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c core #26
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 14	Core Weight: 1	Total Weight: 27
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c core #27
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 12	Core Weight: 1	Total Weight: 28
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c core #28
182.72/182.81	c 
182.72/182.81	c 
182.72/182.81	c Core size: 7	Core Weight: 1	Total Weight: 29
182.72/182.81	c
182.72/182.81	c
182.72/182.81	c ============================[ Search Statistics ]==============================
182.72/182.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.72/182.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.72/182.81	c ===============================================================================
182.72/182.81	c |         0 |    3947    68755   101776 |    22918        0    nan |  0.000 % |
182.82/182.95	c ===============================================================================
182.92/183.03	c core #29
182.92/183.03	c 
182.92/183.03	c 
182.92/183.03	c Core size: 3370	Core Weight: 1	Total Weight: 30
182.92/183.03	c
182.92/183.03	c
182.92/183.03	c ============================[ Search Statistics ]==============================
182.92/183.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.92/183.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.92/183.03	c ===============================================================================
182.92/183.03	c |         0 |    8759    68756   115234 |    22918        0    nan |  0.000 % |
183.32/183.49	c ===============================================================================
183.42/183.58	c core #30
183.42/183.58	c 
183.42/183.58	c 
183.42/183.58	c Core size: 4635	Core Weight: 1	Total Weight: 31
183.42/183.58	c
183.42/183.58	c
183.42/183.58	c ============================[ Search Statistics ]==============================
183.42/183.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.42/183.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.42/183.58	c ===============================================================================
183.42/183.58	c |         0 |   13555    68757   125912 |    22919        0    nan |  0.000 % |
185.21/185.36	c |       106 |   13555    68757   125912 |    25210      106    599 | 55.517 % |
186.01/186.13	c |       256 |   13555    68757   125912 |    27731      256    601 | 55.517 % |
187.32/187.40	c |       481 |   13555    68757   125912 |    30505      481    477 | 55.517 % |
189.41/189.56	c |       819 |   13555    68757   125912 |    33555      819    375 | 55.517 % |
190.51/190.65	c ===============================================================================
190.61/190.76	c core #31
190.61/190.76	c 
190.61/190.76	c 
190.61/190.76	c Core size: 5926	Core Weight: 1	Total Weight: 32
190.61/190.76	c
190.61/190.76	c
190.61/190.76	c ============================[ Search Statistics ]==============================
190.61/190.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.61/190.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.61/190.76	c ===============================================================================
190.61/190.76	c |         0 |   18730    68758   137689 |    22919        0    nan |  0.000 % |
192.61/192.76	c |       103 |   18730    68758   137689 |    25211      103   1140 | 45.094 % |
193.42/193.50	c |       253 |   18730    68758   137689 |    27732      253    617 | 45.094 % |
194.22/194.31	c |       479 |   18730    68758   137689 |    30505      479    448 | 45.094 % |
196.51/196.64	c |       817 |   18730    68758   137689 |    33556      817    331 | 45.094 % |
199.21/199.37	c |      1323 |   18730    68758   137689 |    36911     1323    309 | 45.094 % |
202.41/202.56	c |      2083 |   18730    68758   137689 |    40602     2083    318 | 45.094 % |
205.61/205.73	c |      3222 |   18730    68758   137689 |    44663     3222    262 | 45.094 % |
211.71/211.88	c |      4930 |   18730    68758   137689 |    49129     4930    229 | 45.094 % |
234.60/234.71	c |      7493 |   18730    68758   137689 |    54042     7493    350 | 45.094 % |
273.98/274.15	c |     11337 |   18730    68758   137689 |    59446    11337    405 | 45.094 % |
330.87/331.01	c |     17103 |   18729    68758   137689 |    65391    17101    471 | 45.097 % |
442.51/442.72	c |     25757 |   18729    68758   137689 |    71930    25755    641 | 45.097 % |
598.66/598.99	c |     38731 |   18729    68758   137689 |    79123    38729    843 | 45.097 % |
793.79/794.20	c |     58192 |   18727    68758   137689 |    87036    58187    881 | 45.103 % |
966.82/967.25	c ===============================================================================
969.22/969.64	c core #32
969.22/969.64	c 
969.22/969.64	c 
969.22/969.64	c Core size: 18036	Core Weight: 1	Total Weight: 33
969.22/969.64	c
969.22/969.64	c
969.22/969.64	c ============================[ Search Statistics ]==============================
969.22/969.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
969.22/969.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
969.22/969.64	c ===============================================================================
969.22/969.64	c |         0 |   42894    68759   203407 |    22919        0    nan |  0.000 % |
971.61/972.09	c |       101 |   42894    68759   203407 |    25211      101   1701 |  4.466 % |
972.61/973.06	c |       252 |   42894    68759   203407 |    27732      252    779 |  4.466 % |
973.51/973.90	c |       477 |   42894    68759   203407 |    30506      477    518 |  4.466 % |
975.21/975.61	c |       814 |   42894    68759   203407 |    33556      814    376 |  4.466 % |
977.31/977.78	c |      1320 |   42894    68759   203407 |    36912     1320    457 |  4.466 % |
980.10/980.51	c |      2079 |   42894    68759   203407 |    40603     2079    419 |  4.466 % |
988.41/988.86	c |      3219 |   42894    68759   203407 |    44663     3219    507 |  4.466 % |
1000.80/1001.20	c |      4927 |   42894    68759   203407 |    49130     4927    497 |  4.466 % |
1019.59/1020.04	c |      7491 |   42894    68759   203407 |    54043     7491    505 |  4.466 % |
1064.97/1065.45	c |     11335 |   42894    68759   203407 |    59447    11335    549 |  4.466 % |
1152.54/1153.04	c |     17101 |   42894    68759   203407 |    65392    17101    558 |  4.466 % |
1235.01/1235.59	c |     25750 |   42894    68759   203407 |    71931    25750    713 |  4.466 % |
1382.95/1383.53	c |     38724 |   42894    68759   203407 |    79124    38724    944 |  4.466 % |
1672.65/1673.31	c |     58185 |   42894    68759   203407 |    87037    58185   1098 |  4.466 % |

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-2680479-1277460241/watcher-2680479-1277460241 -o /tmp/evaluation-result-2680479-1277460241/solver-2680479-1277460241 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680479-1277460241.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.98 0.97 3/106 28666
/proc/meminfo: memFree=1803292/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=5324 CPUtime=0
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 460 0 0 0 0 0 0 0 17 0 1 0 87316410 5451776 379 1992294400 134512640 135752675 4292533440 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 1331 379 135 303 0 557 0

[startup+0.059527 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 28666
/proc/meminfo: memFree=1803292/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=7944 CPUtime=0.05
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 1166 0 0 0 5 0 0 0 17 0 1 0 87316410 8134656 1085 1992294400 134512640 135752675 4292533440 18446744073709551615 134561890 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 1986 1085 211 303 0 1212 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7944

[startup+0.100534 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 28666
/proc/meminfo: memFree=1803292/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=9280 CPUtime=0.09
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 1517 0 0 0 9 0 0 0 17 0 1 0 87316410 9502720 1436 1992294400 134512640 135752675 4292533440 18446744073709551615 135221593 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 2320 1436 269 303 0 1546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.30057 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 28666
/proc/meminfo: memFree=1803292/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=11504 CPUtime=0.29
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 2342 0 0 0 29 0 0 0 17 0 1 0 87316410 11780096 2261 1992294400 134512640 135752675 4292533440 18446744073709551615 135380552 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 2876 2261 560 303 0 2102 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11504

[startup+0.700643 s]
/proc/loadavg: 0.99 0.98 0.97 3/106 28666
/proc/meminfo: memFree=1803292/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=15044 CPUtime=0.69
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 4270 0 0 0 65 4 0 0 17 0 1 0 87316410 15405056 3213 1992294400 134512640 135752675 4292533440 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 3761 3213 144 303 0 3456 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15044

[startup+1.50079 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28667
/proc/meminfo: memFree=1790264/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=15044 CPUtime=1.49
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 4271 0 0 0 145 4 0 0 18 0 1 0 87316410 15405056 3214 1992294400 134512640 135752675 4292533440 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 3761 3214 145 303 0 3456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15044

[startup+3.10108 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28667
/proc/meminfo: memFree=1790140/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=15044 CPUtime=3.09
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 4271 0 0 0 304 5 0 0 21 0 1 0 87316410 15405056 3214 1992294400 134512640 135752675 4292533440 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 3761 3214 145 303 0 3456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15044

[startup+6.30066 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28667
/proc/meminfo: memFree=1789892/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=15044 CPUtime=6.29
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 4271 0 0 0 622 7 0 0 25 0 1 0 87316410 15405056 3214 1992294400 134512640 135752675 4292533440 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 3761 3214 145 303 0 3456 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15044

[startup+12.7008 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28669
/proc/meminfo: memFree=1789892/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=15044 CPUtime=12.68
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 4271 0 0 0 1260 8 0 0 25 0 1 0 87316410 15405056 3214 1992294400 134512640 135752675 4292533440 18446744073709551615 134611489 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 3761 3214 145 303 0 3456 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15044

[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28669
/proc/meminfo: memFree=1789892/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=15044 CPUtime=25.48
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 4271 0 0 0 2537 11 0 0 25 0 1 0 87316410 15405056 3214 1992294400 134512640 135752675 4292533440 18446744073709551615 134605348 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 3761 3214 145 303 0 3456 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15044

[startup+51.1008 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28669
/proc/meminfo: memFree=1786668/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=18872 CPUtime=51.07
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 5224 0 0 0 5087 20 0 0 25 0 1 0 87316410 19324928 4167 1992294400 134512640 135752675 4292533440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 4718 4167 145 303 0 4413 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18872

[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28671
/proc/meminfo: memFree=1775136/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=30284 CPUtime=102.26
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 8080 0 0 0 10188 38 0 0 25 0 1 0 87316410 31010816 7023 1992294400 134512640 135752675 4292533440 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 7571 7023 145 303 0 7266 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 30284

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28673
/proc/meminfo: memFree=1765340/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=40140 CPUtime=162.22
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 10539 0 0 0 16166 56 0 0 25 0 1 0 87316410 41103360 9482 1992294400 134512640 135752675 4292533440 18446744073709551615 134638024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 10035 9482 145 303 0 9730 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 40140

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28673
/proc/meminfo: memFree=1756660/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=47920 CPUtime=222.2
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 13659 0 0 0 22146 74 0 0 25 0 1 0 87316410 49070080 11470 1992294400 134512640 135752675 4292533440 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 11980 11470 146 303 0 11675 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 47920

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28675
/proc/meminfo: memFree=1756660/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=47920 CPUtime=282.18
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 13661 0 0 0 28136 82 0 0 25 0 1 0 87316410 49070080 11472 1992294400 134512640 135752675 4292533440 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 11980 11472 146 303 0 11675 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 47920

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28677
/proc/meminfo: memFree=1746740/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=58456 CPUtime=342.15
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 16298 0 0 0 34121 94 0 0 25 0 1 0 87316410 59858944 14109 1992294400 134512640 135752675 4292533440 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 14614 14109 146 303 0 14309 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 58456

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28679
/proc/meminfo: memFree=1725660/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=79588 CPUtime=402.12
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 21551 0 0 0 40108 104 0 0 25 0 1 0 87316410 81498112 19362 1992294400 134512640 135752675 4292533440 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 19897 19362 146 303 0 19592 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 79588

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28681
/proc/meminfo: memFree=1705200/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=99832 CPUtime=462.1
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 26627 0 0 0 46096 114 0 0 25 0 1 0 87316410 102227968 24438 1992294400 134512640 135752675 4292533440 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 24958 24438 146 303 0 24653 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 99832

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28681
/proc/meminfo: memFree=1675688/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=129316 CPUtime=522.08
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 33996 0 0 0 52083 125 0 0 25 0 1 0 87316410 132419584 31807 1992294400 134512640 135752675 4292533440 18446744073709551615 134638143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 32329 31807 146 303 0 32024 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 129316

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28683
/proc/meminfo: memFree=1649524/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=155564 CPUtime=582.07
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 40556 0 0 0 58070 137 0 0 25 0 1 0 87316410 159297536 38367 1992294400 134512640 135752675 4292533440 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 38891 38367 146 303 0 38586 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 155564

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28685
/proc/meminfo: memFree=1623608/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=181032 CPUtime=642.05
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 46907 0 0 0 64055 150 0 0 25 0 1 0 87316410 185376768 44718 1992294400 134512640 135752675 4292533440 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 45258 44718 146 303 0 44953 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 181032

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28691
/proc/meminfo: memFree=1534080/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=270284 CPUtime=881.95
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 69205 0 0 0 87995 200 0 0 25 0 1 0 87316410 276770816 67016 1992294400 134512640 135752675 4292533440 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 67571 67016 146 303 0 67266 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 270284

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28693
/proc/meminfo: memFree=1515976/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=288512 CPUtime=941.92
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 73744 0 0 0 93984 208 0 0 25 0 1 0 87316410 295436288 71555 1992294400 134512640 135752675 4292533440 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 72128 71555 146 303 0 71823 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 288512

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28695
/proc/meminfo: memFree=1493160/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311484 CPUtime=1001.9
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79510 0 0 0 99967 223 0 0 25 0 1 0 87316410 318959616 77186 1992294400 134512640 135752675 4292533440 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77871 77186 146 303 0 77566 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 311484

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28697
/proc/meminfo: memFree=1493160/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311484 CPUtime=1061.87
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79511 0 0 0 105955 232 0 0 25 0 1 0 87316410 318959616 77187 1992294400 134512640 135752675 4292533440 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77871 77187 146 303 0 77566 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 311484

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28697
/proc/meminfo: memFree=1493160/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311484 CPUtime=1121.85
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79511 0 0 0 111946 239 0 0 25 0 1 0 87316410 318959616 77187 1992294400 134512640 135752675 4292533440 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77871 77187 146 303 0 77566 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 311484

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28699
/proc/meminfo: memFree=1493160/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311484 CPUtime=1181.83
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79511 0 0 0 117937 246 0 0 25 0 1 0 87316410 318959616 77187 1992294400 134512640 135752675 4292533440 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77871 77187 146 303 0 77566 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 311484

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28701
/proc/meminfo: memFree=1493036/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311484 CPUtime=1241.81
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79517 0 0 0 123928 253 0 0 25 0 1 0 87316410 318959616 77193 1992294400 134512640 135752675 4292533440 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77871 77193 146 303 0 77566 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 311484

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28703
/proc/meminfo: memFree=1492788/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311484 CPUtime=1301.79
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79520 0 0 0 129919 260 0 0 25 0 1 0 87316410 318959616 77196 1992294400 134512640 135752675 4292533440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77871 77196 146 303 0 77566 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 311484

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28705
/proc/meminfo: memFree=1492788/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311484 CPUtime=1361.76
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79520 0 0 0 135910 266 0 0 25 0 1 0 87316410 318959616 77196 1992294400 134512640 135752675 4292533440 18446744073709551615 134605352 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77871 77196 146 303 0 77566 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 311484

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28705
/proc/meminfo: memFree=1492788/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311484 CPUtime=1421.75
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79528 0 0 0 141901 274 0 0 25 0 1 0 87316410 318959616 77204 1992294400 134512640 135752675 4292533440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77871 77204 146 303 0 77566 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 311484

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28707
/proc/meminfo: memFree=1492664/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311484 CPUtime=1481.72
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79536 0 0 0 147892 280 0 0 25 0 1 0 87316410 318959616 77212 1992294400 134512640 135752675 4292533440 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77871 77212 146 303 0 77566 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 311484

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28709
/proc/meminfo: memFree=1492664/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311484 CPUtime=1541.69
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79537 0 0 0 153885 284 0 0 25 0 1 0 87316410 318959616 77213 1992294400 134512640 135752675 4292533440 18446744073709551615 134611933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77871 77213 146 303 0 77566 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 311484

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28711
/proc/meminfo: memFree=1492664/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311484 CPUtime=1601.67
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79537 0 0 0 159878 289 0 0 25 0 1 0 87316410 318959616 77213 1992294400 134512640 135752675 4292533440 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77871 77213 146 303 0 77566 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 311484

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28713
/proc/meminfo: memFree=1492664/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311484 CPUtime=1661.65
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79537 0 0 0 165872 293 0 0 25 0 1 0 87316410 318959616 77213 1992294400 134512640 135752675 4292533440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77871 77213 146 303 0 77566 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 311484

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28716
/proc/meminfo: memFree=1492168/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=311756 CPUtime=1721.62
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 79624 0 0 0 171862 300 0 0 25 0 1 0 87316410 319238144 77300 1992294400 134512640 135752675 4292533440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 77939 77300 146 303 0 77634 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 311756

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 28718
/proc/meminfo: memFree=1458564/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=345300 CPUtime=1781.6
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 88002 0 0 0 177850 310 0 0 25 0 1 0 87316410 353587200 85678 1992294400 134512640 135752675 4292533440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 86325 85678 146 303 0 86020 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 345300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.06 1.00 0.98 2/107 28718
/proc/meminfo: memFree=1449264/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=354260 CPUtime=1800.01
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 90261 0 0 0 179687 314 0 0 25 0 1 0 87316410 362762240 87937 1992294400 134512640 135752675 4292533440 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 88565 87937 146 303 0 88260 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 354260

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

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

[startup+1800.71 s]
/proc/loadavg: 1.06 1.00 0.98 2/107 28718
/proc/meminfo: memFree=1449264/2059040 swapFree=4140856/4192956
[pid=28666] ppid=28664 vsize=354260 CPUtime=1800.01
/proc/28666/stat : 28666 (wbo1.4b) R 28664 28666 28024 0 -1 4202496 90261 0 0 0 179687 314 0 0 25 0 1 0 87316410 362762240 87937 1992294400 134512640 135752675 4292533440 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28666/statm: 88565 87937 146 303 0 88260 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 354260

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.75
CPU time (s): 1800.06
CPU user time (s): 1796.88
CPU system time (s): 3.17952
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 354260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.88
system time used= 3.17952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90261
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= 2627

runsolver used 2.93755 second user time and 8.5477 second system time

The end

Launcher Data 

Begin job on node044 at 2010-06-25 12:04:01
IDJOB=2680479
IDBENCH=25041
IDSOLVER=1190
FILE ID=node044/2680479-1277460241
PBS_JOBID= 11188123
Free space on /tmp= 62276 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir09_area_opers.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680479-1277460241/watcher-2680479-1277460241 -o /tmp/evaluation-result-2680479-1277460241/solver-2680479-1277460241 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680479-1277460241.opb

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

MD5SUM BENCH= 23ab85bb903b24d53f7c52c70411f8cf
RANDOM SEED=1157272844

node044.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.266
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.53
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.266
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:       1803696 kB
Buffers:         17252 kB
Cached:         140800 kB
SwapCached:       5300 kB
Active:          66088 kB
Inactive:       105320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1803696 kB
SwapTotal:     4192956 kB
SwapFree:      4140856 kB
Dirty:            4528 kB
Writeback:           0 kB
AnonPages:       12028 kB
Mapped:          11960 kB
Slab:            61932 kB
PageTables:       4136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181368 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62272 MiB
End job on node044 at 2010-06-25 12:34:04