Trace number 3460730

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.6? (TO) 1800.1 1800.06

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir08_area_opers.opb
MD5SUM47194cf421cbddfd6c2831e71c8b2458
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark48
Best CPU time to get the best result obtained on this benchmark1407.51
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 53
Optimality of the best value was proved NO
Number of variables203287
Total number of constraints469077
Number of constraints which are clauses469077
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 constraint1023
Number of terms in the objective function 101248
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 101248
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 101248
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460730-1307109075.opb.
0.00/0.00	c Instance file HOME/instance-3460730-1307109075.opb
0.00/0.00	c File size is 16282720 bytes.
1.19/1.22	c Highest Coefficient sum: 1024
1.19/1.22	c ============================[ Problem Statistics ]=============================
1.19/1.22	c |                                                                             |
1.19/1.22	c |  Parsing time:          1.20         s                                      |
1.19/1.22	c |  Number Variables:      203287                                              |
1.19/1.22	c |  Number Clauses:        469077                                              |
1.19/1.22	c |  Number Cardinality:    0                                                   |
1.19/1.22	c |  Number PB Constraints: 0                                                   |
1.49/1.53	c ============================[ Search Statistics ]==============================
1.49/1.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.53	c ===============================================================================
1.49/1.53	c |         0 |  203284   469077  1205825 |   156359        0   -nan |  0.000 % |
94.39/94.48	c core #1
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 123	Core Weight: 1	Total Weight: 4
94.39/94.48	c Current CPU time: 1.68674 s
94.39/94.48	c
94.39/94.48	c core #2
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 129	Core Weight: 1	Total Weight: 5
94.39/94.48	c Current CPU time: 1.87971 s
94.39/94.48	c
94.39/94.48	c core #3
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 2047	Core Weight: 1	Total Weight: 6
94.39/94.48	c Current CPU time: 2.10068 s
94.39/94.48	c
94.39/94.48	c core #4
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 63	Core Weight: 1	Total Weight: 7
94.39/94.48	c Current CPU time: 2.32565 s
94.39/94.48	c
94.39/94.48	c core #5
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 511	Core Weight: 1	Total Weight: 8
94.39/94.48	c Current CPU time: 2.54961 s
94.39/94.48	c
94.39/94.48	c core #6
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 1022	Core Weight: 1	Total Weight: 9
94.39/94.48	c Current CPU time: 2.78158 s
94.39/94.48	c
94.39/94.48	c core #7
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 63	Core Weight: 1	Total Weight: 10
94.39/94.48	c Current CPU time: 3.01754 s
94.39/94.48	c
94.39/94.48	c core #8
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 127	Core Weight: 1	Total Weight: 11
94.39/94.48	c Current CPU time: 3.2515 s
94.39/94.48	c
94.39/94.48	c core #9
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 63	Core Weight: 1	Total Weight: 12
94.39/94.48	c Current CPU time: 3.49047 s
94.39/94.48	c
94.39/94.48	c core #10
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 62	Core Weight: 1	Total Weight: 13
94.39/94.48	c Current CPU time: 3.73643 s
94.39/94.48	c
94.39/94.48	c core #11
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 126	Core Weight: 1	Total Weight: 14
94.39/94.48	c Current CPU time: 3.98139 s
94.39/94.48	c
94.39/94.48	c core #12
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 253	Core Weight: 1	Total Weight: 15
94.39/94.48	c Current CPU time: 4.23036 s
94.39/94.48	c
94.39/94.48	c core #13
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 61	Core Weight: 1	Total Weight: 16
94.39/94.48	c Current CPU time: 4.48032 s
94.39/94.48	c
94.39/94.48	c core #14
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 126	Core Weight: 1	Total Weight: 17
94.39/94.48	c Current CPU time: 4.73028 s
94.39/94.48	c
94.39/94.48	c core #15
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 62	Core Weight: 1	Total Weight: 18
94.39/94.48	c Current CPU time: 4.97824 s
94.39/94.48	c
94.39/94.48	c core #16
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 15	Core Weight: 1	Total Weight: 19
94.39/94.48	c Current CPU time: 5.2272 s
94.39/94.48	c
94.39/94.48	c core #17
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 253	Core Weight: 1	Total Weight: 20
94.39/94.48	c Current CPU time: 5.47117 s
94.39/94.48	c
94.39/94.48	c core #18
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 28	Core Weight: 1	Total Weight: 21
94.39/94.48	c Current CPU time: 5.72613 s
94.39/94.48	c
94.39/94.48	c core #19
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 124	Core Weight: 1	Total Weight: 22
94.39/94.48	c Current CPU time: 5.97409 s
94.39/94.48	c
94.39/94.48	c core #20
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 58	Core Weight: 1	Total Weight: 23
94.39/94.48	c Current CPU time: 6.22805 s
94.39/94.48	c
94.39/94.48	c core #21
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 30	Core Weight: 1	Total Weight: 24
94.39/94.48	c Current CPU time: 6.47902 s
94.39/94.48	c
94.39/94.48	c core #22
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 29	Core Weight: 1	Total Weight: 25
94.39/94.48	c Current CPU time: 6.73198 s
94.39/94.48	c
94.39/94.48	c core #23
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 15	Core Weight: 1	Total Weight: 26
94.39/94.48	c Current CPU time: 6.98194 s
94.39/94.48	c
94.39/94.48	c core #24
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 26	Core Weight: 1	Total Weight: 27
94.39/94.48	c Current CPU time: 7.2329 s
94.39/94.48	c
94.39/94.48	c core #25
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 14	Core Weight: 1	Total Weight: 28
94.39/94.48	c Current CPU time: 7.48086 s
94.39/94.48	c
94.39/94.48	c core #26
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 61	Core Weight: 1	Total Weight: 29
94.39/94.48	c Current CPU time: 7.73482 s
94.39/94.48	c
94.39/94.48	c core #27
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 60	Core Weight: 1	Total Weight: 30
94.39/94.48	c Current CPU time: 7.98778 s
94.39/94.48	c
94.39/94.48	c core #28
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 1110	Core Weight: 1	Total Weight: 31
94.39/94.48	c Current CPU time: 8.24675 s
94.39/94.48	c
94.39/94.48	c core #29
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 14	Core Weight: 1	Total Weight: 32
94.39/94.48	c Current CPU time: 8.50671 s
94.39/94.48	c
94.39/94.48	c core #30
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 14	Core Weight: 1	Total Weight: 33
94.39/94.48	c Current CPU time: 8.75967 s
94.39/94.48	c
94.39/94.48	c core #31
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 6	Core Weight: 1	Total Weight: 34
94.39/94.48	c Current CPU time: 9.01163 s
94.39/94.48	c
94.39/94.48	c core #32
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 134265	Core Weight: 1	Total Weight: 35
94.39/94.48	c Current CPU time: 91.6141 s
94.39/94.48	c
94.39/94.48	c core #33
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 13	Core Weight: 1	Total Weight: 36
94.39/94.48	c Current CPU time: 91.928 s
94.39/94.48	c
94.39/94.48	c core #34
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 10	Core Weight: 1	Total Weight: 37
94.39/94.48	c Current CPU time: 92.218 s
94.39/94.48	c
94.39/94.48	c core #35
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 13	Core Weight: 1	Total Weight: 38
94.39/94.48	c Current CPU time: 92.5169 s
94.39/94.48	c
94.39/94.48	c core #36
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 5	Core Weight: 1	Total Weight: 39
94.39/94.48	c Current CPU time: 92.8109 s
94.39/94.48	c
94.39/94.48	c core #37
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 12	Core Weight: 1	Total Weight: 40
94.39/94.48	c Current CPU time: 93.1158 s
94.39/94.48	c
94.39/94.48	c core #38
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 4	Core Weight: 1	Total Weight: 41
94.39/94.48	c Current CPU time: 93.4178 s
94.39/94.48	c
94.39/94.48	c core #39
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 10	Core Weight: 1	Total Weight: 42
94.39/94.48	c Current CPU time: 93.7278 s
94.39/94.48	c
94.39/94.48	c core #40
94.39/94.48	c 
94.39/94.48	c 
94.39/94.48	c Core size: 5	Core Weight: 1	Total Weight: 43
94.39/94.48	c Current CPU time: 94.0307 s
94.39/94.48	c
94.39/94.48	c ============================[ Search Statistics ]==============================
94.39/94.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.39/94.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.39/94.48	c ===============================================================================
94.39/94.48	c |         0 |  160459   570340  1241283 |   190113        0   -nan |  0.000 % |
94.39/94.50	c ===============================================================================
94.80/94.81	c core #41
94.80/94.81	c 
94.80/94.81	c 
94.80/94.81	c Core size: 580	Core Weight: 1	Total Weight: 44
94.80/94.81	c Current CPU time: 94.3697 s
94.80/94.81	c
94.80/94.81	c ============================[ Search Statistics ]==============================
94.80/94.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
94.80/94.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
94.80/94.81	c ===============================================================================
94.80/94.81	c |         0 |  167700   570341  1243307 |   190113        0   -nan |  0.000 % |
139.80/139.80	c |       102 |  167700   570341  1243307 |   209125      102   8230 | 38.620 % |
248.80/248.87	c |       252 |  167649   570341  1243307 |   230037      252   8322 | 38.639 % |
255.50/255.58	c |       479 |  167647   570341  1243307 |   253041      479   6577 | 38.639 % |
379.60/379.63	c |       816 |  167612   570341  1243307 |   278345      816   8036 | 38.652 % |
455.90/455.91	c |      1322 |  167553   570341  1243307 |   306179     1322  10622 | 38.674 % |
492.00/492.00	c ===============================================================================
492.40/492.47	c core #42
492.40/492.47	c 
492.40/492.47	c 
492.40/492.47	c Core size: 78649	Core Weight: 1	Total Weight: 45
492.40/492.47	c Current CPU time: 491.293 s
492.40/492.47	c
492.40/492.47	c ============================[ Search Statistics ]==============================
492.40/492.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
492.40/492.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
492.40/492.47	c ===============================================================================
492.40/492.47	c |         0 |  279789   570342  1426526 |   190114        0   -nan |  0.000 % |
492.82/492.89	c |       101 |  279789   570342  1426526 |   209125      101    131 |  8.761 % |
509.70/509.76	c |       252 |  279789   570342  1426526 |   230037      252    698 |  8.761 % |
559.61/559.65	c |       477 |  279789   570342  1426526 |   253041      477   1056 |  8.761 % |
749.21/749.21	c |       819 |  279789   570342  1426526 |   278345      819   4587 |  8.761 % |
1092.12/1092.18	c |      1325 |  279789   570342  1426526 |   306180     1325   4194 |  8.761 % |
1194.82/1194.85	c |      2084 |  279787   570342  1426526 |   336798     2084   5767 |  8.762 % |
1215.83/1215.81	c |      3225 |  279787   570342  1426526 |   370478     3225  10496 |  8.762 % |
1367.93/1367.94	c |      4933 |  279787   570342  1426526 |   407526     4933  15066 |  8.762 % |
1773.94/1773.96	c |      7495 |  279784   570342  1426526 |   448278     7495  17451 |  8.763 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460730-1307109075/watcher-3460730-1307109075 -o /tmp/evaluation-result-3460730-1307109075/solver-3460730-1307109075 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460730-1307109075.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.03 2.00 2/526 24923
/proc/meminfo: memFree=23009780/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=23992 CPUtime=0.01 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 1706 0 0 0 1 0 0 0 24 0 1 0 803323416 24567808 1626 33554432000 4194304 5714214 140736030417488 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 5998 1627 215 372 0 1647 0

[startup+0.030283 s]
/proc/loadavg: 2.03 2.03 2.00 2/526 24923
/proc/meminfo: memFree=23009780/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=27480 CPUtime=0.02 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 2757 0 0 0 2 0 0 0 24 0 1 0 803323416 28139520 2563 33554432000 4194304 5714214 140736030417488 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 6870 2564 253 372 0 2519 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 27480

[startup+0.100275 s]
/proc/loadavg: 2.03 2.03 2.00 2/526 24923
/proc/meminfo: memFree=23009780/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=48284 CPUtime=0.09 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 7693 0 0 0 9 0 0 0 24 0 1 0 803323416 49442816 6961 33554432000 4194304 5714214 140736030417488 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 12071 6962 463 372 0 7720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48284

[startup+0.300238 s]
/proc/loadavg: 2.03 2.03 2.00 2/526 24923
/proc/meminfo: memFree=23009780/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=73344 CPUtime=0.29 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 14796 0 0 0 28 1 0 0 25 0 1 0 803323416 75104256 13650 33554432000 4194304 5714214 140736030417488 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 18336 13651 1126 372 0 13985 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73344

[startup+0.700165 s]
/proc/loadavg: 2.03 2.03 2.00 2/526 24923
/proc/meminfo: memFree=23009780/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=92096 CPUtime=0.69 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 21602 0 0 0 67 2 0 0 25 0 1 0 803323416 94306304 20071 33554432000 4194304 5714214 140736030417488 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 23024 20071 2369 372 0 18673 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92096

[startup+1.50103 s]
/proc/loadavg: 2.03 2.03 2.00 3/527 24924
/proc/meminfo: memFree=22926548/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=190640 CPUtime=1.49 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 51645 0 0 0 144 5 0 0 18 0 1 0 803323416 195215360 46138 33554432000 4194304 5714214 140736030417488 18446744073709551615 4251786 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 47660 46138 171 372 0 47285 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 190640

[startup+3.10074 s]
/proc/loadavg: 2.03 2.03 2.00 3/527 24924
/proc/meminfo: memFree=22774772/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=260104 CPUtime=3.09 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 81232 0 0 0 300 9 0 0 20 0 1 0 803323416 266346496 63641 33554432000 4194304 5714214 140736030417488 18446744073709551615 4976445 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 65026 63641 175 372 0 64651 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 260104

[startup+6.30016 s]
/proc/loadavg: 2.03 2.03 2.00 3/527 24924
/proc/meminfo: memFree=22753048/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=260104 CPUtime=6.29 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 84429 0 0 0 619 10 0 0 25 0 1 0 803323416 266346496 63658 33554432000 4194304 5714214 140736030417488 18446744073709551615 4202080 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 65026 63658 175 372 0 64651 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 260104

[startup+12.701 s]
/proc/loadavg: 2.03 2.03 2.00 3/527 24924
/proc/meminfo: memFree=22747748/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=264856 CPUtime=12.69 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 85639 0 0 0 1259 10 0 0 25 0 1 0 803323416 271212544 64868 33554432000 4194304 5714214 140736030417488 18446744073709551615 4326739 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 66214 64868 175 372 0 65839 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 264856

[startup+25.5007 s]
/proc/loadavg: 1.95 2.01 2.00 2/522 25970
/proc/meminfo: memFree=22783532/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=267100 CPUtime=25.49 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 86217 0 0 0 2539 10 0 0 25 0 1 0 803323416 273510400 65446 33554432000 4194304 5714214 140736030417488 18446744073709551615 4326739 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 66775 65446 175 372 0 66400 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 267100

[startup+51.1011 s]
/proc/loadavg: 1.82 1.97 1.98 2/522 28830
/proc/meminfo: memFree=22775844/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=269548 CPUtime=51.09 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 86801 0 0 0 5099 10 0 0 25 0 1 0 803323416 276017152 66030 33554432000 4194304 5714214 140736030417488 18446744073709551615 4327563 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 67387 66030 175 372 0 67012 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 269548

[startup+102.319 s]
/proc/loadavg: 1.59 1.88 1.95 3/527 31407
/proc/meminfo: memFree=22680992/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=321968 CPUtime=102.31 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 121845 0 0 0 10217 14 0 0 25 0 1 0 803323416 329695232 78356 33554432000 4194304 5714214 140736030417488 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 80492 78356 179 372 0 80117 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 321968

[startup+162.3 s]
/proc/loadavg: 1.85 1.90 1.95 3/527 31408
/proc/meminfo: memFree=22605820/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=321968 CPUtime=162.3 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 121846 0 0 0 16211 19 0 0 25 0 1 0 803323416 329695232 78357 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 80492 78357 180 372 0 80117 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 321968

[startup+222.3 s]
/proc/loadavg: 1.94 1.92 1.95 3/527 31410
/proc/meminfo: memFree=22544408/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=321968 CPUtime=222.29 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 121846 0 0 0 22208 21 0 0 25 0 1 0 803323416 329695232 78357 33554432000 4194304 5714214 140736030417488 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 80492 78357 180 372 0 80117 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 321968

[startup+282.301 s]
/proc/loadavg: 1.98 1.93 1.95 3/527 31411
/proc/meminfo: memFree=22537424/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=321968 CPUtime=282.3 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 121846 0 0 0 28196 34 0 0 25 0 1 0 803323416 329695232 78357 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 80492 78357 180 372 0 80117 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 321968

[startup+342.301 s]
/proc/loadavg: 1.99 1.94 1.95 3/527 31413
/proc/meminfo: memFree=22514320/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=321968 CPUtime=342.3 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 121846 0 0 0 34171 59 0 0 25 0 1 0 803323416 329695232 78357 33554432000 4194304 5714214 140736030417488 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 80492 78357 180 372 0 80117 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 321968

[startup+402.301 s]
/proc/loadavg: 1.99 1.95 1.95 3/527 31415
/proc/meminfo: memFree=22444356/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=321968 CPUtime=402.3 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 121846 0 0 0 40152 78 0 0 25 0 1 0 803323416 329695232 78357 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 80492 78357 180 372 0 80117 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 321968

[startup+462.3 s]
/proc/loadavg: 2.11 1.98 1.96 3/527 31416
/proc/meminfo: memFree=22362584/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=321968 CPUtime=462.3 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 121846 0 0 0 46148 82 0 0 25 0 1 0 803323416 329695232 78357 33554432000 4194304 5714214 140736030417488 18446744073709551615 4326739 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 80492 78357 180 372 0 80117 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 321968

[startup+522.3 s]
/proc/loadavg: 2.17 2.03 1.98 3/527 31418
/proc/meminfo: memFree=22244868/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=382624 CPUtime=522.31 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 136099 0 0 0 52144 87 0 0 25 0 1 0 803323416 391806976 92610 33554432000 4194304 5714214 140736030417488 18446744073709551615 4330771 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 95656 92610 180 372 0 95281 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 382624

[startup+582.301 s]
/proc/loadavg: 2.10 2.03 1.98 3/527 31419
/proc/meminfo: memFree=22227228/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=382624 CPUtime=582.3 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 136099 0 0 0 58143 87 0 0 25 0 1 0 803323416 391806976 92610 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 95656 92610 180 372 0 95281 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 382624

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/527 31435
/proc/meminfo: memFree=21942456/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=382624 CPUtime=822.31 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 136099 0 0 0 82107 124 0 0 25 0 1 0 803323416 391806976 92610 33554432000 4194304 5714214 140736030417488 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 95656 92610 180 372 0 95281 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 382624

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/527 31436
/proc/meminfo: memFree=21884888/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=382624 CPUtime=882.31 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 136099 0 0 0 88107 124 0 0 25 0 1 0 803323416 391806976 92610 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 95656 92610 180 372 0 95281 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 382624

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/527 31438
/proc/meminfo: memFree=21804120/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=382624 CPUtime=942.31 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 136099 0 0 0 94106 125 0 0 25 0 1 0 803323416 391806976 92610 33554432000 4194304 5714214 140736030417488 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 95656 92610 180 372 0 95281 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 382624

[startup+1002.3 s]
/proc/loadavg: 2.16 2.03 2.00 3/527 31440
/proc/meminfo: memFree=21747784/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=382624 CPUtime=1002.32 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 136099 0 0 0 100102 130 0 0 25 0 1 0 803323416 391806976 92610 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 95656 92610 180 372 0 95281 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 382624

[startup+1062.3 s]
/proc/loadavg: 2.24 2.07 2.01 3/527 31441
/proc/meminfo: memFree=21702372/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=382624 CPUtime=1062.32 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 136099 0 0 0 106102 130 0 0 25 0 1 0 803323416 391806976 92610 33554432000 4194304 5714214 140736030417488 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 95656 92610 180 372 0 95281 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 382624

[startup+1122.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/527 31443
/proc/meminfo: memFree=21652980/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=382624 CPUtime=1122.33 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 136099 0 0 0 112066 167 0 0 25 0 1 0 803323416 391806976 92610 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 95656 92610 180 372 0 95281 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 382624

[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/527 31444
/proc/meminfo: memFree=21630500/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=382624 CPUtime=1182.33 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 136099 0 0 0 118037 196 0 0 25 0 1 0 803323416 391806976 92610 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 95656 92610 180 372 0 95281 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 382624

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 31446
/proc/meminfo: memFree=21458500/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=487908 CPUtime=1242.32 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 163589 0 0 0 124003 229 0 0 25 0 1 0 803323416 499617792 120100 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 121977 120100 180 372 0 121602 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 487908

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 31448
/proc/meminfo: memFree=21421884/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=498300 CPUtime=1302.34 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 166213 0 0 0 129979 255 0 0 25 0 1 0 803323416 510259200 122724 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 124575 122724 180 372 0 124200 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 498300

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 31449
/proc/meminfo: memFree=21370408/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=546224 CPUtime=1362.33 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 178177 0 0 0 135958 275 0 0 25 0 1 0 803323416 559333376 134688 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 136556 134688 180 372 0 136181 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 546224

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 31451
/proc/meminfo: memFree=21304544/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=571080 CPUtime=1422.35 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 184416 0 0 0 141952 283 0 0 25 0 1 0 803323416 584785920 140927 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 142770 140927 180 372 0 142395 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 571080

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 31452
/proc/meminfo: memFree=21225648/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=599244 CPUtime=1482.33 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 191432 0 0 0 147933 300 0 0 25 0 1 0 803323416 613625856 147943 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 149811 147943 180 372 0 149436 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 599244

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/527 31454
/proc/meminfo: memFree=21146380/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=620416 CPUtime=1542.33 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 196751 0 0 0 153914 319 0 0 25 0 1 0 803323416 635305984 153262 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 155104 153262 180 372 0 154729 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 620416

[startup+1602.3 s]
/proc/loadavg: 2.20 2.05 2.01 3/527 31456
/proc/meminfo: memFree=21115236/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=627432 CPUtime=1602.33 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 198492 0 0 0 159912 321 0 0 25 0 1 0 803323416 642490368 155003 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 156858 155003 180 372 0 156483 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 627432

[startup+1662.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/527 31457
/proc/meminfo: memFree=21058796/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=647072 CPUtime=1662.34 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 203389 0 0 0 165892 342 0 0 25 0 1 0 803323416 662601728 159900 33554432000 4194304 5714214 140736030417488 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 161768 159900 180 372 0 161393 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 647072

[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/527 31459
/proc/meminfo: memFree=20970860/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=720024 CPUtime=1722.34 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 221627 0 0 0 171888 346 0 0 25 0 1 0 803323416 737304576 178138 33554432000 4194304 5714214 140736030417488 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 180006 178138 180 372 0 179631 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 720024

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/527 31460
/proc/meminfo: memFree=20872240/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=779300 CPUtime=1782.34 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 236446 0 0 0 177880 354 0 0 25 0 1 0 803323416 798003200 192957 33554432000 4194304 5714214 140736030417488 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 194825 192957 180 372 0 194450 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 779300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 31461
/proc/meminfo: memFree=20850652/32951124 swapFree=64303760/67111528
[pid=24923] ppid=24921 vsize=799536 CPUtime=1800.06 cores=1,3,5,7
/proc/24923/stat : 24923 (wbo1.6) R 24921 24923 23633 0 -1 4202496 241505 0 0 0 179651 355 0 0 25 0 1 0 803323416 818724864 198016 33554432000 4194304 5714214 140736030417488 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24923/statm: 199884 198016 180 372 0 199509 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 799536

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.06
CPU time (s): 1800.1
CPU user time (s): 1796.51
CPU system time (s): 3.59245
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 799536

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

runsolver used 8.74967 second user time and 21.7937 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-03 15:51:16
IDJOB=3460730
IDBENCH=25040
IDSOLVER=1953
FILE ID=node145/3460730-1307109075
RUNJOBID= node145-1307105447-24494
PBS_JOBID= 13498004
Free space on /tmp= 73936 MiB

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

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

MD5SUM BENCH= 47194cf421cbddfd6c2831e71c8b2458
RANDOM SEED=770244881

node145.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23010060 kB
Buffers:        229748 kB
Cached:         422720 kB
SwapCached:        944 kB
Active:        9376452 kB
Inactive:       296252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23010060 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:           26272 kB
Writeback:           0 kB
AnonPages:     9019520 kB
Mapped:          35056 kB
Slab:           133560 kB
PageTables:      65644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 153255888 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73932 MiB
End job on node145 at 2011-06-03 16:21:18