Trace number 3173987

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
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.43 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf
MD5SUMae4fafbcf9d01d37f14a04dc4a1c7430
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.010997
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173987-1304075157.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.06	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
0.00/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.06	c calculated reachability. Time: 0.00
0.00/0.06	c Calc default polars -  time:   0.00 s pos:     234 undec:      54 neg:     262
0.00/0.06	c =========================================================================================
0.00/0.06	c types(t): F = full restart, N = normal restart
0.00/0.06	c types(t): S = simplification begin/end, E = solution found
0.00/0.06	c restart types(rt): st = static, dy = dynamic
0.00/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.06	c  B st     0         0       537      2331         0         0      7072         0   no data   no data
0.00/0.06	c Decided on static restart strategy
0.00/0.16	c  N st     8      4915       537      2331         0      4841      7072    123278   no data   no data
0.00/0.42	c  N st    10     11301       537      2331         0      4466      7072     80944   no data   no data
0.00/0.69	c  N st    11     17046       537      2331         0     10104      7072    233170   no data   no data
4.37/1.13	c  F st    12     25001       537      2331         0     12383      7072    279931   no data   no data
4.37/1.13	c  N st    12     25001       537      2331         0     12383      7072    279931   no data   no data
5.17/1.38	c Decided on static restart strategy
5.17/1.38	c  N st    18     30002       537      2331         0     10659      7072    215240   no data   no data
5.17/1.38	c  S st    18     30002       537      2331         0     10659      7072    215240   no data   no data
5.57/1.41	c  S st    18     30508       537      2331         0     11164      7072    227809   no data   no data
5.57/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.41	c blocked clauses removed:        0 vars:      0 tried:         537 T: 0.00 s
5.57/1.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
5.57/1.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.47	c lits-rem:       130  cl-subs:      458  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.48	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.01
5.57/1.48	c calculated reachability. Time: 0.00
5.57/1.48	c  N st    18     30508       537      2331         0     10706      7072    214825   no data   no data
7.19/1.88	c  N st    20     37619       537      2331         0      9955      7072    178170   no data   no data
8.76/2.29	c  N st    21     44018       537      2331         0     16244      7072    344783   no data   no data
9.57/2.41	c  S st    22     45762       537      2331         0      9182      7072    138784   no data   no data
9.57/2.44	c  S st    22     46266       537      2331         0      9686      7072    151289   no data   no data
9.57/2.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.57/2.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.57/2.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.57/2.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.57/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
9.57/2.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.57/2.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.57/2.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.46	c lits-rem:        14  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.01 s
9.57/2.46	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
9.57/2.46	c vivif2 --  cl tried     9659 cl shrink        0 lits rem          0 time: 0.00
9.57/2.47	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.00
9.57/2.47	c calculated reachability. Time: 0.00
9.57/2.47	c  N st    22     46266       537      2331         0      9659      7072    150529   no data   no data
13.56/3.46	c  N st    23     60665       537      2331         0     14048      7072    254363   no data   no data
16.37/4.11	c  N st    24     69400       537      2331         0     11826      7072    186790   no data   no data
16.37/4.11	c  S st    24     69400       537      2331         0     11826      7072    186790   no data   no data
16.37/4.14	c  S st    24     69905       537      2331         0     12327      7072    198568   no data   no data
16.37/4.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.37/4.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.37/4.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.37/4.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.37/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.37/4.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
16.37/4.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.37/4.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.37/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.37/4.17	c lits-rem:        22  cl-subs:      119  v-elim:      0  v-fix:    0  time:  0.02 s
16.37/4.17	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
16.37/4.17	c vivif2 --  cl tried    12208 cl shrink        0 lits rem          0 time: 0.00
16.37/4.18	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.01
16.37/4.18	c calculated reachability. Time: 0.00
16.37/4.18	c  N st    24     69905       537      2331         0     12208      7072    195204   no data   no data
21.55/5.48	c  F st    25     87500       537      2331         0     17662      7072    341304   no data   no data
21.55/5.48	c  N st    25     87500       537      2331         0     17662      7072    341304   no data   no data
23.14/5.88	c Decided on static restart strategy
24.35/6.15	c  N st    32     95534       537      2331         0     25585      7072    553051   no data   no data
27.14/6.88	c  N st    34    104858       537      2331         0     22021      7072    425956   no data   no data
27.14/6.88	c  S st    34    104858       537      2331         0     22021      7072    425956   no data   no data
27.54/6.93	c  S st    34    105361       537      2331         0     22523      7072    438300   no data   no data
27.54/6.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.54/6.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.54/6.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.54/6.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
27.54/6.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.54/6.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.54/6.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.10	c lits-rem:       154  cl-subs:      647  v-elim:      0  v-fix:    0  time:  0.14 s
28.34/7.10	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
28.34/7.11	c vivif2 --  cl tried    21876 cl shrink        0 lits rem          0 time: 0.00
28.34/7.12	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.01
28.34/7.12	c calculated reachability. Time: 0.00
28.34/7.12	c  N st    34    105361       537      2331         0     21876      7072    420377   no data   no data
31.53/7.96	c  N st    35    114961       537      2331         0     17554      7072    281012   no data   no data
37.13/9.33	c  N st    36    129359       537      2331         0     16936      7072    244718   no data   no data
44.32/11.10	c  N st    37    150955       537      2331         0     22390      7072    373226   no data   no data
47.13/11.82	c  S st    38    158041       537      2331         0     29342      7072    537598   no data   no data
47.51/11.90	c  S st    38    158541       537      2331         0     29842      7072    549500   no data   no data
47.51/11.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.51/11.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.51/11.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.51/11.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.51/11.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.51/11.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
47.51/11.91	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.51/11.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.51/11.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.71/12.25	c lits-rem:       207  cl-subs:     1463  v-elim:      0  v-fix:    0  time:  0.32 s
48.71/12.25	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
48.71/12.26	c vivif2 --  cl tried    28379 cl shrink        0 lits rem          0 time: 0.01
48.71/12.27	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.02
48.71/12.27	c calculated reachability. Time: 0.00
48.71/12.27	c  N st    38    158541       537      2331         0     28379      7072    515782   no data   no data
69.88/17.50	c  N st    39    207130       537      2331         0     23078      7072    357254   no data   no data
84.66/21.22	c  N st    40    237812       537      2331         0     33544      7072    610093   no data   no data
84.66/21.22	c  S st    40    237812       537      2331         0     33544      7072    610093   no data   no data
85.06/21.30	c  S st    40    238315       537      2331         0     34046      7072    622197   no data   no data
85.06/21.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.06/21.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.06/21.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.06/21.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.06/21.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.06/21.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
85.06/21.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.06/21.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.06/21.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.46/21.99	c lits-rem:       467  cl-subs:     1824  v-elim:      0  v-fix:    0  time:  0.64 s
87.46/21.99	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
87.46/21.99	c vivif2 --  cl tried    32222 cl shrink        0 lits rem          0 time: 0.01
87.85/22.02	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.02
87.85/22.02	c calculated reachability. Time: 0.00
87.85/22.02	c  N st    40    238315       537      2331         0     32222      7072    571980   no data   no data
121.02/30.35	c  F st    41    306252       537      2331         0     34105      7072    553971   no data   no data
121.02/30.35	c  N st    41    306252       537      2331         0     34105      7072    553971   no data   no data
123.81/31.02	c Decided on static restart strategy
134.20/33.69	c  N st    51    334551       537      2331         0     38271      7072    649525   no data   no data
146.18/36.66	c  N st    53    357475       537      2331         0     36270      7072    590630   no data   no data
146.18/36.66	c  S st    53    357475       537      2331         0     36270      7072    590630   no data   no data
146.58/36.75	c  S st    53    357977       537      2331         0     36767      7072    602890   no data   no data
146.58/36.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.58/36.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.58/36.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.58/36.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.58/36.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.58/36.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
146.58/36.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.58/36.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.58/36.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
148.20/37.17	c lits-rem:       218  cl-subs:     1284  v-elim:      0  v-fix:    0  time:  0.38 s
148.20/37.17	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
148.20/37.17	c vivif2 --  cl tried    35483 cl shrink        0 lits rem          0 time: 0.01
148.20/37.20	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.02
148.57/37.20	c calculated reachability. Time: 0.00
148.57/37.20	c  N st    53    357977       537      2331         0     35483      7072    567063   no data   no data
166.56/41.77	c  N st    54    390370       537      2331         0     41597      7072    706367   no data   no data
195.72/49.06	c  N st    55    438959       537      2331         0     35340      7072    505836   no data   no data
239.66/60.03	c  N st    56    511842       537      2331         0     49101      7072    861959   no data   no data
254.43/63.75	c  N st    57    536966       537      2331         0     43334      7072    708850   no data   no data
254.43/63.75	c  S st    57    536966       537      2331         0     43334      7072    708850   no data   no data
254.83/63.87	c  S st    57    537469       537      2331         0     43836      7072    720977   no data   no data
254.83/63.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
254.83/63.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
254.83/63.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
254.83/63.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
254.83/63.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.83/63.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
254.83/63.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
255.23/63.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
255.23/63.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.43/64.70	c lits-rem:       206  cl-subs:     1819  v-elim:      0  v-fix:    0  time:  0.78 s
258.43/64.70	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
258.43/64.71	c vivif2 --  cl tried    42017 cl shrink        0 lits rem          0 time: 0.01
258.43/64.74	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.03
258.43/64.74	c calculated reachability. Time: 0.00
258.43/64.74	c  N st    57    537469       537      2331         0     42017      7072    667433   no data   no data
373.88/93.61	c  N st    58    701454       537      2331         0     35950      7072    396480   no data   no data
459.78/115.12	c  N st    59    806204       537      2331         0     65121      7072   1098028   no data   no data
459.78/115.12	c  S st    59    806204       537      2331         0     65121      7072   1098028   no data   no data
460.56/115.31	c  S st    59    806709       537      2331         0     65626      7072   1110526   no data   no data
460.56/115.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
460.56/115.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
460.56/115.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
460.56/115.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
460.56/115.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
460.56/115.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
460.56/115.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
460.56/115.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
460.56/115.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
474.54/118.84	c lits-rem:       421  cl-subs:     5415  v-elim:      0  v-fix:    0  time:  3.45 s
474.54/118.84	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
474.54/118.85	c vivif2 --  cl tried    60211 cl shrink        0 lits rem          0 time: 0.01
474.94/118.91	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.05
474.94/118.91	c calculated reachability. Time: 0.00
474.94/118.91	c  N st    59    806709       537      2331         0     60211      7072    980568   no data   no data
698.24/174.83	c  F st    60   1071877       537      2331         0     76143      7072   1292209   no data   no data
698.24/174.83	c  N st    60   1071877       537      2331         0     76143      7072   1292209   no data   no data
704.23/176.35	c Decided on static restart strategy
726.20/181.86	c  N st    70   1100187       537      2331         0     59823      7072    844052   no data   no data
758.58/189.91	c  N st    72   1136180       537      2331         0     50090      7072    584994   no data   no data
788.12/197.30	c  N st    73   1168574       537      2331         0     81542      7072   1399510   no data   no data
825.26/206.68	c  N st    74   1210063       537      2331         0     76302      7072   1258908   no data   no data
825.26/206.68	c  S st    74   1210063       537      2331         0     76302      7072   1258908   no data   no data
826.46/206.99	c  S st    74   1210566       537      2331         0     76804      7072   1271992   no data   no data
826.46/206.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
826.86/207.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
826.86/207.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
826.86/207.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
826.86/207.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
826.86/207.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
826.86/207.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
826.86/207.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
827.27/207.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
845.24/211.69	c lits-rem:       609  cl-subs:     3145  v-elim:      0  v-fix:    0  time:  4.58 s
845.24/211.69	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
845.64/211.71	c vivif2 --  cl tried    73659 cl shrink        0 lits rem          0 time: 0.02
845.64/211.78	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.08
845.64/211.79	c calculated reachability. Time: 0.00
845.64/211.79	c  N st    74   1210566       537      2331         0     73659      7072   1193720   no data   no data
925.96/231.89	c  N st    75   1283448       537      2331         0     50187      7072    537568   no data   no data
1037.38/259.71	c  N st    76   1392772       537      2331         0     58336      7072    717628   no data   no data
1211.17/303.27	c  N st    77   1556756       537      2331         0     63103      7072    785042   no data   no data
1383.72/346.40	c  N st    78   1710566       537      2331         0    105072      7072   1886304   no data   no data
1383.72/346.40	c  S st    78   1710566       537      2331         0    105072      7072   1886304   no data   no data
1384.92/346.70	c  S st    78   1711068       537      2331         0    105574      7072   1898769   no data   no data
1384.92/346.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1384.92/346.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1384.92/346.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1384.92/346.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1384.92/346.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1384.92/346.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
1384.92/346.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1384.92/346.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1385.32/346.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1427.26/357.31	c lits-rem:      1426  cl-subs:     6083  v-elim:      0  v-fix:    0  time: 10.46 s
1427.26/357.31	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
1427.26/357.34	c vivif2 --  cl tried    99491 cl shrink        0 lits rem          0 time: 0.02
1427.66/357.44	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.10
1427.66/357.45	c calculated reachability. Time: 0.00
1427.66/357.45	c  N st    78   1711068       537      2331         0     99491      7072   1741800   no data   no data
1886.26/472.27	c  N st    79   2080032       537      2331         0    111554      7072   1800116   no data   no data
2063.22/516.58	c  N st    80   2211068       537      2331         0    115342      7072   1984934   no data   no data
2063.22/516.58	c  S st    80   2211068       537      2331         0    115342      7072   1984934   no data   no data
2064.81/516.95	c  S st    80   2211573       537      2331         0    115846      7072   1998194   no data   no data
2064.81/516.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2065.21/517.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2065.21/517.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2065.21/517.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2065.21/517.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2065.21/517.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
2065.21/517.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2065.21/517.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2065.61/517.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2109.56/528.12	c lits-rem:       581  cl-subs:     5996  v-elim:      0  v-fix:    0  time: 11.01 s
2109.56/528.12	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
2109.56/528.15	c vivif2 --  cl tried   109850 cl shrink        0 lits rem          0 time: 0.03
2109.96/528.26	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.11
2109.96/528.26	c calculated reachability. Time: 0.00
2109.96/528.26	c  N st    80   2211573       537      2331         0    109850      7072   1850852   no data   no data
2801.86/701.49	c  N st    81   2711573       537      2331         0    132378      7072   2356680   no data   no data
2801.86/701.49	c  S st    81   2711573       537      2331         0    132378      7072   2356680   no data   no data
2803.83/701.91	c  S st    81   2712082       537      2331         0    132886      7072   2370055   no data   no data
2803.83/701.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2803.83/701.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2803.83/701.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2803.83/701.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2803.83/701.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2803.83/701.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
2803.83/701.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2804.23/702.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2804.63/702.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2891.31/723.84	c lits-rem:       927  cl-subs:     9732  v-elim:      0  v-fix:    0  time: 21.74 s
2891.31/723.84	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
2891.31/723.87	c vivif2 --  cl tried   123154 cl shrink        0 lits rem          0 time: 0.03
2892.11/724.00	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.13
2892.11/724.00	c calculated reachability. Time: 0.00
2892.11/724.00	c  N st    81   2712082       537      2331         0    123154      7072   2127251   no data   no data
3666.68/917.91	c  N st    82   3212082       537      2331         0     99235      7072   1326962   no data   no data
3666.68/917.91	c  S st    82   3212082       537      2331         0     99235      7072   1326962   no data   no data
3667.90/918.21	c  S st    82   3212589       537      2331         0     99741      7072   1340517   no data   no data
3667.90/918.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3667.90/918.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3667.90/918.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3667.90/918.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3667.90/918.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3667.90/918.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
3667.90/918.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3667.90/918.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3668.27/918.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3679.07/921.07	c lits-rem:       520  cl-subs:     4121  v-elim:      0  v-fix:    0  time:  2.74 s
3679.07/921.07	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
3679.07/921.09	c vivif2 --  cl tried    95620 cl shrink        0 lits rem          0 time: 0.02
3679.46/921.19	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.09
3679.46/921.19	c calculated reachability. Time: 0.00
3679.46/921.19	c  N st    82   3212589       537      2331         0     95620      7072   1245989   no data   no data
4517.54/1130.96	c  N st    83   3712589       537      2331         0    106741      7072   1410505   no data   no data
4517.54/1130.96	c  S st    83   3712589       537      2331         0    106741      7072   1410505   no data   no data
4518.74/1131.29	c  S st    83   3713091       537      2331         0    107242      7072   1423086   no data   no data
4518.74/1131.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4519.14/1131.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4519.14/1131.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4519.14/1131.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4519.14/1131.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4519.14/1131.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    537 time:  0.00 s
4519.14/1131.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4519.14/1131.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4519.54/1131.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4530.73/1134.21	c lits-rem:       222  cl-subs:     3710  v-elim:      0  v-fix:    0  time:  2.79 s
4530.73/1134.21	c vivif2 --  cl tried     2331 cl shrink        0 lits rem          0 time: 0.00
4530.73/1134.23	c vivif2 --  cl tried   103532 cl shrink        0 lits rem          0 time: 0.02
4531.13/1134.34	c asymm  cl-useful: 0/2331/2331 lits-rem:0 time: 0.10
4531.13/1134.34	c calculated reachability. Time: 0.00
4531.13/1134.34	c  N st    83   3713091       537      2331         0    103532      7072   1341452   no data   no data
4601.43/1151.99	c  F st    84   3751563       537      2331         0    141087      7072   2330609   no data   no data
4601.43/1151.99	c  N st    84   3751563       537      2331         0    141087      7072   2330609   no data   no data
4614.21/1155.13	c Decided on static restart strategy
4663.35/1167.48	c  N st    94   3779866       537      2331         0     85937      7072    847374   no data   no data
4713.69/1180.03	c  N st    96   3815860       537      2331         0    121137      7072   1739169   no data   no data
4784.78/1197.87	c  N st    97   3848252       537      2331         0    152403      7072   2459605   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3173987-1304075157/watcher-3173987-1304075157 -o /tmp/evaluation-result-3173987-1304075157/solver-3173987-1304075157 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173987-1304075157.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.95 7.84 7.95 3/173 16667
/proc/meminfo: memFree=30561748/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 407 0 0 0 0 0 0 0 20 0 4 0 519118057 52441088 347 33554432000 4194304 4627427 140736550816672 18446744073709551615 47685610514354 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 12803 347 299 106 0 7774 0
[pid=16667/tid=16668] ppid=16665 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 519118057 52441088 347 33554432000 4194304 4627427 140736550816672 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 519118057 52441088 347 33554432000 4194304 4627427 140736550816672 18446744073709551615 47685610514354 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 519118057 52441088 347 33554432000 4194304 4627427 140736550816672 18446744073709551615 47685610514358 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.856831 s]
/proc/loadavg: 6.95 7.84 7.95 3/173 16667
/proc/meminfo: memFree=30561748/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=285072 CPUtime=3.4 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 5352 0 0 0 339 1 0 0 19 0 4 0 519118057 291913728 2578 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 71268 2578 385 106 0 66239 0
[pid=16667/tid=16668] ppid=16665 vsize=285072 CPUtime=0.84 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1318 0 0 0 84 0 0 0 19 0 4 0 519118057 291913728 2578 33554432000 4194304 4627427 140736550816672 18446744073709551615 4333268 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=285072 CPUtime=0.84 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1233 0 0 0 84 0 0 0 19 0 4 0 519118057 291913728 2578 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=285072 CPUtime=0.84 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1171 0 0 0 84 0 0 0 25 0 4 0 519118057 291913728 2578 33554432000 4194304 4627427 140736550816672 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 285072

[startup+0.900822 s]
/proc/loadavg: 6.95 7.84 7.95 3/173 16667
/proc/meminfo: memFree=30561748/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=285072 CPUtime=3.57 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 5456 0 0 0 356 1 0 0 19 0 4 0 519118057 291913728 2682 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 71268 2682 385 106 0 66239 0
[pid=16667/tid=16668] ppid=16665 vsize=285072 CPUtime=0.89 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1345 0 0 0 89 0 0 0 19 0 4 0 519118057 291913728 2682 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=285072 CPUtime=0.88 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1262 0 0 0 88 0 0 0 19 0 4 0 519118057 291913728 2682 33554432000 4194304 4627427 140736550816672 18446744073709551615 4327274 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=285072 CPUtime=0.89 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1195 0 0 0 89 0 0 0 25 0 4 0 519118057 291913728 2682 33554432000 4194304 4627427 140736550816672 18446744073709551615 4333399 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 285072

[startup+1.0008 s]
/proc/loadavg: 6.95 7.84 7.95 3/173 16667
/proc/meminfo: memFree=30561748/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=285072 CPUtime=3.97 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 5703 0 0 0 396 1 0 0 19 0 4 0 519118057 291913728 2929 33554432000 4194304 4627427 140736550816672 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 71268 2929 385 106 0 66239 0
[pid=16667/tid=16668] ppid=16665 vsize=285072 CPUtime=0.99 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1411 0 0 0 99 0 0 0 19 0 4 0 519118057 291913728 2929 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=285072 CPUtime=0.98 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1323 0 0 0 98 0 0 0 19 0 4 0 519118057 291913728 2929 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=285072 CPUtime=0.99 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1254 0 0 0 99 0 0 0 25 0 4 0 519118057 291913728 2929 33554432000 4194304 4627427 140736550816672 18446744073709551615 4326817 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 285072

[startup+1.10078 s]
/proc/loadavg: 6.95 7.84 7.95 3/173 16667
/proc/meminfo: memFree=30561748/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=285072 CPUtime=4.37 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 5914 0 0 0 436 1 0 0 19 0 4 0 519118057 291913728 3140 33554432000 4194304 4627427 140736550816672 18446744073709551615 4308291 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 71268 3140 385 106 0 66239 0
[pid=16667/tid=16668] ppid=16665 vsize=285072 CPUtime=1.09 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1459 0 0 0 109 0 0 0 19 0 4 0 519118057 291913728 3140 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=285072 CPUtime=1.08 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1376 0 0 0 108 0 0 0 19 0 4 0 519118057 291913728 3140 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=285072 CPUtime=1.09 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1309 0 0 0 109 0 0 0 25 0 4 0 519118057 291913728 3140 33554432000 4194304 4627427 140736550816672 18446744073709551615 4333399 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 285072

[startup+1.50071 s]
/proc/loadavg: 6.95 7.84 7.95 3/173 16667
/proc/meminfo: memFree=30561748/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=285492 CPUtime=5.97 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 8936 0 0 0 595 2 0 0 20 0 4 0 519118057 292343808 4559 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 71373 4559 390 106 0 66344 0
[pid=16667/tid=16668] ppid=16665 vsize=285492 CPUtime=1.49 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1849 0 0 0 149 0 0 0 20 0 4 0 519118057 292343808 4559 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=285492 CPUtime=1.48 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1801 0 0 0 148 0 0 0 20 0 4 0 519118057 292343808 4559 33554432000 4194304 4627427 140736550816672 18446744073709551615 4322040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=285492 CPUtime=1.48 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 1705 0 0 0 148 0 0 0 25 0 4 0 519118057 292343808 4559 33554432000 4194304 4627427 140736550816672 18446744073709551615 4326744 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285492

[startup+3.10041 s]
/proc/loadavg: 6.95 7.84 7.95 9/184 16679
/proc/meminfo: memFree=30471928/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=277748 CPUtime=12.35 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 17160 0 0 0 1232 3 0 0 25 0 4 0 519118057 284413952 9698 33554432000 4194304 4627427 140736550816672 18446744073709551615 4308323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 69437 9698 391 106 0 64408 0
[pid=16667/tid=16668] ppid=16665 vsize=277748 CPUtime=3.07 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 3852 0 0 0 307 0 0 0 25 0 4 0 519118057 284413952 9698 33554432000 4194304 4627427 140736550816672 18446744073709551615 4338547 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=277748 CPUtime=3.09 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 4986 0 0 0 308 1 0 0 25 0 4 0 519118057 284413952 9698 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309186 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=277748 CPUtime=3.08 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 3432 0 0 0 308 0 0 0 25 0 4 0 519118057 284413952 9698 33554432000 4194304 4627427 140736550816672 18446744073709551615 4324328 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 277748

[startup+6.3068 s]
/proc/loadavg: 7.12 7.86 7.95 9/184 16679
/proc/meminfo: memFree=30444260/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=287880 CPUtime=25.16 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 27034 0 0 0 2510 6 0 0 25 0 4 0 519118057 294789120 14136 33554432000 4194304 4627427 140736550816672 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 71970 14136 390 106 0 66941 0
[pid=16667/tid=16668] ppid=16665 vsize=287880 CPUtime=6.26 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 6862 0 0 0 625 1 0 0 25 0 4 0 519118057 294789120 14136 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=287880 CPUtime=6.29 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 7817 0 0 0 628 1 0 0 25 0 4 0 519118057 294789120 14136 33554432000 4194304 4627427 140736550816672 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=287880 CPUtime=6.29 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 4976 0 0 0 628 1 0 0 22 0 4 0 519118057 294789120 14136 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 287880

[startup+12.7006 s]
/proc/loadavg: 7.19 7.86 7.95 9/184 16680
/proc/meminfo: memFree=30389220/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=334504 CPUtime=50.71 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 43396 0 0 0 5061 10 0 0 25 0 4 0 519118057 342532096 23398 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 83626 23398 389 106 0 78597 0
[pid=16667/tid=16668] ppid=16665 vsize=334504 CPUtime=12.63 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 10949 0 0 0 1261 2 0 0 25 0 4 0 519118057 342532096 23398 33554432000 4194304 4627427 140736550816672 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=334504 CPUtime=12.69 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 11135 0 0 0 1266 3 0 0 25 0 4 0 519118057 342532096 23398 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=334504 CPUtime=12.68 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 8726 0 0 0 1266 2 0 0 25 0 4 0 519118057 342532096 23398 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 334504

[startup+25.5011 s]
/proc/loadavg: 7.37 7.86 7.95 9/184 16680
/proc/meminfo: memFree=30339012/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=354360 CPUtime=101.84 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 64117 0 0 0 10169 15 0 0 25 0 4 0 519118057 362864640 29772 33554432000 4194304 4627427 140736550816672 18446744073709551615 4321729 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 88590 29772 389 106 0 83561 0
[pid=16667/tid=16668] ppid=16665 vsize=354360 CPUtime=25.35 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 17590 0 0 0 2532 3 0 0 25 0 4 0 519118057 362864640 29772 33554432000 4194304 4627427 140736550816672 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=354360 CPUtime=25.49 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 16267 0 0 0 2545 4 0 0 25 0 4 0 519118057 362864640 29772 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=354360 CPUtime=25.49 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 13167 0 0 0 2546 3 0 0 25 0 4 0 519118057 362864640 29772 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 354360

[startup+51.1003 s]
/proc/loadavg: 7.66 7.89 7.96 9/184 16681
/proc/meminfo: memFree=30292676/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=375392 CPUtime=204.11 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 97959 0 0 0 20383 28 0 0 25 0 4 0 519118057 384401408 36631 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 93848 36631 389 106 0 88819 0
[pid=16667/tid=16668] ppid=16665 vsize=375392 CPUtime=50.82 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 28213 0 0 0 5076 6 0 0 25 0 4 0 519118057 384401408 36631 33554432000 4194304 4627427 140736550816672 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=375392 CPUtime=51.09 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 24775 0 0 0 5101 8 0 0 25 0 4 0 519118057 384401408 36631 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=375392 CPUtime=51.08 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 20833 0 0 0 5103 5 0 0 25 0 4 0 519118057 384401408 36631 33554432000 4194304 4627427 140736550816672 18446744073709551615 4324114 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 375392

[startup+102.301 s]
/proc/loadavg: 7.97 7.94 7.97 9/184 16682
/proc/meminfo: memFree=30250108/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=367340 CPUtime=408.63 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 152064 0 0 0 40816 47 0 0 25 0 4 0 519118057 376156160 41452 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 91835 41452 389 106 0 86806 0
[pid=16667/tid=16668] ppid=16665 vsize=367340 CPUtime=101.73 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 41955 0 0 0 10163 10 0 0 25 0 4 0 519118057 376156160 41452 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=367340 CPUtime=102.28 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 35496 0 0 0 10216 12 0 0 25 0 4 0 519118057 376156160 41452 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=367340 CPUtime=102.28 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 36425 0 0 0 10219 9 0 0 25 0 4 0 519118057 376156160 41452 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 367340

[startup+162.301 s]

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

[pid=16667] ppid=16665 vsize=528020 CPUtime=2805.43 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 458346 0 0 0 280364 179 0 0 25 0 4 0 519118057 540692480 95340 33554432000 4194304 4627427 140736550816672 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 132005 95340 389 106 0 126976 0
[pid=16667/tid=16668] ppid=16665 vsize=528020 CPUtime=698.48 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 92964 0 0 0 69815 33 0 0 25 0 4 0 519118057 540692480 95340 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=528020 CPUtime=702.29 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 121417 0 0 0 70179 50 0 0 25 0 4 0 519118057 540692480 95340 33554432000 4194304 4627427 140736550816672 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=528020 CPUtime=702.31 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 117578 0 0 0 70188 43 0 0 25 0 4 0 519118057 540692480 95340 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 528020

[startup+762.301 s]
/proc/loadavg: 8.09 8.08 8.01 9/184 16700
/proc/meminfo: memFree=29812324/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=611564 CPUtime=3045.11 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 480046 0 0 0 304319 192 0 0 25 0 4 0 519118057 626241536 94123 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 152891 94123 389 106 0 147862 0
[pid=16667/tid=16668] ppid=16665 vsize=611564 CPUtime=758.15 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 97904 0 0 0 75779 36 0 0 25 0 4 0 519118057 626241536 94123 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=611564 CPUtime=762.29 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 127831 0 0 0 76174 55 0 0 25 0 4 0 519118057 626241536 94123 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=611564 CPUtime=762.32 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 123369 0 0 0 76185 47 0 0 25 0 4 0 519118057 626241536 94123 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 611564

[startup+822.3 s]
/proc/loadavg: 8.03 8.06 8.00 9/184 16701
/proc/meminfo: memFree=29782876/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=624240 CPUtime=3284.79 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 500460 0 0 0 328276 203 0 0 25 0 4 0 519118057 639221760 98949 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 156060 98949 389 106 0 151031 0
[pid=16667/tid=16668] ppid=16665 vsize=624240 CPUtime=817.83 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 102254 0 0 0 81743 40 0 0 25 0 4 0 519118057 639221760 98949 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=624240 CPUtime=822.29 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 134574 0 0 0 82171 58 0 0 25 0 4 0 519118057 639221760 98949 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=624240 CPUtime=822.32 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 129486 0 0 0 82183 49 0 0 25 0 4 0 519118057 639221760 98949 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 624240

[startup+882.301 s]
/proc/loadavg: 8.01 8.05 8.00 9/184 16703
/proc/meminfo: memFree=29693532/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=611788 CPUtime=3524.46 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 523904 0 0 0 352230 216 0 0 25 0 4 0 519118057 626470912 104932 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 152947 104932 389 106 0 147918 0
[pid=16667/tid=16668] ppid=16665 vsize=611788 CPUtime=877.51 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 105261 0 0 0 87709 42 0 0 25 0 4 0 519118057 626470912 104932 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=611788 CPUtime=882.29 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 137788 0 0 0 88170 59 0 0 25 0 4 0 519118057 626470912 104932 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=611788 CPUtime=882.32 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 140692 0 0 0 88178 54 0 0 25 0 4 0 519118057 626470912 104932 33554432000 4194304 4627427 140736550816672 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 611788

[startup+942.301 s]
/proc/loadavg: 8.00 8.03 8.00 9/184 16704
/proc/meminfo: memFree=29692124/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=624656 CPUtime=3764.16 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 541622 0 0 0 376190 226 0 0 25 0 4 0 519118057 639647744 115932 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309200 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 156164 115932 389 106 0 151135 0
[pid=16667/tid=16668] ppid=16665 vsize=624656 CPUtime=937.18 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 109431 0 0 0 93674 44 0 0 25 0 4 0 519118057 639647744 115932 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=624656 CPUtime=942.3 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 140903 0 0 0 94169 61 0 0 25 0 4 0 519118057 639647744 115932 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=624656 CPUtime=942.32 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 145988 0 0 0 94176 56 0 0 25 0 4 0 519118057 639647744 115932 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.16
Current children cumulated vsize (KiB) 624656

[startup+1002.3 s]
/proc/loadavg: 8.04 8.04 8.00 9/184 16706
/proc/meminfo: memFree=29730388/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=624796 CPUtime=4003.82 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 557468 0 0 0 400145 237 0 0 25 0 4 0 519118057 639791104 105193 33554432000 4194304 4627427 140736550816672 18446744073709551615 4330930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 156199 105193 389 106 0 151170 0
[pid=16667/tid=16668] ppid=16665 vsize=624796 CPUtime=996.85 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 111482 0 0 0 99639 46 0 0 25 0 4 0 519118057 639791104 105193 33554432000 4194304 4627427 140736550816672 18446744073709551615 4332320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=624796 CPUtime=1002.29 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 146775 0 0 0 100165 64 0 0 25 0 4 0 519118057 639791104 105193 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=624796 CPUtime=1002.32 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 150998 0 0 0 100172 60 0 0 25 0 4 0 519118057 639791104 105193 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.82
Current children cumulated vsize (KiB) 624796

[startup+1062.31 s]
/proc/loadavg: 8.05 8.04 8.00 9/184 16708
/proc/meminfo: memFree=29675672/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=672560 CPUtime=4243.53 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 576406 0 0 0 424107 246 0 0 25 0 4 0 519118057 688701440 107506 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 168140 107506 389 106 0 163111 0
[pid=16667/tid=16668] ppid=16665 vsize=672560 CPUtime=1056.53 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 114728 0 0 0 105606 47 0 0 25 0 4 0 519118057 688701440 107506 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=672560 CPUtime=1062.3 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 152125 0 0 0 106163 67 0 0 25 0 4 0 519118057 688701440 107506 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=672560 CPUtime=1062.33 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 157185 0 0 0 106170 63 0 0 25 0 4 0 519118057 688701440 107506 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.53
Current children cumulated vsize (KiB) 672560

[startup+1122.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/184 16709
/proc/meminfo: memFree=29673404/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=688908 CPUtime=4483.18 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 599001 0 0 0 448059 259 0 0 25 0 4 0 519118057 705441792 110605 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 172227 110605 389 106 0 167198 0
[pid=16667/tid=16668] ppid=16665 vsize=688908 CPUtime=1116.21 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 119634 0 0 0 111571 50 0 0 25 0 4 0 519118057 705441792 110605 33554432000 4194304 4627427 140736550816672 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=688908 CPUtime=1122.3 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 158848 0 0 0 112159 71 0 0 25 0 4 0 519118057 705441792 110605 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=688908 CPUtime=1122.33 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 164293 0 0 0 112167 66 0 0 25 0 4 0 519118057 705441792 110605 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.18
Current children cumulated vsize (KiB) 688908

[startup+1182.3 s]
/proc/loadavg: 8.19 8.08 8.01 9/184 16711
/proc/meminfo: memFree=29631940/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=650412 CPUtime=4722.86 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 619951 0 0 0 472018 268 0 0 25 0 4 0 519118057 666021888 112455 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 162603 112455 389 106 0 157574 0
[pid=16667/tid=16668] ppid=16665 vsize=650412 CPUtime=1175.88 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 120987 0 0 0 117537 51 0 0 25 0 4 0 519118057 666021888 112455 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=650412 CPUtime=1182.29 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 164793 0 0 0 118156 73 0 0 25 0 4 0 519118057 666021888 112455 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=650412 CPUtime=1182.33 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 170786 0 0 0 118164 69 0 0 25 0 4 0 519118057 666021888 112455 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.86
Current children cumulated vsize (KiB) 650412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.08 8.01 9/184 16711
/proc/meminfo: memFree=29644208/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=768644 CPUtime=4800.38 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 626493 0 0 0 479766 272 0 0 25 0 4 0 519118057 787091456 118212 33554432000 4194304 4627427 140736550816672 18446744073709551615 4310440 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 192161 118212 389 106 0 187132 0
[pid=16667/tid=16668] ppid=16665 vsize=768644 CPUtime=1195.18 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 122300 0 0 0 119467 51 0 0 25 0 4 0 519118057 787091456 118212 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=768644 CPUtime=1201.7 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 167702 0 0 0 120096 74 0 0 25 0 4 0 519118057 787091456 118212 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=768644 CPUtime=1201.74 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 172248 0 0 0 120104 70 0 0 25 0 4 0 519118057 787091456 118212 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 768644

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

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

[startup+1201.7 s]
/proc/loadavg: 8.14 8.08 8.01 9/184 16711
/proc/meminfo: memFree=29644208/32951124 swapFree=67111416/67111528
[pid=16667] ppid=16665 vsize=768644 CPUtime=4800.38 cores=1,3,5,7
/proc/16667/stat : 16667 (strangenight2-m) R 16665 16667 16189 0 -1 4202496 626493 0 0 0 479766 272 0 0 25 0 4 0 519118057 787091456 118212 33554432000 4194304 4627427 140736550816672 18446744073709551615 4310440 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/16667/statm: 192161 118212 389 106 0 187132 0
[pid=16667/tid=16668] ppid=16665 vsize=768644 CPUtime=1195.18 cores=1,3,5,7
/proc/16667/task/16668/stat : 16668 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 122300 0 0 0 119467 51 0 0 25 0 4 0 519118057 787091456 118212 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16667/tid=16669] ppid=16665 vsize=768644 CPUtime=1201.7 cores=1,3,5,7
/proc/16667/task/16669/stat : 16669 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 167702 0 0 0 120096 74 0 0 25 0 4 0 519118057 787091456 118212 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16667/tid=16670] ppid=16665 vsize=768644 CPUtime=1201.74 cores=1,3,5,7
/proc/16667/task/16670/stat : 16670 (strangenight2-m) R 16665 16667 16189 0 -1 4202560 172248 0 0 0 120104 70 0 0 25 0 4 0 519118057 787091456 118212 33554432000 4194304 4627427 140736550816672 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 768644

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.43
CPU user time (s): 4797.69
CPU system time (s): 2.74058
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 768644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.69
system time used= 2.74058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 626494
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= 384
involuntary context switches= 31765

runsolver used 1.85672 second user time and 4.70228 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-29 13:05:57
IDJOB=3173987
IDBENCH=82805
IDSOLVER=1586
FILE ID=node102/3173987-1304075157
RUNJOBID= node102-1304075157-16653
PBS_JOBID= 13170484
Free space on /tmp= 71560 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173987-1304075157/watcher-3173987-1304075157 -o /tmp/evaluation-result-3173987-1304075157/solver-3173987-1304075157 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173987-1304075157.cnf

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

MD5SUM BENCH= ae4fafbcf9d01d37f14a04dc4a1c7430
RANDOM SEED=220663198

node102.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.828
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.65
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.828
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.15
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.828
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.82
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.828
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.75
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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.75
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.828
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.82
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.828
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:      30562384 kB
Buffers:        640536 kB
Cached:        1259104 kB
SwapCached:          8 kB
Active:         251608 kB
Inactive:      1711764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30562384 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:            5588 kB
Writeback:           0 kB
AnonPages:       64216 kB
Mapped:          14488 kB
Slab:           360104 kB
PageTables:       4336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187492 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= 71548 MiB
End job on node102 at 2011-04-29 13:26:01