Trace number 3366474

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.47 1203.45

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366474-1305405039.cnf'
0.00/0.01	c -- header says num vars:            450
0.00/0.01	c -- header says num clauses:        1917
0.00/0.01	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.01	c -- vars added        450
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.16/0.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.16/0.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.16/0.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.16/0.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
3.16/0.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.16/0.83	c lits-rem:         0  cl-subs:        0  v-elim:      5  v-fix:    0  time:  0.00 s
3.16/0.83	c Finding binary XORs  T:     0.00 s  found:       0
3.16/0.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.16/0.83	c calculated reachability. Time: 0.00
3.16/0.83	c Calc default polars -  time:   0.00 s pos:     176 undec:      57 neg:     217
3.16/0.83	c =========================================================================================
3.16/0.83	c types(t): F = full restart, N = normal restart
3.16/0.83	c types(t): S = simplification begin/end, E = solution found
3.16/0.83	c restart types(rt): st = static, dy = dynamic
3.16/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.16/0.83	c  B st     0         0       445      1912         0         0      5760         0   no data   no data
3.16/0.83	c Decided on static restart strategy
3.16/0.83	c  N st     8      4913       445      1912         0      4832      5760    103565   no data   no data
3.16/0.83	c  N st    10     11296       445      1912         0      4466      5760     67929   no data   no data
3.16/0.83	c  N st    11     17039       445      1912         0     10068      5760    184200   no data   no data
4.39/1.13	c  F st    12     25000       445      1912         0     12304      5760    230193   no data   no data
4.39/1.13	c  N st    12     25000       445      1912         0     12304      5760    230193   no data   no data
4.80/1.29	c Decided on static restart strategy
4.80/1.29	c  N st    18     30000       445      1912         0     10614      5760    179515   no data   no data
4.80/1.29	c  S st    18     30000       445      1912         0     10614      5760    179515   no data   no data
5.15/1.32	c  S st    18     30502       445      1912         0     11116      5760    189692   no data   no data
5.15/1.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.15/1.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.15/1.33	c blocked clauses removed:       22 vars:      4 tried:         445 T: 0.00 s
5.15/1.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    441 time:  0.00 s
5.15/1.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.15/1.33	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.15/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.39	c lits-rem:        88  cl-subs:      781  v-elim:      0  v-fix:    0  time:  0.05 s
5.15/1.39	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
5.15/1.39	c calculated reachability. Time: 0.00
5.15/1.39	c  N st    18     30502       440      1889         0     10026      5701    167052   no data   no data
7.15/1.80	c  N st    20     37613       440      1889         0      9457      5701    145409   no data   no data
8.78/2.21	c  N st    21     44012       440      1889         0     15682      5701    284660   no data   no data
9.19/2.34	c  S st    22     45754       440      1889         0     17388      5701    321286   no data   no data
9.19/2.37	c  S st    22     46263       440      1889         0      9250      5701    123775   no data   no data
9.19/2.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
9.19/2.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.39	c lits-rem:        13  cl-subs:       49  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.39	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
9.19/2.39	c vivif2 --  cl tried     9201 cl shrink        0 lits rem          0 time: 0.00
9.19/2.39	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.00
9.19/2.39	c calculated reachability. Time: 0.00
9.19/2.39	c  N st    22     46263       440      1889         0      9201      5701    122700   no data   no data
13.16/3.32	c  N st    23     60660       440      1889         0     13474      5701    203982   no data   no data
15.53/3.99	c  N st    24     69394       440      1889         0     11313      5701    149043   no data   no data
15.53/3.99	c  S st    24     69394       440      1889         0     11313      5701    149043   no data   no data
15.93/4.02	c  S st    24     69896       440      1889         0     11815      5701    159772   no data   no data
15.93/4.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.93/4.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.93/4.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
15.93/4.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.93/4.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.93/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.05	c lits-rem:        31  cl-subs:      245  v-elim:      0  v-fix:    0  time:  0.02 s
15.93/4.05	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
15.93/4.05	c vivif2 --  cl tried    11570 cl shrink        0 lits rem          0 time: 0.00
15.93/4.06	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
15.93/4.06	c calculated reachability. Time: 0.00
15.93/4.06	c  N st    24     69896       440      1889         0     11570      5701    154888   no data   no data
20.71/5.24	c  F st    25     87500       440      1889         0     16990      5701    265148   no data   no data
20.71/5.24	c  N st    25     87500       440      1889         0     16990      5701    265148   no data   no data
22.36/5.63	c Decided on static restart strategy
23.10/5.86	c  N st    32     95538       440      1889         0     24818      5701    434172   no data   no data
25.50/6.49	c  N st    34    104846       440      1889         0     21283      5701    337877   no data   no data
25.50/6.49	c  S st    34    104846       440      1889         0     21283      5701    337877   no data   no data
25.90/6.54	c  S st    34    105350       440      1889         0     21786      5701    348076   no data   no data
25.90/6.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.90/6.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.90/6.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.90/6.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.90/6.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.90/6.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
25.90/6.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.90/6.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.90/6.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.33/6.70	c lits-rem:       176  cl-subs:     1027  v-elim:      0  v-fix:    0  time:  0.14 s
26.33/6.70	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
26.33/6.70	c vivif2 --  cl tried    20759 cl shrink        0 lits rem          0 time: 0.00
26.74/6.71	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
26.74/6.72	c calculated reachability. Time: 0.00
26.74/6.72	c  N st    34    105350       440      1889         0     20759      5701    326559   no data   no data
29.89/7.51	c  N st    35    114948       440      1889         0     16489      5701    216082   no data   no data
34.68/8.72	c  N st    36    129346       440      1889         0     15922      5701    191403   no data   no data
42.25/10.61	c  N st    37    150942       440      1889         0     21428      5701    297765   no data   no data
44.64/11.22	c  S st    38    158025       440      1889         0     28349      5701    451091   no data   no data
44.64/11.29	c  S st    38    158527       440      1889         0     28850      5701    461627   no data   no data
44.64/11.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.04/11.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.04/11.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.04/11.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.04/11.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.04/11.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
45.04/11.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.04/11.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.04/11.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.84/11.55	c lits-rem:       188  cl-subs:     1230  v-elim:      0  v-fix:    0  time:  0.23 s
45.84/11.55	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
45.84/11.55	c vivif2 --  cl tried    27620 cl shrink        0 lits rem          0 time: 0.00
45.84/11.57	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.01
45.84/11.57	c calculated reachability. Time: 0.00
45.84/11.57	c  N st    38    158527       440      1889         0     27620      5701    437098   no data   no data
66.23/16.64	c  N st    39    207117       440      1889         0     22460      5701    292266   no data   no data
79.74/20.09	c  N st    40    237792       440      1889         0     32752      5701    506656   no data   no data
79.74/20.09	c  S st    40    237792       440      1889         0     32752      5701    506656   no data   no data
80.14/20.17	c  S st    40    238293       440      1889         0     33250      5701    517592   no data   no data
80.14/20.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.14/20.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.14/20.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.14/20.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.14/20.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.14/20.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
80.14/20.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.14/20.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.54/20.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.55/20.70	c lits-rem:       295  cl-subs:     1973  v-elim:      0  v-fix:    0  time:  0.49 s
82.55/20.70	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
82.55/20.70	c vivif2 --  cl tried    31277 cl shrink        0 lits rem          0 time: 0.01
82.55/20.72	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.02
82.55/20.72	c calculated reachability. Time: 0.00
82.55/20.72	c  N st    40    238293       440      1889         0     31277      5701    476594   no data   no data
111.27/27.91	c  F st    41    306250       440      1889         0     33134      5701    481547   no data   no data
111.27/27.91	c  N st    41    306250       440      1889         0     33134      5701    481547   no data   no data
114.09/28.66	c Decided on static restart strategy
126.02/31.60	c  N st    51    334552       440      1889         0     37426      5701    550120   no data   no data
137.99/34.68	c  N st    53    357439       440      1889         0     35290      5701    481943   no data   no data
137.99/34.68	c  S st    53    357439       440      1889         0     35290      5701    481943   no data   no data
138.39/34.78	c  S st    53    357941       440      1889         0     35791      5701    492770   no data   no data
138.39/34.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.39/34.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
138.39/34.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.39/34.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.39/34.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.39/34.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
138.39/34.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
138.39/34.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
138.79/34.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.99/35.11	c lits-rem:       177  cl-subs:     1562  v-elim:      0  v-fix:    0  time:  0.31 s
139.99/35.12	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
139.99/35.12	c vivif2 --  cl tried    34229 cl shrink        0 lits rem          0 time: 0.01
139.99/35.14	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.02
139.99/35.14	c calculated reachability. Time: 0.00
139.99/35.14	c  N st    53    357941       440      1889         0     34229      5701    460495   no data   no data
156.74/39.35	c  N st    54    390333       440      1889         0     40575      5701    595885   no data   no data
184.29/46.24	c  N st    55    438921       440      1889         0     34312      5701    428097   no data   no data
228.18/57.28	c  N st    56    511803       440      1889         0     47769      5701    695134   no data   no data
242.50/60.84	c  N st    57    536913       440      1889         0     42074      5701    560322   no data   no data
242.50/60.84	c  S st    57    536913       440      1889         0     42074      5701    560322   no data   no data
242.90/60.95	c  S st    57    537413       440      1889         0     42573      5701    571408   no data   no data
242.90/60.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
242.90/60.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
242.90/60.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.90/60.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
242.90/60.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.90/60.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
242.90/60.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
242.90/60.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
243.30/61.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.90/61.40	c lits-rem:       242  cl-subs:     1438  v-elim:      0  v-fix:    0  time:  0.40 s
244.90/61.40	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
244.90/61.40	c vivif2 --  cl tried    41135 cl shrink        0 lits rem          0 time: 0.01
244.90/61.43	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.03
244.90/61.43	c calculated reachability. Time: 0.00
244.90/61.43	c  N st    57    537413       440      1889         0     41135      5701    542142   no data   no data
350.22/87.90	c  N st    58    701400       440      1889         0     35152      5701    334022   no data   no data
423.60/106.30	c  N st    59    806120       440      1889         0     63705      5701    935729   no data   no data
423.60/106.30	c  S st    59    806120       440      1889         0     63705      5701    935729   no data   no data
424.41/106.48	c  S st    59    806621       440      1889         0     64206      5701    946283   no data   no data
424.41/106.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
424.81/106.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
424.81/106.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
424.81/106.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
424.81/106.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
424.81/106.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
424.81/106.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
424.81/106.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
424.81/106.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
434.82/109.02	c lits-rem:       598  cl-subs:     5095  v-elim:      0  v-fix:    0  time:  2.48 s
434.82/109.02	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
434.82/109.03	c vivif2 --  cl tried    59111 cl shrink        0 lits rem          0 time: 0.01
434.82/109.08	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.05
434.82/109.08	c calculated reachability. Time: 0.00
434.82/109.08	c  N st    59    806621       440      1889         0     59111      5701    848215   no data   no data
642.19/161.05	c  F st    60   1071876       440      1889         0     74988      5701   1089011   no data   no data
642.19/161.05	c  N st    60   1071876       440      1889         0     74988      5701   1089011   no data   no data
648.58/162.67	c Decided on static restart strategy
669.73/167.97	c  N st    70   1100179       440      1889         0     59042      5701    733330   no data   no data
706.45/177.17	c  N st    72   1136174       440      1889         0     49380      5701    510405   no data   no data
736.73/184.79	c  N st    73   1168568       440      1889         0     80720      5701   1208616   no data   no data
773.83/194.06	c  N st    74   1209931       440      1889         0     75339      5701   1095297   no data   no data
773.83/194.06	c  S st    74   1209931       440      1889         0     75339      5701   1095297   no data   no data
774.63/194.28	c  S st    74   1210435       440      1889         0     75843      5701   1107023   no data   no data
774.63/194.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
775.03/194.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
775.03/194.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
775.03/194.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
775.03/194.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
775.03/194.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
775.03/194.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
775.03/194.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
775.03/194.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
786.58/197.28	c lits-rem:       469  cl-subs:     4500  v-elim:      0  v-fix:    0  time:  2.91 s
786.58/197.28	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
786.58/197.30	c vivif2 --  cl tried    71343 cl shrink        0 lits rem          0 time: 0.01
786.98/197.36	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.06
786.98/197.36	c calculated reachability. Time: 0.00
786.98/197.36	c  N st    74   1210435       440      1889         0     71343      5701   1008157   no data   no data
867.56/217.57	c  N st    75   1283318       440      1889         0     47988      5701    438556   no data   no data
975.25/244.55	c  N st    76   1392644       440      1889         0     56393      5701    602667   no data   no data
1142.77/286.50	c  N st    77   1556630       440      1889         0     60828      5701    645950   no data   no data
1295.14/324.72	c  N st    78   1710439       440      1889         0    102439      5701   1575039   no data   no data
1295.14/324.72	c  S st    78   1710439       440      1889         0    102439      5701   1575039   no data   no data
1296.34/325.09	c  S st    78   1710942       440      1889         0    102941      5701   1586210   no data   no data
1296.74/325.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1296.74/325.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1296.74/325.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1296.74/325.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1296.74/325.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1296.74/325.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
1296.74/325.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1296.74/325.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1297.14/325.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1328.65/333.10	c lits-rem:       734  cl-subs:     8074  v-elim:      0  v-fix:    0  time:  7.88 s
1328.65/333.11	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
1328.65/333.13	c vivif2 --  cl tried    94867 cl shrink        0 lits rem          0 time: 0.02
1329.05/333.22	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.09
1329.05/333.22	c calculated reachability. Time: 0.00
1329.05/333.22	c  N st    78   1710942       440      1889         0     94867      5701   1426412   no data   no data
1713.55/429.70	c  N st    79   2079906       440      1889         0    106256      5701   1528106   no data   no data
1877.50/470.70	c  N st    80   2210943       440      1889         0    110137      5701   1559670   no data   no data
1877.50/470.70	c  S st    80   2210943       440      1889         0    110137      5701   1559670   no data   no data
1878.68/471.05	c  S st    80   2211447       440      1889         0    110640      5701   1571265   no data   no data
1878.68/471.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1879.08/471.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1879.08/471.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1879.08/471.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1879.08/471.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1879.08/471.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
1879.08/471.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1879.08/471.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1879.08/471.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1913.02/479.68	c lits-rem:       792  cl-subs:    10162  v-elim:      0  v-fix:    0  time:  8.50 s
1913.02/479.68	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
1913.02/479.70	c vivif2 --  cl tried   100478 cl shrink        0 lits rem          0 time: 0.02
1913.78/479.80	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.10
1913.78/479.81	c calculated reachability. Time: 0.00
1913.78/479.81	c  N st    80   2211447       440      1889         0    100478      5701   1388378   no data   no data
2512.93/630.07	c  N st    81   2711447       440      1889         0    123684      5701   1758250   no data   no data
2512.93/630.07	c  S st    81   2711447       440      1889         0    123684      5701   1758250   no data   no data
2514.92/630.52	c  S st    81   2711950       440      1889         0    124187      5701   1769666   no data   no data
2514.92/630.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2514.92/630.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2514.92/630.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2514.92/630.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2514.92/630.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2514.92/630.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
2514.92/630.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2515.32/630.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2515.32/630.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2558.03/641.33	c lits-rem:       995  cl-subs:    12502  v-elim:      0  v-fix:    0  time: 10.66 s
2558.03/641.33	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
2558.03/641.36	c vivif2 --  cl tried   111685 cl shrink        0 lits rem          0 time: 0.02
2558.44/641.47	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.11
2558.44/641.47	c calculated reachability. Time: 0.00
2558.44/641.47	c  N st    81   2711950       440      1889         0    111685      5701   1552040   no data   no data
3237.77/811.78	c  N st    82   3211950       440      1889         0     88020      5701    912314   no data   no data
3237.77/811.78	c  S st    82   3211950       440      1889         0     88020      5701    912314   no data   no data
3239.36/812.10	c  S st    82   3212453       440      1889         0     88522      5701    923633   no data   no data
3239.36/812.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3239.36/812.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
3239.36/812.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3239.36/812.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3239.36/812.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3239.36/812.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
3239.36/812.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3239.36/812.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3239.76/812.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3244.55/813.47	c lits-rem:       238  cl-subs:     3464  v-elim:      0  v-fix:    0  time:  1.26 s
3244.55/813.47	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
3244.55/813.49	c vivif2 --  cl tried    85058 cl shrink        0 lits rem          0 time: 0.02
3244.94/813.59	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.10
3244.94/813.59	c calculated reachability. Time: 0.00
3244.94/813.59	c  N st    82   3212453       440      1889         0     85058      5701    867619   no data   no data
3953.03/991.05	c  N st    83   3712456       440      1889         0     95585      5701    997837   no data   no data
3953.03/991.05	c  S st    83   3712456       440      1889         0     95585      5701    997837   no data   no data
3954.22/991.37	c  S st    83   3712957       440      1889         0     96086      5701   1009197   no data   no data
3954.22/991.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3954.62/991.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3954.62/991.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3954.62/991.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3954.62/991.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3954.62/991.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
3954.62/991.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3954.62/991.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3954.62/991.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3959.41/992.64	c lits-rem:       137  cl-subs:     4147  v-elim:      0  v-fix:    0  time:  1.17 s
3959.41/992.64	c vivif2 --  cl tried     1889 cl shrink        0 lits rem          0 time: 0.00
3959.41/992.65	c vivif2 --  cl tried    91939 cl shrink        0 lits rem          0 time: 0.02
3959.81/992.74	c asymm  cl-useful: 0/1889/1889 lits-rem:0 time: 0.08
3959.81/992.74	c calculated reachability. Time: 0.00
3959.81/992.74	c  N st    83   3712957       440      1889         0     91939      5701    941020   no data   no data
4013.27/1006.17	c  F st    84   3751562       440      1889         0    129532      5701   1777347   no data   no data
4013.27/1006.17	c  N st    84   3751562       440      1889         0    129532      5701   1777347   no data   no data
4024.83/1009.02	c Decided on static restart strategy
4074.69/1021.53	c  N st    94   3779867       440      1889         0    157051      5701   2369597   no data   no data
4126.15/1034.49	c  N st    96   3815861       440      1889         0    110054      5701   1323141   no data   no data
4177.66/1047.33	c  N st    97   3848253       440      1889         0    141625      5701   2031160   no data   no data
4262.99/1068.74	c  N st    98   3896843       440      1889         0    105257      5701   1187470   no data   no data
4381.87/1098.52	c  N st    99   3969726       440      1889         0     91882      5701    903523   no data   no data
4571.75/1146.18	c  N st   100   4079049       440      1889         0    112341      5701   1317098   no data   no data
4799.53/1203.27	c  N st   101   4212958       440      1889         0    155575      5701   2181482   no data   no data
4799.53/1203.27	c  S st   101   4212958       440      1889         0    155575      5701   2181482   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-3366474-1305405039/watcher-3366474-1305405039 -o /tmp/evaluation-result-3366474-1305405039/solver-3366474-1305405039 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366474-1305405039.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 6.90 7.84 7.96 3/345 21426
/proc/meminfo: memFree=24144412/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 407 0 0 0 1 0 0 0 17 0 4 0 652100593 52396032 347 33554432000 4194304 4580107 140736841757312 18446744073709551615 47603877201842 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 12792 347 299 95 0 7774 0
[pid=21426/tid=21429] ppid=21424 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 4 0 652100593 52396032 347 33554432000 4194304 4580107 140736841757312 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 4 0 652100593 52396032 347 33554432000 4194304 4580107 140736841757312 18446744073709551615 47603877201840 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 4 0 652100593 52396032 347 33554432000 4194304 4580107 140736841757312 18446744073709551615 47603877201842 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.163508 s]
/proc/loadavg: 6.90 7.84 7.96 3/345 21426
/proc/meminfo: memFree=24144412/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=283444 CPUtime=0.62 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 2066 0 0 0 62 0 0 0 18 0 4 0 652100593 290246656 1440 33554432000 4194304 4580107 140736841757312 18446744073709551615 4317025 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 70861 1440 377 95 0 65843 0
[pid=21426/tid=21429] ppid=21424 vsize=283444 CPUtime=0.14 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 445 0 0 0 14 0 0 0 19 0 4 0 652100593 290246656 1440 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=283444 CPUtime=0.15 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 463 0 0 0 15 0 0 0 18 0 4 0 652100593 290246656 1440 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=283444 CPUtime=0.15 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 336 0 0 0 15 0 0 0 18 0 4 0 652100593 290246656 1440 33554432000 4194304 4580107 140736841757312 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 283444

[startup+0.263488 s]
/proc/loadavg: 6.90 7.84 7.96 3/345 21426
/proc/meminfo: memFree=24144412/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=283604 CPUtime=1.02 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 2445 0 0 0 102 0 0 0 18 0 4 0 652100593 290410496 1819 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 70901 1819 377 95 0 65883 0
[pid=21426/tid=21429] ppid=21424 vsize=283604 CPUtime=0.24 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 528 0 0 0 24 0 0 0 19 0 4 0 652100593 290410496 1819 33554432000 4194304 4580107 140736841757312 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=283604 CPUtime=0.25 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 566 0 0 0 25 0 0 0 18 0 4 0 652100593 290410496 1819 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=283604 CPUtime=0.25 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 439 0 0 0 25 0 0 0 18 0 4 0 652100593 290410496 1819 33554432000 4194304 4580107 140736841757312 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 283604

[startup+0.363468 s]
/proc/loadavg: 6.90 7.84 7.96 3/345 21426
/proc/meminfo: memFree=24144412/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=283768 CPUtime=1.42 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 2748 0 0 0 142 0 0 0 18 0 4 0 652100593 290578432 2122 33554432000 4194304 4580107 140736841757312 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 70942 2122 377 95 0 65924 0
[pid=21426/tid=21429] ppid=21424 vsize=283768 CPUtime=0.34 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 615 0 0 0 34 0 0 0 19 0 4 0 652100593 290578432 2122 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=283768 CPUtime=0.35 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 636 0 0 0 35 0 0 0 18 0 4 0 652100593 290578432 2122 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=283768 CPUtime=0.35 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 513 0 0 0 35 0 0 0 18 0 4 0 652100593 290578432 2122 33554432000 4194304 4580107 140736841757312 18446744073709551615 4318695 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 283768

[startup+0.700403 s]
/proc/loadavg: 6.90 7.84 7.96 3/345 21426
/proc/meminfo: memFree=24144412/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=285156 CPUtime=2.76 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 4386 0 0 0 275 1 0 0 18 0 4 0 652100593 291999744 2241 33554432000 4194304 4580107 140736841757312 18446744073709551615 4293179 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 71289 2241 377 95 0 66271 0
[pid=21426/tid=21429] ppid=21424 vsize=285156 CPUtime=0.68 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 1076 0 0 0 68 0 0 0 19 0 4 0 652100593 291999744 2241 33554432000 4194304 4580107 140736841757312 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=285156 CPUtime=0.68 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 1064 0 0 0 68 0 0 0 18 0 4 0 652100593 291999744 2241 33554432000 4194304 4580107 140736841757312 18446744073709551615 4321137 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=285156 CPUtime=0.68 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 827 0 0 0 68 0 0 0 18 0 4 0 652100593 291999744 2241 33554432000 4194304 4580107 140736841757312 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285156

[startup+1.50024 s]
/proc/loadavg: 6.90 7.84 7.96 11/357 21441
/proc/meminfo: memFree=24112828/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=290924 CPUtime=5.95 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 8033 0 0 0 594 1 0 0 20 0 4 0 652100593 297906176 4427 33554432000 4194304 4580107 140736841757312 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 72731 4427 379 95 0 67713 0
[pid=21426/tid=21429] ppid=21424 vsize=290924 CPUtime=1.46 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 1663 0 0 0 146 0 0 0 21 0 4 0 652100593 297906176 4427 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=290924 CPUtime=1.48 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 1639 0 0 0 148 0 0 0 20 0 4 0 652100593 297906176 4427 33554432000 4194304 4580107 140736841757312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=290924 CPUtime=1.48 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 1535 0 0 0 148 0 0 0 20 0 4 0 652100593 297906176 4427 33554432000 4194304 4580107 140736841757312 18446744073709551615 4318719 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 290924

[startup+3.10093 s]
/proc/loadavg: 6.99 7.84 7.96 10/357 21441
/proc/meminfo: memFree=24076620/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=291668 CPUtime=12.34 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 16118 0 0 0 1232 2 0 0 25 0 4 0 652100593 298668032 8417 33554432000 4194304 4580107 140736841757312 18446744073709551615 4305219 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 72917 8417 379 95 0 67899 0
[pid=21426/tid=21429] ppid=21424 vsize=291668 CPUtime=3.06 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 3705 0 0 0 305 1 0 0 25 0 4 0 652100593 298668032 8417 33554432000 4194304 4580107 140736841757312 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=291668 CPUtime=3.08 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 4325 0 0 0 308 0 0 0 25 0 4 0 652100593 298668032 8417 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=291668 CPUtime=3.08 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 3910 0 0 0 308 0 0 0 25 0 4 0 652100593 298668032 8417 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 291668

[startup+6.30029 s]
/proc/loadavg: 6.99 7.84 7.96 9/357 21441
/proc/meminfo: memFree=24052504/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=293796 CPUtime=25.1 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 25816 0 0 0 2506 4 0 0 25 0 4 0 652100593 300847104 11366 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 73449 11366 379 95 0 68431 0
[pid=21426/tid=21429] ppid=21424 vsize=293796 CPUtime=6.22 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 6781 0 0 0 621 1 0 0 25 0 4 0 652100593 300847104 11366 33554432000 4194304 4580107 140736841757312 18446744073709551615 4320565 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=293796 CPUtime=6.29 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 7046 0 0 0 628 1 0 0 25 0 4 0 652100593 300847104 11366 33554432000 4194304 4580107 140736841757312 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=293796 CPUtime=6.28 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 5670 0 0 0 628 0 0 0 25 0 4 0 652100593 300847104 11366 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 293796

[startup+12.701 s]
/proc/loadavg: 7.14 7.85 7.96 10/357 21442
/proc/meminfo: memFree=24012084/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=304640 CPUtime=50.63 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 41892 0 0 0 5056 7 0 0 25 0 4 0 652100593 311951360 16558 33554432000 4194304 4580107 140736841757312 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 76160 16558 379 95 0 71142 0
[pid=21426/tid=21429] ppid=21424 vsize=304640 CPUtime=12.55 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 10608 0 0 0 1253 2 0 0 25 0 4 0 652100593 311951360 16558 33554432000 4194304 4580107 140736841757312 18446744073709551615 4321646 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=304640 CPUtime=12.68 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 10230 0 0 0 1267 1 0 0 25 0 4 0 652100593 311951360 16558 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=304640 CPUtime=12.68 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 9723 0 0 0 1267 1 0 0 25 0 4 0 652100593 311951360 16558 33554432000 4194304 4580107 140736841757312 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 304640

[startup+25.5005 s]
/proc/loadavg: 7.27 7.85 7.96 9/357 21442
/proc/meminfo: memFree=23974616/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=311524 CPUtime=101.68 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 64087 0 0 0 10157 11 0 0 25 0 4 0 652100593 319000576 22524 33554432000 4194304 4580107 140736841757312 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 77881 22525 379 95 0 72863 0
[pid=21426/tid=21429] ppid=21424 vsize=311524 CPUtime=25.2 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 16909 0 0 0 2517 3 0 0 25 0 4 0 652100593 319000576 22525 33554432000 4194304 4580107 140736841757312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=311524 CPUtime=25.49 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 16025 0 0 0 2546 3 0 0 25 0 4 0 652100593 319000576 22525 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=311524 CPUtime=25.48 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 14029 0 0 0 2547 1 0 0 25 0 4 0 652100593 319000576 22525 33554432000 4194304 4580107 140736841757312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 311524

[startup+51.1004 s]
/proc/loadavg: 7.59 7.88 7.96 10/357 21443
/proc/meminfo: memFree=23937220/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=305728 CPUtime=203.81 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 96685 0 0 0 20361 20 0 0 25 0 4 0 652100593 313065472 28402 33554432000 4194304 4580107 140736841757312 18446744073709551615 4320440 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 76432 28402 379 95 0 71414 0
[pid=21426/tid=21429] ppid=21424 vsize=305728 CPUtime=50.53 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 25858 0 0 0 5047 6 0 0 25 0 4 0 652100593 313065472 28402 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=305728 CPUtime=51.09 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 24357 0 0 0 5104 5 0 0 25 0 4 0 652100593 313065472 28402 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=305728 CPUtime=51.07 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 21294 0 0 0 5104 3 0 0 25 0 4 0 652100593 313065472 28402 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 305728

[startup+102.301 s]
/proc/loadavg: 7.91 7.91 7.97 9/357 21444
/proc/meminfo: memFree=23898912/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=313196 CPUtime=408.08 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 147886 0 0 0 40772 36 0 0 25 0 4 0 652100593 320712704 33346 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 78299 33346 379 95 0 73281 0
[pid=21426/tid=21429] ppid=21424 vsize=313196 CPUtime=101.18 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 38936 0 0 0 10108 10 0 0 25 0 4 0 652100593 320712704 33348 33554432000 4194304 4580107 140736841757312 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=313196 CPUtime=102.3 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 36424 0 0 0 10222 8 0 0 25 0 4 0 652100593 320712704 33348 33554432000 4194304 4580107 140736841757312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=313196 CPUtime=102.28 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 34118 0 0 0 10221 7 0 0 25 0 4 0 652100593 320712704 33348 33554432000 4194304 4580107 140736841757312 18446744073709551615 4295739 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 313196

[startup+162.301 s]

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

[pid=21426] ppid=21424 vsize=510668 CPUtime=2801.34 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 488953 0 0 0 279945 189 0 0 25 0 4 0 652100593 522924032 72803 33554432000 4194304 4580107 140736841757312 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 127667 72803 379 95 0 122649 0
[pid=21426/tid=21429] ppid=21424 vsize=510668 CPUtime=694.46 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 120007 0 0 0 69400 46 0 0 25 0 4 0 652100593 522924032 72803 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=510668 CPUtime=702.31 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 121716 0 0 0 70189 42 0 0 25 0 4 0 652100593 522924032 72803 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=510668 CPUtime=702.22 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 118500 0 0 0 70174 48 0 0 25 0 4 0 652100593 522924032 72803 33554432000 4194304 4580107 140736841757312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.34
Current children cumulated vsize (KiB) 510668

[startup+762.301 s]
/proc/loadavg: 4.16 5.95 7.16 5/348 21479
/proc/meminfo: memFree=23845412/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=457724 CPUtime=3040.74 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 512650 0 0 0 303874 200 0 0 25 0 4 0 652100593 468709376 74750 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 114431 74750 379 95 0 109413 0
[pid=21426/tid=21429] ppid=21424 vsize=457724 CPUtime=753.82 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 125925 0 0 0 75333 49 0 0 25 0 4 0 652100593 468709376 74750 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=457724 CPUtime=762.33 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 127558 0 0 0 76188 45 0 0 25 0 4 0 652100593 468709376 74750 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=457724 CPUtime=762.23 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 124511 0 0 0 76173 50 0 0 25 0 4 0 652100593 468709376 74750 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.74
Current children cumulated vsize (KiB) 457724

[startup+822.301 s]
/proc/loadavg: 4.09 5.60 6.96 5/348 21480
/proc/meminfo: memFree=23827908/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=523636 CPUtime=3280.05 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 539102 0 0 0 327792 213 0 0 25 0 4 0 652100593 536203264 79227 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 130909 79227 379 95 0 125891 0
[pid=21426/tid=21429] ppid=21424 vsize=523636 CPUtime=813.15 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 131805 0 0 0 81262 53 0 0 25 0 4 0 652100593 536203264 79227 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=523636 CPUtime=822.32 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 133180 0 0 0 82184 48 0 0 25 0 4 0 652100593 536203264 79227 33554432000 4194304 4580107 140736841757312 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=523636 CPUtime=822.22 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 133960 0 0 0 82169 53 0 0 25 0 4 0 652100593 536203264 79227 33554432000 4194304 4580107 140736841757312 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.05
Current children cumulated vsize (KiB) 523636

[startup+882.313 s]
/proc/loadavg: 4.07 5.32 6.78 5/348 21482
/proc/meminfo: memFree=23813388/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=511576 CPUtime=3519.44 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 567380 0 0 0 351719 225 0 0 25 0 4 0 652100593 523853824 82639 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 127894 82639 379 95 0 122876 0
[pid=21426/tid=21429] ppid=21424 vsize=511576 CPUtime=872.5 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 141022 0 0 0 87193 57 0 0 25 0 4 0 652100593 523853824 82639 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=511576 CPUtime=882.33 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 141040 0 0 0 88183 50 0 0 25 0 4 0 652100593 523853824 82639 33554432000 4194304 4580107 140736841757312 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=511576 CPUtime=882.24 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 139344 0 0 0 88168 56 0 0 25 0 4 0 652100593 523853824 82639 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.44
Current children cumulated vsize (KiB) 511576

[startup+942.301 s]
/proc/loadavg: 4.06 5.11 6.62 5/348 21483
/proc/meminfo: memFree=23804816/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=524332 CPUtime=3758.75 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 588600 0 0 0 375636 239 0 0 25 0 4 0 652100593 536915968 85070 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 131083 85070 379 95 0 126065 0
[pid=21426/tid=21429] ppid=21424 vsize=524332 CPUtime=931.85 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 145713 0 0 0 93124 61 0 0 25 0 4 0 652100593 536915968 85070 33554432000 4194304 4580107 140736841757312 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=524332 CPUtime=942.32 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 145329 0 0 0 94179 53 0 0 25 0 4 0 652100593 536915968 85070 33554432000 4194304 4580107 140736841757312 18446744073709551615 4340648 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=524332 CPUtime=942.22 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 145324 0 0 0 94162 60 0 0 25 0 4 0 652100593 536915968 85070 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.75
Current children cumulated vsize (KiB) 524332

[startup+1002.3 s]
/proc/loadavg: 4.05 4.91 6.44 5/348 21485
/proc/meminfo: memFree=23803184/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=527664 CPUtime=3998.1 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 612837 0 0 0 399557 253 0 0 25 0 4 0 652100593 540327936 85373 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 131916 85373 379 95 0 126898 0
[pid=21426/tid=21429] ppid=21424 vsize=527664 CPUtime=991.18 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 151630 0 0 0 99054 64 0 0 25 0 4 0 652100593 540327936 85373 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=527664 CPUtime=1002.32 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 151371 0 0 0 100176 56 0 0 25 0 4 0 652100593 540327936 85373 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=527664 CPUtime=1002.23 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 151055 0 0 0 100160 63 0 0 25 0 4 0 652100593 540327936 85373 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.1
Current children cumulated vsize (KiB) 527664

[startup+1062.3 s]
/proc/loadavg: 4.02 4.75 6.30 5/348 21487
/proc/meminfo: memFree=23797952/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=528068 CPUtime=4237.46 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 639524 0 0 0 423480 266 0 0 25 0 4 0 652100593 540741632 89617 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 132017 89617 379 95 0 126999 0
[pid=21426/tid=21429] ppid=21424 vsize=528068 CPUtime=1050.52 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 159945 0 0 0 104985 67 0 0 25 0 4 0 652100593 540741632 89617 33554432000 4194304 4580107 140736841757312 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=528068 CPUtime=1062.32 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 157043 0 0 0 106173 59 0 0 25 0 4 0 652100593 540741632 89617 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=528068 CPUtime=1062.23 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 158243 0 0 0 106156 67 0 0 25 0 4 0 652100593 540741632 89617 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.46
Current children cumulated vsize (KiB) 528068

[startup+1122.3 s]
/proc/loadavg: 4.00 4.60 6.14 5/348 21488
/proc/meminfo: memFree=23769908/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=581068 CPUtime=4476.8 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 658456 0 0 0 447404 276 0 0 25 0 4 0 652100593 595013632 93771 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 145267 93771 379 95 0 140249 0
[pid=21426/tid=21429] ppid=21424 vsize=581068 CPUtime=1109.87 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 163899 0 0 0 110917 70 0 0 25 0 4 0 652100593 595013632 93771 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=581068 CPUtime=1122.33 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 162988 0 0 0 112170 63 0 0 25 0 4 0 652100593 595013632 93771 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=581068 CPUtime=1122.23 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 162580 0 0 0 112155 68 0 0 25 0 4 0 652100593 595013632 93771 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.8
Current children cumulated vsize (KiB) 581068

[startup+1182.3 s]
/proc/loadavg: 4.00 4.50 6.02 5/348 21490
/proc/meminfo: memFree=23758868/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=568432 CPUtime=4716.16 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 680316 0 0 0 471328 288 0 0 25 0 4 0 652100593 582074368 96508 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 142108 96508 379 95 0 137090 0
[pid=21426/tid=21429] ppid=21424 vsize=568432 CPUtime=1169.23 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 169207 0 0 0 116850 73 0 0 25 0 4 0 652100593 582074368 96508 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=568432 CPUtime=1182.33 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 168448 0 0 0 118167 66 0 0 25 0 4 0 652100593 582074368 96508 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=568432 CPUtime=1182.23 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 168252 0 0 0 118151 72 0 0 25 0 4 0 652100593 582074368 96508 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.16
Current children cumulated vsize (KiB) 568432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 4.00 4.46 5.96 6/348 21490
/proc/meminfo: memFree=23749568/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=568476 CPUtime=4800.4 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 685658 0 0 0 479748 292 0 0 25 0 4 0 652100593 582119424 98677 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 142119 98677 379 95 0 137101 0
[pid=21426/tid=21429] ppid=21424 vsize=568476 CPUtime=1190.09 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 170185 0 0 0 118936 73 0 0 25 0 4 0 652100593 582119424 98677 33554432000 4194304 4580107 140736841757312 18446744073709551615 4321131 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=568476 CPUtime=1203.45 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 169530 0 0 0 120278 67 0 0 25 0 4 0 652100593 582119424 98677 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=568476 CPUtime=1203.36 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 170461 0 0 0 120262 74 0 0 25 0 4 0 652100593 582119424 98677 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 568476

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

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

[startup+1203.4 s]
/proc/loadavg: 4.00 4.46 5.96 6/348 21490
/proc/meminfo: memFree=23749568/32950928 swapFree=45937192/67111528
[pid=21426] ppid=21424 vsize=568476 CPUtime=4800.4 cores=1,3,5,7
/proc/21426/stat : 21426 (strangenight2-m) R 21424 21426 20738 0 -1 4202496 685658 0 0 0 479748 292 0 0 25 0 4 0 652100593 582119424 98677 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21426/statm: 142119 98677 379 95 0 137101 0
[pid=21426/tid=21429] ppid=21424 vsize=568476 CPUtime=1190.09 cores=1,3,5,7
/proc/21426/task/21429/stat : 21429 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 170185 0 0 0 118936 73 0 0 25 0 4 0 652100593 582119424 98677 33554432000 4194304 4580107 140736841757312 18446744073709551615 4321131 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21426/tid=21430] ppid=21424 vsize=568476 CPUtime=1203.45 cores=1,3,5,7
/proc/21426/task/21430/stat : 21430 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 169530 0 0 0 120278 67 0 0 25 0 4 0 652100593 582119424 98677 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21426/tid=21431] ppid=21424 vsize=568476 CPUtime=1203.36 cores=1,3,5,7
/proc/21426/task/21431/stat : 21431 (strangenight2-m) R 21424 21426 20738 0 -1 4202560 170461 0 0 0 120262 74 0 0 25 0 4 0 652100593 582119424 98677 33554432000 4194304 4580107 140736841757312 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 568476

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.52
system time used= 2.94755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 685658
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= 434
involuntary context switches= 24975

runsolver used 3.57246 second user time and 9.81051 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-14 22:30:39
IDJOB=3366474
IDBENCH=82883
IDSOLVER=1844
FILE ID=node149/3366474-1305405039
RUNJOBID= node149-1305405039-21415
PBS_JOBID= 13324466
Free space on /tmp= 73572 MiB

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

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

MD5SUM BENCH= 9869c5a4d8c5bed5ea530735320738db
RANDOM SEED=1789623852

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24144692 kB
Buffers:        308400 kB
Cached:        3866860 kB
SwapCached:      19984 kB
Active:        6306752 kB
Inactive:      2205320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24144692 kB
SwapTotal:    67111528 kB
SwapFree:     45937192 kB
Dirty:            5576 kB
Writeback:           0 kB
AnonPages:     4329256 kB
Mapped:          13600 kB
Slab:           157348 kB
PageTables:      72132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 80188844 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= 73568 MiB
End job on node149 at 2011-05-14 22:50:45