Trace number 3174267

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.37 1201.73

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf
MD5SUMc58a0ddee2026f6e03d1207be874b747
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.006998
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52130
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-3174267-1304116460.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
3.17/0.80	c Parsing time:  0.00 s
3.17/0.80	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
3.17/0.80	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
3.17/0.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:      48 undec:       3 neg:      49
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4920       100      2130         0      4611     10650    101886   no data   no data
3.17/0.80	c  N st    10     11303       100      2130         0      4242     10650     74625   no data   no data
3.17/0.80	c  N st    11     17048       100      2130         0      9616     10650    193200   no data   no data
3.58/0.90	c  F st    12     25000       100      2130         0     11748     10650    237086   no data   no data
3.58/0.90	c  N st    12     25000       100      2130         0     11748     10650    237086   no data   no data
3.98/1.10	c Decided on static restart strategy
3.98/1.10	c  N st    18     30002       100      2130         0     10069     10650    188139   no data   no data
3.98/1.10	c  S st    18     30002       100      2130         0     10069     10650    188139   no data   no data
3.98/1.10	c  S st    18     30503       100      2130         0     10550     10650    199039   no data   no data
3.98/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.98/1.10	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.98/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.98/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.98/1.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.98/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c lits-rem:       206  cl-subs:     1838  v-elim:      0  v-fix:    0  time:  0.18 s
5.17/1.30	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
5.17/1.30	c calculated reachability. Time: 0.00
5.17/1.30	c  N st    18     30503       100      2130         0      8712     10650    158856   no data   no data
5.97/1.59	c  N st    20     37613       100      2130         0      7993     10650    130980   no data   no data
7.16/1.88	c  N st    21     44012       100      2130         0     13933     10650    260724   no data   no data
7.97/2.00	c  S st    22     45754       100      2130         0     15537     10650    295088   no data   no data
7.97/2.04	c  S st    22     46255       100      2130         0     16015     10650    306002   no data   no data
7.97/2.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.97/2.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.97/2.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.97/2.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.97/2.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.97/2.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.97/2.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.97/2.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.49	c lits-rem:       359  cl-subs:     2295  v-elim:      0  v-fix:    0  time:  0.43 s
9.56/2.49	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.56/2.49	c vivif2 --  cl tried    13720 cl shrink        0 lits rem          0 time: 0.00
9.96/2.54	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.96/2.54	c calculated reachability. Time: 0.00
9.96/2.54	c  N st    22     46255       100      2130         0     13720     10650    255209   no data   no data
13.18/3.32	c  N st    23     60652       100      2130         0      9662     10650    143810   no data   no data
15.15/3.80	c  N st    24     69382       100      2130         0     17694     10650    315997   no data   no data
15.15/3.80	c  S st    24     69382       100      2130         0     17694     10650    315997   no data   no data
15.15/3.85	c  S st    24     69885       100      2130         0     18171     10650    326672   no data   no data
15.15/3.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.15/3.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.15/3.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
15.15/3.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.15/3.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.15/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.36	c lits-rem:       640  cl-subs:     2478  v-elim:      0  v-fix:    0  time:  0.50 s
17.15/4.36	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
17.15/4.36	c vivif2 --  cl tried    15693 cl shrink        0 lits rem          0 time: 0.00
17.57/4.42	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
17.57/4.42	c calculated reachability. Time: 0.00
17.57/4.42	c  N st    24     69885       100      2130         0     15693     10650    274629   no data   no data
21.97/5.51	c  F st    25     87503       100      2130         0     21886     10650    397928   no data   no data
21.97/5.51	c  N st    25     87503       100      2130         0     21886     10650    397928   no data   no data
23.15/5.81	c Decided on static restart strategy
23.55/5.98	c  N st    32     95543       100      2130         0     18366     10650    320304   no data   no data
25.94/6.60	c  N st    34    104827       100      2130         0     14963     10650    240110   no data   no data
25.94/6.60	c  S st    34    104827       100      2130         0     14963     10650    240110   no data   no data
26.36/6.64	c  S st    34    105330       100      2130         0     15446     10650    251078   no data   no data
26.36/6.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.36/6.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.36/6.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
26.36/6.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.36/6.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.36/6.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.13/6.82	c lits-rem:       189  cl-subs:     1323  v-elim:      0  v-fix:    0  time:  0.16 s
27.13/6.82	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
27.13/6.82	c vivif2 --  cl tried    14123 cl shrink        0 lits rem          0 time: 0.00
27.13/6.87	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
27.13/6.87	c calculated reachability. Time: 0.00
27.13/6.87	c  N st    34    105330       100      2130         0     14123     10650    222395   no data   no data
29.93/7.52	c  N st    35    114930       100      2130         0     22951     10650    404155   no data   no data
33.53/8.40	c  N st    36    129328       100      2130         0     23392     10650    395495   no data   no data
39.91/10.05	c  N st    37    150924       100      2130         0     29295     10650    508652   no data   no data
41.92/10.50	c  S st    38    157995       100      2130         0     21223     10650    334384   no data   no data
41.92/10.56	c  S st    38    158495       100      2130         0     21704     10650    345555   no data   no data
41.92/10.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.92/10.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
41.92/10.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.92/10.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.92/10.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.92/10.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
41.92/10.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.92/10.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
41.92/10.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.52/10.93	c lits-rem:       309  cl-subs:     1967  v-elim:      0  v-fix:    0  time:  0.35 s
43.52/10.93	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
43.52/10.94	c vivif2 --  cl tried    19737 cl shrink        0 lits rem          0 time: 0.00
43.93/11.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
43.93/11.01	c calculated reachability. Time: 0.00
43.93/11.01	c  N st    38    158495       100      2130         0     19737     10650    306066   no data   no data
59.09/14.81	c  N st    39    207084       100      2130         0     32315     10650    544953   no data   no data
69.48/17.43	c  N st    40    237744       100      2130         0     24730     10650    380290   no data   no data
69.48/17.43	c  S st    40    237744       100      2130         0     24730     10650    380290   no data   no data
69.48/17.49	c  S st    40    238249       100      2130         0     25213     10650    391417   no data   no data
69.48/17.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.48/17.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
69.48/17.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.48/17.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.48/17.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.48/17.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
69.48/17.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.89/17.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
69.89/17.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.48/17.97	c lits-rem:       325  cl-subs:     1909  v-elim:      0  v-fix:    0  time:  0.46 s
71.48/17.97	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
71.48/17.98	c vivif2 --  cl tried    23304 cl shrink        0 lits rem          0 time: 0.00
71.88/18.06	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
71.88/18.06	c calculated reachability. Time: 0.00
71.88/18.06	c  N st    40    238249       100      2130         0     23304     10650    350622   no data   no data
95.45/23.98	c  F st    41    306250       100      2130         0     25223     10650    352474   no data   no data
95.45/23.98	c  N st    41    306250       100      2130         0     25223     10650    352474   no data   no data
97.44/24.47	c Decided on static restart strategy
107.03/26.84	c  N st    51    334556       100      2130         0     29200     10650    422406   no data   no data
117.02/29.36	c  N st    53    357373       100      2130         0     27167     10650    366438   no data   no data
117.02/29.36	c  S st    53    357373       100      2130         0     27167     10650    366438   no data   no data
117.42/29.43	c  S st    53    357877       100      2130         0     27647     10650    377497   no data   no data
117.42/29.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
117.42/29.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
117.42/29.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
117.42/29.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
117.42/29.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
117.42/29.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
117.42/29.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
117.42/29.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
117.42/29.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
118.63/29.76	c lits-rem:       197  cl-subs:     1471  v-elim:      0  v-fix:    0  time:  0.30 s
118.63/29.76	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
118.63/29.76	c vivif2 --  cl tried    26176 cl shrink        0 lits rem          0 time: 0.01
119.01/29.86	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
119.01/29.86	c calculated reachability. Time: 0.00
119.01/29.86	c  N st    53    357877       100      2130         0     26176     10650    347985   no data   no data
131.81/33.08	c  N st    54    390270       100      2130         0     32125     10650    457082   no data   no data
154.56/38.70	c  N st    55    438858       100      2130         0     26309     10650    319313   no data   no data
185.32/46.44	c  N st    56    511741       100      2130         0     38881     10650    561013   no data   no data
197.72/49.55	c  N st    57    536816       100      2130         0     33565     10650    442178   no data   no data
197.72/49.55	c  S st    57    536816       100      2130         0     33565     10650    442178   no data   no data
198.10/49.63	c  S st    57    537321       100      2130         0     34050     10650    453186   no data   no data
198.10/49.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
198.10/49.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
198.10/49.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
198.10/49.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
198.10/49.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
198.10/49.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
198.10/49.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
198.10/49.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
198.10/49.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
200.10/50.10	c lits-rem:       250  cl-subs:     1706  v-elim:      0  v-fix:    0  time:  0.44 s
200.10/50.10	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
200.10/50.10	c vivif2 --  cl tried    32344 cl shrink        0 lits rem          0 time: 0.01
200.50/50.22	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
200.50/50.22	c calculated reachability. Time: 0.00
200.50/50.22	c  N st    57    537321       100      2130         0     32344     10650    419207   no data   no data
290.77/72.86	c  N st    58    701307       100      2130         0     60049     10650    989635   no data   no data
356.28/89.25	c  N st    59    805982       100      2130         0     53875     10650    792512   no data   no data
356.28/89.25	c  S st    59    805982       100      2130         0     53875     10650    792512   no data   no data
357.08/89.40	c  S st    59    806486       100      2130         0     54359     10650    803527   no data   no data
357.08/89.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
357.08/89.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
357.08/89.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
357.08/89.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
357.08/89.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
357.08/89.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
357.08/89.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
357.08/89.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
357.08/89.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
369.47/92.59	c lits-rem:      1242  cl-subs:     6701  v-elim:      0  v-fix:    0  time:  3.13 s
369.47/92.59	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
369.87/92.60	c vivif2 --  cl tried    47658 cl shrink        0 lits rem          0 time: 0.01
370.67/92.82	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.22
370.67/92.82	c calculated reachability. Time: 0.00
370.67/92.82	c  N st    59    806486       100      2130         0     47658     10650    678417   no data   no data
544.04/136.27	c  F st    60   1071878       100      2130         0     63306     10650    943486   no data   no data
544.04/136.27	c  N st    60   1071878       100      2130         0     63306     10650    943486   no data   no data
548.03/137.21	c Decided on static restart strategy
567.61/142.16	c  N st    70   1100182       100      2130         0     48211     10650    615548   no data   no data
597.17/149.60	c  N st    72   1136175       100      2130         0     81353     10650   1350968   no data   no data
623.13/156.05	c  N st    73   1168567       100      2130         0     68858     10650   1047932   no data   no data
653.08/163.59	c  N st    74   1209732       100      2130         0     63466     10650    910170   no data   no data
653.08/163.59	c  S st    74   1209732       100      2130         0     63466     10650    910170   no data   no data
653.88/163.79	c  S st    74   1210236       100      2130         0     63950     10650    921225   no data   no data
653.88/163.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
654.29/163.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
654.29/163.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
654.29/163.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
654.29/163.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
654.29/163.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
654.29/163.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
654.29/163.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
654.29/163.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
675.05/169.07	c lits-rem:       580  cl-subs:     5461  v-elim:      0  v-fix:    0  time:  5.19 s
675.05/169.07	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
675.05/169.08	c vivif2 --  cl tried    58489 cl shrink        0 lits rem          0 time: 0.01
676.67/169.46	c asymm  cl-useful: 0/1845/2130 lits-rem:0 time: 0.38
676.67/169.46	c calculated reachability. Time: 0.00
676.67/169.46	c  N st    74   1210236       100      2130         0     58489     10650    815404   no data   no data
727.79/182.27	c  N st    75   1283118       100      2130         0     81576     10650   1321254   no data   no data
821.27/205.70	c  N st    76   1392441       100      2130         0     91202     10650   1509792   no data   no data
953.51/238.76	c  N st    77   1556427       100      2130         0     98403     10650   1608396   no data   no data
1085.70/271.89	c  N st    78   1710236       100      2130         0     87544     10650   1295867   no data   no data
1085.70/271.89	c  S st    78   1710236       100      2130         0     87544     10650   1295867   no data   no data
1087.30/272.27	c  S st    78   1710736       100      2130         0     88025     10650   1306976   no data   no data
1087.30/272.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1087.70/272.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
1087.70/272.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1087.70/272.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1087.70/272.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1087.70/272.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1087.70/272.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1087.70/272.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1088.10/272.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1171.99/293.45	c lits-rem:      1411  cl-subs:    13777  v-elim:      0  v-fix:    0  time: 21.05 s
1171.99/293.45	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1171.99/293.47	c vivif2 --  cl tried    74248 cl shrink        0 lits rem          0 time: 0.02
1173.98/293.91	c asymm  cl-useful: 0/1589/2130 lits-rem:0 time: 0.44
1173.98/293.91	c calculated reachability. Time: 0.00
1173.98/293.91	c  N st    78   1710736       100      2130         0     74248     10650   1054067   no data   no data
1492.75/373.71	c  N st    79   2079700       100      2130         0     86619     10650   1266374   no data   no data
1630.97/408.38	c  N st    80   2210737       100      2130         0     90280     10650   1299641   no data   no data
1630.97/408.38	c  S st    80   2210737       100      2130         0     90280     10650   1299641   no data   no data
1632.57/408.73	c  S st    80   2211243       100      2130         0     90771     10650   1311156   no data   no data
1632.57/408.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1632.57/408.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
1632.57/408.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1632.57/408.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1632.57/408.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1632.57/408.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1632.57/408.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1632.97/408.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1632.97/408.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1697.28/424.91	c lits-rem:      1395  cl-subs:     9819  v-elim:      0  v-fix:    0  time: 16.05 s
1697.28/424.91	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1697.28/424.93	c vivif2 --  cl tried    80952 cl shrink        0 lits rem          0 time: 0.02
1698.08/425.11	c asymm  cl-useful: 0/541/2130 lits-rem:0 time: 0.18
1698.08/425.12	c calculated reachability. Time: 0.00
1698.08/425.12	c  N st    80   2211243       100      2130         0     80952     10650   1124644   no data   no data
2190.21/548.37	c  N st    81   2711243       100      2130         0    103260     10650   1486793   no data   no data
2190.21/548.37	c  S st    81   2711243       100      2130         0    103260     10650   1486793   no data   no data
2191.82/548.72	c  S st    81   2711744       100      2130         0    103740     10650   1497926   no data   no data
2191.82/548.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2191.82/548.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
2191.82/548.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2191.82/548.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2191.82/548.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2191.82/548.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2191.82/548.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2191.82/548.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2192.23/548.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2256.13/564.85	c lits-rem:      1460  cl-subs:    14683  v-elim:      0  v-fix:    0  time: 16.02 s
2256.13/564.85	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2256.13/564.88	c vivif2 --  cl tried    89057 cl shrink        0 lits rem          0 time: 0.02
2258.14/565.33	c asymm  cl-useful: 0/1205/2130 lits-rem:0 time: 0.46
2258.14/565.34	c calculated reachability. Time: 0.00
2258.14/565.34	c  N st    81   2711744       100      2130         0     89057     10650   1232157   no data   no data
2828.96/708.23	c  N st    82   3211744       100      2130         0    138342     10650   2135562   no data   no data
2828.96/708.23	c  S st    82   3211744       100      2130         0    138342     10650   2135562   no data   no data
2830.95/708.72	c  S st    82   3212245       100      2130         0    138814     10650   2146554   no data   no data
2830.95/708.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2830.95/708.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2830.95/708.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2830.95/708.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2830.95/708.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2830.95/708.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2830.95/708.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2831.35/708.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2831.35/708.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3033.88/759.57	c lits-rem:      3525  cl-subs:    26594  v-elim:      0  v-fix:    0  time: 50.68 s
3033.88/759.57	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3033.88/759.60	c vivif2 --  cl tried   112220 cl shrink        0 lits rem          0 time: 0.02
3035.48/759.97	c asymm  cl-useful: 0/882/2130 lits-rem:0 time: 0.37
3035.48/759.97	c calculated reachability. Time: 0.00
3035.48/759.97	c  N st    82   3212245       100      2130         0    112220     10650   1658675   no data   no data
3614.30/904.83	c  N st    83   3712245       100      2130         0    130993     10650   1994992   no data   no data
3614.30/904.83	c  S st    83   3712245       100      2130         0    130993     10650   1994992   no data   no data
3616.32/905.34	c  S st    83   3712752       100      2130         0    131477     10650   2006433   no data   no data
3616.32/905.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3616.70/905.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.06
3616.70/905.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3616.70/905.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3616.70/905.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3616.70/905.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3616.70/905.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3616.70/905.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3617.10/905.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3732.94/934.55	c lits-rem:      2959  cl-subs:    17187  v-elim:      0  v-fix:    0  time: 29.04 s
3732.94/934.55	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3732.94/934.57	c vivif2 --  cl tried   114290 cl shrink        0 lits rem          0 time: 0.02
3734.54/934.93	c asymm  cl-useful: 0/1045/2130 lits-rem:0 time: 0.36
3734.54/934.94	c calculated reachability. Time: 0.00
3734.54/934.94	c  N st    83   3712752       100      2130         0    114290     10650   1678232   no data   no data
3788.87/948.56	c  F st    84   3751562       100      2130         0    149787     10650   2430425   no data   no data
3788.87/948.56	c  N st    84   3751562       100      2130         0    149787     10650   2430425   no data   no data
3799.65/951.22	c Decided on static restart strategy
3825.22/957.62	c  N st    94   3779867       100      2130         0     99696     10650   1314766   no data   no data
3874.35/969.94	c  N st    96   3815862       100      2130         0    132867     10650   2066167   no data   no data
3927.88/983.37	c  N st    97   3848255       100      2130         0     84901     10650    966732   no data   no data
3988.19/998.45	c  N st    98   3896843       100      2130         0    129320     10650   1893504   no data   no data
4090.88/1024.19	c  N st    99   3969725       100      2130         0    117434     10650   1648824   no data   no data
4238.66/1061.19	c  N st   100   4079048       100      2130         0    137708     10650   2082591   no data   no data
4514.69/1130.22	c  N st   101   4212752       100      2130         0     98379     10650   1218334   no data   no data
4514.69/1130.22	c  S st   101   4212752       100      2130         0     98379     10650   1218334   no data   no data
4516.29/1130.66	c  S st   101   4213257       100      2130         0     98863     10650   1229493   no data   no data
4516.29/1130.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4516.70/1130.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.07
4516.70/1130.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4516.70/1130.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4516.70/1130.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4516.70/1130.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4516.70/1130.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4516.70/1130.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4517.11/1130.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4545.04/1137.87	c lits-rem:       641  cl-subs:     4963  v-elim:      0  v-fix:    0  time:  7.05 s
4545.04/1137.87	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4545.04/1137.89	c vivif2 --  cl tried    93900 cl shrink        0 lits rem          0 time: 0.02
4547.04/1138.34	c asymm  cl-useful: 0/1083/2130 lits-rem:0 time: 0.45
4547.04/1138.35	c calculated reachability. Time: 0.00
4547.04/1138.35	c  N st   101   4213257       100      2130         0     93900     10650   1134245   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-3174267-1304116460/watcher-3174267-1304116460 -o /tmp/evaluation-result-3174267-1304116460/solver-3174267-1304116460 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174267-1304116460.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: 7.88 8.05 8.01 5/180 387
/proc/meminfo: memFree=30910288/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=20396 CPUtime=0 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4194304 249 0 0 0 0 0 0 0 25 0 1 0 523243958 20885504 200 33554432000 4194304 4627427 140733846423168 18446744073709551615 228239425639 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/387/statm: 5086 191 157 106 0 57 0
[pid=387/tid=388] ppid=385 vsize=116748 CPUtime=0 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) S 385 387 32264 0 -1 4202560 12 0 0 0 0 0 0 0 25 0 4 0 523243958 119549952 373 33554432000 4194304 4627427 140733846423168 18446744073709551615 228244453870 0 0 4096 2 18446604467747746048 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=116748 CPUtime=0 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 12 0 0 0 0 0 0 0 25 0 4 0 523243958 119549952 383 33554432000 4194304 4627427 140733846423168 18446744073709551615 228244346939 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=390] ppid=385 vsize=116756 CPUtime=0 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 18 0 0 0 0 0 0 0 25 0 4 0 523243958 119558144 391 33554432000 4194304 4627427 140733846423168 18446744073709551615 4534143 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.080157 s]
/proc/loadavg: 7.88 8.05 8.01 5/180 387
/proc/meminfo: memFree=30910288/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=282508 CPUtime=0.29 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 1586 0 0 0 29 0 0 0 18 0 4 0 523243958 289288192 1461 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 70627 1461 383 106 0 65598 0
[pid=387/tid=388] ppid=385 vsize=282508 CPUtime=0.07 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 333 0 0 0 7 0 0 0 18 0 4 0 523243958 289288192 1461 33554432000 4194304 4627427 140733846423168 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=282508 CPUtime=0.07 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 306 0 0 0 7 0 0 0 25 0 4 0 523243958 289288192 1461 33554432000 4194304 4627427 140733846423168 18446744073709551615 228244453870 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=282508 CPUtime=0.07 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 221 0 0 0 7 0 0 0 25 0 4 0 523243958 289288192 1461 33554432000 4194304 4627427 140733846423168 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 282508

[startup+0.107975 s]
/proc/loadavg: 7.88 8.05 8.01 5/180 387
/proc/meminfo: memFree=30910288/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=282640 CPUtime=0.41 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 1756 0 0 0 41 0 0 0 18 0 4 0 523243958 289423360 1631 33554432000 4194304 4627427 140733846423168 18446744073709551615 4308780 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 70660 1631 383 106 0 65631 0
[pid=387/tid=388] ppid=385 vsize=282640 CPUtime=0.1 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 378 0 0 0 10 0 0 0 18 0 4 0 523243958 289423360 1631 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=282640 CPUtime=0.1 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 352 0 0 0 10 0 0 0 25 0 4 0 523243958 289423360 1631 33554432000 4194304 4627427 140733846423168 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=282640 CPUtime=0.1 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 256 0 0 0 10 0 0 0 25 0 4 0 523243958 289423360 1631 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282640

[startup+0.300944 s]
/proc/loadavg: 7.88 8.05 8.01 5/180 387
/proc/meminfo: memFree=30910288/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=284512 CPUtime=1.18 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 3026 0 0 0 118 0 0 0 18 0 4 0 523243958 291340288 1969 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 71128 1969 384 106 0 66099 0
[pid=387/tid=388] ppid=385 vsize=284512 CPUtime=0.29 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 743 0 0 0 29 0 0 0 18 0 4 0 523243958 291340288 1969 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=284512 CPUtime=0.29 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 610 0 0 0 29 0 0 0 25 0 4 0 523243958 291340288 1969 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=284512 CPUtime=0.29 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 639 0 0 0 29 0 0 0 25 0 4 0 523243958 291340288 1969 33554432000 4194304 4627427 140733846423168 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284512

[startup+0.700872 s]
/proc/loadavg: 7.88 8.05 8.01 5/180 387
/proc/meminfo: memFree=30910288/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=285820 CPUtime=2.77 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 5000 0 0 0 277 0 0 0 18 0 4 0 523243958 292679680 2530 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 71455 2530 384 106 0 66426 0
[pid=387/tid=388] ppid=385 vsize=285820 CPUtime=0.69 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 1186 0 0 0 69 0 0 0 18 0 4 0 523243958 292679680 2530 33554432000 4194304 4627427 140733846423168 18446744073709551615 4321343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=285820 CPUtime=0.69 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 1142 0 0 0 69 0 0 0 25 0 4 0 523243958 292679680 2530 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=285820 CPUtime=0.69 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 1092 0 0 0 69 0 0 0 25 0 4 0 523243958 292679680 2530 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285820

[startup+1.50074 s]
/proc/loadavg: 7.88 8.05 8.01 9/184 391
/proc/meminfo: memFree=30880452/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=287036 CPUtime=5.97 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 10198 0 0 0 596 1 0 0 19 0 4 0 523243958 293924864 5152 33554432000 4194304 4627427 140733846423168 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 71759 5153 388 106 0 66730 0
[pid=387/tid=388] ppid=385 vsize=287036 CPUtime=1.49 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 2949 0 0 0 149 0 0 0 20 0 4 0 523243958 293924864 5153 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=287036 CPUtime=1.48 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 1930 0 0 0 148 0 0 0 25 0 4 0 523243958 293924864 5153 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=287036 CPUtime=1.48 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 1879 0 0 0 148 0 0 0 25 0 4 0 523243958 293924864 5153 33554432000 4194304 4627427 140733846423168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287036

[startup+3.10046 s]
/proc/loadavg: 7.88 8.05 8.01 9/184 391
/proc/meminfo: memFree=30852800/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=286964 CPUtime=12.36 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 19742 0 0 0 1233 3 0 0 25 0 4 0 523243958 293851136 11184 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 71741 11184 388 106 0 66712 0
[pid=387/tid=388] ppid=385 vsize=286964 CPUtime=3.08 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 5363 0 0 0 308 0 0 0 25 0 4 0 523243958 293851136 11184 33554432000 4194304 4627427 140733846423168 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=286964 CPUtime=3.07 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 4749 0 0 0 307 0 0 0 25 0 4 0 523243958 293851136 11184 33554432000 4194304 4627427 140733846423168 18446744073709551615 4330958 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=286964 CPUtime=3.09 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 4484 0 0 0 308 1 0 0 25 0 4 0 523243958 293851136 11184 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286964

[startup+6.3009 s]
/proc/loadavg: 7.89 8.05 8.01 9/184 391
/proc/meminfo: memFree=30825924/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=282672 CPUtime=25.14 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 27730 0 0 0 2509 5 0 0 25 0 4 0 523243958 289456128 13997 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 70668 13997 388 106 0 65639 0
[pid=387/tid=388] ppid=385 vsize=282672 CPUtime=6.29 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 6957 0 0 0 628 1 0 0 25 0 4 0 523243958 289456128 13997 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=282672 CPUtime=6.26 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 6982 0 0 0 625 1 0 0 25 0 4 0 523243958 289456128 13997 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=282672 CPUtime=6.29 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 6566 0 0 0 628 1 0 0 25 0 4 0 523243958 289456128 13997 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 282672

[startup+12.7008 s]
/proc/loadavg: 7.90 8.05 8.01 9/184 392
/proc/meminfo: memFree=30801500/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=298996 CPUtime=50.71 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 43237 0 0 0 5063 8 0 0 25 0 4 0 523243958 306171904 18349 33554432000 4194304 4627427 140733846423168 18446744073709551615 4321720 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 74749 18349 388 106 0 69720 0
[pid=387/tid=388] ppid=385 vsize=298996 CPUtime=12.69 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 10479 0 0 0 1267 2 0 0 25 0 4 0 523243958 306171904 18349 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=298996 CPUtime=12.62 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 11572 0 0 0 1261 1 0 0 25 0 4 0 523243958 306171904 18349 33554432000 4194304 4627427 140733846423168 18446744073709551615 4467894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=298996 CPUtime=12.69 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 10715 0 0 0 1267 2 0 0 25 0 4 0 523243958 306171904 18349 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 298996

[startup+25.5005 s]
/proc/loadavg: 7.92 8.04 8.01 9/184 392
/proc/meminfo: memFree=30763168/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=327448 CPUtime=101.84 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 63665 0 0 0 10171 13 0 0 25 0 4 0 523243958 335306752 22435 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 81862 22436 388 106 0 76833 0
[pid=387/tid=388] ppid=385 vsize=327448 CPUtime=25.48 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 15907 0 0 0 2546 2 0 0 25 0 4 0 523243958 335306752 22436 33554432000 4194304 4627427 140733846423168 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=327448 CPUtime=25.35 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 16056 0 0 0 2532 3 0 0 25 0 4 0 523243958 335306752 22436 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=327448 CPUtime=25.48 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 16086 0 0 0 2545 3 0 0 25 0 4 0 523243958 335306752 22436 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 327448

[startup+51.1011 s]
/proc/loadavg: 8.02 8.06 8.01 9/184 393
/proc/meminfo: memFree=30720360/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=341072 CPUtime=204.1 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 96258 0 0 0 20388 22 0 0 25 0 4 0 523243958 349257728 28704 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 85268 28704 388 106 0 80239 0
[pid=387/tid=388] ppid=385 vsize=341072 CPUtime=51.09 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 25123 0 0 0 5104 5 0 0 25 0 4 0 523243958 349257728 28704 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=341072 CPUtime=50.81 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 22590 0 0 0 5077 4 0 0 25 0 4 0 523243958 349257728 28704 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=341072 CPUtime=51.09 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 23770 0 0 0 5103 6 0 0 25 0 4 0 523243958 349257728 28704 33554432000 4194304 4627427 140733846423168 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 341072

[startup+102.307 s]
/proc/loadavg: 8.14 8.08 8.02 9/184 394
/proc/meminfo: memFree=30670200/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=334668 CPUtime=408.64 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 141513 0 0 0 40828 36 0 0 25 0 4 0 523243958 342700032 38113 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 83667 38113 388 106 0 78638 0
[pid=387/tid=388] ppid=385 vsize=334668 CPUtime=102.3 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 31715 0 0 0 10224 6 0 0 25 0 4 0 523243958 342700032 38113 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=334668 CPUtime=101.74 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 32093 0 0 0 10166 8 0 0 25 0 4 0 523243958 342700032 38113 33554432000 4194304 4627427 140733846423168 18446744073709551615 4322207 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=334668 CPUtime=102.29 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 39655 0 0 0 10218 11 0 0 25 0 4 0 523243958 342700032 38113 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 334668

[startup+162.301 s]

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

[pid=387] ppid=385 vsize=578984 CPUtime=2805.39 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 406422 0 0 0 280384 155 0 0 25 0 4 0 523243958 592879616 92360 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 144746 92360 388 106 0 139717 0
[pid=387/tid=388] ppid=385 vsize=578984 CPUtime=702.3 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 82031 0 0 0 70202 28 0 0 25 0 4 0 523243958 592879616 92360 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=578984 CPUtime=698.47 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 90545 0 0 0 69809 38 0 0 25 0 4 0 523243958 592879616 92360 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=578984 CPUtime=702.3 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 118767 0 0 0 70187 43 0 0 25 0 4 0 523243958 592879616 92360 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 578984

[startup+762.307 s]
/proc/loadavg: 8.10 8.09 8.03 9/184 412
/proc/meminfo: memFree=30230764/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=591700 CPUtime=3045.09 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 421374 0 0 0 304345 164 0 0 25 0 4 0 523243958 605900800 100837 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 147925 100837 388 106 0 142896 0
[pid=387/tid=388] ppid=385 vsize=591700 CPUtime=762.3 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 86734 0 0 0 76200 30 0 0 25 0 4 0 523243958 605900800 100837 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=591700 CPUtime=758.14 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 93719 0 0 0 75774 40 0 0 25 0 4 0 523243958 605900800 100837 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=591700 CPUtime=762.3 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 124299 0 0 0 76184 46 0 0 25 0 4 0 523243958 605900800 100837 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 591700

[startup+822.301 s]
/proc/loadavg: 8.04 8.07 8.03 9/184 413
/proc/meminfo: memFree=30172188/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=683144 CPUtime=3284.75 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 437750 0 0 0 328303 172 0 0 25 0 4 0 523243958 699539456 109156 33554432000 4194304 4627427 140733846423168 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 170786 109156 388 106 0 165757 0
[pid=387/tid=388] ppid=385 vsize=683144 CPUtime=822.3 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 90338 0 0 0 82198 32 0 0 25 0 4 0 523243958 699539456 109156 33554432000 4194304 4627427 140733846423168 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=683144 CPUtime=817.81 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 94217 0 0 0 81741 40 0 0 25 0 4 0 523243958 699539456 109156 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=683144 CPUtime=822.3 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 129134 0 0 0 82181 49 0 0 25 0 4 0 523243958 699539456 109156 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 683144

[startup+882.301 s]
/proc/loadavg: 8.18 8.10 8.04 9/184 415
/proc/meminfo: memFree=30193572/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=592808 CPUtime=3524.42 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 454115 0 0 0 352262 180 0 0 25 0 4 0 523243958 607035392 102581 33554432000 4194304 4627427 140733846423168 18446744073709551615 4321713 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 148202 102581 388 106 0 143173 0
[pid=387/tid=388] ppid=385 vsize=592808 CPUtime=882.3 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 90344 0 0 0 88198 32 0 0 25 0 4 0 523243958 607035392 102581 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=592808 CPUtime=877.49 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 100370 0 0 0 87706 43 0 0 25 0 4 0 523243958 607035392 102581 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=592808 CPUtime=882.31 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 135522 0 0 0 88178 53 0 0 25 0 4 0 523243958 607035392 102581 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 592808

[startup+942.301 s]
/proc/loadavg: 8.14 8.10 8.04 9/184 416
/proc/meminfo: memFree=30165124/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=671644 CPUtime=3764.1 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 474195 0 0 0 376220 190 0 0 25 0 4 0 523243958 687763456 113701 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 167911 113701 388 106 0 162882 0
[pid=387/tid=388] ppid=385 vsize=671644 CPUtime=942.31 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 94965 0 0 0 94196 35 0 0 25 0 4 0 523243958 687763456 113701 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=671644 CPUtime=937.16 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 106278 0 0 0 93670 46 0 0 25 0 4 0 523243958 687763456 113701 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=671644 CPUtime=942.31 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 141059 0 0 0 94176 55 0 0 25 0 4 0 523243958 687763456 113701 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 671644

[startup+1002.3 s]
/proc/loadavg: 8.12 8.09 8.03 9/184 418
/proc/meminfo: memFree=30134944/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=606044 CPUtime=4003.77 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 485525 0 0 0 400181 196 0 0 25 0 4 0 523243958 620589056 112316 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 151511 112316 388 106 0 146482 0
[pid=387/tid=388] ppid=385 vsize=606044 CPUtime=1002.31 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 99394 0 0 0 100194 37 0 0 25 0 4 0 523243958 620589056 112316 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=606044 CPUtime=996.83 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 107290 0 0 0 99636 47 0 0 25 0 4 0 523243958 620589056 112316 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=606044 CPUtime=1002.3 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 144000 0 0 0 100174 56 0 0 25 0 4 0 523243958 620589056 112316 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.77
Current children cumulated vsize (KiB) 606044

[startup+1062.3 s]
/proc/loadavg: 8.04 8.07 8.03 9/184 420
/proc/meminfo: memFree=30135000/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=633092 CPUtime=4243.46 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 503005 0 0 0 424143 203 0 0 25 0 4 0 523243958 648286208 114822 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 158273 114822 388 106 0 153244 0
[pid=387/tid=388] ppid=385 vsize=633092 CPUtime=1062.31 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 99394 0 0 0 106194 37 0 0 25 0 4 0 523243958 648286208 114822 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=633092 CPUtime=1056.52 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 110174 0 0 0 105603 49 0 0 25 0 4 0 523243958 648286208 114822 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=633092 CPUtime=1062.31 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 155143 0 0 0 106171 60 0 0 25 0 4 0 523243958 648286208 114822 33554432000 4194304 4627427 140733846423168 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 633092

[startup+1122.3 s]
/proc/loadavg: 8.08 8.07 8.03 9/184 421
/proc/meminfo: memFree=30110372/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=633092 CPUtime=4483.13 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 506690 0 0 0 448108 205 0 0 25 0 4 0 523243958 648286208 118507 33554432000 4194304 4627427 140733846423168 18446744073709551615 4324120 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 158273 118507 388 106 0 153244 0
[pid=387/tid=388] ppid=385 vsize=633092 CPUtime=1122.31 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 99654 0 0 0 112194 37 0 0 25 0 4 0 523243958 648286208 118507 33554432000 4194304 4627427 140733846423168 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=633092 CPUtime=1116.19 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 110429 0 0 0 111570 49 0 0 25 0 4 0 523243958 648286208 118507 33554432000 4194304 4627427 140733846423168 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=633092 CPUtime=1122.31 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 155143 0 0 0 112171 60 0 0 25 0 4 0 523243958 648286208 118507 33554432000 4194304 4627427 140733846423168 18446744073709551615 4427841 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 633092

[startup+1182.3 s]
/proc/loadavg: 8.03 8.06 8.02 9/184 423
/proc/meminfo: memFree=30119832/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=620540 CPUtime=4722.81 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 522417 0 0 0 472069 212 0 0 25 0 4 0 523243958 635432960 113898 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 155135 113898 388 106 0 150106 0
[pid=387/tid=388] ppid=385 vsize=620540 CPUtime=1182.31 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 99787 0 0 0 118194 37 0 0 25 0 4 0 523243958 635432960 113898 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=620540 CPUtime=1175.87 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 114562 0 0 0 117536 51 0 0 25 0 4 0 523243958 635432960 113898 33554432000 4194304 4627427 140733846423168 18446744073709551615 4504781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=620540 CPUtime=1182.31 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 160679 0 0 0 118170 61 0 0 25 0 4 0 523243958 635432960 113898 33554432000 4194304 4627427 140733846423168 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 620540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.02 8.05 8.02 5/179 424
/proc/meminfo: memFree=30471396/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=606964 CPUtime=4800.31 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 525321 0 0 0 479817 214 0 0 25 0 4 0 523243958 621531136 113591 33554432000 4194304 4627427 140733846423168 18446744073709551615 4324280 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 151741 113591 388 106 0 146712 0
[pid=387/tid=388] ppid=385 vsize=606964 CPUtime=1201.71 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 99999 0 0 0 120134 37 0 0 25 0 4 0 523243958 621531136 113592 33554432000 4194304 4627427 140733846423168 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=606964 CPUtime=1195.16 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 114657 0 0 0 119465 51 0 0 25 0 4 0 523243958 621531136 113592 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=606964 CPUtime=1201.72 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 162160 0 0 0 120109 63 0 0 25 0 4 0 523243958 621531136 113592 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 606964

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.02 8.05 8.02 5/179 424
/proc/meminfo: memFree=30471396/32951124 swapFree=67111364/67111528
[pid=387] ppid=385 vsize=606964 CPUtime=4800.31 cores=1,3,5,7
/proc/387/stat : 387 (strangenight2-m) R 385 387 32264 0 -1 4202496 525321 0 0 0 479817 214 0 0 25 0 4 0 523243958 621531136 113591 33554432000 4194304 4627427 140733846423168 18446744073709551615 4324280 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/387/statm: 151741 113591 388 106 0 146712 0
[pid=387/tid=388] ppid=385 vsize=606964 CPUtime=1201.71 cores=1,3,5,7
/proc/387/task/388/stat : 388 (strangenight2-m) R 385 387 32264 0 -1 4202560 99999 0 0 0 120134 37 0 0 25 0 4 0 523243958 621531136 113592 33554432000 4194304 4627427 140733846423168 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=387/tid=389] ppid=385 vsize=606964 CPUtime=1195.16 cores=1,3,5,7
/proc/387/task/389/stat : 389 (strangenight2-m) R 385 387 32264 0 -1 4202560 114657 0 0 0 119465 51 0 0 25 0 4 0 523243958 621531136 113592 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=387/tid=390] ppid=385 vsize=606964 CPUtime=1201.72 cores=1,3,5,7
/proc/387/task/390/stat : 390 (strangenight2-m) R 385 387 32264 0 -1 4202560 162160 0 0 0 120109 63 0 0 25 0 4 0 523243958 621531136 113592 33554432000 4194304 4627427 140733846423168 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 606964

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.37
CPU user time (s): 4798.2
CPU system time (s): 2.16667
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 700816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.2
system time used= 2.16667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525322
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= 215
involuntary context switches= 22145

runsolver used 1.84572 second user time and 4.73428 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-30 00:34:20
IDJOB=3174267
IDBENCH=83085
IDSOLVER=1586
FILE ID=node136/3174267-1304116460
RUNJOBID= node136-1304115254-32700
PBS_JOBID= 13170688
Free space on /tmp= 72328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174267-1304116460/watcher-3174267-1304116460 -o /tmp/evaluation-result-3174267-1304116460/solver-3174267-1304116460 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174267-1304116460.cnf

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

MD5SUM BENCH= c58a0ddee2026f6e03d1207be874b747
RANDOM SEED=119023129

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30910568 kB
Buffers:        591864 kB
Cached:         941788 kB
SwapCached:          0 kB
Active:         160288 kB
Inactive:      1457312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30910568 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           11316 kB
Writeback:           0 kB
AnonPages:       83628 kB
Mapped:          15188 kB
Slab:           360224 kB
PageTables:       4440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   289800 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= 72328 MiB
End job on node136 at 2011-04-30 00:54:24