Trace number 3421514

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)SAT 3036.07 380.279

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n180-s34713902-sat.cnf
MD5SUM19292459de25c4f5e9e6f187c00d549d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.223965
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of clauses432
Sum of the clauses size1080
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2360
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 572
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3421514-1306663680.cnf'
0.00/0.03	c -- header says num vars:            180
0.00/0.03	c -- header says num clauses:         432
0.00/0.03	c -- clauses added:            0 learnts,          432 normals,            0 xors
0.00/0.03	c -- vars added        180
0.00/0.03	c Parsing time:  0.00 s
0.00/0.03	c  N st     0         0       180        72       360         0      1080         0   no data   no data
0.00/0.03	c asymm  cl-useful: 0/72/72 lits-rem:0 time: 0.00
0.00/0.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    180 time:  0.00 s
0.00/0.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:      87 undec:       0 neg:      93
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	c  B st     0         0       180        72       360         0      1080         0   no data   no data
0.48/0.07	c Decided on static restart strategy
0.71/0.17	c  N st     8      4917       180        72       360      4786      1080    142308   no data   no data
3.11/0.44	c  N st    10     11299       180        72       360      4423      1080    109397   no data   no data
6.31/0.80	c  N st    11     17042       180        72       360     10009      1080    285217   no data   no data
10.29/1.31	c  F st    12     25001       180        72       360     12326      1080    349003   no data   no data
10.29/1.31	c  N st    12     25001       180        72       360     12326      1080    349003   no data   no data
12.69/1.64	c Decided on static restart strategy
12.69/1.64	c  N st    18     30000       180        72       360     10574      1080    260333   no data   no data
12.69/1.64	c  S st    18     30000       180        72       360     10574      1080    260333   no data   no data
13.49/1.70	c  S st    18     30502       180        72       360     11068      1080    273708   no data   no data
13.49/1.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.49/1.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
13.49/1.71	c blocked clauses removed:        0 vars:      0 tried:         180 T: 0.00 s
13.49/1.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.49/1.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.49/1.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    180 time:  0.00 s
13.49/1.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.49/1.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
13.49/1.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
14.29/1.81	c lits-rem:       175  cl-subs:      156  v-elim:      0  v-fix:    0  time:  0.07 s
14.29/1.82	c asymm  cl-useful: 0/72/72 lits-rem:0 time: 0.00
14.29/1.82	c calculated reachability. Time: 0.00
14.29/1.82	c  N st    18     30502       180        72       360     10912      1080    268700   no data   no data
17.60/2.29	c  N st    20     37615       180        72       360     10150      1080    233868   no data   no data
21.47/2.79	c  N st    21     44015       180        72       360     16373      1080    430174   no data   no data
23.08/2.92	c  S st    22     45754       180        72       360      9346      1080    189475   no data   no data
23.08/2.97	c  S st    22     46256       180        72       360      9844      1080    202915   no data   no data
23.08/2.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.08/2.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
23.08/2.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23.08/2.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.08/2.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.08/2.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    180 time:  0.00 s
23.08/2.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
23.08/2.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
23.88/3.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
23.88/3.02	c lits-rem:        44  cl-subs:       38  v-elim:      0  v-fix:    0  time:  0.02 s
23.88/3.02	c vivif2 --  cl tried       72 cl shrink        0 lits rem          0 time: 0.00
23.88/3.02	c vivif2 --  cl tried     9806 cl shrink        0 lits rem          0 time: 0.00
23.88/3.02	c asymm  cl-useful: 0/72/72 lits-rem:0 time: 0.00
23.88/3.02	c calculated reachability. Time: 0.00
23.88/3.02	c  N st    22     46256       180        72       360      9806      1080    201824   no data   no data
31.86/4.01	c  N st    23     60654       180        72       360     14150      1080    321257   no data   no data
38.24/4.89	c  N st    24     69386       180        72       360     11968      1080    239666   no data   no data
38.24/4.89	c  S st    24     69386       180        72       360     11968      1080    239666   no data   no data
39.04/4.95	c  S st    24     69890       180        72       360     12469      1080    253150   no data   no data
39.04/4.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.04/4.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
39.04/4.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.04/4.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.04/4.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.04/4.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    180 time:  0.00 s
39.04/4.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
39.04/4.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
39.04/5.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
39.85/5.02	c lits-rem:        47  cl-subs:       41  v-elim:      0  v-fix:    0  time:  0.03 s
39.85/5.02	c vivif2 --  cl tried       72 cl shrink        0 lits rem          0 time: 0.00
39.85/5.03	c vivif2 --  cl tried    12428 cl shrink        0 lits rem          0 time: 0.00
39.85/5.03	c asymm  cl-useful: 0/72/72 lits-rem:0 time: 0.00
39.85/5.03	c calculated reachability. Time: 0.00
39.85/5.03	c  N st    24     69890       180        72       360     12428      1080    251895   no data   no data
52.74/6.63	c  F st    25     87500       180        72       360     17907      1080    403450   no data   no data
52.74/6.63	c  N st    25     87500       180        72       360     17907      1080    403450   no data   no data
56.62/7.15	c Decided on static restart strategy
59.82/7.50	c  N st    32     95541       180        72       360     13046      1080    235430   no data   no data
66.20/8.38	c  N st    34    104835       180        72       360     22102      1080    514761   no data   no data
66.20/8.38	c  S st    34    104835       180        72       360     22102      1080    514761   no data   no data
67.01/8.49	c  S st    34    105338       180        72       360     22600      1080    528592   no data   no data
67.01/8.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.81/8.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.01
67.81/8.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
67.81/8.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
67.81/8.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.81/8.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    180 time:  0.00 s
67.81/8.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.81/8.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
67.81/8.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
69.45/8.77	c lits-rem:       350  cl-subs:      290  v-elim:      0  v-fix:    0  time:  0.19 s
69.45/8.77	c vivif2 --  cl tried       72 cl shrink        0 lits rem          0 time: 0.00
69.45/8.78	c vivif2 --  cl tried    22310 cl shrink        0 lits rem          0 time: 0.01
69.45/8.79	c asymm  cl-useful: 0/72/72 lits-rem:0 time: 0.01
69.45/8.79	c calculated reachability. Time: 0.00
69.45/8.79	c  N st    34    105338       180        72       360     22310      1080    519630   no data   no data
76.58/9.68	c  N st    35    114939       180        72       360     17993      1080    380473   no data   no data
90.16/11.35	c  N st    36    129338       180        72       360     17413      1080    342371   no data   no data
110.92/13.91	c  N st    37    150933       180        72       360     22884      1080    490924   no data   no data
119.71/15.05	c  S st    38    158007       180        72       360     29788      1080    709400   no data   no data
121.31/15.22	c  S st    38    158511       180        72       360     30288      1080    722544   no data   no data
121.31/15.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
121.31/15.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.02
121.31/15.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
121.31/15.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
121.31/15.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
121.31/15.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    180 time:  0.00 s
121.31/15.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
121.31/15.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
122.16/15.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
126.10/15.80	c lits-rem:       463  cl-subs:      529  v-elim:      0  v-fix:    0  time:  0.45 s
126.10/15.80	c vivif2 --  cl tried       72 cl shrink        0 lits rem          0 time: 0.00
126.10/15.81	c vivif2 --  cl tried    29759 cl shrink        0 lits rem          0 time: 0.01
126.10/15.82	c asymm  cl-useful: 0/72/72 lits-rem:0 time: 0.01
126.10/15.82	c calculated reachability. Time: 0.00
126.10/15.82	c  N st    38    158511       180        72       360     29759      1080    706867   no data   no data
182.02/22.87	c  N st    39    207100       180        72       360     24488      1080    475243   no data   no data
220.34/27.62	c  N st    40    237766       180        72       360     34834      1080    788604   no data   no data
220.34/27.62	c  S st    40    237766       180        72       360     34834      1080    788604   no data   no data
221.94/27.81	c  S st    40    238270       180        72       360     35336      1080    802063   no data   no data
221.94/27.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
221.94/27.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
221.94/27.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
221.94/27.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
221.94/27.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
221.94/27.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    180 time:  0.00 s
221.94/27.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
221.94/27.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
222.74/27.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.10 s
227.59/28.60	c lits-rem:       590  cl-subs:      736  v-elim:      0  v-fix:    0  time:  0.62 s
227.59/28.60	c vivif2 --  cl tried       72 cl shrink        0 lits rem          0 time: 0.00
228.44/28.62	c vivif2 --  cl tried    34600 cl shrink        0 lits rem          0 time: 0.01
228.44/28.62	c asymm  cl-useful: 0/72/72 lits-rem:0 time: 0.01
228.44/28.63	c calculated reachability. Time: 0.00
228.44/28.63	c  N st    40    238270       180        72       360     34600      1080    783259   no data   no data
313.80/39.35	c  F st    41    306250       180        72       360     36444      1080    787663   no data   no data
313.80/39.35	c  N st    41    306250       180        72       360     36444      1080    787663   no data   no data
321.78/40.30	c Decided on static restart strategy
353.72/44.39	c  N st    51    334557       180        72       360     40765      1080    912486   no data   no data
388.06/48.69	c  N st    53    357405       180        72       360     38735      1080    802737   no data   no data
388.06/48.69	c  S st    53    357405       180        72       360     38735      1080    802737   no data   no data
389.66/48.87	c  S st    53    357908       180        72       360     39234      1080    816016   no data   no data
389.66/48.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
390.46/48.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
390.46/48.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
390.46/48.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
390.46/48.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
390.46/48.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    180 time:  0.00 s
390.46/48.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
390.46/48.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
391.26/49.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
395.37/49.55	c lits-rem:       338  cl-subs:      494  v-elim:      0  v-fix:    0  time:  0.52 s
395.37/49.55	c vivif2 --  cl tried       72 cl shrink        0 lits rem          0 time: 0.00
395.37/49.56	c vivif2 --  cl tried    38740 cl shrink        0 lits rem          0 time: 0.01
395.37/49.57	c asymm  cl-useful: 0/72/72 lits-rem:0 time: 0.01
395.37/49.57	c calculated reachability. Time: 0.00
395.37/49.57	c  N st    53    357908       180        72       360     38740      1080    803651   no data   no data
446.37/56.00	c  N st    54    390300       180        72       360     44950      1080    982964   no data   no data
527.14/66.05	c  N st    55    438888       180        72       360     38689      1080    770419   no data   no data
656.42/82.26	c  N st    56    511771       180        72       360     52234      1080   1175999   no data   no data
701.16/87.89	c  N st    57    536862       180        72       360     46424      1080    952851   no data   no data
701.16/87.89	c  S st    57    536862       180        72       360     46424      1080    952851   no data   no data
703.54/88.13	c  S st    57    537363       180        72       360     46924      1080    966034   no data   no data
703.54/88.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
703.54/88.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.04
703.54/88.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
703.54/88.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
703.54/88.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
703.54/88.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    180 time:  0.00 s
703.54/88.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
703.54/88.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
705.14/88.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.11 s
711.64/89.12	c lits-rem:       290  cl-subs:      724  v-elim:      0  v-fix:    0  time:  0.80 s
711.64/89.12	c vivif2 --  cl tried       72 cl shrink        0 lits rem          0 time: 0.00
711.64/89.13	c vivif2 --  cl tried    46200 cl shrink        0 lits rem          0 time: 0.01
711.64/89.15	c asymm  cl-useful: 0/72/72 lits-rem:0 time: 0.01
711.64/89.15	c calculated reachability. Time: 0.00
711.64/89.15	c  N st    57    537363       180        72       360     46200      1080    949915   no data   no data
998.26/125.08	c  N st    58    701348       180        72       360     40170      1080    696572   no data   no data
1233.86/154.53	c  N st    59    806044       180        72       360     69130      1080   1562314   no data   no data
1233.86/154.53	c  S st    59    806044       180        72       360     69130      1080   1562314   no data   no data
1237.06/154.91	c  S st    59    806547       180        72       360     69630      1080   1575380   no data   no data
1237.06/154.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1237.06/155.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.08
1237.06/155.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1237.06/155.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1237.06/155.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1237.06/155.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    180 time:  0.00 s
1237.06/155.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1237.91/155.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1239.45/155.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.21 s
1269.81/159.01	c lits-rem:      1303  cl-subs:     2194  v-elim:      0  v-fix:    0  time:  3.74 s
1269.81/159.01	c vivif2 --  cl tried       72 cl shrink        0 lits rem          0 time: 0.00
1269.81/159.03	c vivif2 --  cl tried    67436 cl shrink        0 lits rem          0 time: 0.02
1269.81/159.05	c asymm  cl-useful: 0/72/72 lits-rem:0 time: 0.03
1269.81/159.06	c calculated reachability. Time: 0.00
1269.81/159.06	c  N st    59    806547       180        72       360     67436      1080   1526934   no data   no data
1910.33/239.21	c  F st    60   1071875       180        72       360     83494      1080   1860544   no data   no data
1910.33/239.21	c  N st    60   1071875       180        72       360     83494      1080   1860544   no data   no data
1928.70/241.58	c Decided on static restart strategy
1979.01/247.90	c  N st    70   1100181       180        72       360     67349      1080   1348832   no data   no data
2072.51/259.52	c  N st    72   1136174       180        72       360     57558      1080   1048081   no data   no data
2159.51/270.45	c  N st    73   1168566       180        72       360     89254      1080   1966933   no data   no data
2272.12/284.50	c  N st    74   1209820       180        72       360     83715      1080   1805732   no data   no data
2272.12/284.50	c  S st    74   1209820       180        72       360     83715      1080   1805732   no data   no data
2276.10/285.00	c  S st    74   1210322       180        72       360     84212      1080   1818643   no data   no data
2276.10/285.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2276.90/285.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.7M T:  0.11
2276.90/285.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2276.90/285.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2276.90/285.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2276.90/285.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    180 time:  0.00 s
2276.90/285.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2276.90/285.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2279.31/285.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.25 s
2316.74/290.18	c lits-rem:       863  cl-subs:     1685  v-elim:      0  v-fix:    0  time:  4.74 s
2316.74/290.18	c vivif2 --  cl tried       72 cl shrink        0 lits rem          0 time: 0.00
2317.53/290.20	c vivif2 --  cl tried    82527 cl shrink        0 lits rem          0 time: 0.03
2317.53/290.24	c asymm  cl-useful: 0/72/72 lits-rem:0 time: 0.03
2317.53/290.24	c calculated reachability. Time: 0.00
2317.53/290.24	c  N st    74   1210322       180        72       360     82527      1080   1779536   no data   no data
2522.87/316.07	c  N st    75   1283204       180        72       360     59078      1080   1052600   no data   no data
2855.10/357.69	c  N st    76   1392527       180        72       360     67054      1080   1230329   no data   no data
3035.60/380.25	c Following stats are for *FIRST FINISHED THREAD ONLY*
3035.60/380.25	c num threads              : 8          
3035.60/380.25	c restarts                 : 77         
3035.60/380.25	c dynamic restarts         : 0          
3035.60/380.25	c static restarts          : 77         
3035.60/380.25	c full restarts            : 4          
3035.60/380.25	c total simplify time      : 0.00       
3035.60/380.25	c learnts DL2              : 0          
3035.60/380.25	c learnts size 2           : 360        
3035.60/380.25	c learnts size 1           : 0           (0.00      % of vars)
3035.60/380.25	c filedLit time            : 0.15        (0.04      % time)
3035.60/380.25	c v-elim SatELite          : 0           (0.00      % vars)
3035.60/380.25	c SatELite time            : 3.69        (0.97      % time)
3035.60/380.25	c v-elim xor               : 0           (0.00      % vars)
3035.60/380.25	c xor elim time            : 0.01        (0.00      % time)
3035.60/380.25	c num binary xor trees     : 0          
3035.60/380.25	c binxor trees' crown      : 0           (nan       leafs/tree)
3035.60/380.25	c bin xor find time        : 0.00       
3035.60/380.25	c OTF clause improved      : 35656       (0.02      clauses/conflict)
3035.60/380.25	c OTF impr. size diff      : 37248       (1.04       lits/clause)
3035.60/380.25	c OTF cl watch-shrink      : 597671      (0.41      clauses/conflict)
3035.60/380.25	c OTF cl watch-sh-lit      : 1044399     (1.75       lits/clause)
3035.60/380.25	c tried to recurMin cls    : 140138      (9.72       % of conflicts)
3035.60/380.25	c updated cache            : 1418        (0.01       lits/tried recurMin)
3035.60/380.25	c unit cls recevied        : 0           (nan       % of units)
3035.60/380.25	c unit cls sent            : 0           (nan       % of units)
3035.60/380.25	c bin cls recevied         : 0          
3035.60/380.25	c bin cls sent             : 0          
3035.60/380.25	c clauses over max glue    : 0           (0.00      % of all clauses)
3035.60/380.25	c conflicts                : 1442357     (3795.91   / sec)
3035.60/380.25	c decisions                : 1612338     (0.75      % random)
3035.60/380.25	c bogo-props               : 45642217148 (120118610.23 / sec)
3035.60/380.25	c conflict literals        : 44069279    (20.32     % deleted)
3035.60/380.25	c Memory used              : 730.97      MB
3035.60/380.25	c single-thread CPU time   : 379.98      s
3035.60/380.25	c all-threads sum CPU time : 3034.04     s
3035.60/380.25	s SATISFIABLE
3035.60/380.25	v 1 -2 -3 4 5 -6 -7 8 9 -10 -11 -12 -13 14 -15 16 -17 18 -19 20 -21 22 -23 -24 -25 -26 27 -28 29 30 31 -32 33 -34 35 -36 -37 38 39 -40 -41 42 -43 44 -45 46 47 48 49 50 51 -52 53 54 55 -56 57 58 59 60 -61 62 -63 -64 -65 66 67 -68 -69 -70 71 -72 -73 74 -75 76 77 78 -79 80 81 -82 83 84 -85 86 -87 88 -89 90 -91 -92 -93 94 -95 96 -97 98 -99 100 101 102 103 104 -105 106 -107 108 -109 110 -111 -112 113 -114 115 -116 -117 118 -119 120 121 122 123 124 125 126 -127 -128 -129 -130 -131 132 -133 134 -135 136 -137 -138 -139 -140 141 -142 -143 144 145 146 -147 -148 149 -150 151 -152 -153 -154 -155 -156 157 -158 -159 160 161 -162 163 -164 165 166 -167 168 169 -170 171 -172 173 -174 -175 176 177 -178 -179 180 0

Verifier Data 

OK

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-3421514-1306663680/watcher-3421514-1306663680 -o /tmp/evaluation-result-3421514-1306663680/solver-3421514-1306663680 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421514-1306663680.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.38 7.91 7.96 1/408 5698
/proc/meminfo: memFree=22701024/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=92144 CPUtime=0.03 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 412 0 0 0 3 0 0 0 25 0 8 0 233977392 94355456 352 33554432000 4194304 4580107 140736307097392 18446744073709551615 47678572754860 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 23036 352 299 95 0 18018 0
[pid=5698/tid=5699] ppid=5696 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 233977393 94355456 352 33554432000 4194304 4580107 140736307097392 18446744073709551615 47678572754866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 233977393 94355456 352 33554432000 4194304 4580107 140736307097392 18446744073709551615 47678572754866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=92144 CPUtime=0 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 233977393 94355456 352 33554432000 4194304 4580107 140736307097392 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 233977393 94355456 352 33554432000 4194304 4580107 140736307097392 18446744073709551615 47678572754870 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 233977393 94355456 352 33554432000 4194304 4580107 140736307097392 18446744073709551615 47678572754860 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 233977393 94355456 352 33554432000 4194304 4580107 140736307097392 18446744073709551615 47678572754866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=92144 CPUtime=0.01 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 233977393 94355456 352 33554432000 4194304 4580107 140736307097392 18446744073709551615 47678572754864 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0721611 s]
/proc/loadavg: 7.38 7.91 7.96 1/408 5698
/proc/meminfo: memFree=22701024/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=486676 CPUtime=0.48 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 1477 0 0 0 48 0 0 0 18 0 8 0 233977392 498356224 1395 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 121669 1395 376 95 0 116651 0
[pid=5698/tid=5699] ppid=5696 vsize=486676 CPUtime=0.06 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 154 0 0 0 6 0 0 0 18 0 8 0 233977393 498356224 1395 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=486676 CPUtime=0.06 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 127 0 0 0 6 0 0 0 18 0 8 0 233977393 498356224 1395 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=486676 CPUtime=0.02 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 95 0 0 0 2 0 0 0 25 0 8 0 233977393 498356224 1395 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=486676 CPUtime=0.06 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 138 0 0 0 6 0 0 0 25 0 8 0 233977393 498356224 1395 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=486676 CPUtime=0.06 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 132 0 0 0 6 0 0 0 18 0 8 0 233977393 498356224 1395 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=486676 CPUtime=0.06 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 141 0 0 0 6 0 0 0 18 0 8 0 233977393 498356224 1396 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=486676 CPUtime=0.06 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 123 0 0 0 6 0 0 0 18 0 8 0 233977393 498356224 1398 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 486676

[startup+0.101156 s]
/proc/loadavg: 7.38 7.91 7.96 1/408 5698
/proc/meminfo: memFree=22701024/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=486820 CPUtime=0.71 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 1877 0 0 0 71 0 0 0 18 0 8 0 233977392 498503680 1795 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 121705 1796 377 95 0 116687 0
[pid=5698/tid=5699] ppid=5696 vsize=486820 CPUtime=0.08 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 198 0 0 0 8 0 0 0 18 0 8 0 233977393 498503680 1796 33554432000 4194304 4580107 140736307097392 18446744073709551615 4321248 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=486820 CPUtime=0.09 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 179 0 0 0 9 0 0 0 18 0 8 0 233977393 498503680 1796 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=486820 CPUtime=0.05 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 144 0 0 0 5 0 0 0 25 0 8 0 233977393 498503680 1796 33554432000 4194304 4580107 140736307097392 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=486820 CPUtime=0.09 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 184 0 0 0 9 0 0 0 25 0 8 0 233977393 498503680 1796 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=486820 CPUtime=0.09 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 182 0 0 0 9 0 0 0 18 0 8 0 233977393 498503680 1797 33554432000 4194304 4580107 140736307097392 18446744073709551615 218880226337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=486820 CPUtime=0.09 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 199 0 0 0 9 0 0 0 18 0 8 0 233977393 498503680 1797 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=486820 CPUtime=0.09 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 169 0 0 0 9 0 0 0 18 0 8 0 233977393 498503680 1798 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 486820

[startup+0.301122 s]
/proc/loadavg: 7.38 7.91 7.96 1/408 5698
/proc/meminfo: memFree=22701024/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=489660 CPUtime=2.31 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 4327 0 0 0 231 0 0 0 18 0 8 0 233977392 501411840 2959 33554432000 4194304 4580107 140736307097392 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 122415 2959 377 95 0 117397 0
[pid=5698/tid=5699] ppid=5696 vsize=489660 CPUtime=0.28 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 473 0 0 0 28 0 0 0 18 0 8 0 233977393 501411840 2959 33554432000 4194304 4580107 140736307097392 18446744073709551615 4301852 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=489660 CPUtime=0.29 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 513 0 0 0 29 0 0 0 18 0 8 0 233977393 501411840 2959 33554432000 4194304 4580107 140736307097392 18446744073709551615 4320565 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=489660 CPUtime=0.25 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 459 0 0 0 25 0 0 0 25 0 8 0 233977393 501411840 2960 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=489660 CPUtime=0.29 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 488 0 0 0 29 0 0 0 25 0 8 0 233977393 501411840 2960 33554432000 4194304 4580107 140736307097392 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=489660 CPUtime=0.29 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 480 0 0 0 29 0 0 0 18 0 8 0 233977393 501411840 2960 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=489660 CPUtime=0.29 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 518 0 0 0 29 0 0 0 18 0 8 0 233977393 501411840 2960 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=489660 CPUtime=0.29 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 455 0 0 0 29 0 0 0 18 0 8 0 233977393 501411840 2960 33554432000 4194304 4580107 140736307097392 18446744073709551615 4320891 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 489660

[startup+0.701052 s]
/proc/loadavg: 7.38 7.91 7.96 1/408 5698
/proc/meminfo: memFree=22701024/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=492056 CPUtime=5.51 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 7872 0 0 0 550 1 0 0 18 0 8 0 233977392 503865344 4420 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 123014 4420 377 95 0 117996 0
[pid=5698/tid=5699] ppid=5696 vsize=492056 CPUtime=0.68 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 902 0 0 0 68 0 0 0 18 0 8 0 233977393 503865344 4420 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=492056 CPUtime=0.69 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 954 0 0 0 69 0 0 0 18 0 8 0 233977393 503865344 4420 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=492056 CPUtime=0.65 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 960 0 0 0 65 0 0 0 25 0 8 0 233977393 503865344 4420 33554432000 4194304 4580107 140736307097392 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=492056 CPUtime=0.69 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 903 0 0 0 69 0 0 0 25 0 8 0 233977393 503865344 4420 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=492056 CPUtime=0.69 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 956 0 0 0 69 0 0 0 18 0 8 0 233977393 503865344 4420 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=492056 CPUtime=0.69 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 969 0 0 0 69 0 0 0 18 0 8 0 233977393 503865344 4420 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=492056 CPUtime=0.69 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 846 0 0 0 69 0 0 0 18 0 8 0 233977393 503865344 4420 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 492056

[startup+1.50091 s]
/proc/loadavg: 7.38 7.91 7.96 9/416 5707
/proc/meminfo: memFree=22683228/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=494676 CPUtime=11.9 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 14575 0 0 0 1188 2 0 0 20 0 8 0 233977392 506548224 5194 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 123669 5194 378 95 0 118651 0
[pid=5698/tid=5699] ppid=5696 vsize=494676 CPUtime=1.48 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 1706 0 0 0 148 0 0 0 20 0 8 0 233977393 506548224 5194 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=494676 CPUtime=1.48 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 1813 0 0 0 148 0 0 0 20 0 8 0 233977393 506548224 5194 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=494676 CPUtime=1.44 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 1768 0 0 0 144 0 0 0 25 0 8 0 233977393 506548224 5195 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=494676 CPUtime=1.49 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 1718 0 0 0 149 0 0 0 25 0 8 0 233977393 506548224 5195 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=494676 CPUtime=1.49 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 1872 0 0 0 149 0 0 0 19 0 8 0 233977393 506548224 5195 33554432000 4194304 4580107 140736307097392 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=494676 CPUtime=1.49 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 1845 0 0 0 149 0 0 0 19 0 8 0 233977393 506548224 5195 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=494676 CPUtime=1.49 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 1643 0 0 0 149 0 0 0 20 0 8 0 233977393 506548224 5195 33554432000 4194304 4580107 140736307097392 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (KiB) 494676

[startup+3.10064 s]
/proc/loadavg: 7.38 7.91 7.96 9/416 5707
/proc/meminfo: memFree=22668600/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=496508 CPUtime=24.68 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 29053 0 0 0 2463 5 0 0 25 0 8 0 233977392 508424192 11401 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 124127 11401 379 95 0 119109 0
[pid=5698/tid=5699] ppid=5696 vsize=496508 CPUtime=3.08 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 4164 0 0 0 308 0 0 0 25 0 8 0 233977393 508424192 11401 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=496508 CPUtime=3.09 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 5359 0 0 0 308 1 0 0 25 0 8 0 233977393 508424192 11402 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=496508 CPUtime=3.02 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 2897 0 0 0 302 0 0 0 25 0 8 0 233977393 508424192 11402 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=496508 CPUtime=3.08 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 2809 0 0 0 308 0 0 0 25 0 8 0 233977393 508424192 11402 33554432000 4194304 4580107 140736307097392 18446744073709551615 4317040 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=496508 CPUtime=3.09 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 3047 0 0 0 309 0 0 0 25 0 8 0 233977393 508424192 11402 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=496508 CPUtime=3.09 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 2885 0 0 0 309 0 0 0 25 0 8 0 233977393 508424192 11403 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=496508 CPUtime=3.09 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 2707 0 0 0 309 0 0 0 25 0 8 0 233977393 508424192 11403 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.68
Current children cumulated vsize (KiB) 496508

[startup+6.30107 s]
/proc/loadavg: 7.43 7.91 7.96 9/416 5707
/proc/meminfo: memFree=22614288/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=511500 CPUtime=50.23 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 55278 0 0 0 5014 9 0 0 25 0 8 0 233977392 523776000 24895 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 127875 24896 379 95 0 122857 0
[pid=5698/tid=5699] ppid=5696 vsize=511500 CPUtime=6.28 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 7981 0 0 0 627 1 0 0 25 0 8 0 233977393 523776000 24896 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=511500 CPUtime=6.28 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 7296 0 0 0 627 1 0 0 25 0 8 0 233977393 523776000 24896 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=511500 CPUtime=6.18 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 6438 0 0 0 617 1 0 0 25 0 8 0 233977393 523776000 24896 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=511500 CPUtime=6.28 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 6193 0 0 0 628 0 0 0 25 0 8 0 233977393 523776000 24896 33554432000 4194304 4580107 140736307097392 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=511500 CPUtime=6.29 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 7159 0 0 0 628 1 0 0 25 0 8 0 233977393 523776000 24896 33554432000 4194304 4580107 140736307097392 18446744073709551615 4321204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=511500 CPUtime=6.28 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 5963 0 0 0 628 0 0 0 25 0 8 0 233977393 523776000 24896 33554432000 4194304 4580107 140736307097392 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=511500 CPUtime=6.29 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 6945 0 0 0 628 1 0 0 25 0 8 0 233977393 523776000 24896 33554432000 4194304 4580107 140736307097392 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0

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

/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 68019 0 0 0 35802 18 0 0 25 0 8 0 233977393 778661888 123903 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=760412 CPUtime=358.29 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 77518 0 0 0 35803 26 0 0 25 0 8 0 233977393 778661888 123903 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=760412 CPUtime=358.29 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 78523 0 0 0 35806 23 0 0 25 0 8 0 233977393 778661888 123903 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=760412 CPUtime=358.3 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 67524 0 0 0 35806 24 0 0 25 0 8 0 233977393 778661888 123903 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2860.71
Current children cumulated vsize (KiB) 760412

[startup+371.101 s]
/proc/loadavg: 8.10 8.06 8.00 9/416 5719
/proc/meminfo: memFree=22179052/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=760484 CPUtime=2962.92 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 620331 0 0 0 296096 196 0 0 25 0 8 0 233977392 778735616 131539 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 190121 131539 379 95 0 185103 0
[pid=5698/tid=5699] ppid=5696 vsize=760484 CPUtime=371.08 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 85998 0 0 0 37085 23 0 0 25 0 8 0 233977393 778735616 131539 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=760484 CPUtime=370.63 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 79954 0 0 0 37038 25 0 0 25 0 8 0 233977393 778735616 131539 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=760484 CPUtime=365.79 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 73538 0 0 0 36550 29 0 0 25 0 8 0 233977393 778735616 131539 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=760484 CPUtime=370.98 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 69584 0 0 0 37080 18 0 0 25 0 8 0 233977393 778735616 131539 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=760484 CPUtime=371.1 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 78678 0 0 0 37083 27 0 0 25 0 8 0 233977393 778735616 131539 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=760484 CPUtime=371.09 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 79555 0 0 0 37086 23 0 0 25 0 8 0 233977393 778735616 131539 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=760484 CPUtime=371.1 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 68611 0 0 0 37085 25 0 0 25 0 8 0 233977393 778735616 131539 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2962.92
Current children cumulated vsize (KiB) 760484

[startup+374.3 s]
/proc/loadavg: 8.10 8.06 8.00 9/416 5719
/proc/meminfo: memFree=22170744/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=760620 CPUtime=2988.47 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 624096 0 0 0 298650 197 0 0 25 0 8 0 233977392 778874880 130308 33554432000 4194304 4580107 140736307097392 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 190155 130308 379 95 0 185137 0
[pid=5698/tid=5699] ppid=5696 vsize=760620 CPUtime=374.28 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 86326 0 0 0 37405 23 0 0 25 0 8 0 233977393 778874880 130308 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=760620 CPUtime=373.82 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 80328 0 0 0 37357 25 0 0 25 0 8 0 233977393 778874880 130308 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=760620 CPUtime=368.95 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 73760 0 0 0 36866 29 0 0 25 0 8 0 233977393 778874880 130308 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=760620 CPUtime=374.18 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 69844 0 0 0 37400 18 0 0 25 0 8 0 233977393 778874880 130308 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=760620 CPUtime=374.29 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 79763 0 0 0 37402 27 0 0 25 0 8 0 233977393 778874880 130308 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=760620 CPUtime=374.29 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 79759 0 0 0 37406 23 0 0 25 0 8 0 233977393 778874880 130308 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=760620 CPUtime=374.3 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 68837 0 0 0 37405 25 0 0 25 0 8 0 233977393 778874880 130308 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2988.47
Current children cumulated vsize (KiB) 760620

[startup+377.501 s]
/proc/loadavg: 8.10 8.06 8.00 9/416 5720
/proc/meminfo: memFree=22187980/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=760772 CPUtime=3014.03 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 628088 0 0 0 301204 199 0 0 25 0 8 0 233977392 779030528 129198 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 190193 129198 379 95 0 185175 0
[pid=5698/tid=5699] ppid=5696 vsize=760772 CPUtime=377.48 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 86536 0 0 0 37725 23 0 0 25 0 8 0 233977393 779030528 129198 33554432000 4194304 4580107 140736307097392 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=760772 CPUtime=377.02 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 80526 0 0 0 37677 25 0 0 25 0 8 0 233977393 779030528 129198 33554432000 4194304 4580107 140736307097392 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=760772 CPUtime=372.1 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 74982 0 0 0 37181 29 0 0 25 0 8 0 233977393 779030528 129198 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=760772 CPUtime=377.38 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 70072 0 0 0 37720 18 0 0 25 0 8 0 233977393 779030528 129198 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=760772 CPUtime=377.49 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 80157 0 0 0 37722 27 0 0 25 0 8 0 233977393 779030528 129198 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=760772 CPUtime=377.49 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 80919 0 0 0 37726 23 0 0 25 0 8 0 233977393 779030528 129198 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=760772 CPUtime=377.5 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 69069 0 0 0 37725 25 0 0 25 0 8 0 233977393 779030528 129198 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3014.03
Current children cumulated vsize (KiB) 760772

[startup+379.101 s]
/proc/loadavg: 8.10 8.06 8.00 9/416 5720
/proc/meminfo: memFree=22198272/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=748452 CPUtime=3026.81 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 630977 0 0 0 302481 200 0 0 25 0 8 0 233977392 766414848 126857 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 187113 126857 379 95 0 182095 0
[pid=5698/tid=5699] ppid=5696 vsize=748452 CPUtime=379.08 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 87604 0 0 0 37884 24 0 0 25 0 8 0 233977393 766414848 126857 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=748452 CPUtime=378.62 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 80615 0 0 0 37837 25 0 0 25 0 8 0 233977393 766414848 126857 33554432000 4194304 4580107 140736307097392 18446744073709551615 4305310 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=748452 CPUtime=373.68 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 75147 0 0 0 37339 29 0 0 25 0 8 0 233977393 766414848 126857 33554432000 4194304 4580107 140736307097392 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=748452 CPUtime=378.98 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 70172 0 0 0 37880 18 0 0 25 0 8 0 233977393 766414848 126857 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=748452 CPUtime=379.1 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 80308 0 0 0 37882 28 0 0 25 0 8 0 233977393 766414848 126857 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=748452 CPUtime=379.09 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 81102 0 0 0 37886 23 0 0 25 0 8 0 233977393 766414848 126857 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=748452 CPUtime=379.09 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 70057 0 0 0 37884 25 0 0 25 0 8 0 233977393 766414848 126857 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3026.81
Current children cumulated vsize (KiB) 748452

[startup+379.9 s]
/proc/loadavg: 8.09 8.06 8.00 9/416 5720
/proc/meminfo: memFree=22201992/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=748512 CPUtime=3033.19 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 632502 0 0 0 303119 200 0 0 25 0 8 0 233977392 766476288 125799 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 187128 125799 379 95 0 182110 0
[pid=5698/tid=5699] ppid=5696 vsize=748512 CPUtime=379.88 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 87684 0 0 0 37964 24 0 0 25 0 8 0 233977393 766476288 125799 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=748512 CPUtime=379.43 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 81611 0 0 0 37917 26 0 0 25 0 8 0 233977393 766476288 125799 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=748512 CPUtime=374.46 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 75227 0 0 0 37417 29 0 0 25 0 8 0 233977393 766476288 125799 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=748512 CPUtime=379.78 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 70218 0 0 0 37960 18 0 0 25 0 8 0 233977393 766476288 125799 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=748512 CPUtime=379.9 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 80386 0 0 0 37962 28 0 0 25 0 8 0 233977393 766476288 125799 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=748512 CPUtime=379.89 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 81188 0 0 0 37966 23 0 0 25 0 8 0 233977393 766476288 125799 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=748512 CPUtime=379.89 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 70148 0 0 0 37964 25 0 0 25 0 8 0 233977393 766476288 125799 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3033.19
Current children cumulated vsize (KiB) 748512

[startup+380.1 s]
/proc/loadavg: 8.09 8.06 8.00 9/416 5720
/proc/meminfo: memFree=22201992/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=748512 CPUtime=3034.79 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 632651 0 0 0 303279 200 0 0 25 0 8 0 233977392 766476288 125948 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 187128 125948 379 95 0 182110 0
[pid=5698/tid=5699] ppid=5696 vsize=748512 CPUtime=380.08 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 87701 0 0 0 37984 24 0 0 25 0 8 0 233977393 766476288 125948 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=748512 CPUtime=379.63 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 81634 0 0 0 37937 26 0 0 25 0 8 0 233977393 766476288 125948 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=748512 CPUtime=374.66 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 75246 0 0 0 37437 29 0 0 25 0 8 0 233977393 766476288 125948 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=748512 CPUtime=379.98 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 70230 0 0 0 37980 18 0 0 25 0 8 0 233977393 766476288 125948 33554432000 4194304 4580107 140736307097392 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=748512 CPUtime=380.1 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 80403 0 0 0 37982 28 0 0 25 0 8 0 233977393 766476288 125948 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=748512 CPUtime=380.09 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 81208 0 0 0 37986 23 0 0 25 0 8 0 233977393 766476288 125948 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=748512 CPUtime=380.09 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 70171 0 0 0 37984 25 0 0 25 0 8 0 233977393 766476288 125948 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3034.79
Current children cumulated vsize (KiB) 748512

[startup+380.2 s]
/proc/loadavg: 8.09 8.06 8.00 9/416 5720
/proc/meminfo: memFree=22201992/32950928 swapFree=53457208/67111528
[pid=5698] ppid=5696 vsize=748512 CPUtime=3035.6 cores=0-7
/proc/5698/stat : 5698 (strangenight2-m) R 5696 5698 5483 0 -1 4202496 632732 0 0 0 303359 201 0 0 25 0 8 0 233977392 766476288 126029 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5698/statm: 187128 126029 379 95 0 182110 0
[pid=5698/tid=5699] ppid=5696 vsize=748512 CPUtime=380.18 cores=0-7
/proc/5698/task/5699/stat : 5699 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 87713 0 0 0 37994 24 0 0 25 0 8 0 233977393 766476288 126029 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5698/tid=5700] ppid=5696 vsize=748512 CPUtime=379.73 cores=0-7
/proc/5698/task/5700/stat : 5700 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 81646 0 0 0 37947 26 0 0 25 0 8 0 233977393 766476288 126029 33554432000 4194304 4580107 140736307097392 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5698/tid=5701] ppid=5696 vsize=748512 CPUtime=374.76 cores=0-7
/proc/5698/task/5701/stat : 5701 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 75255 0 0 0 37447 29 0 0 25 0 8 0 233977393 766476288 126029 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5698/tid=5702] ppid=5696 vsize=748512 CPUtime=380.08 cores=0-7
/proc/5698/task/5702/stat : 5702 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 70236 0 0 0 37990 18 0 0 25 0 8 0 233977393 766476288 126029 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5698/tid=5703] ppid=5696 vsize=748512 CPUtime=380.2 cores=0-7
/proc/5698/task/5703/stat : 5703 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 80414 0 0 0 37992 28 0 0 25 0 8 0 233977393 766476288 126029 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5698/tid=5704] ppid=5696 vsize=748512 CPUtime=380.19 cores=0-7
/proc/5698/task/5704/stat : 5704 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 81218 0 0 0 37996 23 0 0 25 0 8 0 233977393 766476288 126029 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5698/tid=5705] ppid=5696 vsize=748512 CPUtime=380.19 cores=0-7
/proc/5698/task/5705/stat : 5705 (strangenight2-m) R 5696 5698 5483 0 -1 4202560 70183 0 0 0 37994 25 0 0 25 0 8 0 233977393 766476288 126029 33554432000 4194304 4580107 140736307097392 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3035.6
Current children cumulated vsize (KiB) 748512

Child status: 10
Real time (s): 380.279
CPU time (s): 3036.07
CPU user time (s): 3034.04
CPU system time (s): 2.03269
CPU usage (%): 798.38
Max. virtual memory (cumulated for all children) (KiB): 813088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3034.04
system time used= 2.03269
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632783
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= 665
involuntary context switches= 12873

runsolver used 1.46078 second user time and 3.59745 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-29 12:08:00
IDJOB=3421514
IDBENCH=83141
IDSOLVER=1878
FILE ID=node112/3421514-1306663680
RUNJOBID= node112-1306658668-5497
PBS_JOBID= 13471785
Free space on /tmp= 73280 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n180-s34713902-sat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421514-1306663680/watcher-3421514-1306663680 -o /tmp/evaluation-result-3421514-1306663680/solver-3421514-1306663680 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421514-1306663680.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 19292459de25c4f5e9e6f187c00d549d
RANDOM SEED=2128313441

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22701428 kB
Buffers:        268136 kB
Cached:        7569512 kB
SwapCached:      62268 kB
Active:        2712036 kB
Inactive:      7287256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22701428 kB
SwapTotal:    67111528 kB
SwapFree:     53457208 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:     2107444 kB
Mapped:          15520 kB
Slab:           122696 kB
PageTables:      58764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98614220 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= 73276 MiB
End job on node112 at 2011-05-29 12:14:20