Trace number 2680458

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.16 1800.71

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_10.opb
MD5SUM904168892843efef74e3394360b8d762
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark1800.6
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved NO
Number of variables40363
Total number of constraints154319
Number of constraints which are clauses154296
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint1
Maximum length of a constraint1952
Number of terms in the objective function 1952
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 1952
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1988
Number of bits of the biggest sum of numbers11
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-2680458-1277460107.opb.
0.00/0.00	c Instance file HOME/instance-2680458-1277460107.opb
0.00/0.00	c File size is 4721108 bytes.
0.69/0.73	c Highest Coefficient sum: 1988
0.69/0.73	c ============================[ Problem Statistics ]=============================
0.69/0.73	c |                                                                             |
0.69/0.73	c |  Parsing time:          0.71         s                                      |
0.69/0.73	c |  Number Variables:      40363                                               |
0.69/0.73	c |  Number Clauses:        154296                                              |
0.69/0.73	c |  Number Cardinality:    1                                                   |
0.69/0.73	c |  Number PB Constraints: 22                                                  |
63.57/63.67	c ============================[ Search Statistics ]==============================
63.57/63.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
63.57/63.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
63.57/63.67	c ===============================================================================
63.57/63.67	c |         0 |   39632   155045   388995 |    51439        0    nan |  0.000 % |
63.68/63.75	c ===============================================================================
63.68/63.75	c New solution: 33
63.68/63.75	o 33
63.68/63.75	c Elapsed CPU time: 63.5873 s	Remaining CPU time: 116.413 s
63.68/63.75	c ===============================================================================
63.68/63.75	c |        19 |   39632   155046   390947 |    51682       19    693 |  0.000 % |
63.78/63.82	c ===============================================================================
63.78/63.82	c New solution: 32
63.78/63.82	o 32
63.78/63.82	c Elapsed CPU time: 63.6533 s	Remaining CPU time: 116.347 s
63.78/63.82	c ===============================================================================
63.78/63.82	c |        23 |   39632   155047   392899 |    51682       23    576 |  0.000 % |
64.07/64.16	c |       127 |   39632   155047   392899 |    56850      127    146 |  1.811 % |
64.28/64.31	c |       277 |   39632   155047   392899 |    62535      277    105 |  1.811 % |
64.97/65.03	c |       503 |   39632   155047   392899 |    68789      503    201 |  1.811 % |
65.27/65.38	c |       840 |   39632   155047   392899 |    75668      840    567 |  1.811 % |
65.97/66.09	c |      1348 |   39632   155047   392899 |    83234     1348    753 |  1.811 % |
67.48/67.50	c |      2108 |   39632   155047   392899 |    91558     2108    638 |  1.811 % |
69.17/69.22	c |      3247 |   39632   155047   392899 |   100714     3247   1608 |  1.811 % |
70.97/71.02	c |      4958 |   39632   155047   392899 |   110785     4958   1477 |  1.811 % |
72.58/72.63	c |      7521 |   39632   155047   392899 |   121864     7521   1131 |  1.811 % |
81.17/81.26	c |     11369 |   39632   155047   392899 |   134050    11369   2248 |  1.811 % |
85.26/85.38	c |     17135 |   39632   155047   392899 |   147455    17135   1685 |  1.811 % |
100.66/100.77	c |     25787 |   39632   155047   392899 |   162201    25787   2593 |  1.811 % |
126.36/126.46	c |     38762 |   39632   155047   392899 |   178421    38762   2525 |  1.811 % |
140.35/140.49	c |     58223 |   39632   155047   392899 |   196263    58223   1904 |  1.811 % |
181.14/181.27	c There are 731 assigned variables. 5 in cost function.
182.34/182.41	c core #1
182.34/182.41	c 
182.34/182.41	c 
182.34/182.41	c Core size: 344	Core Weight: 1	Total Weight: 6
182.34/182.41	c
182.34/182.41	c
182.34/182.41	c core #2
182.34/182.41	c 
182.34/182.41	c 
182.34/182.41	c Core size: 1483	Core Weight: 1	Total Weight: 7
182.34/182.41	c
182.34/182.41	c
182.34/182.41	c core #3
182.34/182.41	c 
182.34/182.41	c 
182.34/182.41	c Core size: 83	Core Weight: 1	Total Weight: 8
182.34/182.41	c
182.34/182.41	c
182.34/182.41	c core #4
182.34/182.41	c 
182.34/182.41	c 
182.34/182.41	c Core size: 358	Core Weight: 1	Total Weight: 9
182.34/182.41	c
182.34/182.41	c
182.34/182.41	c core #5
182.34/182.41	c 
182.34/182.41	c 
182.34/182.41	c Core size: 737	Core Weight: 1	Total Weight: 10
182.34/182.41	c
182.34/182.41	c
182.34/182.41	c ============================[ Search Statistics ]==============================
182.34/182.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.34/182.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.34/182.41	c ===============================================================================
182.34/182.41	c |         0 |   29939   156933   389551 |    52311        0    nan |  0.000 % |
182.44/182.52	c ===============================================================================
182.64/182.71	c core #6
182.64/182.71	c 
182.64/182.71	c 
182.64/182.71	c Core size: 742	Core Weight: 1	Total Weight: 11
182.64/182.71	c
182.64/182.71	c
182.64/182.71	c ============================[ Search Statistics ]==============================
182.64/182.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.71	c ===============================================================================
182.64/182.71	c |         0 |   30983   156934   390859 |    52311        0    nan |  0.000 % |
183.04/183.13	c |       100 |   30390   156934   390859 |    57542       81    384 | 26.914 % |
183.55/183.69	c |       250 |   30263   156934   390859 |    63296       70    902 | 27.232 % |
184.14/184.22	c ===============================================================================
184.24/184.39	c core #7
184.24/184.39	c 
184.24/184.39	c 
184.24/184.39	c Core size: 4586	Core Weight: 1	Total Weight: 12
184.24/184.39	c
184.24/184.39	c
184.24/184.39	c ============================[ Search Statistics ]==============================
184.24/184.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.24/184.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.24/184.39	c ===============================================================================
184.24/184.39	c |         0 |   38912   156935   396589 |    52311        0    nan |  0.000 % |
184.44/184.56	c |       100 |   38878   156935   396589 |    57542      100    109 |  9.277 % |
184.53/184.67	c ===============================================================================
184.75/184.85	c core #8
184.75/184.85	c 
184.75/184.85	c 
184.75/184.85	c Core size: 944	Core Weight: 1	Total Weight: 13
184.75/184.85	c
184.75/184.85	c
184.75/184.85	c ============================[ Search Statistics ]==============================
184.75/184.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.75/184.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.75/184.85	c ===============================================================================
184.75/184.85	c |         0 |   40015   156936   397973 |    52312        0    nan |  0.000 % |
185.24/185.35	c |       100 |   40015   156936   397973 |    57543      100    451 |  6.448 % |
186.13/186.21	c |       250 |   40015   156936   397973 |    63297      250    563 |  6.448 % |
187.23/187.36	c |       475 |   40015   156936   397973 |    69627      475    427 |  6.448 % |
189.34/189.46	c |       817 |   40015   156936   397973 |    76589      817    649 |  6.448 % |
192.64/192.72	c |      1323 |   40015   156936   397973 |    84248     1323    572 |  6.448 % |
197.04/197.19	c |      2082 |   39976   156936   397973 |    92673     2073    567 |  6.539 % |
198.94/199.05	c |      3227 |   39949   156936   397973 |   101941     3200    445 |  6.602 % |
200.43/200.52	c |      4935 |   39922   156936   397973 |   112135     4856    392 |  6.668 % |
201.93/202.00	c ===============================================================================
202.13/202.20	c core #9
202.13/202.20	c 
202.13/202.20	c 
202.13/202.20	c Core size: 344	Core Weight: 1	Total Weight: 14
202.13/202.20	c
202.13/202.20	c
202.13/202.20	c ============================[ Search Statistics ]==============================
202.13/202.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.13/202.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.13/202.20	c ===============================================================================
202.13/202.20	c |         0 |   40258   156937   398459 |    52312        0    nan |  0.000 % |
202.24/202.36	c |       100 |   40258   156937   398459 |    57543      100     64 |  6.412 % |
202.34/202.46	c |       250 |   40258   156937   398459 |    63297      250     78 |  6.412 % |
202.43/202.57	c |       477 |   40258   156937   398459 |    69627      477     91 |  6.412 % |
202.54/202.67	c |       815 |   40258   156937   398459 |    76590      815    130 |  6.412 % |
202.73/202.81	c |      1321 |   40258   156937   398459 |    84249     1321    214 |  6.412 % |
203.44/203.55	c |      2081 |   40258   156937   398459 |    92674     2081    258 |  6.412 % |
204.63/204.77	c |      3221 |   40258   156937   398459 |   101941     3221    291 |  6.412 % |
206.64/206.80	c |      4930 |   40258   156937   398459 |   112136     4930    305 |  6.412 % |
210.53/210.69	c |      7494 |   40258   156937   398459 |   123349     7494    395 |  6.412 % |
216.23/216.34	c |     11339 |   40258   156937   398459 |   135684    11339    413 |  6.412 % |
225.62/225.73	c |     17105 |   40258   156937   398459 |   149253    17105    430 |  6.412 % |
247.02/247.10	c |     25757 |   40258   156937   398459 |   164178    25757    503 |  6.412 % |
292.11/292.23	c |     38731 |   40258   156937   398459 |   180596    38731    634 |  6.412 % |
386.68/386.88	c |     58194 |   40258   156937   398459 |   198655    58194    722 |  6.412 % |
579.43/579.67	c |     87386 |   40258   156937   398459 |   218521    87386    743 |  6.412 % |
856.13/856.42	c |    131175 |   40258   156937   398459 |   240373   131175    764 |  6.412 % |
940.11/940.49	c ===============================================================================
946.50/946.87	c core #10
946.50/946.87	c 
946.50/946.87	c 
946.50/946.87	c Core size: 404	Core Weight: 1	Total Weight: 15
946.50/946.87	c
946.50/946.87	c
946.50/946.87	c ============================[ Search Statistics ]==============================
946.50/946.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
946.50/946.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
946.50/946.87	c ===============================================================================
946.50/946.87	c |         0 |   40501   156938   398945 |    52312        0    nan |  0.000 % |
947.00/947.35	c |       100 |   40501   156938   398945 |    57543      100    166 |  6.376 % |
947.70/948.00	c |       250 |   40501   156938   398945 |    63298      250    100 |  6.376 % |
948.50/948.83	c |       475 |   40501   156938   398945 |    69628      475    142 |  6.376 % |
949.60/949.96	c |       817 |   40501   156938   398945 |    76590      817    337 |  6.376 % |
953.00/953.37	c |      1323 |   40501   156938   398945 |    84250     1323    441 |  6.376 % |
955.70/956.04	c |      2082 |   40501   156938   398945 |    92675     2082    399 |  6.376 % |
961.10/961.47	c |      3223 |   40499   156938   398945 |   101942     3222    354 |  6.380 % |
967.89/968.29	c |      4933 |   40499   156938   398945 |   112136     4931    394 |  6.380 % |
980.09/980.48	c |      7495 |   40478   156938   398945 |   123350     7491    555 |  6.443 % |
1001.98/1002.37	c |     11339 |   40478   156938   398945 |   135685    11335    687 |  6.443 % |
1049.57/1049.98	c |     17106 |   40472   156938   398945 |   149254    17084   1000 |  6.443 % |
1164.14/1164.52	c |     25755 |   40462   156938   398945 |   164179    25732   1666 |  6.477 % |
1321.38/1321.88	c |     38732 |   40462   156938   398945 |   180597    38709   2077 |  6.477 % |
1331.09/1331.54	c ===============================================================================
1333.09/1333.56	c core #11
1333.09/1333.56	c 
1333.09/1333.56	c 
1333.09/1333.56	c Core size: 2364	Core Weight: 1	Total Weight: 16
1333.09/1333.56	c
1333.09/1333.56	c
1333.09/1333.56	c ============================[ Search Statistics ]==============================
1333.09/1333.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1333.09/1333.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1333.09/1333.56	c ===============================================================================
1333.09/1333.56	c |         0 |   43906   156940   403337 |    52313        0    nan |  0.000 % |
1333.89/1334.35	c |       100 |   43906   156940   403337 |    57544      100    302 |  1.638 % |
1334.48/1334.96	c |       250 |   43906   156940   403337 |    63299      250    200 |  1.638 % |
1334.89/1335.38	c |       476 |   43906   156940   403337 |    69629      476    149 |  1.638 % |
1335.38/1335.81	c |       813 |   43906   156940   403337 |    76591      813    308 |  1.638 % |
1335.99/1336.45	c |      1319 |   43906   156940   403337 |    84251     1319    327 |  1.638 % |
1336.68/1337.17	c |      2078 |   43906   156940   403337 |    92676     2078    469 |  1.638 % |
1338.19/1338.68	c |      3219 |   43906   156940   403337 |   101943     3219    912 |  1.638 % |
1345.89/1346.31	c |      4928 |   43906   156940   403337 |   112138     4928    990 |  1.638 % |
1351.27/1351.74	c |      7490 |   43906   156940   403337 |   123352     7490   1014 |  1.638 % |
1366.58/1367.08	c |     11334 |   43906   156940   403337 |   135687    11334   2097 |  1.638 % |
1394.46/1394.90	c |     17100 |   43906   156940   403337 |   149256    17100   2290 |  1.638 % |
1433.46/1433.93	c |     25750 |   43906   156940   403337 |   164181    25750   1973 |  1.638 % |
1496.13/1496.68	c |     38724 |   43906   156940   403337 |   180599    38724   2350 |  1.638 % |
1658.88/1659.49	c |     58187 |   43906   156940   403337 |   198659    58187   2117 |  1.638 % |

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-2680458-1277460107/watcher-2680458-1277460107 -o /tmp/evaluation-result-2680458-1277460107/solver-2680458-1277460107 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680458-1277460107.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.99 3/105 28654
/proc/meminfo: memFree=1842556/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=7676 CPUtime=0
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 405 0 0 0 0 0 0 0 22 0 1 0 87304603 7860224 323 1992294400 134512640 135752675 4287046688 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 1919 323 141 303 0 461 0

[startup+0.0546071 s]
/proc/loadavg: 0.99 0.97 0.99 3/105 28654
/proc/meminfo: memFree=1842556/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=8712 CPUtime=0.05
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 718 0 0 0 5 0 0 0 24 0 1 0 87304603 8921088 636 1992294400 134512640 135752675 4287046688 18446744073709551615 134573766 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 2178 636 214 303 0 720 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 8712

[startup+0.101611 s]
/proc/loadavg: 0.99 0.97 0.99 3/105 28654
/proc/meminfo: memFree=1842556/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=9908 CPUtime=0.09
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 1019 0 0 0 9 0 0 0 24 0 1 0 87304603 10145792 937 1992294400 134512640 135752675 4287046688 18446744073709551615 134573784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 2477 937 290 303 0 1019 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9908

[startup+0.301633 s]
/proc/loadavg: 0.99 0.97 0.99 3/105 28654
/proc/meminfo: memFree=1842556/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=13428 CPUtime=0.29
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 2217 0 0 0 28 1 0 0 25 0 1 0 87304603 13750272 2135 1992294400 134512640 135752675 4287046688 18446744073709551615 135225924 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 3357 2135 613 303 0 1899 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13428

[startup+0.701679 s]
/proc/loadavg: 0.99 0.97 0.99 3/105 28654
/proc/meminfo: memFree=1842556/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=20352 CPUtime=0.69
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 4520 0 0 0 67 2 0 0 25 0 1 0 87304603 20840448 4405 1992294400 134512640 135752675 4287046688 18446744073709551615 135380421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 5088 4405 1238 303 0 3630 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20352

[startup+1.50177 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 28655
/proc/meminfo: memFree=1815020/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=31196 CPUtime=1.49
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 8537 0 0 0 145 4 0 0 18 0 1 0 87304603 31944704 7035 1992294400 134512640 135752675 4287046688 18446744073709551615 134580116 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 7799 7035 142 303 0 7494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31196

[startup+3.10095 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 28655
/proc/meminfo: memFree=1814524/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=31724 CPUtime=3.09
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 8643 0 0 0 305 4 0 0 21 0 1 0 87304603 32485376 7141 1992294400 134512640 135752675 4287046688 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 7931 7141 142 303 0 7626 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31724

[startup+6.30131 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 28655
/proc/meminfo: memFree=1813284/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=32384 CPUtime=6.29
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 8837 0 0 0 625 4 0 0 25 0 1 0 87304603 33161216 7335 1992294400 134512640 135752675 4287046688 18446744073709551615 135221593 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 8096 7335 142 303 0 7791 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32384

[startup+12.701 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 28655
/proc/meminfo: memFree=1809192/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=36872 CPUtime=12.69
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 9934 0 0 0 1264 5 0 0 25 0 1 0 87304603 37756928 8432 1992294400 134512640 135752675 4287046688 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 9218 8432 142 303 0 8913 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36872

[startup+25.5015 s]
/proc/loadavg: 1.07 0.99 0.99 2/106 28655
/proc/meminfo: memFree=1804108/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=41492 CPUtime=25.48
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 11111 0 0 0 2542 6 0 0 25 0 1 0 87304603 42487808 9609 1992294400 134512640 135752675 4287046688 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 10373 9609 142 303 0 10068 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41492

[startup+51.1014 s]
/proc/loadavg: 1.04 0.99 0.99 2/106 28657
/proc/meminfo: memFree=1793692/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=52184 CPUtime=51.08
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 13765 0 0 0 5098 10 0 0 25 0 1 0 87304603 53436416 12263 1992294400 134512640 135752675 4287046688 18446744073709551615 134524578 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 13046 12263 142 303 0 12741 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 52184

[startup+102.308 s]
/proc/loadavg: 1.06 1.00 1.00 2/106 28659
/proc/meminfo: memFree=1551024/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=294600 CPUtime=102.27
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 75143 0 0 0 10175 52 0 0 25 0 1 0 87304603 301670400 72892 1992294400 134512640 135752675 4287046688 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 73650 72892 145 303 0 73345 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 294600

[startup+162.301 s]
/proc/loadavg: 1.07 1.01 1.00 2/106 28659
/proc/meminfo: memFree=1232592/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=617460 CPUtime=162.24
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 155866 0 0 0 16119 105 0 0 25 0 1 0 87304603 632279040 153615 1992294400 134512640 135752675 4287046688 18446744073709551615 134639477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 154365 153615 145 303 0 154060 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 617460

[startup+222.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/106 28661
/proc/meminfo: memFree=1051800/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=222.23
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201168 0 0 0 22067 156 0 0 25 0 1 0 87304603 809840640 197113 1992294400 134512640 135752675 4287046688 18446744073709551615 134642701 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197113 146 303 0 197410 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 790860

[startup+282.302 s]
/proc/loadavg: 1.11 1.05 1.01 2/106 28663
/proc/meminfo: memFree=1051800/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=282.21
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 28049 172 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 790860

[startup+342.301 s]
/proc/loadavg: 1.12 1.06 1.01 2/106 28665
/proc/meminfo: memFree=1051800/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=342.18
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 34037 181 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 790860

[startup+402.301 s]
/proc/loadavg: 1.20 1.10 1.02 2/106 28665
/proc/meminfo: memFree=1051676/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=402.17
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 40027 190 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 790860

[startup+462.301 s]
/proc/loadavg: 1.20 1.11 1.03 2/106 28667
/proc/meminfo: memFree=1051676/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=462.15
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 46018 197 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 790860

[startup+522.302 s]
/proc/loadavg: 1.12 1.10 1.03 2/106 28669
/proc/meminfo: memFree=1051676/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=522.13
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 52007 206 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 790860

[startup+582.302 s]
/proc/loadavg: 1.04 1.08 1.02 2/106 28671
/proc/meminfo: memFree=1051676/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=582.11
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 57995 216 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 790860

[startup+642.301 s]
/proc/loadavg: 1.01 1.06 1.01 2/106 28673
/proc/meminfo: memFree=1051552/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=642.11
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 63987 224 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134639513 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 790860

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 28677
/proc/meminfo: memFree=1051428/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=822.04
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 81954 250 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134611609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 790860

[startup+882.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 28679
/proc/meminfo: memFree=1051428/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=882.02
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 87946 256 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 790860

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 28681
/proc/meminfo: memFree=1051304/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=942
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 93936 264 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134516340 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 790860

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 28681
/proc/meminfo: memFree=1051180/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=1001.98
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 99835 363 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 790860

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28683
/proc/meminfo: memFree=1051304/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=1061.96
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 105787 409 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 790860

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28685
/proc/meminfo: memFree=1051180/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=1121.94
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 111756 438 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 790860

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28687
/proc/meminfo: memFree=1051056/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=1181.93
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 117738 455 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 790860

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28689
/proc/meminfo: memFree=1050808/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=1241.91
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 123717 474 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134616061 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 790860

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28691
/proc/meminfo: memFree=1050808/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=1301.89
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 129706 483 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 790860

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28691
/proc/meminfo: memFree=1050808/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=1361.87
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 135678 509 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 790860

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28693
/proc/meminfo: memFree=1050808/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=1421.86
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 141661 525 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 790860

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28695
/proc/meminfo: memFree=1050684/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=1481.84
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 147646 538 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 790860

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28697
/proc/meminfo: memFree=1050808/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=790860 CPUtime=1541.82
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 201169 0 0 0 153631 551 0 0 25 0 1 0 87304603 809840640 197114 1992294400 134512640 135752675 4287046688 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 197715 197114 146 303 0 197410 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 790860

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28697
/proc/meminfo: memFree=1011872/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=831036 CPUtime=1601.8
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 211222 0 0 0 159610 570 0 0 25 0 1 0 87304603 850980864 207167 1992294400 134512640 135752675 4287046688 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 207759 207167 146 303 0 207454 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 831036

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28699
/proc/meminfo: memFree=962024/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=879988 CPUtime=1661.79
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 223445 0 0 0 165595 584 0 0 25 0 1 0 87304603 901107712 219390 1992294400 134512640 135752675 4287046688 18446744073709551615 134611942 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 219997 219390 146 303 0 219692 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 879988

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28701
/proc/meminfo: memFree=924328/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=917692 CPUtime=1721.77
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 232860 0 0 0 171556 621 0 0 25 0 1 0 87304603 939716608 228805 1992294400 134512640 135752675 4287046688 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 229423 228805 146 303 0 229118 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 917692

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28703
/proc/meminfo: memFree=859352/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=983460 CPUtime=1781.75
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 249313 0 0 0 177529 646 0 0 25 0 1 0 87304603 1007063040 245258 1992294400 134512640 135752675 4287046688 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 245865 245258 146 303 0 245560 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 983460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28705
/proc/meminfo: memFree=828848/2059040 swapFree=4140316/4192956
[pid=28654] ppid=28652 vsize=1012240 CPUtime=1800.06
/proc/28654/stat : 28654 (wbo1.4b) R 28652 28654 28151 0 -1 4202496 256498 0 0 0 179350 656 0 0 25 0 1 0 87304603 1036533760 252443 1992294400 134512640 135752675 4287046688 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28654/statm: 253060 252443 146 303 0 252755 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1012240

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.71
CPU time (s): 1800.16
CPU user time (s): 1793.5
CPU system time (s): 6.65899
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 1012240

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

runsolver used 2.84557 second user time and 8.64169 second system time

The end

Launcher Data 

Begin job on node085 at 2010-06-25 12:01:48
IDJOB=2680458
IDBENCH=25020
IDSOLVER=1190
FILE ID=node085/2680458-1277460107
PBS_JOBID= 11188105
Free space on /tmp= 121672 MiB

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

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

MD5SUM BENCH= 904168892843efef74e3394360b8d762
RANDOM SEED=1608295385

node085.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.221
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.44
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.221
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.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1842960 kB
Buffers:         19236 kB
Cached:         108640 kB
SwapCached:       5344 kB
Active:          75416 kB
Inactive:        65736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1842960 kB
SwapTotal:     4192956 kB
SwapFree:      4140316 kB
Dirty:            7196 kB
Writeback:           0 kB
AnonPages:       11880 kB
Mapped:          12024 kB
Slab:            52964 kB
PageTables:       4128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181904 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= 121668 MiB
End job on node085 at 2010-06-25 12:31:50