Trace number 3366607

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.47 1203.45

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf
MD5SUMdea41a8eae52b60f8e05be01aec1734d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark299.825
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366607-1305410161.cnf'
0.00/0.01	c -- header says num vars:            450
0.00/0.01	c -- header says num clauses:        1917
0.00/0.01	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
3.57/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.00 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:     196 undec:      62 neg:     192
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       444      1911         0         0      5763         0   no data   no data
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4920       444      1911         0      4827      5763    104086   no data   no data
3.57/0.90	c  N st    10     11304       444      1911         0      4472      5763     69846   no data   no data
3.57/0.90	c  N st    11     17048       444      1911         0     10098      5763    199176   no data   no data
3.97/1.10	c  F st    12     25002       444      1911         0     12343      5763    236234   no data   no data
3.97/1.10	c  N st    12     25002       444      1911         0     12343      5763    236234   no data   no data
5.16/1.30	c Decided on static restart strategy
5.16/1.30	c  N st    18     30000       444      1911         0     10621      5763    183338   no data   no data
5.16/1.30	c  S st    18     30000       444      1911         0     10621      5763    183338   no data   no data
5.16/1.30	c  S st    18     30504       444      1911         0     11124      5763    193809   no data   no data
5.55/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.40	c blocked clauses removed:        0 vars:      0 tried:         444 T: 0.00 s
5.55/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
5.55/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.55/1.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.40	c lits-rem:       124  cl-subs:      712  v-elim:      0  v-fix:    0  time:  0.05 s
5.55/1.40	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.01
5.55/1.40	c calculated reachability. Time: 0.00
5.55/1.40	c  N st    18     30504       444      1911         0     10412      5762    178269   no data   no data
6.76/1.78	c  N st    20     37614       444      1911         0      9636      5762    144836   no data   no data
8.35/2.16	c  N st    21     44013       444      1911         0     15858      5762    274328   no data   no data
8.77/2.28	c  S st    22     45757       444      1911         0      8850      5762    114282   no data   no data
8.77/2.31	c  S st    22     46258       444      1911         0      9351      5762    125178   no data   no data
8.77/2.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
9.19/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.32	c lits-rem:        18  cl-subs:       97  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.32	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
9.19/2.32	c vivif2 --  cl tried     9254 cl shrink        0 lits rem          0 time: 0.00
9.19/2.33	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.00
9.19/2.33	c calculated reachability. Time: 0.00
9.19/2.33	c  N st    22     46258       444      1911         0      9254      5762    123116   no data   no data
12.75/3.20	c  N st    23     60655       444      1911         0     13597      5762    209697   no data   no data
15.53/3.90	c  N st    24     69387       444      1911         0     11407      5762    151516   no data   no data
15.53/3.90	c  S st    24     69387       444      1911         0     11407      5762    151516   no data   no data
15.53/3.93	c  S st    24     69889       444      1911         0     11909      5762    162116   no data   no data
15.53/3.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.53/3.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.53/3.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
15.53/3.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.53/3.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.53/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.96	c lits-rem:        19  cl-subs:      120  v-elim:      0  v-fix:    0  time:  0.01 s
15.53/3.96	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
15.53/3.96	c vivif2 --  cl tried    11789 cl shrink        0 lits rem          0 time: 0.00
15.53/3.97	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.01
15.53/3.97	c calculated reachability. Time: 0.00
15.53/3.97	c  N st    24     69889       444      1911         0     11789      5762    159465   no data   no data
20.32/5.17	c  F st    25     87502       444      1911         0     17255      5762    275653   no data   no data
20.32/5.17	c  N st    25     87502       444      1911         0     17255      5762    275653   no data   no data
22.36/5.67	c  N dy    32     93726       444      1911         0     23352      5762    401162     15.30     16.11
24.31/6.14	c  N dy    48     99784       444      1911         0     16548      5762    217123     14.77     15.66
25.91/6.54	c  S st    57    104833       444      1911         0     21498      5762    316649     14.20     13.25
25.91/6.59	c  S st    57    105336       444      1911         0     21998      5762    327876     14.20   no data
25.91/6.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.91/6.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.91/6.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.91/6.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.91/6.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.91/6.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
25.91/6.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.91/6.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.33/6.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.33/6.70	c lits-rem:       389  cl-subs:      759  v-elim:      0  v-fix:    0  time:  0.09 s
26.33/6.70	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
26.33/6.70	c vivif2 --  cl tried    21239 cl shrink        0 lits rem          0 time: 0.00
26.75/6.71	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.01
26.75/6.71	c calculated reachability. Time: 0.00
26.75/6.71	c  N dy    57    105336       444      1911         0     21239      5762    312113     14.20   no data
29.09/7.37	c  N dy    87    112120       444      1911         0     14187      5762    143649     14.28     15.09
31.48/7.93	c  N dy   116    119516       444      1911         0     21466      5762    295409     14.29     15.08
34.69/8.74	c  N dy   146    127352       444      1911         0     29185      5762    455616     14.32     15.19
37.47/9.49	c  N dy   181    136574       444      1911         0     23489      5762    319344     14.29     15.15
41.46/10.42	c  N dy   215    145470       444      1911         0     16504      5762    154258     14.25     15.09
44.65/11.21	c  N dy   256    154857       444      1911         0     25707      5762    346052     14.28     15.04
45.85/11.57	c  S st   280    158005       444      1911         0     28815      5762    413468     14.34   no data
46.25/11.64	c  S st   280    158509       444      1911         0     29319      5762    424554     14.34   no data
46.25/11.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.25/11.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.25/11.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.25/11.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.25/11.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.25/11.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
46.25/11.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.25/11.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
46.25/11.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.65/11.79	c lits-rem:       195  cl-subs:      890  v-elim:      0  v-fix:    0  time:  0.12 s
46.65/11.79	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
47.05/11.80	c vivif2 --  cl tried    28429 cl shrink        0 lits rem          0 time: 0.01
47.05/11.82	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.01
47.05/11.82	c calculated reachability. Time: 0.00
47.05/11.82	c  N dy   280    158509       444      1911         0     28429      5762    405363     14.34   no data
51.04/12.85	c  N dy   334    168670       444      1911         0     21707      5762    248109     14.42     16.73
55.43/13.95	c  N dy   366    179475       444      1911         0     32330      5762    468891     14.39     16.80
60.22/15.16	c  N dy   398    191815       444      1911         0     26713      5762    334373     14.34     15.11
66.23/16.64	c  N dy   443    204400       444      1911         0     20431      5762    189504     14.30     15.06
71.78/18.07	c  N dy   505    217774       444      1911         0     33551      5762    467221     14.33     15.09
78.57/19.72	c  N dy   583    231685       444      1911         0     27566      5762    328883     14.41     16.47
80.95/20.39	c  S st   605    237763       444      1911         0     33516      5762    455291     14.41   no data
81.35/20.47	c  S st   605    238263       444      1911         0     34011      5762    466650     14.41   no data
81.35/20.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.35/20.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.35/20.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.35/20.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.35/20.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.35/20.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
81.35/20.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.35/20.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.75/20.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.16/20.66	c lits-rem:       206  cl-subs:     1049  v-elim:      0  v-fix:    0  time:  0.15 s
82.16/20.66	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
82.16/20.66	c vivif2 --  cl tried    32962 cl shrink        0 lits rem          0 time: 0.00
82.16/20.68	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.02
82.16/20.68	c calculated reachability. Time: 0.00
82.16/20.68	c  N dy   605    238263       444      1911         0     32962      5762    444382     14.41   no data
89.73/22.57	c  N dy   682    253504       444      1911         0     27365      5762    310590     14.46     15.89
98.50/24.78	c  N dy   744    270201       444      1911         0     22147      5762    184058     14.46     15.23
106.88/26.84	c  N dy   833    287515       444      1911         0     39173      5762    542513     14.50     15.32
116.05/29.19	c  F st   902    306250       444      1911         0     34982      5762    441770     14.49     13.43
116.05/29.19	c  N st   902    306250       444      1911         0     34982      5762    441770     14.49     13.43
118.90/29.87	c Decided on static restart strategy
130.42/32.76	c  N st   912    334552       444      1911         0     39067      5762    686656     14.49   no data
142.38/35.76	c  N st   914    357396       444      1911         0     36880      5762    572464     14.49   no data
142.38/35.76	c  S st   914    357396       444      1911         0     36880      5762    572464     14.49   no data
142.78/35.85	c  S st   914    357905       444      1911         0     37388      5762    583583     14.49   no data
142.78/35.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
142.78/35.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
142.78/35.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
142.78/35.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.78/35.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.78/35.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
142.78/35.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
142.78/35.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
142.78/35.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.97/36.61	c lits-rem:       199  cl-subs:     3242  v-elim:      0  v-fix:    0  time:  0.72 s
145.97/36.61	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
145.97/36.62	c vivif2 --  cl tried    34146 cl shrink        0 lits rem          0 time: 0.01
145.97/36.64	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.02
145.97/36.64	c calculated reachability. Time: 0.00
145.97/36.64	c  N st   914    357905       444      1911         0     34146      5762    518040     14.49   no data
165.12/41.41	c  N st   915    390298       444      1911         0     40505      5762    678368     14.49   no data
195.44/49.06	c  N st   916    438887       444      1911         0     34164      5762    458920     14.49   no data
236.95/59.44	c  N st   917    511769       444      1911         0     47696      5762    733515     14.49   no data
250.89/62.91	c  N st   918    536857       444      1911         0     41866      5762    549712     14.49   no data
250.89/62.91	c  S st   918    536857       444      1911         0     41866      5762    549712     14.49   no data
251.29/63.01	c  S st   918    537360       444      1911         0     42369      5762    560260     14.49   no data
251.29/63.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
251.29/63.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
251.29/63.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
251.29/63.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
251.29/63.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.29/63.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
251.29/63.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
251.29/63.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
251.29/63.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
253.68/63.62	c lits-rem:       340  cl-subs:     2352  v-elim:      0  v-fix:    0  time:  0.57 s
253.68/63.62	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
253.68/63.62	c vivif2 --  cl tried    40017 cl shrink        0 lits rem          0 time: 0.01
253.68/63.65	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.03
253.68/63.65	c calculated reachability. Time: 0.00
253.68/63.65	c  N st   918    537360       444      1911         0     40017      5762    519003     14.49   no data
358.20/89.82	c  N st   919    701344       444      1911         0     69104      5762   1118579     14.49   no data
430.03/107.90	c  N st   920    806042       444      1911         0     62935      5762    950160     14.49   no data
430.03/107.90	c  S st   920    806042       444      1911         0     62935      5762    950160     14.49   no data
430.80/108.09	c  S st   920    806546       444      1911         0     63438      5762    961310     14.49   no data
430.80/108.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
431.20/108.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
431.20/108.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.20/108.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
431.20/108.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
431.20/108.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
431.20/108.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
431.20/108.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
431.20/108.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
441.97/110.83	c lits-rem:       472  cl-subs:     5497  v-elim:      0  v-fix:    0  time:  2.67 s
441.97/110.83	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
441.97/110.84	c vivif2 --  cl tried    57941 cl shrink        0 lits rem          0 time: 0.01
441.97/110.88	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.04
441.97/110.89	c calculated reachability. Time: 0.00
441.97/110.89	c  N st   920    806546       444      1911         0     57941      5762    854353     14.49   no data
647.82/162.42	c  F st   921   1071875       444      1911         0     73814      5762   1131955     14.49   no data
647.82/162.42	c  N st   921   1071875       444      1911         0     73814      5762   1131955     14.49   no data
653.40/163.86	c Decided on static restart strategy
674.94/169.29	c  N st   931   1100175       444      1911         0     57760      5762    734966     14.49   no data
714.83/179.20	c  N st   933   1136171       444      1911         0     48141      5762    501863     14.49   no data
741.15/185.87	c  N st   934   1168564       444      1911         0     79605      5762   1230444     14.49   no data
790.26/198.13	c  N st   935   1209822       444      1911         0     74091      5762   1114770     14.49   no data
790.26/198.13	c  S st   935   1209822       444      1911         0     74091      5762   1114770     14.49   no data
791.40/198.42	c  S st   935   1210326       444      1911         0     74595      5762   1127104     14.49   no data
791.40/198.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
791.40/198.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
791.40/198.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
791.40/198.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
791.40/198.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
791.40/198.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
791.40/198.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
791.40/198.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
791.80/198.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
804.17/201.63	c lits-rem:       608  cl-subs:     3315  v-elim:      0  v-fix:    0  time:  3.11 s
804.17/201.63	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
804.17/201.65	c vivif2 --  cl tried    71280 cl shrink        0 lits rem          0 time: 0.02
804.57/201.71	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.06
804.57/201.71	c calculated reachability. Time: 0.00
804.57/201.71	c  N st   935   1210326       444      1911         0     71280      5762   1049811     14.49   no data
889.13/222.99	c  N st   936   1283208       444      1911         0     47877      5762    457132     14.49   no data
996.06/249.77	c  N st   937   1392534       444      1911         0     55692      5762    597126     14.49   no data
1145.26/287.20	c  N st   938   1556522       444      1911         0     60740      5762    687437     14.49   no data
1297.18/325.30	c  N st   939   1710327       444      1911         0    101755      5762   1542032     14.49   no data
1297.18/325.30	c  S st   939   1710327       444      1911         0    101755      5762   1542032     14.49   no data
1298.80/325.67	c  S st   939   1710829       444      1911         0    102253      5762   1554178     14.49   no data
1298.80/325.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1299.22/325.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1299.22/325.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1299.22/325.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1299.22/325.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1299.22/325.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
1299.22/325.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1299.22/325.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1299.22/325.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1354.22/339.52	c lits-rem:       966  cl-subs:    15424  v-elim:      0  v-fix:    0  time: 13.72 s
1354.22/339.52	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
1354.22/339.53	c vivif2 --  cl tried    86829 cl shrink        0 lits rem          0 time: 0.02
1354.62/339.62	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.08
1354.62/339.62	c calculated reachability. Time: 0.00
1354.62/339.62	c  N st   939   1710829       444      1911         0     86829      5762   1239919     14.49   no data
1729.24/433.58	c  N st   940   2079793       444      1911         0     99348      5762   1482675     14.49   no data
1875.59/470.29	c  N st   941   2210830       444      1911         0    102947      5762   1445989     14.49   no data
1875.59/470.29	c  S st   941   2210830       444      1911         0    102947      5762   1445989     14.49   no data
1877.19/470.63	c  S st   941   2211334       444      1911         0    103451      5762   1457641     14.49   no data
1877.19/470.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1877.19/470.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1877.19/470.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1877.19/470.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1877.19/470.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1877.19/470.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
1877.19/470.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1877.59/470.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1877.59/470.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1905.90/477.86	c lits-rem:       509  cl-subs:     9390  v-elim:      0  v-fix:    0  time:  7.12 s
1905.90/477.86	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
1905.90/477.88	c vivif2 --  cl tried    94061 cl shrink        0 lits rem          0 time: 0.02
1906.30/477.97	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.09
1906.30/477.98	c calculated reachability. Time: 0.00
1906.30/477.98	c  N st   941   2211334       444      1911         0     94061      5762   1283737     14.49   no data
2522.23/632.32	c  N st   942   2711335       444      1911         0    117422      5762   1714100     14.49   no data
2522.23/632.32	c  S st   942   2711335       444      1911         0    117422      5762   1714100     14.49   no data
2523.82/632.70	c  S st   942   2711839       444      1911         0    117925      5762   1726071     14.49   no data
2523.82/632.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2523.82/632.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2523.82/632.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2523.82/632.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2523.82/632.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2523.82/632.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
2523.82/632.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2524.22/632.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2524.22/632.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2571.31/644.65	c lits-rem:       820  cl-subs:    12571  v-elim:      0  v-fix:    0  time: 11.80 s
2571.31/644.65	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
2571.31/644.67	c vivif2 --  cl tried   105354 cl shrink        0 lits rem          0 time: 0.02
2571.73/644.78	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.11
2571.73/644.78	c calculated reachability. Time: 0.00
2571.73/644.78	c  N st   942   2711839       444      1911         0    105354      5762   1488084     14.49   no data
3287.30/824.12	c  N st   943   3211840       444      1911         0     81250      5762    812285     14.49   no data
3287.30/824.12	c  S st   943   3211840       444      1911         0     81250      5762    812285     14.49   no data
3288.10/824.37	c  S st   943   3212343       444      1911         0     81753      5762    823128     14.49   no data
3288.10/824.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3288.50/824.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3288.50/824.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3288.50/824.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3288.50/824.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3288.50/824.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
3288.50/824.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3288.50/824.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3288.50/824.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3290.50/824.97	c lits-rem:        83  cl-subs:     1722  v-elim:      0  v-fix:    0  time:  0.51 s
3290.50/824.97	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
3290.50/824.98	c vivif2 --  cl tried    80031 cl shrink        0 lits rem          0 time: 0.01
3290.91/825.05	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.07
3290.91/825.05	c calculated reachability. Time: 0.00
3290.91/825.05	c  N st   943   3212343       444      1911         0     80031      5762    791897     14.49   no data
3962.27/993.40	c  N st   944   3712345       444      1911         0     91099      5762    952003     14.49   no data
3962.27/993.40	c  S st   944   3712345       444      1911         0     91099      5762    952003     14.49   no data
3963.44/993.69	c  S st   944   3712849       444      1911         0     91603      5762    963301     14.49   no data
3963.44/993.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3963.84/993.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3963.84/993.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3963.84/993.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3963.84/993.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3963.84/993.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
3963.84/993.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3963.84/993.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3963.84/993.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3966.66/994.49	c lits-rem:       157  cl-subs:     2073  v-elim:      0  v-fix:    0  time:  0.70 s
3966.66/994.49	c vivif2 --  cl tried     1911 cl shrink        0 lits rem          0 time: 0.00
3966.66/994.50	c vivif2 --  cl tried    89530 cl shrink        0 lits rem          0 time: 0.01
3967.08/994.59	c asymm  cl-useful: 0/1911/1911 lits-rem:0 time: 0.08
3967.08/994.59	c calculated reachability. Time: 0.00
3967.08/994.59	c  N st   944   3712849       444      1911         0     89530      5762    926427     14.49   no data
4017.70/1007.22	c  F st   945   3751564       444      1911         0    127031      5762   1784764     14.49   no data
4017.70/1007.22	c  N st   945   3751564       444      1911         0    127031      5762   1784764     14.49   no data
4027.27/1009.61	c Decided on static restart strategy
4061.97/1018.38	c  N st   955   3779868       444      1911         0    154377      5762   2396483     14.49   no data
4110.24/1030.42	c  N st   957   3815862       444      1911         0    107091      5762   1304543     14.49   no data
4160.91/1043.11	c  N st   958   3848254       444      1911         0    138515      5762   2005640     14.49   no data
4231.11/1060.80	c  N st   959   3896842       444      1911         0    102382      5762   1175955     14.49   no data
4346.40/1089.69	c  N st   960   3969725       444      1911         0     88699      5762    855685     14.49   no data
4488.84/1125.38	c  N st   961   4079050       444      1911         0    108999      5762   1271228     14.49   no data
4739.35/1188.15	c  N st   962   4212849       444      1911         0    153249      5762   2454981     14.49   no data
4739.35/1188.15	c  S st   962   4212849       444      1911         0    153249      5762   2454981     14.49   no data
4741.71/1188.75	c  S st   962   4213351       444      1911         0    153747      5762   2466773     14.49   no data
4741.71/1188.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4742.11/1188.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4742.11/1188.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4742.11/1188.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4742.11/1188.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4742.11/1188.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
4742.11/1188.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4742.11/1188.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4742.51/1188.96	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-3366607-1305410161/watcher-3366607-1305410161 -o /tmp/evaluation-result-3366607-1305410161/solver-3366607-1305410161 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366607-1305410161.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: 5.13 6.97 7.64 5/352 3830
/proc/meminfo: memFree=26166420/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 652618724 52396032 347 33554432000 4194304 4580107 140733338270272 18446744073709551615 47213837367218 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 12792 347 299 95 0 7774 0
[pid=3830/tid=3831] ppid=3828 vsize=208092 CPUtime=0 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 80 0 0 0 0 0 0 0 25 0 4 0 652618724 213086208 609 33554432000 4194304 4580107 140733338270272 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=208092 CPUtime=0 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 37 0 0 0 0 0 0 0 25 0 4 0 652618724 213086208 611 33554432000 4194304 4580107 140733338270272 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=208092 CPUtime=0 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) D 3828 3830 3413 0 -1 4202560 88 0 0 0 0 0 0 0 25 0 4 0 652618724 213086208 611 33554432000 4194304 4580107 140733338270272 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.100611 s]
/proc/loadavg: 5.13 6.97 7.64 5/352 3830
/proc/meminfo: memFree=26166420/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=217008 CPUtime=0.37 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 1541 0 0 0 37 0 0 0 18 0 4 0 652618724 222216192 1445 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 54252 1445 377 95 0 49234 0
[pid=3830/tid=3831] ppid=3828 vsize=217008 CPUtime=0.09 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 290 0 0 0 9 0 0 0 25 0 4 0 652618724 222216192 1445 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=217008 CPUtime=0.09 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 316 0 0 0 9 0 0 0 18 0 4 0 652618724 222216192 1445 33554432000 4194304 4580107 140733338270272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=217008 CPUtime=0.09 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 248 0 0 0 9 0 0 0 18 0 4 0 652618724 222216192 1445 33554432000 4194304 4580107 140733338270272 18446744073709551615 4318380 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 217008

[startup+0.200593 s]
/proc/loadavg: 5.13 6.97 7.64 5/352 3830
/proc/meminfo: memFree=26166420/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=218368 CPUtime=0.77 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 2160 0 0 0 77 0 0 0 18 0 4 0 652618724 223608832 1556 33554432000 4194304 4580107 140733338270272 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 54592 1556 377 95 0 49574 0
[pid=3830/tid=3831] ppid=3828 vsize=218368 CPUtime=0.19 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 441 0 0 0 19 0 0 0 25 0 4 0 652618724 223608832 1556 33554432000 4194304 4580107 140733338270272 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=218368 CPUtime=0.19 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 471 0 0 0 19 0 0 0 18 0 4 0 652618724 223608832 1556 33554432000 4194304 4580107 140733338270272 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=218368 CPUtime=0.19 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 400 0 0 0 19 0 0 0 18 0 4 0 652618724 223608832 1556 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 218368

[startup+0.300575 s]
/proc/loadavg: 5.13 6.97 7.64 5/352 3830
/proc/meminfo: memFree=26166420/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=218688 CPUtime=1.17 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 2560 0 0 0 117 0 0 0 18 0 4 0 652618724 223936512 1956 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 54672 1956 377 95 0 49654 0
[pid=3830/tid=3831] ppid=3828 vsize=218688 CPUtime=0.29 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 535 0 0 0 29 0 0 0 25 0 4 0 652618724 223936512 1956 33554432000 4194304 4580107 140733338270272 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=218688 CPUtime=0.29 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 573 0 0 0 29 0 0 0 18 0 4 0 652618724 223936512 1956 33554432000 4194304 4580107 140733338270272 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=218688 CPUtime=0.29 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 502 0 0 0 29 0 0 0 18 0 4 0 652618724 223936512 1956 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 218688

[startup+0.700508 s]
/proc/loadavg: 5.13 6.97 7.64 5/352 3830
/proc/meminfo: memFree=26166420/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=220208 CPUtime=2.77 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 4290 0 0 0 277 0 0 0 18 0 4 0 652618724 225492992 2375 33554432000 4194304 4580107 140733338270272 18446744073709551615 4321188 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 55052 2375 377 95 0 50034 0
[pid=3830/tid=3831] ppid=3828 vsize=220208 CPUtime=0.69 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 930 0 0 0 69 0 0 0 25 0 4 0 652618724 225492992 2376 33554432000 4194304 4580107 140733338270272 18446744073709551615 4296072 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=220208 CPUtime=0.69 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 915 0 0 0 69 0 0 0 18 0 4 0 652618724 225492992 2376 33554432000 4194304 4580107 140733338270272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=220208 CPUtime=0.69 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 998 0 0 0 69 0 0 0 18 0 4 0 652618724 225492992 2376 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 220208

[startup+1.50037 s]
/proc/loadavg: 5.52 7.02 7.66 10/356 3834
/proc/meminfo: memFree=26156220/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=221384 CPUtime=5.96 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 8088 0 0 0 595 1 0 0 20 0 4 0 652618724 226697216 4268 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 55346 4268 379 95 0 50328 0
[pid=3830/tid=3831] ppid=3828 vsize=221384 CPUtime=1.47 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 1628 0 0 0 147 0 0 0 25 0 4 0 652618724 226697216 4268 33554432000 4194304 4580107 140733338270272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=221384 CPUtime=1.48 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 1609 0 0 0 148 0 0 0 20 0 4 0 652618724 226697216 4268 33554432000 4194304 4580107 140733338270272 18446744073709551615 4318695 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=221384 CPUtime=1.49 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 1608 0 0 0 149 0 0 0 19 0 4 0 652618724 226697216 4268 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 221384

[startup+3.10108 s]
/proc/loadavg: 5.52 7.02 7.66 9/356 3834
/proc/meminfo: memFree=26134192/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=229988 CPUtime=12.35 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 16845 0 0 0 1233 2 0 0 25 0 4 0 652618724 235507712 8535 33554432000 4194304 4580107 140733338270272 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 57497 8535 379 95 0 52479 0
[pid=3830/tid=3831] ppid=3828 vsize=229988 CPUtime=3.06 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 3738 0 0 0 306 0 0 0 25 0 4 0 652618724 235507712 8535 33554432000 4194304 4580107 140733338270272 18446744073709551615 4322668 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=229988 CPUtime=3.08 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 4314 0 0 0 308 0 0 0 25 0 4 0 652618724 235507712 8535 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=229988 CPUtime=3.09 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 4251 0 0 0 309 0 0 0 25 0 4 0 652618724 235507712 8535 33554432000 4194304 4580107 140733338270272 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 229988

[startup+6.30052 s]
/proc/loadavg: 5.72 7.04 7.66 9/356 3834
/proc/meminfo: memFree=26112488/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=227144 CPUtime=25.11 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 26091 0 0 0 2507 4 0 0 25 0 4 0 652618724 232595456 11851 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 56786 11851 379 95 0 51768 0
[pid=3830/tid=3831] ppid=3828 vsize=227144 CPUtime=6.23 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 6538 0 0 0 622 1 0 0 25 0 4 0 652618724 232595456 11851 33554432000 4194304 4580107 140733338270272 18446744073709551615 4321894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=227144 CPUtime=6.28 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 7307 0 0 0 627 1 0 0 25 0 4 0 652618724 232595456 11851 33554432000 4194304 4580107 140733338270272 18446744073709551615 4318755 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=227144 CPUtime=6.29 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 5952 0 0 0 629 0 0 0 25 0 4 0 652618724 232595456 11851 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 227144

[startup+12.7004 s]
/proc/loadavg: 5.90 7.05 7.66 9/356 3834
/proc/meminfo: memFree=26071192/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=228476 CPUtime=50.64 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 40410 0 0 0 5057 7 0 0 25 0 4 0 652618724 233959424 16622 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 57119 16622 379 95 0 52101 0
[pid=3830/tid=3831] ppid=3828 vsize=228476 CPUtime=12.55 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 9751 0 0 0 1254 1 0 0 25 0 4 0 652618724 233959424 16622 33554432000 4194304 4580107 140733338270272 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=228476 CPUtime=12.69 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 10161 0 0 0 1267 2 0 0 25 0 4 0 652618724 233959424 16622 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=228476 CPUtime=12.69 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 10296 0 0 0 1268 1 0 0 25 0 4 0 652618724 233959424 16622 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 228476

[startup+25.5011 s]
/proc/loadavg: 6.37 7.12 7.67 9/356 3835
/proc/meminfo: memFree=26044736/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=236808 CPUtime=101.69 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 59955 0 0 0 10159 10 0 0 25 0 4 0 652618724 242491392 21532 33554432000 4194304 4580107 140733338270272 18446744073709551615 4318376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 59202 21532 379 95 0 54184 0
[pid=3830/tid=3831] ppid=3828 vsize=236808 CPUtime=25.2 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 15703 0 0 0 2518 2 0 0 25 0 4 0 652618724 242491392 21532 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=236808 CPUtime=25.49 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 16108 0 0 0 2546 3 0 0 25 0 4 0 652618724 242491392 21532 33554432000 4194304 4580107 140733338270272 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=236808 CPUtime=25.49 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 14738 0 0 0 2547 2 0 0 25 0 4 0 652618724 242491392 21532 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 236808

[startup+51.1006 s]
/proc/loadavg: 7.07 7.21 7.69 9/356 3835
/proc/meminfo: memFree=25972672/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=249320 CPUtime=203.82 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 85780 0 0 0 20365 17 0 0 25 0 4 0 652618724 255303680 30795 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 62330 30795 379 95 0 57312 0
[pid=3830/tid=3831] ppid=3828 vsize=249320 CPUtime=50.53 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 22421 0 0 0 5049 4 0 0 25 0 4 0 652618724 255303680 30795 33554432000 4194304 4580107 140733338270272 18446744073709551615 4306158 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=249320 CPUtime=51.09 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 21801 0 0 0 5105 4 0 0 25 0 4 0 652618724 255303680 30795 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=249320 CPUtime=51.09 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 21876 0 0 0 5105 4 0 0 25 0 4 0 652618724 255303680 30795 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 249320

[startup+102.301 s]
/proc/loadavg: 7.70 7.36 7.71 9/356 3837
/proc/meminfo: memFree=25880504/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=281544 CPUtime=408.08 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 123356 0 0 0 40777 31 0 0 25 0 4 0 652618724 288301056 37456 33554432000 4194304 4580107 140733338270272 18446744073709551615 4321408 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 70386 37456 379 95 0 65368 0
[pid=3830/tid=3831] ppid=3828 vsize=281544 CPUtime=101.18 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 29598 0 0 0 10111 7 0 0 25 0 4 0 652618724 288301056 37459 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=281544 CPUtime=102.3 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 28121 0 0 0 10224 6 0 0 25 0 4 0 652618724 288301056 37459 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=281544 CPUtime=102.29 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 34261 0 0 0 10221 8 0 0 25 0 4 0 652618724 288301056 37459 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 281544

[startup+162.301 s]

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

[pid=3830] ppid=3828 vsize=442588 CPUtime=2801.46 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 456071 0 0 0 279971 175 0 0 25 0 4 0 652618724 453210112 75699 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 110647 75699 379 95 0 105629 0
[pid=3830/tid=3831] ppid=3828 vsize=442588 CPUtime=694.56 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 114955 0 0 0 69414 42 0 0 25 0 4 0 652618724 453210112 75699 33554432000 4194304 4580107 140733338270272 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=442588 CPUtime=702.3 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 116367 0 0 0 70184 46 0 0 25 0 4 0 652618724 453210112 75699 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=442588 CPUtime=702.3 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 118704 0 0 0 70184 46 0 0 25 0 4 0 652618724 453210112 75699 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2801.46
Current children cumulated vsize (KiB) 442588

[startup+762.301 s]
/proc/loadavg: 8.28 8.07 7.92 9/356 3866
/proc/meminfo: memFree=25380308/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=509840 CPUtime=3040.81 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 486871 0 0 0 303893 188 0 0 25 0 4 0 652618724 522076160 86817 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294080 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 127460 86817 379 95 0 122442 0
[pid=3830/tid=3831] ppid=3828 vsize=509840 CPUtime=753.89 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 122944 0 0 0 75344 45 0 0 25 0 4 0 652618724 522076160 86818 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=509840 CPUtime=762.31 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 123679 0 0 0 76182 49 0 0 25 0 4 0 652618724 522076160 86818 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=509840 CPUtime=762.31 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 129378 0 0 0 76180 51 0 0 25 0 4 0 652618724 522076160 86818 33554432000 4194304 4580107 140733338270272 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.81
Current children cumulated vsize (KiB) 509840

[startup+822.301 s]
/proc/loadavg: 8.22 8.09 7.93 9/356 3868
/proc/meminfo: memFree=25388940/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=455316 CPUtime=3280.12 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 508793 0 0 0 327814 198 0 0 25 0 4 0 652618724 466243584 88798 33554432000 4194304 4580107 140733338270272 18446744073709551615 4305283 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 113829 88798 379 95 0 108811 0
[pid=3830/tid=3831] ppid=3828 vsize=455316 CPUtime=813.21 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 128772 0 0 0 81273 48 0 0 25 0 4 0 652618724 466243584 88798 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=455316 CPUtime=822.3 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 130701 0 0 0 82178 52 0 0 25 0 4 0 652618724 466243584 88798 33554432000 4194304 4580107 140733338270272 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=455316 CPUtime=822.3 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 134951 0 0 0 82177 53 0 0 25 0 4 0 652618724 466243584 88798 33554432000 4194304 4580107 140733338270272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3280.12
Current children cumulated vsize (KiB) 455316

[startup+882.313 s]
/proc/loadavg: 8.13 8.08 7.94 9/356 3869
/proc/meminfo: memFree=25409868/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=455668 CPUtime=3519.52 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 532181 0 0 0 351744 208 0 0 25 0 4 0 652618724 466604032 86463 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 113917 86463 379 95 0 108899 0
[pid=3830/tid=3831] ppid=3828 vsize=455668 CPUtime=872.57 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 134592 0 0 0 87207 50 0 0 25 0 4 0 652618724 466604032 86463 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=455668 CPUtime=882.31 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 138121 0 0 0 88177 54 0 0 25 0 4 0 652618724 466604032 86463 33554432000 4194304 4580107 140733338270272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=455668 CPUtime=882.32 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 140938 0 0 0 88175 57 0 0 25 0 4 0 652618724 466604032 86463 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3519.52
Current children cumulated vsize (KiB) 455668

[startup+942.301 s]
/proc/loadavg: 8.09 8.08 7.94 9/356 3871
/proc/meminfo: memFree=25390348/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=468228 CPUtime=3758.81 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 557599 0 0 0 375659 222 0 0 25 0 4 0 652618724 479465472 88230 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 117057 88230 379 95 0 112039 0
[pid=3830/tid=3831] ppid=3828 vsize=468228 CPUtime=931.9 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 141639 0 0 0 93137 53 0 0 25 0 4 0 652618724 479465472 88230 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=468228 CPUtime=942.3 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 144460 0 0 0 94171 59 0 0 25 0 4 0 652618724 479465472 88230 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=468228 CPUtime=942.31 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 146745 0 0 0 94171 60 0 0 25 0 4 0 652618724 479465472 88230 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.81
Current children cumulated vsize (KiB) 468228

[startup+1002.3 s]
/proc/loadavg: 8.09 8.08 7.95 9/356 3873
/proc/meminfo: memFree=25363904/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=586708 CPUtime=3998.14 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 579868 0 0 0 399578 236 0 0 25 0 4 0 652618724 600788992 96594 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 146677 96594 379 95 0 141659 0
[pid=3830/tid=3831] ppid=3828 vsize=586708 CPUtime=991.22 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 147559 0 0 0 99066 56 0 0 25 0 4 0 652618724 600788992 96594 33554432000 4194304 4580107 140733338270272 18446744073709551615 4293145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=586708 CPUtime=1002.3 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 148830 0 0 0 100168 62 0 0 25 0 4 0 652618724 600788992 96594 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=586708 CPUtime=1002.31 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 152802 0 0 0 100168 63 0 0 25 0 4 0 652618724 600788992 96594 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3998.14
Current children cumulated vsize (KiB) 586708

[startup+1062.3 s]
/proc/loadavg: 8.09 8.08 7.95 9/356 3874
/proc/meminfo: memFree=25372176/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=468808 CPUtime=4237.5 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 599830 0 0 0 423504 246 0 0 25 0 4 0 652618724 480059392 91547 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 117202 91547 379 95 0 112184 0
[pid=3830/tid=3831] ppid=3828 vsize=468808 CPUtime=1050.57 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 152961 0 0 0 105000 57 0 0 25 0 4 0 652618724 480059392 91547 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=468808 CPUtime=1062.3 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 154649 0 0 0 106164 66 0 0 25 0 4 0 652618724 480059392 91547 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=468808 CPUtime=1062.31 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 158522 0 0 0 106165 66 0 0 25 0 4 0 652618724 480059392 91547 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4237.5
Current children cumulated vsize (KiB) 468808

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 7.96 9/356 3876
/proc/meminfo: memFree=25356260/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=464120 CPUtime=4476.84 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 620704 0 0 0 447429 255 0 0 25 0 4 0 652618724 475258880 90095 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 116030 90095 379 95 0 111012 0
[pid=3830/tid=3831] ppid=3828 vsize=464120 CPUtime=1109.91 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 157923 0 0 0 110932 59 0 0 25 0 4 0 652618724 475258880 90095 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=464120 CPUtime=1122.3 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 160590 0 0 0 112161 69 0 0 25 0 4 0 652618724 475258880 90095 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=464120 CPUtime=1122.31 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 163764 0 0 0 112163 68 0 0 25 0 4 0 652618724 475258880 90095 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4476.84
Current children cumulated vsize (KiB) 464120

[startup+1182.3 s]
/proc/loadavg: 8.08 8.08 7.96 9/356 3877
/proc/meminfo: memFree=25278100/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=662160 CPUtime=4716.18 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 640903 0 0 0 471353 265 0 0 25 0 4 0 652618724 678051840 105588 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 165540 105588 379 95 0 160522 0
[pid=3830/tid=3831] ppid=3828 vsize=662160 CPUtime=1169.25 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 166476 0 0 0 116864 61 0 0 25 0 4 0 652618724 678051840 105588 33554432000 4194304 4580107 140733338270272 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=662160 CPUtime=1182.31 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 165052 0 0 0 118157 74 0 0 25 0 4 0 652618724 678051840 105588 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=662160 CPUtime=1182.31 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 168398 0 0 0 118160 71 0 0 25 0 4 0 652618724 678051840 105588 33554432000 4194304 4580107 140733338270272 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4716.18
Current children cumulated vsize (KiB) 662160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 7.83 8.02 7.95 9/356 3909
/proc/meminfo: memFree=25766036/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=618844 CPUtime=4800.4 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 649719 0 0 0 479771 269 0 0 25 0 4 0 652618724 633696256 107280 33554432000 4194304 4580107 140733338270272 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 154711 107280 379 95 0 149693 0
[pid=3830/tid=3831] ppid=3828 vsize=618844 CPUtime=1190.11 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 168269 0 0 0 118949 62 0 0 25 0 4 0 652618724 633696256 107281 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=618844 CPUtime=1203.44 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 167550 0 0 0 120269 75 0 0 25 0 4 0 652618724 633696256 107281 33554432000 4194304 4580107 140733338270272 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=618844 CPUtime=1203.44 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 170477 0 0 0 120272 72 0 0 25 0 4 0 652618724 633696256 107281 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 618844

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

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

[startup+1203.4 s]
/proc/loadavg: 7.83 8.02 7.95 9/356 3909
/proc/meminfo: memFree=25766036/32951124 swapFree=53501236/67111528
[pid=3830] ppid=3828 vsize=618844 CPUtime=4800.4 cores=1,3,5,7
/proc/3830/stat : 3830 (strangenight2-m) R 3828 3830 3413 0 -1 4202496 649719 0 0 0 479771 269 0 0 25 0 4 0 652618724 633696256 107280 33554432000 4194304 4580107 140733338270272 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/3830/statm: 154711 107280 379 95 0 149693 0
[pid=3830/tid=3831] ppid=3828 vsize=618844 CPUtime=1190.11 cores=1,3,5,7
/proc/3830/task/3831/stat : 3831 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 168269 0 0 0 118949 62 0 0 25 0 4 0 652618724 633696256 107281 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3830/tid=3832] ppid=3828 vsize=618844 CPUtime=1203.44 cores=1,3,5,7
/proc/3830/task/3832/stat : 3832 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 167550 0 0 0 120269 75 0 0 25 0 4 0 652618724 633696256 107281 33554432000 4194304 4580107 140733338270272 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3830/tid=3833] ppid=3828 vsize=618844 CPUtime=1203.44 cores=1,3,5,7
/proc/3830/task/3833/stat : 3833 (strangenight2-m) R 3828 3830 3413 0 -1 4202560 170477 0 0 0 120272 72 0 0 25 0 4 0 652618724 633696256 107281 33554432000 4194304 4580107 140733338270272 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 618844

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.45
CPU time (s): 4800.47
CPU user time (s): 4797.76
CPU system time (s): 2.71259
CPU usage (%): 398.892
Max. virtual memory (cumulated for all children) (KiB): 671108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.76
system time used= 2.71259
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649720
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= 227
involuntary context switches= 33175

runsolver used 3.50547 second user time and 9.8405 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-14 23:56:01
IDJOB=3366607
IDBENCH=83016
IDSOLVER=1844
FILE ID=node103/3366607-1305410161
RUNJOBID= node103-1305410151-3778
PBS_JOBID= 13324513
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366607-1305410161/watcher-3366607-1305410161 -o /tmp/evaluation-result-3366607-1305410161/solver-3366607-1305410161 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366607-1305410161.cnf

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

MD5SUM BENCH= dea41a8eae52b60f8e05be01aec1734d
RANDOM SEED=1988342546

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26166576 kB
Buffers:        300380 kB
Cached:        3865812 kB
SwapCached:     340192 kB
Active:        1405664 kB
Inactive:      5109748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26166576 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           11624 kB
Writeback:           0 kB
AnonPages:     2019632 kB
Mapped:          11016 kB
Slab:           151784 kB
PageTables:      52556 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78480028 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= 72980 MiB
End job on node103 at 2011-05-15 00:16:07