Trace number 3366435

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.23 1202.95

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf
MD5SUMb936bd7aa1624f527379bba2a9d6f8ed
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
Number of clauses of size over 50

Solver Data 

0.00/0.01	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-3366435-1305404194.cnf'
0.00/0.01	c -- header says num vars:            125
0.00/0.01	c -- header says num clauses:        2662
0.00/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.01	c -- vars added        125
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.06/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.06/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.06/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.06/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.06/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.01/0.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.01/0.81	c Finding binary XORs  T:     0.00 s  found:       0
3.01/0.81	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.01/0.81	c calculated reachability. Time: 0.00
3.01/0.81	c Calc default polars -  time:   0.00 s pos:      59 undec:       6 neg:      60
3.01/0.81	c =========================================================================================
3.01/0.81	c types(t): F = full restart, N = normal restart
3.01/0.81	c types(t): S = simplification begin/end, E = solution found
3.01/0.81	c restart types(rt): st = static, dy = dynamic
3.01/0.81	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.01/0.81	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
3.01/0.81	c Decided on static restart strategy
3.01/0.81	c  N st     8      4914       125      2662         0      4679     13310    122903   no data   no data
3.01/0.81	c  N st    10     11298       125      2662         0      4298     13310     86916   no data   no data
3.01/0.81	c  N st    11     17046       125      2662         0      9701     13310    223976   no data   no data
3.41/0.91	c  F st    12     25000       125      2662         0     11885     13310    279503   no data   no data
3.41/0.91	c  N st    12     25000       125      2662         0     11885     13310    279503   no data   no data
4.21/1.11	c Decided on static restart strategy
4.21/1.11	c  N st    18     30000       125      2662         0     10171     13310    221246   no data   no data
4.21/1.11	c  S st    18     30000       125      2662         0     10171     13310    221246   no data   no data
4.21/1.11	c  S st    18     30502       125      2662         0     10659     13310    233909   no data   no data
4.21/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.21/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.21/1.11	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.21/1.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.21/1.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.21/1.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.21/1.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.21/1.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.21/1.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.31	c lits-rem:       190  cl-subs:     1576  v-elim:      0  v-fix:    0  time:  0.17 s
5.57/1.41	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.57/1.41	c calculated reachability. Time: 0.00
5.57/1.41	c  N st    18     30502       125      2662         0      9083     13310    192209   no data   no data
6.39/1.65	c  N st    20     37615       125      2662         0      8403     13310    160579   no data   no data
7.55/1.95	c  N st    21     44014       125      2662         0     14438     13310    321823   no data   no data
7.95/2.05	c  S st    22     45753       125      2662         0     16091     13310    364850   no data   no data
8.36/2.10	c  S st    22     46257       125      2662         0     16571     13310    377673   no data   no data
8.36/2.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.36/2.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.36/2.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.36/2.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.36/2.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.36/2.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.36/2.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.36/2.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.36/2.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.52	c lits-rem:       409  cl-subs:     1606  v-elim:      0  v-fix:    0  time:  0.39 s
9.95/2.52	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.95/2.52	c vivif2 --  cl tried    14965 cl shrink        0 lits rem          0 time: 0.00
9.95/2.58	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
9.95/2.58	c calculated reachability. Time: 0.00
9.95/2.58	c  N st    22     46257       125      2662         0     14965     13310    333224   no data   no data
13.14/3.37	c  N st    23     60654       125      2662         0     10780     13310    192780   no data   no data
15.17/3.84	c  N st    24     69385       125      2662         0     18980     13310    410630   no data   no data
15.17/3.84	c  S st    24     69385       125      2662         0     18980     13310    410630   no data   no data
15.17/3.90	c  S st    24     69888       125      2662         0     19469     13310    423070   no data   no data
15.17/3.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.17/3.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
15.17/3.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.17/3.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.17/3.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.17/3.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.17/3.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.57/3.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.57/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.93/4.50	c lits-rem:       294  cl-subs:     1987  v-elim:      0  v-fix:    0  time:  0.58 s
17.93/4.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
17.93/4.51	c vivif2 --  cl tried    17482 cl shrink        0 lits rem          0 time: 0.00
17.93/4.57	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
17.93/4.57	c calculated reachability. Time: 0.00
17.93/4.57	c  N st    24     69888       125      2662         0     17482     13310    369039   no data   no data
22.33/5.64	c  F st    25     87502       125      2662         0     12523     13310    220013   no data   no data
22.33/5.64	c  N st    25     87502       125      2662         0     12523     13310    220013   no data   no data
23.53/5.94	c Decided on static restart strategy
24.36/6.12	c  N st    32     95538       125      2662         0     20139     13310    420689   no data   no data
26.71/6.75	c  N st    34    104832       125      2662         0     16622     13310    319799   no data   no data
26.71/6.75	c  S st    34    104832       125      2662         0     16622     13310    319799   no data   no data
26.71/6.79	c  S st    34    105335       125      2662         0     17104     13310    332063   no data   no data
26.71/6.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.11/6.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.11/6.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.11/6.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.11/6.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.11/6.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.11/6.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.11/6.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.11/6.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.91/7.03	c lits-rem:       243  cl-subs:     1113  v-elim:      0  v-fix:    0  time:  0.22 s
27.91/7.03	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.91/7.03	c vivif2 --  cl tried    15991 cl shrink        0 lits rem          0 time: 0.00
27.91/7.10	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
27.91/7.10	c calculated reachability. Time: 0.00
27.91/7.10	c  N st    34    105335       125      2662         0     15991     13310    301152   no data   no data
30.70/7.78	c  N st    35    114933       125      2662         0     25030     13310    535195   no data   no data
34.69/8.76	c  N st    36    129330       125      2662         0     25340     13310    524075   no data   no data
41.08/10.37	c  N st    37    150925       125      2662         0     16517     13310    266236   no data   no data
43.07/10.83	c  S st    38    158002       125      2662         0     23127     13310    438870   no data   no data
43.07/10.89	c  S st    38    158504       125      2662         0     23616     13310    451195   no data   no data
43.07/10.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.07/10.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.07/10.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.07/10.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.07/10.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.07/10.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.07/10.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.47/10.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
43.47/10.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.47/11.50	c lits-rem:       364  cl-subs:     2112  v-elim:      0  v-fix:    0  time:  0.59 s
45.47/11.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.47/11.50	c vivif2 --  cl tried    21504 cl shrink        0 lits rem          0 time: 0.01
45.90/11.58	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
45.90/11.58	c calculated reachability. Time: 0.00
45.90/11.58	c  N st    38    158504       125      2662         0     21504     13310    395034   no data   no data
63.03/15.84	c  N st    39    207092       125      2662         0     34247     13310    699098   no data   no data
74.20/18.63	c  N st    40    237756       125      2662         0     26578     13310    482413   no data   no data
74.20/18.63	c  S st    40    237756       125      2662         0     26578     13310    482413   no data   no data
74.59/18.70	c  S st    40    238257       125      2662         0     27065     13310    495154   no data   no data
74.59/18.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.59/18.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.59/18.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.59/18.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.59/18.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.59/18.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
74.59/18.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.59/18.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
74.59/18.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.03/19.33	c lits-rem:       510  cl-subs:     1783  v-elim:      0  v-fix:    0  time:  0.60 s
77.03/19.33	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
77.03/19.33	c vivif2 --  cl tried    25282 cl shrink        0 lits rem          0 time: 0.00
77.39/19.43	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
77.39/19.43	c calculated reachability. Time: 0.00
77.39/19.43	c  N st    40    238257       125      2662         0     25282     13310    450242   no data   no data
101.75/25.55	c  F st    41    306250       125      2662         0     27202     13310    455418   no data   no data
101.75/25.55	c  N st    41    306250       125      2662         0     27202     13310    455418   no data   no data
104.14/26.10	c Decided on static restart strategy
113.31/28.44	c  N st    51    334557       125      2662         0     31368     13310    548813   no data   no data
122.49/30.73	c  N st    53    357385       125      2662         0     29359     13310    480128   no data   no data
122.49/30.73	c  S st    53    357385       125      2662         0     29359     13310    480128   no data   no data
122.89/30.81	c  S st    53    357893       125      2662         0     29851     13310    492905   no data   no data
122.89/30.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
122.89/30.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
122.89/30.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
122.89/30.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
122.89/30.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
122.89/30.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
122.89/30.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.89/30.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
122.89/30.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.49/31.25	c lits-rem:       223  cl-subs:     1240  v-elim:      0  v-fix:    0  time:  0.41 s
124.49/31.25	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
124.49/31.25	c vivif2 --  cl tried    28611 cl shrink        0 lits rem          0 time: 0.01
124.92/31.37	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
124.92/31.37	c calculated reachability. Time: 0.00
124.92/31.37	c  N st    53    357893       125      2662         0     28611     13310    458340   no data   no data
140.04/35.12	c  N st    54    390285       125      2662         0     34574     13310    595039   no data   no data
164.42/41.30	c  N st    55    438875       125      2662         0     28466     13310    416720   no data   no data
198.71/49.87	c  N st    56    511759       125      2662         0     41546     13310    743820   no data   no data
212.28/53.26	c  N st    57    536839       125      2662         0     35961     13310    564331   no data   no data
212.28/53.26	c  S st    57    536839       125      2662         0     35961     13310    564331   no data   no data
212.71/53.35	c  S st    57    537341       125      2662         0     36453     13310    577427   no data   no data
212.71/53.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
212.71/53.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
212.71/53.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
212.71/53.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
212.71/53.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.71/53.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
212.71/53.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
212.71/53.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
212.71/53.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
215.47/54.06	c lits-rem:       273  cl-subs:     1720  v-elim:      0  v-fix:    0  time:  0.68 s
215.47/54.07	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
215.47/54.07	c vivif2 --  cl tried    34733 cl shrink        0 lits rem          0 time: 0.01
216.27/54.22	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.15
216.27/54.22	c calculated reachability. Time: 0.00
216.27/54.22	c  N st    57    537341       125      2662         0     34733     13310    533224   no data   no data
304.47/76.33	c  N st    58    701325       125      2662         0     62617     13310   1204236   no data   no data
363.53/91.11	c  N st    59    806011       125      2662         0     56933     13310   1025125   no data   no data
363.53/91.11	c  S st    59    806011       125      2662         0     56933     13310   1025125   no data   no data
363.93/91.27	c  S st    59    806512       125      2662         0     57417     13310   1037910   no data   no data
363.93/91.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
363.93/91.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
363.93/91.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
363.93/91.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
363.93/91.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
363.93/91.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
363.93/91.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
364.32/91.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
364.32/91.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
381.49/95.64	c lits-rem:      1102  cl-subs:     4996  v-elim:      0  v-fix:    0  time:  4.31 s
381.49/95.64	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
381.49/95.65	c vivif2 --  cl tried    52421 cl shrink        0 lits rem          0 time: 0.01
382.69/95.92	c asymm  cl-useful: 0/2609/2662 lits-rem:0 time: 0.27
382.69/95.92	c calculated reachability. Time: 0.00
382.69/95.92	c  N st    59    806512       125      2662         0     52421     13310    913302   no data   no data
550.29/137.98	c  F st    60   1071876       125      2662         0     67837     13310   1222582   no data   no data
550.29/137.98	c  N st    60   1071876       125      2662         0     67837     13310   1222582   no data   no data
556.28/139.46	c Decided on static restart strategy
574.24/143.94	c  N st    70   1100181       125      2662         0     52354     13310    795346   no data   no data
606.17/151.99	c  N st    72   1136174       125      2662         0     43037     13310    532214   no data   no data
628.93/157.64	c  N st    73   1168566       125      2662         0     73329     13310   1337044   no data   no data
663.64/166.35	c  N st    74   1209769       125      2662         0     67900     13310   1171647   no data   no data
663.64/166.35	c  S st    74   1209769       125      2662         0     67900     13310   1171647   no data   no data
664.87/166.63	c  S st    74   1210272       125      2662         0     68388     13310   1184519   no data   no data
664.87/166.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
664.87/166.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
664.87/166.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
664.87/166.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
664.87/166.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
664.87/166.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
664.87/166.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
664.87/166.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
665.27/166.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
717.10/179.80	c lits-rem:      1254  cl-subs:     4922  v-elim:      0  v-fix:    0  time: 13.06 s
717.10/179.80	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
717.53/179.82	c vivif2 --  cl tried    63466 cl shrink        0 lits rem          0 time: 0.02
719.09/180.28	c asymm  cl-useful: 0/2146/2662 lits-rem:0 time: 0.46
719.09/180.28	c calculated reachability. Time: 0.00
719.09/180.28	c  N st    74   1210272       125      2662         0     63466     13310   1057623   no data   no data
782.55/196.18	c  N st    75   1283154       125      2662         0     86755     13310   1644105   no data   no data
890.27/223.20	c  N st    76   1392478       125      2662         0     48730     13310    605716   no data   no data
1027.57/257.56	c  N st    77   1556462       125      2662         0     53490     13310    689796   no data   no data
1156.90/289.94	c  N st    78   1710272       125      2662         0     93466     13310   1704989   no data   no data
1156.90/289.94	c  S st    78   1710272       125      2662         0     93466     13310   1704989   no data   no data
1158.45/290.37	c  S st    78   1710773       125      2662         0     93950     13310   1718221   no data   no data
1158.45/290.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1158.85/290.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
1158.85/290.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1158.85/290.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1158.85/290.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1158.85/290.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1158.85/290.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1158.85/290.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1159.25/290.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1327.22/332.68	c lits-rem:      2367  cl-subs:    10941  v-elim:      0  v-fix:    0  time: 42.15 s
1327.22/332.68	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1327.65/332.71	c vivif2 --  cl tried    83009 cl shrink        0 lits rem          0 time: 0.02
1328.41/332.92	c asymm  cl-useful: 0/516/2662 lits-rem:0 time: 0.21
1328.41/332.92	c calculated reachability. Time: 0.00
1328.41/332.92	c  N st    78   1710773       125      2662         0     83009     13310   1449276   no data   no data
1679.98/421.04	c  N st    79   2079740       125      2662         0     94523     13310   1624916   no data   no data
1807.68/453.08	c  N st    80   2210773       125      2662         0     98102     13310   1677500   no data   no data
1807.68/453.08	c  S st    80   2210773       125      2662         0     98102     13310   1677500   no data   no data
1808.88/453.39	c  S st    80   2211279       125      2662         0     98591     13310   1690424   no data   no data
1809.28/453.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1809.28/453.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1809.28/453.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1809.28/453.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1809.28/453.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1809.28/453.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1809.28/453.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1809.28/453.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1809.68/453.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1889.52/473.56	c lits-rem:      1839  cl-subs:    11863  v-elim:      0  v-fix:    0  time: 20.05 s
1889.52/473.57	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1889.52/473.59	c vivif2 --  cl tried    86728 cl shrink        0 lits rem          0 time: 0.02
1891.48/474.07	c asymm  cl-useful: 0/1656/2662 lits-rem:0 time: 0.49
1891.48/474.08	c calculated reachability. Time: 0.00
1891.48/474.08	c  N st    80   2211279       125      2662         0     86728     13310   1410783   no data   no data
2403.09/602.25	c  N st    81   2711279       125      2662         0    109802     13310   1921353   no data   no data
2403.09/602.25	c  S st    81   2711279       125      2662         0    109802     13310   1921353   no data   no data
2404.66/602.63	c  S st    81   2711782       125      2662         0    110290     13310   1934623   no data   no data
2404.66/602.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2404.66/602.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2404.66/602.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2404.66/602.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2404.66/602.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2404.66/602.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2404.66/602.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2405.06/602.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2405.06/602.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2503.21/627.34	c lits-rem:      2218  cl-subs:    11905  v-elim:      0  v-fix:    0  time: 24.57 s
2503.21/627.34	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2503.21/627.36	c vivif2 --  cl tried    98385 cl shrink        0 lits rem          0 time: 0.02
2504.44/627.65	c asymm  cl-useful: 0/1006/2662 lits-rem:0 time: 0.29
2504.44/627.66	c calculated reachability. Time: 0.00
2504.44/627.66	c  N st    81   2711782       125      2662         0     98385     13310   1650791   no data   no data
3128.91/784.16	c  N st    82   3211783       125      2662         0     76295     13310    949266   no data   no data
3128.91/784.16	c  S st    82   3211783       125      2662         0     76295     13310    949266   no data   no data
3130.11/784.44	c  S st    82   3212288       125      2662         0     76784     13310    962193   no data   no data
3130.11/784.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3130.11/784.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3130.11/784.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3130.11/784.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3130.11/784.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3130.11/784.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3130.11/784.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3130.51/784.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3130.51/784.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3134.90/785.62	c lits-rem:       183  cl-subs:      834  v-elim:      0  v-fix:    0  time:  1.08 s
3134.90/785.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3134.90/785.64	c vivif2 --  cl tried    75950 cl shrink        0 lits rem          0 time: 0.02
3136.54/786.02	c asymm  cl-useful: 0/1839/2662 lits-rem:0 time: 0.39
3136.54/786.02	c calculated reachability. Time: 0.00
3136.54/786.02	c  N st    82   3212288       125      2662         0     75950     13310    940681   no data   no data
3708.74/929.49	c  N st    83   3712288       125      2662         0     86181     13310   1119564   no data   no data
3708.74/929.49	c  S st    83   3712288       125      2662         0     86181     13310   1119564   no data   no data
3709.94/929.76	c  S st    83   3712793       125      2662         0     86673     13310   1132678   no data   no data
3709.94/929.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3710.34/929.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3710.34/929.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3710.34/929.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3710.34/929.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3710.34/929.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3710.34/929.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3710.34/929.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3710.34/929.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3717.12/931.56	c lits-rem:       429  cl-subs:     2188  v-elim:      0  v-fix:    0  time:  1.70 s
3717.12/931.56	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3717.12/931.58	c vivif2 --  cl tried    84485 cl shrink        0 lits rem          0 time: 0.02
3717.92/931.77	c asymm  cl-useful: 0/823/2662 lits-rem:0 time: 0.19
3717.92/931.77	c calculated reachability. Time: 0.00
3717.92/931.77	c  N st    83   3712793       125      2662         0     84485     13310   1079740   no data   no data
3758.62/941.97	c  F st    84   3751562       125      2662         0    120696     13310   2046251   no data   no data
3758.62/941.97	c  N st    84   3751562       125      2662         0    120696     13310   2046251   no data   no data
3767.80/944.30	c Decided on static restart strategy
3806.11/953.82	c  N st    94   3779866       125      2662         0    147253     13310   2755155   no data   no data
3852.40/965.40	c  N st    96   3815860       125      2662         0    101783     13310   1512322   no data   no data
3894.70/976.01	c  N st    97   3848253       125      2662         0    132093     13310   2313012   no data   no data
3958.15/991.96	c  N st    98   3896841       125      2662         0     97366     13310   1387340   no data   no data
4067.48/1019.37	c  N st    99   3969723       125      2662         0     84089     13310   1012455   no data   no data
4206.36/1054.14	c  N st   100   4079047       125      2662         0    103934     13310   1511499   no data   no data
4368.38/1094.73	c  N st   101   4212794       125      2662         0    145807     13310   2629614   no data   no data
4368.38/1094.73	c  S st   101   4212794       125      2662         0    145807     13310   2629614   no data   no data
4370.37/1095.29	c  S st   101   4213299       125      2662         0    146296     13310   2642668   no data   no data
4370.77/1095.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4370.77/1095.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4370.77/1095.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4370.77/1095.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4370.77/1095.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4370.77/1095.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4370.77/1095.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4371.17/1095.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4371.17/1095.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4561.49/1143.19	c lits-rem:      2574  cl-subs:    13685  v-elim:      0  v-fix:    0  time: 47.71 s
4561.49/1143.19	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4561.89/1143.23	c vivif2 --  cl tried   132611 cl shrink        0 lits rem          0 time: 0.04
4563.88/1143.75	c asymm  cl-useful: 0/1227/2662 lits-rem:0 time: 0.52
4563.88/1143.76	c calculated reachability. Time: 0.00
4563.88/1143.76	c  N st   101   4213299       125      2662         0    132611     13310   2304901   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3366435-1305404194/watcher-3366435-1305404194 -o /tmp/evaluation-result-3366435-1305404194/solver-3366435-1305404194 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366435-1305404194.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 5.43 7.23 7.82 6/304 17143
/proc/meminfo: memFree=12159732/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 409 0 0 0 1 0 0 0 25 0 4 0 652017245 52396032 349 33554432000 4194304 4580107 140734538162656 18446744073709551615 47061417994162 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 12792 349 299 95 0 7774 0
[pid=17143/tid=17144] ppid=17141 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652017245 52396032 349 33554432000 4194304 4580107 140734538162656 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652017245 52396032 349 33554432000 4194304 4580107 140734538162656 18446744073709551615 47061417994162 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652017245 52396032 349 33554432000 4194304 4580107 140734538162656 18446744073709551615 47061417994162 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0251069 s]
/proc/loadavg: 5.43 7.23 7.82 6/304 17143
/proc/meminfo: memFree=12159732/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=281824 CPUtime=0.06 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 915 0 0 0 6 0 0 0 18 0 4 0 652017245 288587776 821 33554432000 4194304 4580107 140734538162656 18446744073709551615 255376968666 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 70456 828 362 95 0 65438 0
[pid=17143/tid=17144] ppid=17141 vsize=281824 CPUtime=0.01 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 112 0 0 0 1 0 0 0 18 0 4 0 652017245 288587776 831 33554432000 4194304 4580107 140734538162656 18446744073709551615 255377406446 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=281824 CPUtime=0.01 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 138 0 0 0 1 0 0 0 18 0 4 0 652017245 288587776 840 33554432000 4194304 4580107 140734538162656 18446744073709551615 255376998155 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=281824 CPUtime=0.01 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 143 0 0 0 1 0 0 0 18 0 4 0 652017245 288587776 845 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 281824

[startup+0.342656 s]
/proc/loadavg: 5.43 7.23 7.82 6/304 17143
/proc/meminfo: memFree=12159732/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=285960 CPUtime=3.01 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 5671 0 0 0 300 1 0 0 18 0 4 0 652017245 292823040 2793 33554432000 4194304 4580107 140734538162656 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 71490 2793 377 95 0 66472 0
[pid=17143/tid=17144] ppid=17141 vsize=285960 CPUtime=0.74 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 1245 0 0 0 74 0 0 0 19 0 4 0 652017245 292823040 2793 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=285960 CPUtime=0.75 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 1338 0 0 0 75 0 0 0 18 0 4 0 652017245 292823040 2793 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=285960 CPUtime=0.75 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 1253 0 0 0 75 0 0 0 18 0 4 0 652017245 292823040 2793 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 285960

[startup+0.862697 s]
/proc/loadavg: 5.43 7.23 7.82 6/304 17143
/proc/meminfo: memFree=12159732/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=286156 CPUtime=3.41 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 5954 0 0 0 340 1 0 0 19 0 4 0 652017245 293023744 3076 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294455 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 71539 3076 378 95 0 66521 0
[pid=17143/tid=17144] ppid=17141 vsize=286156 CPUtime=0.84 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 1316 0 0 0 84 0 0 0 19 0 4 0 652017245 293023744 3076 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=286156 CPUtime=0.85 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 1414 0 0 0 85 0 0 0 19 0 4 0 652017245 293023744 3076 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=286156 CPUtime=0.85 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 1329 0 0 0 85 0 0 0 19 0 4 0 652017245 293023744 3076 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 286156

[startup+0.918977 s]
/proc/loadavg: 5.43 7.23 7.82 6/304 17143
/proc/meminfo: memFree=12159732/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=295148 CPUtime=3.63 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 6362 0 0 0 362 1 0 0 19 0 4 0 652017245 302231552 3129 33554432000 4194304 4580107 140734538162656 18446744073709551615 255377344647 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 71668 2910 378 95 0 66650 0
[pid=17143/tid=17144] ppid=17141 vsize=286672 CPUtime=0.94 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 1408 0 0 0 94 0 0 0 19 0 4 0 652017245 293552128 2910 33554432000 4194304 4580107 140734538162656 18446744073709551615 4305296 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=286672 CPUtime=0.95 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 1671 0 0 0 95 0 0 0 19 0 4 0 652017245 293552128 2910 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=286672 CPUtime=0.95 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 1604 0 0 0 95 0 0 0 19 0 4 0 652017245 293552128 2910 33554432000 4194304 4580107 140734538162656 18446744073709551615 4306331 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 295148

[startup+1.50058 s]
/proc/loadavg: 5.43 7.23 7.82 6/304 17143
/proc/meminfo: memFree=12159732/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=297132 CPUtime=5.97 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 11215 0 0 0 595 2 0 0 19 0 4 0 652017245 304263168 5703 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 74283 5703 379 95 0 69265 0
[pid=17143/tid=17144] ppid=17141 vsize=297132 CPUtime=1.48 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 3003 0 0 0 148 0 0 0 20 0 4 0 652017245 304263168 5703 33554432000 4194304 4580107 140734538162656 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=297132 CPUtime=1.48 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 2193 0 0 0 148 0 0 0 20 0 4 0 652017245 304263168 5703 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=297132 CPUtime=1.49 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 2160 0 0 0 149 0 0 0 20 0 4 0 652017245 304263168 5703 33554432000 4194304 4580107 140734538162656 18446744073709551615 4324126 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 297132

[startup+3.10028 s]
/proc/loadavg: 5.79 7.27 7.83 9/308 17147
/proc/meminfo: memFree=12089904/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=302084 CPUtime=12.34 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 20412 0 0 0 1231 3 0 0 25 0 4 0 652017245 309334016 10949 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 75521 10949 379 95 0 70503 0
[pid=17143/tid=17144] ppid=17141 vsize=302084 CPUtime=3.06 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 4140 0 0 0 306 0 0 0 25 0 4 0 652017245 309334016 10949 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=302084 CPUtime=3.09 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 5100 0 0 0 308 1 0 0 25 0 4 0 652017245 309334016 10949 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=302084 CPUtime=3.09 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 5240 0 0 0 308 1 0 0 25 0 4 0 652017245 309334016 10950 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 302084

[startup+6.30069 s]
/proc/loadavg: 5.97 7.29 7.83 9/308 17147
/proc/meminfo: memFree=12059764/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=304140 CPUtime=25.11 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 31519 0 0 0 2505 6 0 0 25 0 4 0 652017245 311439360 15867 33554432000 4194304 4580107 140734538162656 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 76035 15867 379 95 0 71017 0
[pid=17143/tid=17144] ppid=17141 vsize=304140 CPUtime=6.23 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 7383 0 0 0 622 1 0 0 25 0 4 0 652017245 311439360 15867 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=304140 CPUtime=6.28 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 7643 0 0 0 627 1 0 0 25 0 4 0 652017245 311439360 15867 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=304140 CPUtime=6.28 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 7707 0 0 0 627 1 0 0 25 0 4 0 652017245 311439360 15867 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 304140

[startup+12.7115 s]
/proc/loadavg: 6.13 7.30 7.83 9/308 17147
/proc/meminfo: memFree=12022112/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=318528 CPUtime=50.7 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 48440 0 0 0 5061 9 0 0 25 0 4 0 652017245 326172672 20096 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 79632 20096 379 95 0 74614 0
[pid=17143/tid=17144] ppid=17141 vsize=318528 CPUtime=12.58 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 11593 0 0 0 1257 1 0 0 25 0 4 0 652017245 326172672 20096 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=318528 CPUtime=12.69 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 11389 0 0 0 1267 2 0 0 25 0 4 0 652017245 326172672 20096 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=318528 CPUtime=12.69 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 12845 0 0 0 1267 2 0 0 25 0 4 0 652017245 326172672 20096 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 318528

[startup+25.5011 s]
/proc/loadavg: 6.42 7.32 7.83 9/308 17148
/proc/meminfo: memFree=11982700/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=322160 CPUtime=101.75 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 72581 0 0 0 10161 14 0 0 25 0 4 0 652017245 329891840 26386 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 80540 26386 379 95 0 75522 0
[pid=17143/tid=17144] ppid=17141 vsize=322160 CPUtime=25.26 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 17804 0 0 0 2524 2 0 0 25 0 4 0 652017245 329891840 26386 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=322160 CPUtime=25.49 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 17770 0 0 0 2545 4 0 0 25 0 4 0 652017245 329891840 26386 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=322160 CPUtime=25.49 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 18649 0 0 0 2545 4 0 0 25 0 4 0 652017245 329891840 26386 33554432000 4194304 4580107 140734538162656 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 322160

[startup+51.1004 s]
/proc/loadavg: 7.10 7.40 7.84 9/308 17148
/proc/meminfo: memFree=11912424/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=335672 CPUtime=203.93 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 107835 0 0 0 20371 22 0 0 25 0 4 0 652017245 343728128 33091 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294555 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 83918 33091 379 95 0 78900 0
[pid=17143/tid=17144] ppid=17141 vsize=335672 CPUtime=50.62 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 26609 0 0 0 5058 4 0 0 25 0 4 0 652017245 343728128 33091 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=335672 CPUtime=51.09 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 26630 0 0 0 5103 6 0 0 25 0 4 0 652017245 343728128 33091 33554432000 4194304 4580107 140734538162656 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=335672 CPUtime=51.1 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 27855 0 0 0 5104 6 0 0 25 0 4 0 652017245 343728128 33091 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 335672

[startup+102.301 s]
/proc/loadavg: 7.61 7.49 7.85 9/308 17150
/proc/meminfo: memFree=11857596/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=363292 CPUtime=408.22 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 167424 0 0 0 40784 38 0 0 25 0 4 0 652017245 372011008 44219 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 90823 44219 379 95 0 85805 0
[pid=17143/tid=17144] ppid=17141 vsize=363292 CPUtime=101.33 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 38702 0 0 0 10126 7 0 0 25 0 4 0 652017245 372011008 44219 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=363292 CPUtime=102.29 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 41324 0 0 0 10219 10 0 0 25 0 4 0 652017245 372011008 44219 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294487 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=363292 CPUtime=102.28 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 44875 0 0 0 10217 11 0 0 25 0 4 0 652017245 372011008 44219 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.22
Current children cumulated vsize (KiB) 363292

[startup+162.312 s]

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

[pid=17143] ppid=17141 vsize=589188 CPUtime=2802.51 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 492974 0 0 0 280093 158 0 0 25 0 4 0 652017245 603328512 101548 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 147297 101548 379 95 0 142279 0
[pid=17143/tid=17144] ppid=17141 vsize=589188 CPUtime=695.53 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 119530 0 0 0 69521 32 0 0 25 0 4 0 652017245 603328512 101548 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=589188 CPUtime=702.32 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 128405 0 0 0 70189 43 0 0 25 0 4 0 652017245 603328512 101548 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=589188 CPUtime=702.31 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 120921 0 0 0 70191 40 0 0 25 0 4 0 652017245 603328512 101548 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.51
Current children cumulated vsize (KiB) 589188

[startup+762.301 s]
/proc/loadavg: 8.13 8.08 8.00 9/308 17167
/proc/meminfo: memFree=11364384/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=585852 CPUtime=3041.92 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 514237 0 0 0 304025 167 0 0 25 0 4 0 652017245 599912448 103320 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 146463 103320 379 95 0 141445 0
[pid=17143/tid=17144] ppid=17141 vsize=585852 CPUtime=754.97 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 125732 0 0 0 75461 36 0 0 25 0 4 0 652017245 599912448 103320 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=585852 CPUtime=762.31 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 133106 0 0 0 76186 45 0 0 25 0 4 0 652017245 599912448 103320 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=585852 CPUtime=762.31 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 122383 0 0 0 76189 42 0 0 25 0 4 0 652017245 599912448 103320 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.92
Current children cumulated vsize (KiB) 585852

[startup+822.312 s]
/proc/loadavg: 8.20 8.11 8.01 9/308 17169
/proc/meminfo: memFree=11357292/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=626944 CPUtime=3281.38 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 540828 0 0 0 327961 177 0 0 25 0 4 0 652017245 641990656 116769 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 156736 116769 379 95 0 151718 0
[pid=17143/tid=17144] ppid=17141 vsize=626944 CPUtime=814.39 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 132130 0 0 0 81401 38 0 0 25 0 4 0 652017245 641990656 116769 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=626944 CPUtime=822.32 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 139740 0 0 0 82185 47 0 0 25 0 4 0 652017245 641990656 116769 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=626944 CPUtime=822.32 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 128595 0 0 0 82188 44 0 0 25 0 4 0 652017245 641990656 116769 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.38
Current children cumulated vsize (KiB) 626944

[startup+882.3 s]
/proc/loadavg: 8.29 8.16 8.04 9/308 17170
/proc/meminfo: memFree=11334088/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=601492 CPUtime=3520.79 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 561504 0 0 0 351894 185 0 0 25 0 4 0 652017245 615927808 111081 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 150373 111081 379 95 0 145355 0
[pid=17143/tid=17144] ppid=17141 vsize=601492 CPUtime=873.83 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 137973 0 0 0 87343 40 0 0 25 0 4 0 652017245 615927808 111081 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=601492 CPUtime=882.31 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 148112 0 0 0 88181 50 0 0 25 0 4 0 652017245 615927808 111081 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=601492 CPUtime=882.31 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 129076 0 0 0 88187 44 0 0 25 0 4 0 652017245 615927808 111081 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.79
Current children cumulated vsize (KiB) 601492

[startup+942.3 s]
/proc/loadavg: 8.29 8.19 8.05 9/308 17172
/proc/meminfo: memFree=11313492/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=628404 CPUtime=3760.21 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 585412 0 0 0 375825 196 0 0 25 0 4 0 652017245 643485696 114832 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294555 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 157101 114832 379 95 0 152083 0
[pid=17143/tid=17144] ppid=17141 vsize=628404 CPUtime=933.24 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 145399 0 0 0 93281 43 0 0 25 0 4 0 652017245 643485696 114832 33554432000 4194304 4580107 140734538162656 18446744073709551615 4305633 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=628404 CPUtime=942.32 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 150327 0 0 0 94181 51 0 0 25 0 4 0 652017245 643485696 114832 33554432000 4194304 4580107 140734538162656 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=628404 CPUtime=942.31 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 135738 0 0 0 94184 47 0 0 25 0 4 0 652017245 643485696 114832 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.21
Current children cumulated vsize (KiB) 628404

[startup+1002.3 s]
/proc/loadavg: 8.31 8.21 8.07 9/308 17174
/proc/meminfo: memFree=11260768/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=753052 CPUtime=3999.65 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 601939 0 0 0 399762 203 0 0 25 0 4 0 652017245 771125248 120429 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 188263 120429 379 95 0 183245 0
[pid=17143/tid=17144] ppid=17141 vsize=753052 CPUtime=992.68 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 150442 0 0 0 99223 45 0 0 25 0 4 0 652017245 771125248 120429 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=753052 CPUtime=1002.31 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 154172 0 0 0 100178 53 0 0 25 0 4 0 652017245 771125248 120429 33554432000 4194304 4580107 140734538162656 18446744073709551615 4305583 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=753052 CPUtime=1002.31 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 136077 0 0 0 100184 47 0 0 25 0 4 0 652017245 771125248 120429 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.65
Current children cumulated vsize (KiB) 753052

[startup+1062.3 s]
/proc/loadavg: 8.18 8.19 8.07 9/308 17175
/proc/meminfo: memFree=11302652/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=782188 CPUtime=4239.08 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 626125 0 0 0 423698 210 0 0 25 0 4 0 652017245 800960512 119456 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294612 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 195547 119456 379 95 0 190529 0
[pid=17143/tid=17144] ppid=17141 vsize=782188 CPUtime=1052.1 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 156203 0 0 0 105164 46 0 0 25 0 4 0 652017245 800960512 119456 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=782188 CPUtime=1062.31 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 161469 0 0 0 106176 55 0 0 25 0 4 0 652017245 800960512 119456 33554432000 4194304 4580107 140734538162656 18446744073709551615 4304874 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=782188 CPUtime=1062.31 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 139669 0 0 0 106183 48 0 0 25 0 4 0 652017245 800960512 119456 33554432000 4194304 4580107 140734538162656 18446744073709551615 4304887 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.08
Current children cumulated vsize (KiB) 782188

[startup+1122.3 s]
/proc/loadavg: 8.28 8.22 8.09 9/308 17177
/proc/meminfo: memFree=11284996/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=630084 CPUtime=4478.51 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 644223 0 0 0 447630 221 0 0 25 0 4 0 652017245 645206016 119472 33554432000 4194304 4580107 140734538162656 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 157521 119472 379 95 0 152503 0
[pid=17143/tid=17144] ppid=17141 vsize=630084 CPUtime=1111.52 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 159771 0 0 0 111104 48 0 0 25 0 4 0 652017245 645206016 119472 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=630084 CPUtime=1122.32 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 168286 0 0 0 112173 59 0 0 25 0 4 0 652017245 645206016 119472 33554432000 4194304 4580107 140734538162656 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=630084 CPUtime=1122.32 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 146204 0 0 0 112179 53 0 0 25 0 4 0 652017245 645206016 119472 33554432000 4194304 4580107 140734538162656 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.51
Current children cumulated vsize (KiB) 630084

[startup+1182.3 s]
/proc/loadavg: 8.33 8.23 8.10 9/308 17178
/proc/meminfo: memFree=11195804/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=788976 CPUtime=4717.89 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 665065 0 0 0 471560 229 0 0 25 0 4 0 652017245 807911424 139516 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 197244 139516 379 95 0 192226 0
[pid=17143/tid=17144] ppid=17141 vsize=788976 CPUtime=1170.9 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 165242 0 0 0 117039 51 0 0 25 0 4 0 652017245 807911424 139516 33554432000 4194304 4580107 140734538162656 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=788976 CPUtime=1182.32 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 174466 0 0 0 118172 60 0 0 25 0 4 0 652017245 807911424 139516 33554432000 4194304 4580107 140734538162656 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=788976 CPUtime=1182.32 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 154866 0 0 0 118176 56 0 0 25 0 4 0 652017245 807911424 139516 33554432000 4194304 4580107 140734538162656 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4717.89
Current children cumulated vsize (KiB) 788976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.91 s]
/proc/loadavg: 8.31 8.23 8.10 5/303 17180
/proc/meminfo: memFree=11609492/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=803072 CPUtime=4800.16 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 670743 0 0 0 479783 233 0 0 25 0 4 0 652017245 822345728 140871 33554432000 4194304 4580107 140734538162656 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 200768 140871 379 95 0 195750 0
[pid=17143/tid=17144] ppid=17141 vsize=803072 CPUtime=1191.3 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 166502 0 0 0 119077 53 0 0 25 0 4 0 652017245 822345728 140872 33554432000 4194304 4580107 140734538162656 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=803072 CPUtime=1202.94 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 177015 0 0 0 120233 61 0 0 25 0 4 0 652017245 822345728 140872 33554432000 4194304 4580107 140734538162656 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=803072 CPUtime=1202.94 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 154866 0 0 0 120238 56 0 0 25 0 4 0 652017245 822345728 140872 33554432000 4194304 4580107 140734538162656 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 803072

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

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

[startup+1202.91 s]
/proc/loadavg: 8.31 8.23 8.10 5/303 17180
/proc/meminfo: memFree=11609492/32951124 swapFree=66050672/67111528
[pid=17143] ppid=17141 vsize=803072 CPUtime=4800.16 cores=0,2,4,6
/proc/17143/stat : 17143 (strangenight2-m) R 17141 17143 16480 0 -1 4202496 670743 0 0 0 479783 233 0 0 25 0 4 0 652017245 822345728 140871 33554432000 4194304 4580107 140734538162656 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17143/statm: 200768 140871 379 95 0 195750 0
[pid=17143/tid=17144] ppid=17141 vsize=803072 CPUtime=1191.3 cores=0,2,4,6
/proc/17143/task/17144/stat : 17144 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 166502 0 0 0 119077 53 0 0 25 0 4 0 652017245 822345728 140872 33554432000 4194304 4580107 140734538162656 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17143/tid=17145] ppid=17141 vsize=803072 CPUtime=1202.94 cores=0,2,4,6
/proc/17143/task/17145/stat : 17145 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 177015 0 0 0 120233 61 0 0 25 0 4 0 652017245 822345728 140872 33554432000 4194304 4580107 140734538162656 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17143/tid=17146] ppid=17141 vsize=803072 CPUtime=1202.94 cores=0,2,4,6
/proc/17143/task/17146/stat : 17146 (strangenight2-m) R 17141 17143 16480 0 -1 4202560 154866 0 0 0 120238 56 0 0 25 0 4 0 652017245 822345728 140872 33554432000 4194304 4580107 140734538162656 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 803072

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.95
CPU time (s): 4800.23
CPU user time (s): 4797.87
CPU system time (s): 2.36064
CPU usage (%): 399.036
Max. virtual memory (cumulated for all children) (KiB): 901260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.87
system time used= 2.36064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670744
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= 430
involuntary context switches= 70494

runsolver used 3.2895 second user time and 8.16576 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-14 22:16:34
IDJOB=3366435
IDBENCH=82844
IDSOLVER=1844
FILE ID=node135/3366435-1305404194
RUNJOBID= node135-1305404189-17060
PBS_JOBID= 13324477
Free space on /tmp= 73336 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366435-1305404194/watcher-3366435-1305404194 -o /tmp/evaluation-result-3366435-1305404194/solver-3366435-1305404194 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366435-1305404194.cnf

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

MD5SUM BENCH= b936bd7aa1624f527379bba2a9d6f8ed
RANDOM SEED=1441103964

node135.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.851
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.70
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.851
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.83
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.851
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.851
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	: 6640.14
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.851
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.78
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.851
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.851
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12159888 kB
Buffers:        274648 kB
Cached:        5846952 kB
SwapCached:      50684 kB
Active:        9888564 kB
Inactive:     10660152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12159888 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:           11292 kB
Writeback:           0 kB
AnonPages:    14381736 kB
Mapped:          19316 kB
Slab:           135288 kB
PageTables:      46652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57132944 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73336 MiB
End job on node135 at 2011-05-14 22:36:39