Trace number 3366374

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 (fixed)? (TO) 4800.3 1203.14

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf
MD5SUMfa89dbbfc32d9aaebefbb7225db2ad6a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.004998
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-3366374-1305402800.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
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
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:    100 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.09/0.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.09/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.09/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.09/0.06	c calculated reachability. Time: 0.00
0.09/0.06	c Calc default polars -  time:   0.00 s pos:      50 undec:       6 neg:      44
0.09/0.06	c =========================================================================================
0.09/0.06	c types(t): F = full restart, N = normal restart
0.09/0.06	c types(t): S = simplification begin/end, E = solution found
0.09/0.06	c restart types(rt): st = static, dy = dynamic
0.09/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.09/0.06	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
0.09/0.06	c Decided on static restart strategy
0.37/0.12	c  N st     8      4913       100      2130         0      4582     10650    101290   no data   no data
1.17/0.31	c  N st    10     11295       100      2130         0      4246     10650     73782   no data   no data
1.97/0.51	c  N st    11     17040       100      2130         0      9542     10650    184872   no data   no data
2.77/0.79	c  F st    12     25000       100      2130         0     11744     10650    230618   no data   no data
2.77/0.79	c  N st    12     25000       100      2130         0     11744     10650    230618   no data   no data
3.57/0.98	c Decided on static restart strategy
3.57/0.98	c  N st    18     30000       100      2130         0     10086     10650    187133   no data   no data
3.57/0.98	c  S st    18     30000       100      2130         0     10086     10650    187133   no data   no data
3.98/1.01	c  S st    18     30501       100      2130         0     10565     10650    197710   no data   no data
3.98/1.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.98/1.01	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.98/1.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.98/1.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.98/1.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.98/1.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.98/1.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.98/1.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.41/1.18	c lits-rem:       208  cl-subs:     1875  v-elim:      0  v-fix:    0  time:  0.16 s
4.76/1.21	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.76/1.21	c calculated reachability. Time: 0.00
4.76/1.21	c  N st    18     30501       100      2130         0      8690     10650    157481   no data   no data
5.96/1.53	c  N st    20     37615       100      2130         0      7999     10650    129324   no data   no data
7.16/1.80	c  N st    21     44015       100      2130         0     13923     10650    257102   no data   no data
7.16/1.87	c  S st    22     45751       100      2130         0     15557     10650    293052   no data   no data
7.56/1.92	c  S st    22     46251       100      2130         0     16034     10650    303761   no data   no data
7.56/1.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.56/1.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.56/1.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.56/1.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.56/1.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.56/1.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.56/1.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.56/1.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.56/1.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.32	c lits-rem:       467  cl-subs:     2113  v-elim:      0  v-fix:    0  time:  0.39 s
9.15/2.32	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.15/2.32	c vivif2 --  cl tried    13921 cl shrink        0 lits rem          0 time: 0.00
9.15/2.38	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.15/2.38	c calculated reachability. Time: 0.00
9.15/2.38	c  N st    22     46251       100      2130         0     13921     10650    258163   no data   no data
12.34/3.11	c  N st    23     60648       100      2130         0      9812     10650    144399   no data   no data
13.93/3.55	c  N st    24     69376       100      2130         0     17913     10650    317315   no data   no data
13.93/3.55	c  S st    24     69376       100      2130         0     17913     10650    317315   no data   no data
14.33/3.60	c  S st    24     69877       100      2130         0     18402     10650    328161   no data   no data
14.33/3.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.33/3.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
14.33/3.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.33/3.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.33/3.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.33/3.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.33/3.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.33/3.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.33/3.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.14	c lits-rem:       325  cl-subs:     2541  v-elim:      0  v-fix:    0  time:  0.52 s
16.33/4.14	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.33/4.15	c vivif2 --  cl tried    15861 cl shrink        0 lits rem          0 time: 0.00
16.73/4.21	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.73/4.21	c calculated reachability. Time: 0.00
16.73/4.21	c  N st    24     69877       100      2130         0     15861     10650    276362   no data   no data
21.13/5.31	c  F st    25     87501       100      2130         0     22022     10650    396709   no data   no data
21.13/5.31	c  N st    25     87501       100      2130         0     22022     10650    396709   no data   no data
22.31/5.61	c Decided on static restart strategy
22.71/5.77	c  N st    32     95542       100      2130         0     18468     10650    313592   no data   no data
25.11/6.35	c  N st    34    104816       100      2130         0     15021     10650    234112   no data   no data
25.11/6.35	c  S st    34    104816       100      2130         0     15021     10650    234112   no data   no data
25.11/6.39	c  S st    34    105321       100      2130         0     15512     10650    245000   no data   no data
25.11/6.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.51/6.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
25.51/6.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.51/6.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.51/6.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.51/6.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
25.51/6.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.51/6.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.51/6.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.92/6.57	c lits-rem:       225  cl-subs:     1381  v-elim:      0  v-fix:    0  time:  0.16 s
25.92/6.57	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.92/6.57	c vivif2 --  cl tried    14131 cl shrink        0 lits rem          0 time: 0.00
26.34/6.63	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
26.34/6.63	c calculated reachability. Time: 0.00
26.34/6.63	c  N st    34    105321       100      2130         0     14131     10650    218231   no data   no data
28.70/7.24	c  N st    35    114920       100      2130         0     22954     10650    401907   no data   no data
32.29/8.13	c  N st    36    129317       100      2130         0     23414     10650    414083   no data   no data
38.27/9.62	c  N st    37    150914       100      2130         0     14725     10650    193100   no data   no data
39.87/10.05	c  S st    38    157981       100      2130         0     21223     10650    331267   no data   no data
40.27/10.11	c  S st    38    158487       100      2130         0     21706     10650    342146   no data   no data
40.27/10.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.27/10.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
40.27/10.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.27/10.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.27/10.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.27/10.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
40.27/10.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.27/10.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
40.27/10.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.87/10.52	c lits-rem:       231  cl-subs:     2154  v-elim:      0  v-fix:    0  time:  0.39 s
41.87/10.52	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
41.87/10.52	c vivif2 --  cl tried    19552 cl shrink        0 lits rem          0 time: 0.00
41.87/10.59	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
41.87/10.59	c calculated reachability. Time: 0.00
41.87/10.59	c  N st    38    158487       100      2130         0     19552     10650    298012   no data   no data
57.07/14.34	c  N st    39    207077       100      2130         0     32101     10650    541699   no data   no data
67.00/16.87	c  N st    40    237731       100      2130         0     24529     10650    364522   no data   no data
67.00/16.87	c  S st    40    237731       100      2130         0     24529     10650    364522   no data   no data
67.40/16.93	c  S st    40    238234       100      2130         0     25007     10650    375548   no data   no data
67.40/16.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.40/16.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
67.40/16.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
67.40/16.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
67.40/16.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.40/16.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
67.40/16.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.40/16.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
67.40/16.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.40/17.41	c lits-rem:       394  cl-subs:     2259  v-elim:      0  v-fix:    0  time:  0.46 s
69.40/17.41	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
69.40/17.42	c vivif2 --  cl tried    22748 cl shrink        0 lits rem          0 time: 0.00
69.40/17.50	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.09
69.40/17.50	c calculated reachability. Time: 0.00
69.40/17.50	c  N st    40    238234       100      2130         0     22748     10650    331939   no data   no data
92.18/23.17	c  F st    41    306250       100      2130         0     24742     10650    341143   no data   no data
92.18/23.17	c  N st    41    306250       100      2130         0     24742     10650    341143   no data   no data
94.13/23.60	c Decided on static restart strategy
102.91/25.82	c  N st    51    334556       100      2130         0     28836     10650    420478   no data   no data
112.50/28.28	c  N st    53    357351       100      2130         0     26821     10650    361615   no data   no data
112.50/28.28	c  S st    53    357351       100      2130         0     26821     10650    361615   no data   no data
112.90/28.35	c  S st    53    357852       100      2130         0     27301     10650    372315   no data   no data
112.90/28.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
112.90/28.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
112.90/28.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
112.90/28.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
112.90/28.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
112.90/28.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
112.90/28.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
112.90/28.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
112.90/28.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
114.13/28.62	c lits-rem:       229  cl-subs:     1111  v-elim:      0  v-fix:    0  time:  0.24 s
114.13/28.62	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
114.13/28.63	c vivif2 --  cl tried    26190 cl shrink        0 lits rem          0 time: 0.00
114.48/28.73	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
114.48/28.73	c calculated reachability. Time: 0.00
114.48/28.73	c  N st    53    357852       100      2130         0     26190     10650    349648   no data   no data
127.29/31.99	c  N st    54    390245       100      2130         0     32174     10650    467704   no data   no data
149.99/37.68	c  N st    55    438833       100      2130         0     26088     10650    314778   no data   no data
182.31/45.76	c  N st    56    511716       100      2130         0     38775     10650    552024   no data   no data
195.48/49.06	c  N st    57    536780       100      2130         0     33343     10650    433847   no data   no data
195.48/49.06	c  S st    57    536780       100      2130         0     33343     10650    433847   no data   no data
195.88/49.14	c  S st    57    537285       100      2130         0     33830     10650    444757   no data   no data
195.88/49.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
195.88/49.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
195.88/49.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
195.88/49.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
195.88/49.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
195.88/49.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
195.88/49.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
195.88/49.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
195.88/49.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
197.86/49.60	c lits-rem:       269  cl-subs:     1705  v-elim:      0  v-fix:    0  time:  0.43 s
197.86/49.60	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
197.86/49.60	c vivif2 --  cl tried    32125 cl shrink        0 lits rem          0 time: 0.00
198.26/49.73	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
198.26/49.73	c calculated reachability. Time: 0.00
198.26/49.73	c  N st    57    537285       100      2130         0     32125     10650    413481   no data   no data
273.28/68.54	c  N st    58    701271       100      2130         0     59709     10650    972448   no data   no data
334.32/83.85	c  N st    59    805929       100      2130         0     53866     10650    798807   no data   no data
334.32/83.85	c  S st    59    805929       100      2130         0     53866     10650    798807   no data   no data
335.12/84.00	c  S st    59    806433       100      2130         0     54338     10650    809623   no data   no data
335.12/84.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
335.12/84.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
335.12/84.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
335.12/84.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
335.12/84.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
335.12/84.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
335.12/84.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
335.12/84.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
335.12/84.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
347.49/87.18	c lits-rem:      1741  cl-subs:     6451  v-elim:      0  v-fix:    0  time:  3.12 s
347.49/87.18	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
347.49/87.19	c vivif2 --  cl tried    47887 cl shrink        0 lits rem          0 time: 0.01
348.69/87.43	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
348.69/87.43	c calculated reachability. Time: 0.00
348.69/87.43	c  N st    59    806433       100      2130         0     47887     10650    685253   no data   no data
510.67/128.03	c  F st    60   1071875       100      2130         0     63445     10650    937318   no data   no data
510.67/128.03	c  N st    60   1071875       100      2130         0     63445     10650    937318   no data   no data
515.06/129.18	c Decided on static restart strategy
533.82/133.80	c  N st    70   1100176       100      2130         0     48264     10650    609088   no data   no data
556.17/139.47	c  N st    72   1136171       100      2130         0     81531     10650   1352237   no data   no data
577.31/144.71	c  N st    73   1168565       100      2130         0     68991     10650   1059266   no data   no data
609.23/152.72	c  N st    74   1209651       100      2130         0     63538     10650    914634   no data   no data
609.23/152.72	c  S st    74   1209651       100      2130         0     63538     10650    914634   no data   no data
610.07/152.98	c  S st    74   1210159       100      2130         0     64031     10650    925907   no data   no data
610.07/152.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
610.42/153.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
610.42/153.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
610.42/153.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
610.42/153.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
610.42/153.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
610.42/153.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
610.42/153.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
610.42/153.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
635.57/159.37	c lits-rem:      1171  cl-subs:     5993  v-elim:      0  v-fix:    0  time:  6.30 s
635.57/159.37	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
635.57/159.38	c vivif2 --  cl tried    58038 cl shrink        0 lits rem          0 time: 0.01
637.16/159.76	c asymm  cl-useful: 0/1855/2130 lits-rem:0 time: 0.38
637.16/159.76	c calculated reachability. Time: 0.00
637.16/159.76	c  N st    74   1210159       100      2130         0     58038     10650    803560   no data   no data
702.59/176.18	c  N st    75   1283041       100      2130         0     80929     10650   1277517   no data   no data
779.60/195.49	c  N st    76   1392364       100      2130         0     90375     10650   1429648   no data   no data
904.87/226.86	c  N st    77   1556348       100      2130         0     97316     10650   1542509   no data   no data
1026.60/257.39	c  N st    78   1710161       100      2130         0     87282     10650   1292289   no data   no data
1026.60/257.39	c  S st    78   1710161       100      2130         0     87282     10650   1292289   no data   no data
1027.77/257.66	c  S st    78   1710665       100      2130         0     87761     10650   1303473   no data   no data
1027.77/257.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1028.17/257.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1028.17/257.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1028.17/257.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1028.17/257.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1028.17/257.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1028.17/257.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1028.17/257.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1028.17/257.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1072.05/268.71	c lits-rem:      2039  cl-subs:    12638  v-elim:      0  v-fix:    0  time: 10.95 s
1072.05/268.71	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1072.05/268.73	c vivif2 --  cl tried    75123 cl shrink        0 lits rem          0 time: 0.01
1073.25/269.05	c asymm  cl-useful: 0/1449/2130 lits-rem:0 time: 0.32
1073.25/269.05	c calculated reachability. Time: 0.00
1073.25/269.05	c  N st    78   1710665       100      2130         0     75123     10650   1071936   no data   no data
1418.77/355.69	c  N st    79   2079629       100      2130         0     86908     10650   1230331   no data   no data
1541.26/386.35	c  N st    80   2210667       100      2130         0     90588     10650   1322641   no data   no data
1541.26/386.35	c  S st    80   2210667       100      2130         0     90588     10650   1322641   no data   no data
1542.46/386.61	c  S st    80   2211169       100      2130         0     91068     10650   1333742   no data   no data
1542.46/386.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1542.46/386.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1542.46/386.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1542.46/386.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1542.46/386.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1542.46/386.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1542.46/386.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1542.46/386.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1542.86/386.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1581.55/396.40	c lits-rem:      1362  cl-subs:     9736  v-elim:      0  v-fix:    0  time:  9.69 s
1581.55/396.40	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1581.55/396.42	c vivif2 --  cl tried    81332 cl shrink        0 lits rem          0 time: 0.02
1582.35/396.60	c asymm  cl-useful: 0/681/2130 lits-rem:0 time: 0.19
1582.35/396.61	c calculated reachability. Time: 0.00
1582.35/396.61	c  N st    80   2211169       100      2130         0     81332     10650   1143913   no data   no data
2101.84/526.89	c  N st    81   2711169       100      2130         0    104525     10650   1546465   no data   no data
2101.84/526.89	c  S st    81   2711169       100      2130         0    104525     10650   1546465   no data   no data
2103.41/527.27	c  S st    81   2711674       100      2130         0    105011     10650   1557380   no data   no data
2103.41/527.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2103.81/527.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2103.81/527.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2103.81/527.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2103.81/527.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2103.81/527.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2103.81/527.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2103.81/527.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2103.81/527.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2154.08/539.92	c lits-rem:      1480  cl-subs:    10970  v-elim:      0  v-fix:    0  time: 12.52 s
2154.08/539.92	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2154.08/539.94	c vivif2 --  cl tried    94041 cl shrink        0 lits rem          0 time: 0.02
2155.27/540.27	c asymm  cl-useful: 0/1213/2130 lits-rem:0 time: 0.34
2155.27/540.28	c calculated reachability. Time: 0.00
2155.27/540.28	c  N st    81   2711674       100      2130         0     94041     10650   1353200   no data   no data
2753.77/690.25	c  N st    82   3211676       100      2130         0     71735     10650    762894   no data   no data
2753.77/690.25	c  S st    82   3211676       100      2130         0     71735     10650    762894   no data   no data
2754.57/690.45	c  S st    82   3212177       100      2130         0     72214     10650    774018   no data   no data
2754.57/690.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2754.57/690.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2754.57/690.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2754.57/690.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2754.57/690.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2754.57/690.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2754.57/690.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2754.97/690.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2754.97/690.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2756.56/690.91	c lits-rem:        32  cl-subs:      307  v-elim:      0  v-fix:    0  time:  0.39 s
2756.56/690.91	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2756.56/690.93	c vivif2 --  cl tried    71907 cl shrink        0 lits rem          0 time: 0.01
2757.36/691.12	c asymm  cl-useful: 0/917/2130 lits-rem:0 time: 0.20
2757.36/691.13	c calculated reachability. Time: 0.00
2757.36/691.13	c  N st    82   3212177       100      2130         0     71907     10650    769196   no data   no data
3313.60/830.54	c  N st    83   3712178       100      2130         0     82190     10650    926832   no data   no data
3313.60/830.54	c  S st    83   3712178       100      2130         0     82190     10650    926832   no data   no data
3314.76/830.80	c  S st    83   3712679       100      2130         0     82668     10650    937675   no data   no data
3314.76/830.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3314.76/830.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3314.76/830.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3314.76/830.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3314.76/830.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3314.76/830.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3314.76/830.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3314.76/830.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3314.76/830.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3318.75/831.87	c lits-rem:       227  cl-subs:     1605  v-elim:      0  v-fix:    0  time:  0.99 s
3318.75/831.87	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3318.75/831.88	c vivif2 --  cl tried    81063 cl shrink        0 lits rem          0 time: 0.01
3319.95/832.18	c asymm  cl-useful: 0/1277/2130 lits-rem:0 time: 0.30
3319.95/832.18	c calculated reachability. Time: 0.00
3319.95/832.18	c  N st    83   3712679       100      2130         0     81063     10650    908519   no data   no data
3362.23/842.76	c  F st    84   3751564       100      2130         0    116529     10650   1669806   no data   no data
3362.23/842.76	c  N st    84   3751564       100      2130         0    116529     10650   1669806   no data   no data
3370.65/844.85	c Decided on static restart strategy
3404.53/853.37	c  N st    94   3779872       100      2130         0    142599     10650   2238712   no data   no data
3452.01/865.20	c  N st    96   3815866       100      2130         0     97744     10650   1245443   no data   no data
3488.32/874.30	c  N st    97   3848258       100      2130         0    127450     10650   1902261   no data   no data
3548.96/889.53	c  N st    98   3896846       100      2130         0     93320     10650   1133750   no data   no data
3640.33/912.48	c  N st    99   3969728       100      2130         0     80476     10650    852049   no data   no data
3757.64/941.89	c  N st   100   4079051       100      2130         0     99867     10650   1257397   no data   no data
3926.01/984.09	c  N st   101   4212682       100      2130         0    140574     10650   2117608   no data   no data
3926.01/984.09	c  S st   101   4212682       100      2130         0    140574     10650   2117608   no data   no data
3928.05/984.53	c  S st   101   4213187       100      2130         0    141059     10650   2129346   no data   no data
3928.05/984.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3928.41/984.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
3928.41/984.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3928.41/984.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3928.41/984.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3928.41/984.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3928.41/984.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3928.41/984.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3928.80/984.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4059.72/1017.59	c lits-rem:      1566  cl-subs:    18560  v-elim:      0  v-fix:    0  time: 32.88 s
4059.72/1017.59	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4060.08/1017.61	c vivif2 --  cl tried   122499 cl shrink        0 lits rem          0 time: 0.03
4061.27/1017.99	c asymm  cl-useful: 0/821/2130 lits-rem:0 time: 0.38
4061.27/1018.00	c calculated reachability. Time: 0.00
4061.27/1018.00	c  N st   101   4213187       100      2130         0    122499     10650   1774036   no data   no data
4464.64/1119.03	c  N st   102   4459163       100      2130         0     99110     10650   1196322   no data   no data
4792.25/1201.18	c  N st   103   4713187       100      2130         0    160603     10650   2476486   no data   no data
4792.25/1201.18	c  S st   103   4713187       100      2130         0    160603     10650   2476486   no data   no data
4794.62/1201.72	c  S st   103   4713692       100      2130         0    161094     10650   2488076   no data   no data
4794.62/1201.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4795.02/1201.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.08
4795.02/1201.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4795.02/1201.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4795.02/1201.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4795.02/1201.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4795.02/1201.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4795.02/1201.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4795.42/1201.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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: 961)

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

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

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.80 8.02 7.99 6/319 17889
/proc/meminfo: memFree=15660180/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 730510718 52396032 352 33554432000 4194304 4580107 140737372637712 18446744073709551615 231895546865 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 12792 352 302 95 0 7774 0
[pid=17889/tid=17890] ppid=17887 vsize=216152 CPUtime=0 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 73 0 0 0 0 0 0 0 25 0 4 0 730510719 221339648 674 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=216152 CPUtime=0 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 4 0 730510719 221339648 674 33554432000 4194304 4580107 140737372637712 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=216152 CPUtime=0 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 94 0 0 0 0 0 0 0 25 0 4 0 730510719 221339648 674 33554432000 4194304 4580107 140737372637712 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0301031 s]
/proc/loadavg: 7.80 8.02 7.99 6/319 17889
/proc/meminfo: memFree=15660180/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=216572 CPUtime=0.09 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 1211 0 0 0 9 0 0 0 25 0 4 0 730510718 221769728 1127 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 54143 1127 375 95 0 49125 0
[pid=17889/tid=17890] ppid=17887 vsize=216572 CPUtime=0.02 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 210 0 0 0 2 0 0 0 25 0 4 0 730510719 221769728 1127 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=216572 CPUtime=0.01 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 186 0 0 0 1 0 0 0 25 0 4 0 730510719 221769728 1128 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=216572 CPUtime=0.02 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 133 0 0 0 2 0 0 0 25 0 4 0 730510719 221769728 1128 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 216572

[startup+0.10109 s]
/proc/loadavg: 7.80 8.02 7.99 6/319 17889
/proc/meminfo: memFree=15660180/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=216844 CPUtime=0.37 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 1649 0 0 0 37 0 0 0 25 0 4 0 730510718 222048256 1565 33554432000 4194304 4580107 140737372637712 18446744073709551615 4316661 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 54211 1565 376 95 0 49193 0
[pid=17889/tid=17890] ppid=17887 vsize=216844 CPUtime=0.09 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 320 0 0 0 9 0 0 0 25 0 4 0 730510719 222048256 1565 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=216844 CPUtime=0.08 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 314 0 0 0 8 0 0 0 25 0 4 0 730510719 222048256 1565 33554432000 4194304 4580107 140737372637712 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=216844 CPUtime=0.09 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 235 0 0 0 9 0 0 0 25 0 4 0 730510719 222048256 1565 33554432000 4194304 4580107 140737372637712 18446744073709551615 4320793 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 216844

[startup+0.301053 s]
/proc/loadavg: 7.80 8.02 7.99 6/319 17889
/proc/meminfo: memFree=15660180/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=218516 CPUtime=1.17 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 2850 0 0 0 117 0 0 0 25 0 4 0 730510718 223760384 2041 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 54629 2041 377 95 0 49611 0
[pid=17889/tid=17890] ppid=17887 vsize=218516 CPUtime=0.29 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 593 0 0 0 29 0 0 0 25 0 4 0 730510719 223760384 2041 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=218516 CPUtime=0.28 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 702 0 0 0 28 0 0 0 25 0 4 0 730510719 223760384 2041 33554432000 4194304 4580107 140737372637712 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=218516 CPUtime=0.29 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 494 0 0 0 29 0 0 0 25 0 4 0 730510719 223760384 2041 33554432000 4194304 4580107 140737372637712 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 218516

[startup+0.700978 s]
/proc/loadavg: 7.80 8.02 7.99 6/319 17889
/proc/meminfo: memFree=15660180/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=219784 CPUtime=2.77 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 4890 0 0 0 277 0 0 0 25 0 4 0 730510718 225058816 2487 33554432000 4194304 4580107 140737372637712 18446744073709551615 4295687 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 54946 2488 377 95 0 49928 0
[pid=17889/tid=17890] ppid=17887 vsize=219784 CPUtime=0.69 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 1130 0 0 0 69 0 0 0 25 0 4 0 730510719 225058816 2488 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=219784 CPUtime=0.68 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 1128 0 0 0 68 0 0 0 25 0 4 0 730510719 225058816 2488 33554432000 4194304 4580107 140737372637712 18446744073709551615 4317503 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=219784 CPUtime=0.69 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 1032 0 0 0 69 0 0 0 25 0 4 0 730510719 225058816 2489 33554432000 4194304 4580107 140737372637712 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 219784

[startup+1.50083 s]
/proc/loadavg: 7.82 8.02 7.99 9/323 17893
/proc/meminfo: memFree=15647128/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=225108 CPUtime=5.96 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 10051 0 0 0 595 1 0 0 25 0 4 0 730510718 230510592 5255 33554432000 4194304 4580107 140737372637712 18446744073709551615 4340653 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 56277 5255 379 95 0 51259 0
[pid=17889/tid=17890] ppid=17887 vsize=225108 CPUtime=1.49 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 2835 0 0 0 149 0 0 0 25 0 4 0 730510719 230510592 5255 33554432000 4194304 4580107 140737372637712 18446744073709551615 4316446 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=225108 CPUtime=1.47 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 1911 0 0 0 147 0 0 0 25 0 4 0 730510719 230510592 5255 33554432000 4194304 4580107 140737372637712 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=225108 CPUtime=1.49 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 1871 0 0 0 149 0 0 0 25 0 4 0 730510719 230510592 5255 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 225108

[startup+3.10053 s]
/proc/loadavg: 7.82 8.02 7.99 9/323 17893
/proc/meminfo: memFree=15617864/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=231440 CPUtime=12.34 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 19658 0 0 0 1232 2 0 0 25 0 4 0 730510718 236994560 11120 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 57860 11120 379 95 0 52842 0
[pid=17889/tid=17890] ppid=17887 vsize=231440 CPUtime=3.08 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 5197 0 0 0 308 0 0 0 25 0 4 0 730510719 236994560 11120 33554432000 4194304 4580107 140737372637712 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=231440 CPUtime=3.06 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 4612 0 0 0 306 0 0 0 25 0 4 0 730510719 236994560 11120 33554432000 4194304 4580107 140737372637712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=231440 CPUtime=3.08 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 4395 0 0 0 308 0 0 0 25 0 4 0 730510719 236994560 11120 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 231440

[startup+6.30093 s]
/proc/loadavg: 7.91 8.04 7.99 9/323 17893
/proc/meminfo: memFree=15598772/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=231212 CPUtime=25.11 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 27382 0 0 0 2507 4 0 0 25 0 4 0 730510718 236761088 14041 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 57803 14041 379 95 0 52785 0
[pid=17889/tid=17890] ppid=17887 vsize=231212 CPUtime=6.29 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 6474 0 0 0 628 1 0 0 25 0 4 0 730510719 236761088 14041 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=231212 CPUtime=6.22 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 7027 0 0 0 622 0 0 0 25 0 4 0 730510719 236761088 14041 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=231212 CPUtime=6.28 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 6495 0 0 0 627 1 0 0 25 0 4 0 730510719 236761088 14041 33554432000 4194304 4580107 140737372637712 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 231212

[startup+12.7007 s]
/proc/loadavg: 7.92 8.03 7.99 9/323 17893
/proc/meminfo: memFree=15568500/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=250376 CPUtime=50.64 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 39810 0 0 0 5058 6 0 0 25 0 4 0 730510718 256385024 17769 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 62594 17770 379 95 0 57576 0
[pid=17889/tid=17890] ppid=17887 vsize=250376 CPUtime=12.69 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 8630 0 0 0 1268 1 0 0 25 0 4 0 730510719 256385024 17770 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=250376 CPUtime=12.56 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 10377 0 0 0 1254 2 0 0 25 0 4 0 730510719 256385024 17770 33554432000 4194304 4580107 140737372637712 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=250376 CPUtime=12.68 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 10205 0 0 0 1267 1 0 0 25 0 4 0 730510719 256385024 17770 33554432000 4194304 4580107 140737372637712 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 250376

[startup+25.5003 s]
/proc/loadavg: 8.00 8.05 8.00 9/323 17894
/proc/meminfo: memFree=15534644/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=247280 CPUtime=101.72 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 61117 0 0 0 10161 11 0 0 25 0 4 0 730510718 253214720 20656 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 61820 20656 379 95 0 56802 0
[pid=17889/tid=17890] ppid=17887 vsize=247280 CPUtime=25.49 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 12927 0 0 0 2547 2 0 0 25 0 4 0 730510719 253214720 20656 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=247280 CPUtime=25.23 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 16267 0 0 0 2520 3 0 0 25 0 4 0 730510719 253214720 20656 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=247280 CPUtime=25.48 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 15579 0 0 0 2546 2 0 0 25 0 4 0 730510719 253214720 20656 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 247280

[startup+51.1006 s]
/proc/loadavg: 8.08 8.06 8.00 9/323 17924
/proc/meminfo: memFree=15501432/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=254272 CPUtime=203.85 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 94759 0 0 0 20366 19 0 0 25 0 4 0 730510718 260374528 27277 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 63568 27277 379 95 0 58550 0
[pid=17889/tid=17890] ppid=17887 vsize=254272 CPUtime=51.09 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 21221 0 0 0 5105 4 0 0 25 0 4 0 730510719 260374528 27277 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=254272 CPUtime=50.57 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 24389 0 0 0 5053 4 0 0 25 0 4 0 730510719 260374528 27277 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=254272 CPUtime=51.07 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 24028 0 0 0 5103 4 0 0 25 0 4 0 730510719 260374528 27277 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 254272

[startup+102.312 s]
/proc/loadavg: 8.16 8.08 8.01 9/323 17926
/proc/meminfo: memFree=15397372/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=261592 CPUtime=408.18 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 146120 0 0 0 40785 33 0 0 25 0 4 0 730510718 267870208 33506 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 65398 33506 379 95 0 60380 0
[pid=17889/tid=17890] ppid=17887 vsize=261592 CPUtime=102.3 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 31946 0 0 0 10223 7 0 0 25 0 4 0 730510719 267870208 33506 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=261592 CPUtime=101.27 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 36226 0 0 0 10120 7 0 0 25 0 4 0 730510719 267870208 33506 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=261592 CPUtime=102.28 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 37752 0 0 0 10220 8 0 0 25 0 4 0 730510719 267870208 33506 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.18
Current children cumulated vsize (KiB) 261592

[startup+162.301 s]

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

[pid=17889] ppid=17887 vsize=470960 CPUtime=2802.05 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 433640 0 0 0 280065 140 0 0 25 0 4 0 730510718 482263040 86247 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 117740 86247 379 95 0 112722 0
[pid=17889/tid=17890] ppid=17887 vsize=470960 CPUtime=702.3 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 81405 0 0 0 70206 24 0 0 25 0 4 0 730510719 482263040 86247 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=470960 CPUtime=695.26 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 121955 0 0 0 69486 40 0 0 25 0 4 0 730510719 482263040 86247 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=470960 CPUtime=702.18 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 94563 0 0 0 70189 29 0 0 25 0 4 0 730510719 482263040 86247 33554432000 4194304 4580107 140737372637712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.05
Current children cumulated vsize (KiB) 470960

[startup+762.312 s]
/proc/loadavg: 8.15 8.11 8.03 9/323 17952
/proc/meminfo: memFree=15046308/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=526956 CPUtime=3041.49 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 455333 0 0 0 304000 149 0 0 25 0 4 0 730510718 539602944 84222 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 131739 84222 379 95 0 126721 0
[pid=17889/tid=17890] ppid=17887 vsize=526956 CPUtime=762.31 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 85278 0 0 0 76206 25 0 0 25 0 4 0 730510719 539602944 84222 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=526956 CPUtime=754.67 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 129830 0 0 0 75425 42 0 0 25 0 4 0 730510719 539602944 84222 33554432000 4194304 4580107 140737372637712 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=526956 CPUtime=762.19 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 97058 0 0 0 76188 31 0 0 25 0 4 0 730510719 539602944 84222 33554432000 4194304 4580107 140737372637712 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.49
Current children cumulated vsize (KiB) 526956

[startup+822.301 s]
/proc/loadavg: 8.05 8.09 8.02 9/323 17954
/proc/meminfo: memFree=15024060/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=514536 CPUtime=3280.85 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 483244 0 0 0 327926 159 0 0 25 0 4 0 730510718 526884864 88863 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 128634 88863 379 95 0 123616 0
[pid=17889/tid=17890] ppid=17887 vsize=514536 CPUtime=822.3 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 92153 0 0 0 82203 27 0 0 25 0 4 0 730510719 526884864 88863 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=514536 CPUtime=814.07 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 136687 0 0 0 81362 45 0 0 25 0 4 0 730510719 526884864 88863 33554432000 4194304 4580107 140737372637712 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=514536 CPUtime=822.17 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 103702 0 0 0 82184 33 0 0 25 0 4 0 730510719 526884864 88863 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.85
Current children cumulated vsize (KiB) 514536

[startup+882.301 s]
/proc/loadavg: 8.07 8.08 8.02 9/323 17955
/proc/meminfo: memFree=15001560/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=528092 CPUtime=3520.24 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 507453 0 0 0 351855 169 0 0 25 0 4 0 730510718 540766208 88759 33554432000 4194304 4580107 140737372637712 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 132023 88759 379 95 0 127005 0
[pid=17889/tid=17890] ppid=17887 vsize=528092 CPUtime=882.3 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 99821 0 0 0 88200 30 0 0 25 0 4 0 730510719 540766208 88759 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=528092 CPUtime=873.47 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 142738 0 0 0 87300 47 0 0 25 0 4 0 730510719 540766208 88759 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=528092 CPUtime=882.16 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 107259 0 0 0 88182 34 0 0 25 0 4 0 730510719 540766208 88759 33554432000 4194304 4580107 140737372637712 18446744073709551615 4295695 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.24
Current children cumulated vsize (KiB) 528092

[startup+942.301 s]
/proc/loadavg: 8.06 8.08 8.02 9/323 17957
/proc/meminfo: memFree=14995580/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=528616 CPUtime=3759.63 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 534292 0 0 0 375785 178 0 0 25 0 4 0 730510718 541302784 88515 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 132154 88515 379 95 0 127136 0
[pid=17889/tid=17890] ppid=17887 vsize=528616 CPUtime=942.31 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 106059 0 0 0 94199 32 0 0 25 0 4 0 730510719 541302784 88515 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=528616 CPUtime=932.87 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 149064 0 0 0 93238 49 0 0 25 0 4 0 730510719 541302784 88515 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=528616 CPUtime=942.15 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 113363 0 0 0 94178 37 0 0 25 0 4 0 730510719 541302784 88515 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.63
Current children cumulated vsize (KiB) 528616

[startup+1002.3 s]
/proc/loadavg: 8.15 8.10 8.02 9/323 17959
/proc/meminfo: memFree=14963268/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=529000 CPUtime=3999.03 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 561387 0 0 0 399714 189 0 0 25 0 4 0 730510718 541696000 93866 33554432000 4194304 4580107 140737372637712 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 132250 93866 379 95 0 127232 0
[pid=17889/tid=17890] ppid=17887 vsize=529000 CPUtime=1002.31 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 112058 0 0 0 100197 34 0 0 25 0 4 0 730510719 541696000 93866 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=529000 CPUtime=992.28 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 155565 0 0 0 99175 53 0 0 25 0 4 0 730510719 541696000 93866 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=529000 CPUtime=1002.15 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 119456 0 0 0 100175 40 0 0 25 0 4 0 730510719 541696000 93866 33554432000 4194304 4580107 140737372637712 18446744073709551615 4340653 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.03
Current children cumulated vsize (KiB) 529000

[startup+1062.3 s]
/proc/loadavg: 8.10 8.09 8.02 9/323 17960
/proc/meminfo: memFree=14943628/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=526388 CPUtime=4238.43 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 581639 0 0 0 423644 199 0 0 25 0 4 0 730510718 539021312 97339 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 131597 97339 379 95 0 126579 0
[pid=17889/tid=17890] ppid=17887 vsize=526388 CPUtime=1062.31 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 118711 0 0 0 106194 37 0 0 25 0 4 0 730510719 539021312 97339 33554432000 4194304 4580107 140737372637712 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=526388 CPUtime=1051.67 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 161339 0 0 0 105112 55 0 0 25 0 4 0 730510719 539021312 97339 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=526388 CPUtime=1062.14 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 123794 0 0 0 106173 41 0 0 25 0 4 0 730510719 539021312 97339 33554432000 4194304 4580107 140737372637712 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.43
Current children cumulated vsize (KiB) 526388

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 8.02 9/323 17962
/proc/meminfo: memFree=14916152/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=526520 CPUtime=4477.81 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 596742 0 0 0 447575 206 0 0 25 0 4 0 730510718 539156480 102423 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 131630 102423 379 95 0 126612 0
[pid=17889/tid=17890] ppid=17887 vsize=526520 CPUtime=1122.31 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 119353 0 0 0 112194 37 0 0 25 0 4 0 730510719 539156480 102423 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=526520 CPUtime=1111.06 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 166522 0 0 0 111050 56 0 0 25 0 4 0 730510719 539156480 102423 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=526520 CPUtime=1122.13 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 127632 0 0 0 112170 43 0 0 25 0 4 0 730510719 539156480 102423 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.81
Current children cumulated vsize (KiB) 526520

[startup+1182.3 s]
/proc/loadavg: 8.13 8.10 8.03 9/323 17963
/proc/meminfo: memFree=14941888/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=536840 CPUtime=4717.22 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 621251 0 0 0 471504 218 0 0 25 0 4 0 730510718 549724160 99470 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 134210 99470 379 95 0 129192 0
[pid=17889/tid=17890] ppid=17887 vsize=536840 CPUtime=1182.31 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 124304 0 0 0 118192 39 0 0 25 0 4 0 730510719 549724160 99470 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=536840 CPUtime=1170.47 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 173058 0 0 0 116987 60 0 0 25 0 4 0 730510719 549724160 99470 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=536840 CPUtime=1182.12 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 134318 0 0 0 118167 45 0 0 25 0 4 0 730510719 549724160 99470 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.22
Current children cumulated vsize (KiB) 536840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.16 8.11 8.03 9/323 17964
/proc/meminfo: memFree=14898832/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=536096 CPUtime=4800.23 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 634418 0 0 0 479801 222 0 0 25 0 4 0 730510718 548962304 106160 33554432000 4194304 4580107 140737372637712 18446744073709551615 4406470 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 134024 106160 379 95 0 129006 0
[pid=17889/tid=17890] ppid=17887 vsize=536096 CPUtime=1203.13 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 126467 0 0 0 120273 40 0 0 25 0 4 0 730510719 548962304 106160 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=536096 CPUtime=1191.06 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 175753 0 0 0 119045 61 0 0 25 0 4 0 730510719 548962304 106160 33554432000 4194304 4580107 140737372637712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=536096 CPUtime=1202.93 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 136970 0 0 0 120247 46 0 0 25 0 4 0 730510719 548962304 106160 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 536096

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

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

[startup+1203.1 s]
/proc/loadavg: 8.16 8.11 8.03 9/323 17964
/proc/meminfo: memFree=14898832/32950928 swapFree=67085488/67111528
[pid=17889] ppid=17887 vsize=536096 CPUtime=4800.23 cores=0,2,4,6
/proc/17889/stat : 17889 (strangenight2-m) R 17887 17889 17424 0 -1 4202496 634418 0 0 0 479801 222 0 0 25 0 4 0 730510718 548962304 106160 33554432000 4194304 4580107 140737372637712 18446744073709551615 4406470 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17889/statm: 134024 106160 379 95 0 129006 0
[pid=17889/tid=17890] ppid=17887 vsize=536096 CPUtime=1203.13 cores=0,2,4,6
/proc/17889/task/17890/stat : 17890 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 126467 0 0 0 120273 40 0 0 25 0 4 0 730510719 548962304 106160 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17889/tid=17891] ppid=17887 vsize=536096 CPUtime=1191.06 cores=0,2,4,6
/proc/17889/task/17891/stat : 17891 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 175753 0 0 0 119045 61 0 0 25 0 4 0 730510719 548962304 106160 33554432000 4194304 4580107 140737372637712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17889/tid=17892] ppid=17887 vsize=536096 CPUtime=1202.93 cores=0,2,4,6
/proc/17889/task/17892/stat : 17892 (strangenight2-m) R 17887 17889 17424 0 -1 4202560 136970 0 0 0 120247 46 0 0 25 0 4 0 730510719 548962304 106160 33554432000 4194304 4580107 140737372637712 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 536096

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.3
CPU user time (s): 4798.06
CPU system time (s): 2.24166
CPU usage (%): 398.981
Max. virtual memory (cumulated for all children) (KiB): 607636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.06
system time used= 2.24166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634419
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= 251
involuntary context switches= 21611

runsolver used 3.37649 second user time and 8.70768 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-14 21:53:20
IDJOB=3366374
IDBENCH=82783
IDSOLVER=1844
FILE ID=node114/3366374-1305402800
RUNJOBID= node114-1305401591-17739
PBS_JOBID= 13324473
Free space on /tmp= 72976 MiB

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

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

MD5SUM BENCH= fa89dbbfc32d9aaebefbb7225db2ad6a
RANDOM SEED=610837530

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.73
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.848
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.848
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.848
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.74
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.848
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:     32950928 kB
MemFree:      15660336 kB
Buffers:        274700 kB
Cached:        6216924 kB
SwapCached:         96 kB
Active:       11919516 kB
Inactive:      4962360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15660336 kB
SwapTotal:    67111528 kB
SwapFree:     67085488 kB
Dirty:           11100 kB
Writeback:           0 kB
AnonPages:    10390148 kB
Mapped:          27244 kB
Slab:           307408 kB
PageTables:      37056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52563136 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= 72968 MiB
End job on node114 at 2011-05-14 22:13:26