Trace number 3479448

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 NameAnswerCPU timeWall clock time
wbo 1.6? (TO) 1800.12 1800.08

General information on the benchmark

Name/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_11_shg.opb
MD5SUM72d0920292366751823d98a716f59807
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark76
Best CPU time to get the best result obtained on this benchmark1799.59
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15008
Total number of constraints65280
Number of constraints which are clauses65280
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 constraint65
Maximum length of a constraint90
Number of terms in the objective function 15008
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 15008
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15008
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.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3479448-1307449472.opb.
0.00/0.00	c Instance file HOME/instance-3479448-1307449472.opb
0.00/0.00	c File size is 49475760 bytes.
3.49/3.57	c Highest Coefficient sum: 91
3.49/3.57	c ============================[ Problem Statistics ]=============================
3.49/3.57	c |                                                                             |
3.49/3.57	c |  Parsing time:          3.54         s                                      |
3.49/3.57	c |  Number Variables:      15008                                               |
3.49/3.57	c |  Number Clauses:        65280                                               |
3.49/3.57	c |  Number Cardinality:    0                                                   |
3.49/3.57	c |  Number PB Constraints: 0                                                   |
3.59/3.62	c ============================[ Search Statistics ]==============================
3.59/3.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.62	c ===============================================================================
3.59/3.62	c |         0 |   15008    65280  5373952 |    21760        0   -nan |  0.000 % |
10.59/10.63	c core #1
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 86	Core Weight: 1	Total Weight: 1
10.59/10.63	c Current CPU time: 3.84542 s
10.59/10.63	c
10.59/10.63	c core #2
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 76	Core Weight: 1	Total Weight: 2
10.59/10.63	c Current CPU time: 4.08438 s
10.59/10.63	c
10.59/10.63	c core #3
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 81	Core Weight: 1	Total Weight: 3
10.59/10.63	c Current CPU time: 4.32234 s
10.59/10.63	c
10.59/10.63	c core #4
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 77	Core Weight: 1	Total Weight: 4
10.59/10.63	c Current CPU time: 4.55731 s
10.59/10.63	c
10.59/10.63	c core #5
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 85	Core Weight: 1	Total Weight: 5
10.59/10.63	c Current CPU time: 4.78927 s
10.59/10.63	c
10.59/10.63	c core #6
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 77	Core Weight: 1	Total Weight: 6
10.59/10.63	c Current CPU time: 5.02124 s
10.59/10.63	c
10.59/10.63	c core #7
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 84	Core Weight: 1	Total Weight: 7
10.59/10.63	c Current CPU time: 5.2522 s
10.59/10.63	c
10.59/10.63	c core #8
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 76	Core Weight: 1	Total Weight: 8
10.59/10.63	c Current CPU time: 5.48517 s
10.59/10.63	c
10.59/10.63	c core #9
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 72	Core Weight: 1	Total Weight: 9
10.59/10.63	c Current CPU time: 5.72013 s
10.59/10.63	c
10.59/10.63	c core #10
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 66	Core Weight: 1	Total Weight: 10
10.59/10.63	c Current CPU time: 5.95609 s
10.59/10.63	c
10.59/10.63	c core #11
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 91	Core Weight: 1	Total Weight: 11
10.59/10.63	c Current CPU time: 6.19406 s
10.59/10.63	c
10.59/10.63	c core #12
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 66	Core Weight: 1	Total Weight: 12
10.59/10.63	c Current CPU time: 6.43102 s
10.59/10.63	c
10.59/10.63	c core #13
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 90	Core Weight: 1	Total Weight: 13
10.59/10.63	c Current CPU time: 6.67298 s
10.59/10.63	c
10.59/10.63	c core #14
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 90	Core Weight: 1	Total Weight: 14
10.59/10.63	c Current CPU time: 6.91995 s
10.59/10.63	c
10.59/10.63	c core #15
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 83	Core Weight: 1	Total Weight: 15
10.59/10.63	c Current CPU time: 7.16991 s
10.59/10.63	c
10.59/10.63	c core #16
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 66	Core Weight: 1	Total Weight: 16
10.59/10.63	c Current CPU time: 7.42587 s
10.59/10.63	c
10.59/10.63	c core #17
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 74	Core Weight: 1	Total Weight: 17
10.59/10.63	c Current CPU time: 7.68783 s
10.59/10.63	c
10.59/10.63	c core #18
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 74	Core Weight: 1	Total Weight: 18
10.59/10.63	c Current CPU time: 7.96279 s
10.59/10.63	c
10.59/10.63	c core #19
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 77	Core Weight: 1	Total Weight: 19
10.59/10.63	c Current CPU time: 8.24275 s
10.59/10.63	c
10.59/10.63	c core #20
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 77	Core Weight: 1	Total Weight: 20
10.59/10.63	c Current CPU time: 8.5287 s
10.59/10.63	c
10.59/10.63	c core #21
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 87	Core Weight: 1	Total Weight: 21
10.59/10.63	c Current CPU time: 8.81366 s
10.59/10.63	c
10.59/10.63	c core #22
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 78	Core Weight: 1	Total Weight: 22
10.59/10.63	c Current CPU time: 9.10661 s
10.59/10.63	c
10.59/10.63	c core #23
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 78	Core Weight: 1	Total Weight: 23
10.59/10.63	c Current CPU time: 9.40157 s
10.59/10.63	c
10.59/10.63	c core #24
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 78	Core Weight: 1	Total Weight: 24
10.59/10.63	c Current CPU time: 9.69153 s
10.59/10.63	c
10.59/10.63	c core #25
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 152	Core Weight: 1	Total Weight: 25
10.59/10.63	c Current CPU time: 9.98548 s
10.59/10.63	c
10.59/10.63	c core #26
10.59/10.63	c 
10.59/10.63	c 
10.59/10.63	c Core size: 327	Core Weight: 1	Total Weight: 26
10.59/10.63	c Current CPU time: 10.2794 s
10.59/10.63	c
10.59/10.63	c ============================[ Search Statistics ]==============================
10.59/10.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.59/10.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.59/10.63	c ===============================================================================
10.59/10.63	c |         0 |    4635    80314  5380921 |    26771        0   -nan |  0.000 % |
10.59/10.65	c ===============================================================================
10.91/10.96	c core #27
10.91/10.96	c 
10.91/10.96	c 
10.91/10.96	c Core size: 999	Core Weight: 1	Total Weight: 27
10.91/10.96	c Current CPU time: 10.5974 s
10.91/10.96	c
10.91/10.96	c ============================[ Search Statistics ]==============================
10.91/10.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.91/10.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.91/10.96	c ===============================================================================
10.91/10.96	c |         0 |    6458    80315  5383742 |    26771        0   -nan |  0.000 % |
10.91/10.98	c |       102 |    6458    80315  5383742 |    29448      102    558 | 64.787 % |
11.09/11.10	c |       252 |    6458    80315  5383742 |    32393      252    678 | 64.787 % |
11.19/11.23	c |       486 |    6457    80315  5383742 |    35633      486    698 | 64.798 % |
11.69/11.79	c |       823 |    6456    80315  5383742 |    39196      823    688 | 64.809 % |
11.79/11.86	c ===============================================================================
12.11/12.19	c core #28
12.11/12.19	c 
12.11/12.19	c 
12.11/12.19	c Core size: 3566	Core Weight: 1	Total Weight: 28
12.11/12.19	c Current CPU time: 11.8192 s
12.11/12.19	c
12.11/12.19	c ============================[ Search Statistics ]==============================
12.11/12.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.11/12.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.11/12.19	c ===============================================================================
12.11/12.19	c |         0 |   12187    80316  5393031 |    26772        0   -nan |  0.000 % |
12.19/12.23	c |       103 |   12187    80316  5393031 |    29449      103    679 | 44.352 % |
12.29/12.34	c |       254 |   12187    80316  5393031 |    32394      254    410 | 44.352 % |
12.49/12.54	c |       479 |   12187    80316  5393031 |    35633      479    269 | 44.352 % |
12.59/12.69	c |       816 |   12187    80316  5393031 |    39196      816    229 | 44.352 % |
12.79/12.88	c |      1322 |   12187    80316  5393031 |    43116     1322    256 | 44.352 % |
13.21/13.23	c |      2082 |   12187    80316  5393031 |    47428     2082    279 | 44.352 % |
13.79/13.89	c |      3223 |   12187    80316  5393031 |    52171     3223    321 | 44.352 % |
15.19/15.22	c |      4935 |   12187    80316  5393031 |    57388     4935    379 | 44.352 % |
17.09/17.10	c |      7501 |   12187    80316  5393031 |    63126     7501    515 | 44.352 % |
21.79/21.82	c |     11348 |   12187    80316  5393031 |    69439    11348    620 | 44.352 % |
28.61/28.65	c |     17114 |   12187    80316  5393031 |    76383    17114    737 | 44.352 % |
38.90/38.97	c |     25763 |   12187    80316  5393031 |    84022    25763    883 | 44.352 % |
64.39/64.45	c |     38738 |   12187    80316  5393031 |    92424    38738   1061 | 44.352 % |
95.20/95.28	c |     58200 |   12187    80316  5393031 |   101666    58200    977 | 44.352 % |
156.29/156.32	c |     87392 |   12187    80316  5393031 |   111833    87392   1010 | 44.352 % |
256.00/256.08	c |    131181 |   12187    80316  5393031 |   123016    23912   1369 | 44.352 % |
367.90/367.93	c |    196866 |   12187    80316  5393031 |   135318    89597    988 | 44.352 % |
627.11/627.15	c |    295392 |   12187    80316  5393031 |   148850    59167   1817 | 44.352 % |
954.51/954.52	c ===============================================================================
959.41/959.48	c core #29
959.41/959.48	c 
959.41/959.48	c 
959.41/959.48	c Core size: 6537	Core Weight: 1	Total Weight: 29
959.41/959.48	c Current CPU time: 957.035 s
959.41/959.48	c
959.41/959.48	c ============================[ Search Statistics ]==============================
959.41/959.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
959.41/959.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
959.41/959.48	c ===============================================================================
959.41/959.48	c |         0 |   21822    80317  5409201 |    26772        0   -nan |  0.000 % |
959.51/959.54	c |       105 |   21822    80317  5409201 |    29449      105    626 | 23.257 % |
959.62/959.65	c |       256 |   21822    80317  5409201 |    32394      256    358 | 23.257 % |
960.02/960.06	c |       481 |   21822    80317  5409201 |    35633      481    353 | 23.257 % |
960.82/960.87	c |       818 |   21822    80317  5409201 |    39197      818    387 | 23.257 % |
961.81/961.87	c |      1324 |   21822    80317  5409201 |    43117     1324    386 | 23.257 % |
963.31/963.30	c |      2086 |   21822    80317  5409201 |    47428     2086    387 | 23.257 % |
966.02/966.01	c |      3225 |   21822    80317  5409201 |    52171     3225    460 | 23.257 % |
968.82/968.89	c |      4933 |   21822    80317  5409201 |    57388     4933    453 | 23.257 % |
972.61/972.68	c |      7495 |   21822    80317  5409201 |    63127     7495    434 | 23.257 % |
981.12/981.13	c |     11339 |   21822    80317  5409201 |    69440    11339    503 | 23.257 % |
998.11/998.19	c |     17105 |   21822    80317  5409201 |    76384    17105    572 | 23.257 % |
1017.31/1017.36	c |     25754 |   21822    80317  5409201 |    84023    25754    775 | 23.257 % |
1041.52/1041.56	c |     38729 |   21822    80317  5409201 |    92425    38729    893 | 23.257 % |
1100.72/1100.72	c |     58190 |   21822    80317  5409201 |   101667    58190    856 | 23.257 % |
1187.82/1187.81	c |     87383 |   21822    80317  5409201 |   111834    87383    809 | 23.257 % |
1308.03/1308.05	c |    131172 |   21822    80317  5409201 |   123018    27752    750 | 23.257 % |
1468.73/1468.77	c |    196859 |   21822    80317  5409201 |   135319    93439    868 | 23.257 % |
1711.23/1711.28	c |    295390 |   21822    80317  5409201 |   148851    63957    767 | 23.257 % |

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-3479448-1307449472/watcher-3479448-1307449472 -o /tmp/evaluation-result-3479448-1307449472/solver-3479448-1307449472 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479448-1307449472.opb 

running on 4 cores: 0,2,4,6

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.00 2.01 2.00 3/477 24148
/proc/meminfo: memFree=20858680/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=54268 CPUtime=0.01 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 1198 0 0 0 1 0 0 0 18 0 1 0 837362691 55570432 1152 33554432000 4194304 5714214 140736664618320 18446744073709551615 4990124 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 13567 1152 196 372 0 1112 0

[startup+0.0317161 s]
/proc/loadavg: 2.00 2.01 2.00 3/477 24148
/proc/meminfo: memFree=20858680/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=54268 CPUtime=0.02 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 1258 0 0 0 2 0 0 0 18 0 1 0 837362691 55570432 1212 33554432000 4194304 5714214 140736664618320 18446744073709551615 4228419 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 13567 1212 254 372 0 1112 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 54268

[startup+0.100706 s]
/proc/loadavg: 2.00 2.01 2.00 3/477 24148
/proc/meminfo: memFree=20858680/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=54792 CPUtime=0.09 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 1629 0 0 0 9 0 0 0 18 0 1 0 837362691 56107008 1583 33554432000 4194304 5714214 140736664618320 18446744073709551615 4233883 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 13698 1584 484 372 0 1243 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54792

[startup+0.300666 s]
/proc/loadavg: 2.00 2.01 2.00 3/477 24148
/proc/meminfo: memFree=20858680/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=56524 CPUtime=0.29 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 2712 0 0 0 29 0 0 0 18 0 1 0 837362691 57880576 2666 33554432000 4194304 5714214 140736664618320 18446744073709551615 4222948 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 14131 2666 1152 372 0 1676 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56524

[startup+0.700599 s]
/proc/loadavg: 2.00 2.01 2.00 3/477 24148
/proc/meminfo: memFree=20858680/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=59888 CPUtime=0.69 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 4870 0 0 0 69 0 0 0 18 0 1 0 837362691 61325312 4825 33554432000 4194304 5714214 140736664618320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 14972 4825 2489 372 0 2517 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59888

[startup+1.50045 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 24149
/proc/meminfo: memFree=20843172/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=66320 CPUtime=1.49 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 9179 0 0 0 148 1 0 0 20 0 1 0 837362691 67911680 9133 33554432000 4194304 5714214 140736664618320 18446744073709551615 4964697 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 16580 9133 5163 372 0 4125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66320

[startup+3.10015 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 24149
/proc/meminfo: memFree=20827796/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=79572 CPUtime=3.09 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 17921 0 0 0 306 3 0 0 25 0 1 0 837362691 81481728 17842 33554432000 4194304 5714214 140736664618320 18446744073709551615 4944043 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 19893 17842 10600 372 0 7438 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79572

[startup+6.30061 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 24149
/proc/meminfo: memFree=20777964/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=62836 CPUtime=6.29 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 29020 0 0 0 625 4 0 0 23 0 1 0 837362691 64344064 15364 33554432000 4194304 5714214 140736664618320 18446744073709551615 4345903 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 15709 15364 175 372 0 15334 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62836

[startup+12.7005 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 24149
/proc/meminfo: memFree=20742512/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=71712 CPUtime=12.69 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 32173 0 0 0 1263 6 0 0 21 0 1 0 837362691 73433088 17478 33554432000 4194304 5714214 140736664618320 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 17928 17478 180 372 0 17553 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71712

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 24150
/proc/meminfo: memFree=20643064/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=87664 CPUtime=25.49 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 36171 0 0 0 2537 12 0 0 25 0 1 0 837362691 89767936 21476 33554432000 4194304 5714214 140736664618320 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 21916 21476 180 372 0 21541 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87664

[startup+51.1007 s]
/proc/loadavg: 2.07 2.02 2.00 3/478 24153
/proc/meminfo: memFree=20415492/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=183608 CPUtime=51.09 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 60103 0 0 0 5089 20 0 0 25 0 1 0 837362691 188014592 45408 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 45902 45408 180 372 0 45527 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 183608

[startup+102.318 s]
/proc/loadavg: 2.03 2.02 2.00 3/478 24155
/proc/meminfo: memFree=20246268/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=311120 CPUtime=102.31 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 91875 0 0 0 10195 36 0 0 25 0 1 0 837362691 318586880 77180 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 77780 77180 180 372 0 77405 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 311120

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/478 24156
/proc/meminfo: memFree=20114264/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=442908 CPUtime=162.29 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 124843 0 0 0 16181 48 0 0 25 0 1 0 837362691 453537792 110148 33554432000 4194304 5714214 140736664618320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 110727 110148 180 372 0 110352 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 442908

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 24158
/proc/meminfo: memFree=19994548/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=563332 CPUtime=222.3 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 154841 0 0 0 22165 65 0 0 25 0 1 0 837362691 576851968 140146 33554432000 4194304 5714214 140736664618320 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 140833 140146 180 372 0 140458 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 563332

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 24160
/proc/meminfo: memFree=19946476/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=610732 CPUtime=282.29 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 166699 0 0 0 28150 79 0 0 25 0 1 0 837362691 625389568 152004 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 152683 152004 180 372 0 152308 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 610732

[startup+342.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/478 24161
/proc/meminfo: memFree=19946584/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=610732 CPUtime=342.3 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 166703 0 0 0 34143 87 0 0 25 0 1 0 837362691 625389568 152008 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 152683 152008 180 372 0 152308 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 610732

[startup+402.301 s]
/proc/loadavg: 2.18 2.07 2.02 3/478 24163
/proc/meminfo: memFree=19946816/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=610732 CPUtime=402.3 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 166703 0 0 0 40134 96 0 0 25 0 1 0 837362691 625389568 152008 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 152683 152008 180 372 0 152308 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 610732

[startup+462.301 s]
/proc/loadavg: 2.10 2.07 2.02 3/478 24164
/proc/meminfo: memFree=19857028/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=701576 CPUtime=462.3 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 189364 0 0 0 46124 106 0 0 25 0 1 0 837362691 718413824 174669 33554432000 4194304 5714214 140736664618320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 175394 174669 180 372 0 175019 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 701576

[startup+522.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/478 24166
/proc/meminfo: memFree=19684292/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=877432 CPUtime=522.3 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 233164 0 0 0 52112 118 0 0 25 0 1 0 837362691 898490368 218469 33554432000 4194304 5714214 140736664618320 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 219358 218469 180 372 0 218983 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 877432

[startup+582.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/478 24168
/proc/meminfo: memFree=19678084/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=880268 CPUtime=582.31 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 233833 0 0 0 58107 124 0 0 25 0 1 0 837362691 901394432 219138 33554432000 4194304 5714214 140736664618320 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 220067 219138 180 372 0 219692 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 880268

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 24174
/proc/meminfo: memFree=18813732/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1313784 CPUtime=822.31 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 342074 0 0 0 82059 172 0 0 25 0 1 0 837362691 1345314816 327379 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 328446 327379 180 372 0 328071 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1313784

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 24176
/proc/meminfo: memFree=18610112/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1468056 CPUtime=882.31 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380417 0 0 0 88048 183 0 0 25 0 1 0 837362691 1503289344 365722 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 367014 365722 180 372 0 366639 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1468056

[startup+942.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/478 24177
/proc/meminfo: memFree=18610716/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1468056 CPUtime=942.32 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380446 0 0 0 94042 190 0 0 25 0 1 0 837362691 1503289344 365751 33554432000 4194304 5714214 140736664618320 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 367014 365751 180 372 0 366639 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1468056

[startup+1002.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/478 24179
/proc/meminfo: memFree=18743628/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1002.31 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380447 0 0 0 100030 201 0 0 25 0 1 0 837362691 1365082112 332510 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332510 180 372 0 332897 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1333088

[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/478 24180
/proc/meminfo: memFree=18743608/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1062.32 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380464 0 0 0 106023 209 0 0 25 0 1 0 837362691 1365082112 332527 33554432000 4194304 5714214 140736664618320 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332527 180 372 0 332897 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1333088

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 24182
/proc/meminfo: memFree=18743472/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1122.32 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380491 0 0 0 112017 215 0 0 25 0 1 0 837362691 1365082112 332554 33554432000 4194304 5714214 140736664618320 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332554 180 372 0 332897 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1333088

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 24184
/proc/meminfo: memFree=18729576/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1182.32 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380516 0 0 0 118011 221 0 0 25 0 1 0 837362691 1365082112 332579 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332579 180 372 0 332897 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1333088

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 24185
/proc/meminfo: memFree=18660120/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1242.32 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380551 0 0 0 124005 227 0 0 25 0 1 0 837362691 1365082112 332614 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332614 180 372 0 332897 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1333088

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 24187
/proc/meminfo: memFree=18582976/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1302.34 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380573 0 0 0 130001 233 0 0 25 0 1 0 837362691 1365082112 332636 33554432000 4194304 5714214 140736664618320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332636 180 372 0 332897 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1333088

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 24188
/proc/meminfo: memFree=18581112/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1362.32 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380573 0 0 0 135991 241 0 0 25 0 1 0 837362691 1365082112 332636 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332636 180 372 0 332897 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1333088

[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 24190
/proc/meminfo: memFree=18581220/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1422.34 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380573 0 0 0 141986 248 0 0 25 0 1 0 837362691 1365082112 332636 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332636 180 372 0 332897 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1333088

[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/478 24192
/proc/meminfo: memFree=18581084/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1482.33 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380573 0 0 0 147979 254 0 0 25 0 1 0 837362691 1365082112 332636 33554432000 4194304 5714214 140736664618320 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332636 180 372 0 332897 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1333088

[startup+1542.3 s]
/proc/loadavg: 2.21 2.07 2.02 3/478 24193
/proc/meminfo: memFree=18582064/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1542.33 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380621 0 0 0 153973 260 0 0 25 0 1 0 837362691 1365082112 332684 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332684 180 372 0 332897 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1333088

[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/478 24195
/proc/meminfo: memFree=18582420/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1602.33 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380657 0 0 0 159966 267 0 0 25 0 1 0 837362691 1365082112 332720 33554432000 4194304 5714214 140736664618320 18446744073709551615 4305208 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332720 180 372 0 332897 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1333088

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/478 24196
/proc/meminfo: memFree=18582044/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1662.34 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380657 0 0 0 165960 274 0 0 25 0 1 0 837362691 1365082112 332720 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332720 180 372 0 332897 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1333088

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 24198
/proc/meminfo: memFree=18581792/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1722.33 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380657 0 0 0 171954 279 0 0 25 0 1 0 837362691 1365082112 332720 33554432000 4194304 5714214 140736664618320 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332720 180 372 0 332897 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1333088

[startup+1782.3 s]
/proc/loadavg: 1.56 1.91 1.96 2/472 24218
/proc/meminfo: memFree=19756856/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1782.33 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380657 0 0 0 177949 284 0 0 25 0 1 0 837362691 1365082112 332720 33554432000 4194304 5714214 140736664618320 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332720 180 372 0 332897 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1333088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.40 1.85 1.94 2/472 24218
/proc/meminfo: memFree=19756980/32951124 swapFree=67057928/67111528
[pid=24148] ppid=24146 vsize=1333088 CPUtime=1800.05 cores=0,2,4,6
/proc/24148/stat : 24148 (wbo1.6) R 24146 24148 23281 0 -1 4202496 380657 0 0 0 179720 285 0 0 25 0 1 0 837362691 1365082112 332720 33554432000 4194304 5714214 140736664618320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/24148/statm: 333272 332720 180 372 0 332897 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1333088

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.08
CPU time (s): 1800.12
CPU user time (s): 1797.2
CPU system time (s): 2.91956
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1468056

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

runsolver used 8.82266 second user time and 19.0221 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-07 14:24:34
IDJOB=3479448
IDBENCH=89911
IDSOLVER=1953
FILE ID=node140/3479448-1307449472
RUNJOBID= node140-1307436782-23299
PBS_JOBID= 13519948
Free space on /tmp= 73644 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_11_shg.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479448-1307449472/watcher-3479448-1307449472 -o /tmp/evaluation-result-3479448-1307449472/solver-3479448-1307449472 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479448-1307449472.opb

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

MD5SUM BENCH= 72d0920292366751823d98a716f59807
RANDOM SEED=759641057

node140.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.833
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.66
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.833
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	: 5226.14
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.833
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.75
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.833
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.77
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.833
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.75
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.833
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.833
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.75
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20858836 kB
Buffers:        337836 kB
Cached:        4318412 kB
SwapCached:       6932 kB
Active:        7823596 kB
Inactive:      3929656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20858836 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:           90280 kB
Writeback:           0 kB
AnonPages:     7095152 kB
Mapped:          38792 kB
Slab:           218036 kB
PageTables:      52632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141585456 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= 73688 MiB
End job on node140 at 2011-06-07 14:54:36