Trace number 1875408

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.12 1800.71

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_2.opb
MD5SUM1eb933a10fcc575d2df25e98511c4b07
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7
Best CPU time to get the best result obtained on this benchmark246.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2960
Sum of products size (including duplicates)5920
Number of different products1480
Sum of products size2960

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875408-1245208254.opb.
0.00/0.00	c Instance file HOME/instance-1875408-1245208254.opb
0.00/0.00	c File size is 118923 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      1580                                                |
0.00/0.01	c |  Number Clauses:        1580                                                |
0.00/0.01	c |  Number Cardinality:    102                                                 |
0.00/0.01	c |  Number PB Constraints: 1480                                                |
0.00/0.01	c core #1
0.00/0.01	c Core size: 101	Core Weight: 1	Total Weight: -49
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1630     3163    12290 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #2
0.00/0.02	c Core size: 103	Core Weight: 1	Total Weight: -48
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1679     3164    12388 |     5000        0    nan |  0.000 % |
0.00/0.04	c |       100 |    1679     3164    12388 |     5500      100     29 |  0.060 % |
0.00/0.06	c |       250 |    1615     3164    12388 |     6050      175     34 |  3.813 % |
0.07/0.09	c |       475 |    1586     3164    12388 |     6655      357     32 |  5.542 % |
0.09/0.13	c |       812 |    1373     3164    12388 |     7320      498     37 | 25.016 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #3
0.09/0.17	c Core size: 150	Core Weight: 1	Total Weight: -47
0.09/0.17	c Elapsed CPU time: 0.169974 s	Remaining CPU time: 1799.83 s
0.09/0.18	c Learning 17 hard constraints
0.09/0.18	c ============================[ Search Statistics ]==============================
0.09/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.18	c ===============================================================================
0.09/0.18	c |         0 |    1729     3182    12961 |     5000        0    nan |  0.000 % |
0.09/0.19	c |       100 |    1729     3182    12961 |     5500      100     44 |  0.001 % |
0.19/0.21	c |       251 |    1729     3182    12961 |     6050      251     29 |  0.001 % |
0.19/0.23	c |       477 |    1729     3182    12961 |     6655      477     28 |  0.001 % |
0.19/0.28	c |       817 |    1729     3182    12961 |     7320      817     28 |  0.002 % |
0.29/0.34	c |      1323 |    1702     3182    12961 |     8052     1316     27 |  1.564 % |
0.39/0.45	c |      2082 |    1702     3182    12961 |     8857     2075     27 |  1.566 % |
0.59/0.62	c |      3221 |    1702     3182    12961 |     9743     3214     27 |  1.568 % |
0.79/0.89	c |      4931 |    1672     3182    12961 |    10717     3463     29 |  3.299 % |
0.99/1.01	c ===============================================================================
0.99/1.06	c core #4
0.99/1.06	c Core size: 547	Core Weight: 1	Total Weight: -46
0.99/1.06	c Elapsed CPU time: 1.03384 s	Remaining CPU time: 1798.97 s
0.99/1.07	c Learning 372 hard constraints
0.99/1.07	c ============================[ Search Statistics ]==============================
0.99/1.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.99/1.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.99/1.07	c ===============================================================================
0.99/1.07	c |         0 |    1779     3555    17279 |     5000        0    nan |  0.000 % |
0.99/1.08	c |       102 |    1779     3555    17279 |     5500      102     67 |  0.001 % |
1.09/1.10	c |       254 |    1779     3555    17279 |     6050      254     49 |  0.001 % |
1.09/1.14	c |       479 |    1779     3555    17279 |     6655      479     40 |  0.001 % |
1.09/1.19	c |       818 |    1779     3555    17279 |     7320      818     38 |  0.001 % |
1.19/1.27	c |      1324 |    1779     3555    17279 |     8052     1324     36 |  0.001 % |
1.39/1.40	c |      2090 |    1779     3555    17279 |     8857     2090     36 |  0.001 % |
1.49/1.59	c |      3229 |    1779     3555    17279 |     9743     3229     35 |  0.001 % |
1.89/1.95	c |      4937 |    1779     3555    17279 |    10717     4937     32 |  0.002 % |
2.38/2.49	c |      7502 |    1742     3555    17279 |    11789     5107     33 |  2.098 % |
2.49/2.58	c ===============================================================================
2.59/2.66	c core #5
2.59/2.66	c Core size: 1087	Core Weight: 1	Total Weight: -45
2.59/2.66	c Elapsed CPU time: 2.6086 s	Remaining CPU time: 1797.39 s
2.59/2.68	c Learning 1107 hard constraints
2.59/2.68	c ============================[ Search Statistics ]==============================
2.59/2.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.59/2.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.59/2.68	c ===============================================================================
2.59/2.68	c |         0 |    1829     4663    42984 |     5000        0    nan |  0.000 % |
2.59/2.69	c |       100 |    1829     4663    42984 |     5500      100     86 |  0.001 % |
2.69/2.72	c |       250 |    1829     4663    42984 |     6050      250     60 |  0.001 % |
2.69/2.75	c |       480 |    1829     4663    42984 |     6655      480     50 |  0.001 % |
2.79/2.82	c |       819 |    1829     4663    42984 |     7320      819     53 |  0.001 % |
2.89/2.92	c |      1325 |    1829     4663    42984 |     8052     1325     47 |  0.001 % |
2.98/3.06	c |      2084 |    1829     4663    42984 |     8857     2084     44 |  0.000 % |
3.19/3.30	c |      3223 |    1829     4663    42984 |     9743     3223     41 |  0.001 % |
3.59/3.67	c |      4931 |    1829     4663    42984 |    10717     4931     36 |  0.000 % |
4.19/4.26	c |      7494 |    1829     4663    42984 |    11789     7494     35 |  0.001 % |
5.29/5.39	c |     11340 |    1829     4663    42984 |    12968    11340     35 |  0.001 % |
7.29/7.31	c |     17106 |    1829     4663    42984 |    14265    10540     34 |  0.001 % |
10.29/10.36	c |     25759 |    1829     4663    42984 |    15692    11657     35 |  0.002 % |
13.09/13.13	c ===============================================================================
13.58/13.60	c core #6
13.58/13.60	c Core size: 1528	Core Weight: 1	Total Weight: -44
13.58/13.60	c Elapsed CPU time: 13.454 s	Remaining CPU time: 1786.55 s
13.58/13.66	c Learning 2083 hard constraints
13.58/13.66	c ============================[ Search Statistics ]==============================
13.58/13.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.58/13.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
13.58/13.66	c ===============================================================================
13.58/13.66	c |         0 |    1879     6747   120141 |     5000        0    nan |  0.000 % |
13.58/13.69	c |       100 |    1879     6747   120141 |     5500      100     89 |  0.001 % |
13.68/13.72	c |       250 |    1879     6747   120141 |     6050      250     52 |  0.001 % |
13.68/13.73	c |       475 |    1879     6747   120141 |     6655      475     36 |  0.001 % |
13.78/13.81	c |       813 |    1879     6747   120141 |     7320      813     45 |  0.001 % |
13.89/13.91	c |      1319 |    1879     6747   120141 |     8052     1319     46 |  0.001 % |
13.99/14.05	c |      2078 |    1879     6747   120141 |     8857     2078     55 |  0.000 % |
14.29/14.31	c |      3217 |    1879     6747   120141 |     9743     3217     50 |  0.000 % |
14.58/14.63	c |      4926 |    1879     6747   120141 |    10717     4926     51 |  0.001 % |
15.39/15.42	c |      7488 |    1879     6747   120141 |    11789     7488     54 |  0.001 % |
16.68/16.79	c |     11333 |    1879     6747   120141 |    12968    11333     49 |  0.000 % |
18.78/18.85	c |     17099 |    1879     6747   120141 |    14265    10489     39 |  0.000 % |
22.58/22.61	c |     25751 |    1879     6747   120141 |    15692    11737     37 |  0.000 % |
28.58/28.61	c |     38727 |    1879     6747   120141 |    17261    16543     37 |  0.001 % |
36.28/36.34	c |     58188 |    1879     6747   120141 |    18987     9080     40 |  0.000 % |
47.77/47.85	c |     87382 |    1879     6747   120141 |    20886    18888     42 |  0.000 % |
67.97/68.00	c |    131172 |    1849     6747   120141 |    22974    11770     32 |  1.597 % |
69.76/69.80	c ===============================================================================
72.27/72.38	c core #7
72.27/72.38	c Core size: 2447	Core Weight: 1	Total Weight: -43
72.27/72.38	c Elapsed CPU time: 71.8211 s	Remaining CPU time: 1728.18 s
72.47/72.55	c Learning 1526 hard constraints
72.47/72.55	c ============================[ Search Statistics ]==============================
72.47/72.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
72.47/72.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
72.47/72.55	c ===============================================================================
72.47/72.55	c |         0 |    1929     8274   157001 |     5000        0    nan |  0.000 % |
72.47/72.60	c |       101 |    1929     8274   157001 |     5500      101     84 |  0.001 % |
72.57/72.61	c |       251 |    1929     8274   157001 |     6050      251     60 |  0.000 % |
72.57/72.65	c |       477 |    1929     8274   157001 |     6655      477     66 |  0.001 % |
72.66/72.71	c |       815 |    1929     8274   157001 |     7320      815     57 |  0.001 % |
72.77/72.83	c |      1322 |    1929     8274   157001 |     8052     1322     52 |  0.000 % |
72.86/72.97	c |      2081 |    1929     8274   157001 |     8857     2081     48 |  0.000 % |
73.16/73.21	c |      3223 |    1929     8274   157001 |     9743     3223     46 |  0.000 % |
73.56/73.63	c |      4932 |    1929     8274   157001 |    10717     4932     46 |  0.000 % |
74.36/74.41	c |      7499 |    1929     8274   157001 |    11789     7499     46 |  0.000 % |
75.66/75.70	c |     11344 |    1929     8274   157001 |    12968    11344     45 |  0.000 % |
78.26/78.30	c |     17111 |    1929     8274   157001 |    14265    10349     41 |  0.000 % |
81.95/82.08	c |     25762 |    1929     8274   157001 |    15692    11476     41 |  0.000 % |
88.36/88.42	c |     38736 |    1929     8274   157001 |    17261     8386     41 |  0.000 % |
96.66/96.74	c |     58201 |    1929     8274   157001 |    18987     9812     44 |  0.001 % |
112.35/112.49	c |     87393 |    1929     8274   157001 |    20886    19462     47 |  0.000 % |
138.45/138.53	c |    131184 |    1929     8274   157001 |    22974    20649     48 |  0.000 % |
176.63/176.74	c |    196868 |    1929     8274   157001 |    25272    15771     45 |  0.000 % |
245.91/246.09	c |    295397 |    1929     8274   157001 |    27799    22892     49 |  0.001 % |
365.17/365.37	c |    443186 |    1929     8274   157001 |    30579    17885     40 |  0.001 % |
529.42/529.62	c |    664869 |    1929     8274   157001 |    33637    14131     55 |  0.001 % |
813.82/814.17	c |    997395 |    1800     8274   157001 |    37001    23488     55 |  9.539 % |
924.09/924.46	c ===============================================================================
956.38/956.75	c core #8
956.38/956.75	c Core size: 2692	Core Weight: 1	Total Weight: -42
956.38/956.75	c Elapsed CPU time: 952.287 s	Remaining CPU time: 847.713 s
957.58/957.93	c Learning 363 hard constraints
957.58/957.93	c ============================[ Search Statistics ]==============================
957.58/957.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
957.58/957.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
957.58/957.93	c ===============================================================================
957.58/957.93	c |         0 |    1979     8638   166947 |     5000        0    nan |  0.000 % |
957.78/958.19	c |       101 |    1979     8638   166947 |     5500      101    112 |  0.001 % |
957.88/958.20	c |       252 |    1979     8638   166947 |     6050      252     68 |  0.001 % |
957.88/958.28	c |       477 |    1979     8638   166947 |     6655      477     66 |  0.001 % |
957.97/958.35	c |       814 |    1979     8638   166947 |     7320      814     60 |  0.000 % |
958.07/958.47	c |      1322 |    1979     8638   166947 |     8052     1322     54 |  0.001 % |
958.27/958.67	c |      2082 |    1979     8638   166947 |     8857     2082     54 |  0.000 % |
958.57/958.94	c |      3221 |    1979     8638   166947 |     9743     3221     53 |  0.000 % |
959.18/959.52	c |      4930 |    1979     8638   166947 |    10717     4930     53 |  0.000 % |
960.07/960.49	c |      7495 |    1979     8638   166947 |    11789     7495     54 |  0.000 % |
961.28/961.63	c |     11340 |    1979     8638   166947 |    12968    11340     62 |  0.001 % |
965.97/966.35	c |     17107 |    1979     8638   166947 |    14265     9820     83 |  0.000 % |
974.97/975.32	c |     25758 |    1979     8638   166947 |    15692    10528     84 |  0.001 % |
982.66/983.04	c |     38732 |    1979     8638   166947 |    17261    15433     59 |  0.001 % |
996.66/997.03	c |     58193 |    1979     8638   166947 |    18987    17189     53 |  0.000 % |
1017.26/1017.69	c |     87385 |    1979     8638   166947 |    20886    16968     54 |  0.000 % |
1055.05/1055.49	c |    131174 |    1979     8638   166947 |    22974    17803     48 |  0.001 % |
1124.32/1124.77	c |    196859 |    1979     8638   166947 |    25272    12958     61 |  0.000 % |
1215.89/1216.39	c |    295385 |    1979     8638   166947 |    27799    21065     60 |  0.000 % |
1377.74/1378.30	c |    443176 |    1979     8638   166947 |    30579    18656     54 |  0.000 % |
1605.26/1605.85	c |    664862 |    1979     8638   166947 |    33637    18327     61 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875408-1245208254/watcher-1875408-1245208254 -o /tmp/evaluation-result-1875408-1245208254/solver-1875408-1245208254 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875408-1245208254.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 7926
/proc/meminfo: memFree=1754272/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=2788 CPUtime=0
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 246 0 0 0 0 0 0 0 18 0 1 0 188426375 2854912 230 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 697 230 126 292 0 372 0

[startup+0.084857 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 7926
/proc/meminfo: memFree=1754272/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=3740 CPUtime=0.07
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 556 0 0 0 7 0 0 0 18 0 1 0 188426375 3829760 510 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 935 510 136 292 0 640 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3740

[startup+0.101859 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 7926
/proc/meminfo: memFree=1754272/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=3740 CPUtime=0.09
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 556 0 0 0 9 0 0 0 18 0 1 0 188426375 3829760 510 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 935 510 136 292 0 640 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3740

[startup+0.301895 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 7926
/proc/meminfo: memFree=1754272/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=4412 CPUtime=0.29
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 715 0 0 0 29 0 0 0 19 0 1 0 188426375 4517888 669 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 1103 669 136 292 0 808 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4412

[startup+0.701964 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 7926
/proc/meminfo: memFree=1754272/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=5324 CPUtime=0.69
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 950 0 0 0 67 2 0 0 22 0 1 0 188426375 5451776 904 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 1331 904 136 292 0 1036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5324

[startup+1.50111 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 7927
/proc/meminfo: memFree=1750616/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=6680 CPUtime=1.49
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 1286 0 0 0 146 3 0 0 25 0 1 0 188426375 6840320 1240 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 1670 1240 136 292 0 1375 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6680

[startup+3.10138 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 7927
/proc/meminfo: memFree=1749656/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=8268 CPUtime=3.08
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 1678 0 0 0 303 5 0 0 25 0 1 0 188426375 8466432 1632 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 2067 1632 136 292 0 1772 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8268

[startup+6.30194 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 7927
/proc/meminfo: memFree=1746840/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=10252 CPUtime=6.29
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 2156 0 0 0 620 9 0 0 25 0 1 0 188426375 10498048 2110 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 2563 2110 136 292 0 2268 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10252

[startup+12.7011 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 7927
/proc/meminfo: memFree=1740312/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=16692 CPUtime=12.68
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 3766 0 0 0 1255 13 0 0 25 0 1 0 188426375 17092608 3720 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 4173 3720 136 292 0 3878 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16692

[startup+25.5013 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7927
/proc/meminfo: memFree=1732760/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=23856 CPUtime=25.48
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 5558 0 0 0 2528 20 0 0 25 0 1 0 188426375 24428544 5512 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 5964 5512 136 292 0 5669 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23856

[startup+51.1018 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7927
/proc/meminfo: memFree=1712024/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=44780 CPUtime=51.07
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 10781 0 0 0 5068 39 0 0 25 0 1 0 188426375 45854720 10735 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 11195 10735 136 292 0 10900 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44780

[startup+102.306 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7927
/proc/meminfo: memFree=1692056/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=64276 CPUtime=102.26
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 15648 0 0 0 10158 68 0 0 25 0 1 0 188426375 65818624 15602 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 16069 15602 136 292 0 15774 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 64276

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7927
/proc/meminfo: memFree=1653912/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=102864 CPUtime=162.24
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 25306 0 0 0 16123 101 0 0 25 0 1 0 188426375 105332736 25260 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 25716 25260 136 292 0 25421 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 102864

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7927
/proc/meminfo: memFree=1619352/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=136884 CPUtime=222.22
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 33800 0 0 0 22093 129 0 0 25 0 1 0 188426375 140169216 33754 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 34221 33754 136 292 0 33926 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 136884

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1589464/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=167156 CPUtime=282.2
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 41332 0 0 0 28065 155 0 0 25 0 1 0 188426375 171167744 41286 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 41789 41286 136 292 0 41494 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 167156

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1560152/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=196228 CPUtime=342.18
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 48581 0 0 0 34038 180 0 0 25 0 1 0 188426375 200937472 48535 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 49057 48535 136 292 0 48762 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 196228

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1531288/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=225348 CPUtime=402.15
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 55835 0 0 0 40008 207 0 0 25 0 1 0 188426375 230756352 55789 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 56337 55789 136 292 0 56042 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 225348

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1499160/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=257268 CPUtime=462.14
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 63806 0 0 0 45982 232 0 0 25 0 1 0 188426375 263442432 63760 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 64317 63760 136 292 0 64022 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 257268

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1463704/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=293116 CPUtime=522.12
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 72763 0 0 0 51950 262 0 0 25 0 1 0 188426375 300150784 72717 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 73279 72717 136 292 0 72984 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 293116

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1430616/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=325724 CPUtime=582.1
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 80889 0 0 0 57922 288 0 0 25 0 1 0 188426375 333541376 80843 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 81431 80843 136 292 0 81136 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 325724

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1403608/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=352468 CPUtime=642.08
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 87576 0 0 0 63899 309 0 0 25 0 1 0 188426375 360927232 87530 1992294400 134512640 135709839 4294956240 18446744073709551615 134572715 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 88117 87530 136 292 0 87822 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 352468

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1301848/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=454036 CPUtime=881.99
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 112959 0 0 0 87804 395 0 0 25 0 1 0 188426375 464932864 112913 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 113509 112913 136 292 0 113214 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 454036

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1253720/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=501968 CPUtime=941.98
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 124943 0 0 0 93783 415 0 0 25 0 1 0 188426375 514015232 124897 1992294400 134512640 135709839 4294956240 18446744073709551615 134583733 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 125492 124897 136 292 0 125197 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 501968

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1252504/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=503144 CPUtime=1001.96
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 125257 0 0 0 99767 429 0 0 25 0 1 0 188426375 515219456 125173 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 125786 125173 136 292 0 125491 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 503144

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1252504/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=503144 CPUtime=1061.94
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 125259 0 0 0 105745 449 0 0 25 0 1 0 188426375 515219456 125175 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 125786 125175 136 292 0 125491 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 503144

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1252504/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=503144 CPUtime=1121.92
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 125262 0 0 0 111727 465 0 0 25 0 1 0 188426375 515219456 125178 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 125786 125178 136 292 0 125491 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 503144

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1251992/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=503144 CPUtime=1181.9
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 125395 0 0 0 117707 483 0 0 25 0 1 0 188426375 515219456 125311 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 125786 125311 136 292 0 125491 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 503144

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1251928/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=503144 CPUtime=1241.88
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 125412 0 0 0 123688 500 0 0 25 0 1 0 188426375 515219456 125328 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 125786 125328 136 292 0 125491 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 503144

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1250840/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=504212 CPUtime=1301.87
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 125678 0 0 0 129671 516 0 0 25 0 1 0 188426375 516313088 125594 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 126053 125594 136 292 0 125758 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 504212

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1238104/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=517056 CPUtime=1361.84
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 128888 0 0 0 135650 534 0 0 25 0 1 0 188426375 529465344 128804 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 129264 128804 136 292 0 128969 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 517056

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1220504/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=534584 CPUtime=1421.82
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 133246 0 0 0 141628 554 0 0 25 0 1 0 188426375 547414016 133162 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 133646 133162 136 292 0 133351 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 534584

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1200664/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=554568 CPUtime=1481.81
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 138233 0 0 0 147604 577 0 0 25 0 1 0 188426375 567877632 138149 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 138642 138149 136 292 0 138347 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 554568

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1180056/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=574944 CPUtime=1541.79
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 143324 0 0 0 153581 598 0 0 25 0 1 0 188426375 588742656 143240 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 143736 143240 136 292 0 143441 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 574944

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1159256/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=595892 CPUtime=1601.76
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 148532 0 0 0 159557 619 0 0 25 0 1 0 188426375 610193408 148448 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 148973 148448 136 292 0 148678 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 595892

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1136280/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=618764 CPUtime=1661.74
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 154265 0 0 0 165533 641 0 0 25 0 1 0 188426375 633614336 154181 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 154691 154181 136 292 0 154396 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 618764

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1114392/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=640912 CPUtime=1721.73
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 159794 0 0 0 171510 663 0 0 25 0 1 0 188426375 656293888 159710 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 160228 159710 136 292 0 159933 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 640912

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1089304/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=665804 CPUtime=1781.71
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 165984 0 0 0 177486 685 0 0 25 0 1 0 188426375 681783296 165900 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 166451 165900 136 292 0 166156 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 665804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1079896/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=675112 CPUtime=1800.01
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4194304 168295 0 0 0 179308 693 0 0 25 0 1 0 188426375 691314688 168211 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 168778 168211 136 292 0 168483 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 675112

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7927
/proc/meminfo: memFree=1079896/2055920 swapFree=4191900/4192956
[pid=7926] ppid=7924 vsize=0 CPUtime=1800.11
/proc/7926/stat : 7926 (wbo) R 7924 7926 7789 0 -1 4195332 168296 0 0 0 179308 703 0 0 25 0 1 0 188426375 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7926/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.71
CPU time (s): 1800.12
CPU user time (s): 1793.08
CPU system time (s): 7.03793
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 675112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.08
system time used= 7.03793
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168296
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= 2
involuntary context switches= 3043

runsolver used 1.44778 second user time and 3.53446 second system time

The end

Launcher Data 

Begin job on node4 at 2009-06-17 05:10:54
IDJOB=1875408
IDBENCH=48248
IDSOLVER=698
FILE ID=node4/1875408-1245208254
PBS_JOBID= 9368369
Free space on /tmp= 66408 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_2.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875408-1245208254/watcher-1875408-1245208254 -o /tmp/evaluation-result-1875408-1245208254/solver-1875408-1245208254 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875408-1245208254.opb

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

MD5SUM BENCH= 1eb933a10fcc575d2df25e98511c4b07
RANDOM SEED=505322437

node4.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1754880 kB
Buffers:         59632 kB
Cached:         153152 kB
SwapCached:        260 kB
Active:          91708 kB
Inactive:       134388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754880 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2412 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            60856 kB
Committed_AS:   152192 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875408-1245208254.opb

Free space on /tmp at the end= 66404 MiB
End job on node4 at 2009-06-17 05:40:57