Trace number 3366484

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.22 1203.35

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf
MD5SUMddac1e46d651615f8587e799d64e665b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.042993
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.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-3366484-1305405354.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.01	c Parsing time:  0.00 s
0.00/0.01	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.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      57 undec:       6 neg:      62
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.17/0.06	c Decided on static restart strategy
0.37/0.13	c  N st     8      4915       125      2662         0      4664     13310    122048   no data   no data
1.16/0.33	c  N st    10     11298       125      2662         0      4309     13310     88426   no data   no data
1.97/0.54	c  N st    11     17043       125      2662         0      9701     13310    229819   no data   no data
3.17/0.87	c  F st    12     25000       125      2662         0     11885     13310    274310   no data   no data
3.17/0.87	c  N st    12     25000       125      2662         0     11885     13310    274310   no data   no data
3.98/1.08	c Decided on static restart strategy
3.98/1.08	c  N st    18     30002       125      2662         0     10207     13310    229213   no data   no data
3.98/1.08	c  S st    18     30002       125      2662         0     10207     13310    229213   no data   no data
4.39/1.11	c  S st    18     30504       125      2662         0     10697     13310    242599   no data   no data
4.39/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.39/1.12	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.39/1.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.39/1.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.39/1.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.39/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.14/1.30	c lits-rem:       241  cl-subs:     1466  v-elim:      0  v-fix:    0  time:  0.18 s
5.14/1.34	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.14/1.34	c calculated reachability. Time: 0.00
5.14/1.34	c  N st    18     30504       125      2662         0      9231     13310    201498   no data   no data
6.35/1.68	c  N st    20     37616       125      2662         0      8497     13310    163327   no data   no data
7.95/2.00	c  N st    21     44015       125      2662         0     14554     13310    319379   no data   no data
7.95/2.09	c  S st    22     45757       125      2662         0     16211     13310    362170   no data   no data
8.37/2.14	c  S st    22     46261       125      2662         0     16698     13310    374695   no data   no data
8.37/2.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.37/2.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
8.37/2.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.37/2.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.37/2.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.37/2.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.37/2.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.37/2.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.37/2.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.59	c lits-rem:       430  cl-subs:     1794  v-elim:      0  v-fix:    0  time:  0.43 s
9.94/2.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
10.34/2.60	c vivif2 --  cl tried    14904 cl shrink        0 lits rem          0 time: 0.00
10.34/2.65	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.05
10.34/2.65	c calculated reachability. Time: 0.00
10.34/2.65	c  N st    22     46261       125      2662         0     14904     13310    326883   no data   no data
13.53/3.46	c  N st    23     60660       125      2662         0     10690     13310    190031   no data   no data
15.52/3.97	c  N st    24     69391       125      2662         0     18881     13310    399821   no data   no data
15.52/3.97	c  S st    24     69391       125      2662         0     18881     13310    399821   no data   no data
15.92/4.02	c  S st    24     69894       125      2662         0     19370     13310    412647   no data   no data
15.92/4.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.92/4.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
15.92/4.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.92/4.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.92/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.92/4.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.92/4.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.92/4.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.72/4.75	c lits-rem:       434  cl-subs:     2452  v-elim:      0  v-fix:    0  time:  0.70 s
18.72/4.75	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.72/4.75	c vivif2 --  cl tried    16918 cl shrink        0 lits rem          0 time: 0.00
19.12/4.81	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
19.12/4.82	c calculated reachability. Time: 0.00
19.12/4.82	c  N st    24     69894       125      2662         0     16918     13310    348848   no data   no data
23.11/5.87	c  F st    25     87500       125      2662         0     12020     13310    203328   no data   no data
23.11/5.87	c  N st    25     87500       125      2662         0     12020     13310    203328   no data   no data
24.31/6.14	c Decided on static restart strategy
25.10/6.31	c  N st    32     95538       125      2662         0     19594     13310    394820   no data   no data
27.09/6.87	c  N st    34    104842       125      2662         0     16139     13310    297645   no data   no data
27.09/6.87	c  S st    34    104842       125      2662         0     16139     13310    297645   no data   no data
27.49/6.91	c  S st    34    105345       125      2662         0     16628     13310    310560   no data   no data
27.49/6.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.49/6.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.49/6.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.49/6.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.49/6.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.49/6.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.49/6.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.49/6.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.49/6.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.30/7.12	c lits-rem:       233  cl-subs:     1055  v-elim:      0  v-fix:    0  time:  0.18 s
28.30/7.12	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
28.30/7.12	c vivif2 --  cl tried    15573 cl shrink        0 lits rem          0 time: 0.00
28.30/7.18	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
28.30/7.19	c calculated reachability. Time: 0.00
28.30/7.19	c  N st    34    105345       125      2662         0     15573     13310    284982   no data   no data
31.09/7.83	c  N st    35    114944       125      2662         0     24565     13310    512613   no data   no data
34.69/8.80	c  N st    36    129343       125      2662         0     24894     13310    508072   no data   no data
41.06/10.38	c  N st    37    150938       125      2662         0     16105     13310    252498   no data   no data
43.06/10.82	c  S st    38    158017       125      2662         0     22743     13310    431008   no data   no data
43.06/10.88	c  S st    38    158520       125      2662         0     23229     13310    443957   no data   no data
43.06/10.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.06/10.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.06/10.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.06/10.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.06/10.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.06/10.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.06/10.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.06/10.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
43.06/10.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.45/11.40	c lits-rem:       481  cl-subs:     1802  v-elim:      0  v-fix:    0  time:  0.50 s
45.45/11.40	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.45/11.40	c vivif2 --  cl tried    21427 cl shrink        0 lits rem          0 time: 0.01
45.45/11.49	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
45.45/11.49	c calculated reachability. Time: 0.00
45.45/11.49	c  N st    38    158520       125      2662         0     21427     13310    394834   no data   no data
61.03/15.32	c  N st    39    207110       125      2662         0     34244     13310    708021   no data   no data
71.39/17.97	c  N st    40    237781       125      2662         0     26384     13310    467117   no data   no data
71.39/17.97	c  S st    40    237781       125      2662         0     26384     13310    467117   no data   no data
71.79/18.04	c  S st    40    238284       125      2662         0     26871     13310    480347   no data   no data
71.79/18.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
71.79/18.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
71.79/18.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
71.79/18.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
71.79/18.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.79/18.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
71.79/18.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.79/18.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
71.79/18.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.62/18.79	c lits-rem:       462  cl-subs:     2060  v-elim:      0  v-fix:    0  time:  0.71 s
74.62/18.79	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
74.62/18.79	c vivif2 --  cl tried    24811 cl shrink        0 lits rem          0 time: 0.01
75.37/18.92	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.12
75.37/18.92	c calculated reachability. Time: 0.00
75.37/18.92	c  N st    40    238284       125      2662         0     24811     13310    429755   no data   no data
100.11/25.16	c  F st    41    306253       125      2662         0     26826     13310    442385   no data   no data
100.11/25.16	c  N st    41    306253       125      2662         0     26826     13310    442385   no data   no data
102.11/25.64	c Decided on static restart strategy
110.48/27.74	c  N st    51    334555       125      2662         0     30802     13310    521622   no data   no data
119.66/30.09	c  N st    53    357426       125      2662         0     28899     13310    462688   no data   no data
119.66/30.09	c  S st    53    357426       125      2662         0     28899     13310    462688   no data   no data
120.06/30.17	c  S st    53    357931       125      2662         0     29390     13310    475758   no data   no data
120.06/30.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
120.06/30.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
120.06/30.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
120.06/30.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
120.06/30.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
120.06/30.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
120.06/30.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
120.06/30.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
120.06/30.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
121.66/30.55	c lits-rem:       353  cl-subs:     1082  v-elim:      0  v-fix:    0  time:  0.35 s
121.66/30.55	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
121.66/30.55	c vivif2 --  cl tried    28308 cl shrink        0 lits rem          0 time: 0.00
122.06/30.66	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
122.06/30.67	c calculated reachability. Time: 0.00
122.06/30.67	c  N st    53    357931       125      2662         0     28308     13310    446372   no data   no data
135.64/34.08	c  N st    54    390325       125      2662         0     34347     13310    595745   no data   no data
161.56/40.57	c  N st    55    438915       125      2662         0     28120     13310    403631   no data   no data
192.28/48.23	c  N st    56    511798       125      2662         0     41386     13310    731037   no data   no data
204.25/51.24	c  N st    57    536898       125      2662         0     35846     13310    559099   no data   no data
204.25/51.24	c  S st    57    536898       125      2662         0     35846     13310    559099   no data   no data
204.65/51.33	c  S st    57    537404       125      2662         0     36344     13310    572289   no data   no data
204.65/51.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
204.65/51.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
204.65/51.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
204.65/51.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
204.65/51.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
204.65/51.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
204.65/51.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
204.65/51.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
204.65/51.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
207.43/52.00	c lits-rem:       279  cl-subs:     1713  v-elim:      0  v-fix:    0  time:  0.63 s
207.43/52.00	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
207.43/52.01	c vivif2 --  cl tried    34631 cl shrink        0 lits rem          0 time: 0.01
207.83/52.15	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
207.83/52.15	c calculated reachability. Time: 0.00
207.83/52.15	c  N st    57    537404       125      2662         0     34631     13310    526932   no data   no data
295.21/74.09	c  N st    58    701388       125      2662         0     62559     13310   1227761   no data   no data
354.67/88.95	c  N st    59    806109       125      2662         0     56773     13310   1017551   no data   no data
354.67/88.95	c  S st    59    806109       125      2662         0     56773     13310   1017551   no data   no data
355.09/89.10	c  S st    59    806613       125      2662         0     57257     13310   1030216   no data   no data
355.09/89.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
355.51/89.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
355.51/89.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
355.51/89.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
355.51/89.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
355.51/89.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
355.51/89.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
355.51/89.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
355.51/89.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
373.82/93.70	c lits-rem:      1415  cl-subs:     5525  v-elim:      0  v-fix:    0  time:  4.53 s
373.82/93.70	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
373.82/93.71	c vivif2 --  cl tried    51732 cl shrink        0 lits rem          0 time: 0.01
374.62/93.97	c asymm  cl-useful: 0/2594/2662 lits-rem:0 time: 0.26
374.62/93.97	c calculated reachability. Time: 0.00
374.62/93.97	c  N st    59    806613       125      2662         0     51732     13310    888900   no data   no data
541.80/135.80	c  F st    60   1071875       125      2662         0     66953     13310   1195313   no data   no data
541.80/135.80	c  N st    60   1071875       125      2662         0     66953     13310   1195313   no data   no data
545.79/136.83	c Decided on static restart strategy
563.34/141.24	c  N st    70   1100179       125      2662         0     51495     13310    765258   no data   no data
588.47/147.58	c  N st    72   1136173       125      2662         0     85144     13310   1636205   no data   no data
614.81/154.13	c  N st    73   1168567       125      2662         0     72539     13310   1294372   no data   no data
650.32/163.01	c  N st    74   1209921       125      2662         0     67480     13310   1191940   no data   no data
650.32/163.01	c  S st    74   1209921       125      2662         0     67480     13310   1191940   no data   no data
651.12/163.22	c  S st    74   1210426       125      2662         0     67973     13310   1204933   no data   no data
651.12/163.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
651.12/163.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
651.12/163.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
651.12/163.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
651.12/163.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
651.12/163.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
651.12/163.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
651.12/163.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
651.52/163.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
669.87/167.99	c lits-rem:      1506  cl-subs:     3968  v-elim:      0  v-fix:    0  time:  4.69 s
669.87/167.99	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
670.27/168.01	c vivif2 --  cl tried    64005 cl shrink        0 lits rem          0 time: 0.01
671.08/168.30	c asymm  cl-useful: 0/2111/2662 lits-rem:0 time: 0.29
671.08/168.30	c calculated reachability. Time: 0.00
671.08/168.30	c  N st    74   1210426       125      2662         0     64005     13310   1097124   no data   no data
740.89/185.75	c  N st    75   1283308       125      2662         0     87499     13310   1722476   no data   no data
836.18/209.83	c  N st    76   1392632       125      2662         0     49210     13310    615033   no data   no data
961.46/241.28	c  N st    77   1556619       125      2662         0     53796     13310    691946   no data   no data
1091.55/273.90	c  N st    78   1710429       125      2662         0     93730     13310   1692349   no data   no data
1091.55/273.90	c  S st    78   1710429       125      2662         0     93730     13310   1692349   no data   no data
1093.52/274.30	c  S st    78   1710935       125      2662         0     94215     13310   1705296   no data   no data
1093.52/274.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1093.52/274.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
1093.52/274.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1093.52/274.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1093.52/274.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1093.52/274.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1093.52/274.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1093.92/274.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1093.92/274.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1218.39/305.65	c lits-rem:      2360  cl-subs:    10479  v-elim:      0  v-fix:    0  time: 31.19 s
1218.39/305.65	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1218.39/305.67	c vivif2 --  cl tried    83736 cl shrink        0 lits rem          0 time: 0.02
1219.22/305.87	c asymm  cl-useful: 0/551/2662 lits-rem:0 time: 0.20
1219.22/305.87	c calculated reachability. Time: 0.00
1219.22/305.87	c  N st    78   1710935       125      2662         0     83736     13310   1454579   no data   no data
1556.75/390.45	c  N st    79   2079899       125      2662         0     95432     13310   1687754   no data   no data
1680.06/421.38	c  N st    80   2210935       125      2662         0     99038     13310   1750891   no data   no data
1680.06/421.38	c  S st    80   2210935       125      2662         0     99038     13310   1750891   no data   no data
1681.61/421.71	c  S st    80   2211436       125      2662         0     99521     13310   1763880   no data   no data
1681.61/421.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1681.61/421.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1681.61/421.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1681.61/421.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1681.61/421.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1681.61/421.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1681.61/421.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1681.61/421.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1682.02/421.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1767.00/443.13	c lits-rem:      2253  cl-subs:     9870  v-elim:      0  v-fix:    0  time: 21.30 s
1767.00/443.13	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1767.00/443.16	c vivif2 --  cl tried    89651 cl shrink        0 lits rem          0 time: 0.02
1768.99/443.63	c asymm  cl-useful: 0/1583/2662 lits-rem:0 time: 0.47
1768.99/443.63	c calculated reachability. Time: 0.00
1768.99/443.63	c  N st    80   2211436       125      2662         0     89651     13310   1516704   no data   no data
2289.69/574.20	c  N st    81   2711436       125      2662         0    112662     13310   2029455   no data   no data
2289.69/574.20	c  S st    81   2711436       125      2662         0    112662     13310   2029455   no data   no data
2291.66/574.60	c  S st    81   2711937       125      2662         0    113152     13310   2042526   no data   no data
2291.66/574.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2291.66/574.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2291.66/574.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2291.66/574.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2291.66/574.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2291.66/574.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2291.66/574.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2291.66/574.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2292.06/574.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2394.61/600.48	c lits-rem:      2670  cl-subs:    11966  v-elim:      0  v-fix:    0  time: 25.74 s
2394.61/600.48	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2395.03/600.51	c vivif2 --  cl tried   101186 cl shrink        0 lits rem          0 time: 0.02
2396.20/600.83	c asymm  cl-useful: 0/1079/2662 lits-rem:0 time: 0.32
2396.20/600.83	c calculated reachability. Time: 0.00
2396.20/600.83	c  N st    81   2711937       125      2662         0    101186     13310   1750073   no data   no data
3031.84/760.18	c  N st    82   3211938       125      2662         0     78727     13310   1004060   no data   no data
3031.84/760.18	c  S st    82   3211938       125      2662         0     78727     13310   1004060   no data   no data
3032.99/760.41	c  S st    82   3212442       125      2662         0     79212     13310   1017205   no data   no data
3032.99/760.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3032.99/760.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3032.99/760.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3032.99/760.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3032.99/760.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3032.99/760.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3032.99/760.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3032.99/760.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3033.39/760.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3038.18/761.72	c lits-rem:       268  cl-subs:     1912  v-elim:      0  v-fix:    0  time:  1.21 s
3038.18/761.72	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3038.18/761.73	c vivif2 --  cl tried    77300 cl shrink        0 lits rem          0 time: 0.01
3039.38/762.04	c asymm  cl-useful: 0/1784/2662 lits-rem:0 time: 0.31
3039.38/762.04	c calculated reachability. Time: 0.00
3039.38/762.04	c  N st    82   3212442       125      2662         0     77300     13310    973908   no data   no data
3630.68/910.22	c  N st    83   3712442       125      2662         0     87436     13310   1156560   no data   no data
3630.68/910.22	c  S st    83   3712442       125      2662         0     87436     13310   1156560   no data   no data
3631.48/910.49	c  S st    83   3712946       125      2662         0     87914     13310   1168956   no data   no data
3631.88/910.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3631.88/910.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3631.88/910.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3631.88/910.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3631.88/910.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3631.88/910.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3631.88/910.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3631.88/910.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3631.88/910.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3639.07/912.37	c lits-rem:       464  cl-subs:     2250  v-elim:      0  v-fix:    0  time:  1.77 s
3639.07/912.37	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3639.07/912.38	c vivif2 --  cl tried    85664 cl shrink        0 lits rem          0 time: 0.02
3639.86/912.58	c asymm  cl-useful: 0/878/2662 lits-rem:0 time: 0.20
3639.86/912.58	c calculated reachability. Time: 0.00
3639.86/912.58	c  N st    83   3712946       125      2662         0     85664     13310   1114973   no data   no data
3686.94/924.37	c  F st    84   3751562       125      2662         0    121690     13310   2050870   no data   no data
3686.94/924.37	c  N st    84   3751562       125      2662         0    121690     13310   2050870   no data   no data
3694.91/926.36	c Decided on static restart strategy
3728.85/934.90	c  N st    94   3779865       125      2662         0    148167     13310   2743890   no data   no data
3769.53/945.08	c  N st    96   3815858       125      2662         0    102880     13310   1556966   no data   no data
3806.24/954.29	c  N st    97   3848250       125      2662         0    133329     13310   2365276   no data   no data
3876.06/971.79	c  N st    98   3896839       125      2662         0     98262     13310   1398093   no data   no data
3969.03/995.02	c  N st    99   3969721       125      2662         0     85133     13310   1045098   no data   no data
4109.48/1030.29	c  N st   100   4079045       125      2662         0    104882     13310   1544573   no data   no data
4291.46/1075.83	c  N st   101   4212949       125      2662         0    146185     13310   2543255   no data   no data
4291.46/1075.83	c  S st   101   4212949       125      2662         0    146185     13310   2543255   no data   no data
4293.81/1076.49	c  S st   101   4213454       125      2662         0    146674     13310   2556504   no data   no data
4294.21/1076.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4294.61/1076.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.10
4294.61/1076.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4294.61/1076.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4294.61/1076.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4294.61/1076.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4294.61/1076.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4294.61/1076.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4295.01/1076.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4537.20/1137.41	c lits-rem:      3280  cl-subs:    18624  v-elim:      0  v-fix:    0  time: 60.68 s
4537.20/1137.41	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4537.20/1137.44	c vivif2 --  cl tried   128050 cl shrink        0 lits rem          0 time: 0.03
4538.76/1137.81	c asymm  cl-useful: 0/1141/2662 lits-rem:0 time: 0.37
4538.76/1137.82	c calculated reachability. Time: 0.00
4538.76/1137.82	c  N st   101   4213454       125      2662         0    128050     13310   2122917   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-3366484-1305405354/watcher-3366484-1305405354 -o /tmp/evaluation-result-3366484-1305405354/solver-3366484-1305405354 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366484-1305405354.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: 6.86 7.82 8.00 2/311 10394
/proc/meminfo: memFree=22942888/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 406 0 0 0 0 0 0 0 22 0 4 0 730765916 52396032 347 33554432000 4194304 4580107 140735707052800 18446744073709551615 47555445733296 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 12792 347 299 95 0 7774 0
[pid=10394/tid=10395] ppid=10392 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 730765916 52396032 347 33554432000 4194304 4580107 140735707052800 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 730765916 52396032 347 33554432000 4194304 4580107 140735707052800 18446744073709551615 47555445733292 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 730765916 52396032 347 33554432000 4194304 4580107 140735707052800 18446744073709551615 47555445733288 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.052482 s]
/proc/loadavg: 6.86 7.82 8.00 2/311 10394
/proc/meminfo: memFree=22942888/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=282364 CPUtime=0.17 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 1559 0 0 0 17 0 0 0 18 0 4 0 730765916 289140736 1395 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 70591 1396 375 95 0 65573 0
[pid=10394/tid=10395] ppid=10392 vsize=282364 CPUtime=0.03 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 327 0 0 0 3 0 0 0 24 0 4 0 730765916 289140736 1396 33554432000 4194304 4580107 140735707052800 18446744073709551615 4296288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=282364 CPUtime=0.04 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 323 0 0 0 4 0 0 0 18 0 4 0 730765916 289140736 1396 33554432000 4194304 4580107 140735707052800 18446744073709551615 252457727009 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=282364 CPUtime=0.04 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 157 0 0 0 4 0 0 0 18 0 4 0 730765916 289140736 1397 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 282364

[startup+0.100472 s]
/proc/loadavg: 6.86 7.82 8.00 2/311 10394
/proc/meminfo: memFree=22942888/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=282364 CPUtime=0.37 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 1837 0 0 0 37 0 0 0 18 0 4 0 730765916 289140736 1673 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 70591 1673 376 95 0 65573 0
[pid=10394/tid=10395] ppid=10392 vsize=282364 CPUtime=0.08 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 386 0 0 0 8 0 0 0 24 0 4 0 730765916 289140736 1673 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=282364 CPUtime=0.09 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 407 0 0 0 9 0 0 0 18 0 4 0 730765916 289140736 1673 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=282364 CPUtime=0.09 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 222 0 0 0 9 0 0 0 18 0 4 0 730765916 289140736 1673 33554432000 4194304 4580107 140735707052800 18446744073709551615 4324513 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282364

[startup+0.300436 s]
/proc/loadavg: 6.86 7.82 8.00 2/311 10394
/proc/meminfo: memFree=22942888/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=284092 CPUtime=1.16 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 3112 0 0 0 116 0 0 0 18 0 4 0 730765916 290910208 2324 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 71023 2324 377 95 0 66005 0
[pid=10394/tid=10395] ppid=10392 vsize=284092 CPUtime=0.28 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 693 0 0 0 28 0 0 0 25 0 4 0 730765916 290910208 2324 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=284092 CPUtime=0.29 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 730 0 0 0 29 0 0 0 18 0 4 0 730765916 290910208 2324 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=284092 CPUtime=0.29 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 544 0 0 0 29 0 0 0 18 0 4 0 730765916 290910208 2324 33554432000 4194304 4580107 140735707052800 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284092

[startup+0.700362 s]
/proc/loadavg: 6.86 7.82 8.00 2/311 10394
/proc/meminfo: memFree=22942888/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=285660 CPUtime=2.77 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 5557 0 0 0 276 1 0 0 18 0 4 0 730765916 292515840 2608 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 71415 2608 377 95 0 66397 0
[pid=10394/tid=10395] ppid=10392 vsize=285660 CPUtime=0.68 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 1316 0 0 0 68 0 0 0 25 0 4 0 730765916 292515840 2608 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=285660 CPUtime=0.69 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 1337 0 0 0 69 0 0 0 18 0 4 0 730765916 292515840 2608 33554432000 4194304 4580107 140735707052800 18446744073709551615 4296811 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=285660 CPUtime=0.69 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 1145 0 0 0 69 0 0 0 18 0 4 0 730765916 292515840 2608 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285660

[startup+1.50022 s]
/proc/loadavg: 6.86 7.82 8.00 10/321 10407
/proc/meminfo: memFree=22910464/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=291944 CPUtime=5.95 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 11504 0 0 0 593 2 0 0 20 0 4 0 730765916 298950656 5871 33554432000 4194304 4580107 140735707052800 18446744073709551615 4321069 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 72986 5871 379 95 0 67968 0
[pid=10394/tid=10395] ppid=10392 vsize=291944 CPUtime=1.46 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 3401 0 0 0 146 0 0 0 25 0 4 0 730765916 298950656 5871 33554432000 4194304 4580107 140735707052800 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=291944 CPUtime=1.49 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 2241 0 0 0 149 0 0 0 20 0 4 0 730765916 298950656 5871 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=291944 CPUtime=1.49 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 2060 0 0 0 149 0 0 0 20 0 4 0 730765916 298950656 5871 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295695 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 291944

[startup+3.10092 s]
/proc/loadavg: 6.86 7.82 8.00 9/321 10407
/proc/meminfo: memFree=22876364/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=283300 CPUtime=12.34 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 20876 0 0 0 1230 4 0 0 25 0 4 0 730765916 290099200 10584 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 70825 10584 379 95 0 65807 0
[pid=10394/tid=10395] ppid=10392 vsize=283300 CPUtime=3.04 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 4520 0 0 0 304 0 0 0 25 0 4 0 730765916 290099200 10584 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=283300 CPUtime=3.08 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 5400 0 0 0 308 0 0 0 25 0 4 0 730765916 290099200 10584 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=283300 CPUtime=3.08 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 5142 0 0 0 308 0 0 0 25 0 4 0 730765916 290099200 10584 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 283300

[startup+6.30033 s]
/proc/loadavg: 6.95 7.83 8.00 9/321 10407
/proc/meminfo: memFree=22828244/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=280268 CPUtime=25.1 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 31369 0 0 0 2504 6 0 0 25 0 4 0 730765916 286994432 15122 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 70067 15122 379 95 0 65049 0
[pid=10394/tid=10395] ppid=10392 vsize=280268 CPUtime=6.21 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 7251 0 0 0 620 1 0 0 25 0 4 0 730765916 286994432 15122 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=280268 CPUtime=6.29 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 8413 0 0 0 628 1 0 0 25 0 4 0 730765916 286994432 15122 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=280268 CPUtime=6.28 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 7586 0 0 0 627 1 0 0 25 0 4 0 730765916 286994432 15122 33554432000 4194304 4580107 140735707052800 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 280268

[startup+12.7011 s]
/proc/loadavg: 7.03 7.83 8.00 9/321 10408
/proc/meminfo: memFree=22788172/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=309448 CPUtime=50.64 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 47707 0 0 0 5055 9 0 0 25 0 4 0 730765916 316874752 18971 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 77362 18971 379 95 0 72344 0
[pid=10394/tid=10395] ppid=10392 vsize=309448 CPUtime=12.55 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 10834 0 0 0 1254 1 0 0 25 0 4 0 730765916 316874752 18971 33554432000 4194304 4580107 140735707052800 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=309448 CPUtime=12.69 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 12205 0 0 0 1267 2 0 0 25 0 4 0 730765916 316874752 18971 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=309448 CPUtime=12.68 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 12363 0 0 0 1266 2 0 0 25 0 4 0 730765916 316874752 18971 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 309448

[startup+25.5008 s]
/proc/loadavg: 7.32 7.85 8.00 9/321 10408
/proc/meminfo: memFree=22744468/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=334260 CPUtime=101.71 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 73331 0 0 0 10156 15 0 0 25 0 4 0 730765916 342282240 26362 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 83565 26362 379 95 0 78547 0
[pid=10394/tid=10395] ppid=10392 vsize=334260 CPUtime=25.21 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 17295 0 0 0 2519 2 0 0 25 0 4 0 730765916 342282240 26362 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=334260 CPUtime=25.49 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 19046 0 0 0 2546 3 0 0 25 0 4 0 730765916 342282240 26362 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=334260 CPUtime=25.49 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 18073 0 0 0 2545 4 0 0 25 0 4 0 730765916 342282240 26362 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 334260

[startup+51.101 s]
/proc/loadavg: 7.61 7.88 8.01 9/321 10409
/proc/meminfo: memFree=22701116/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=347504 CPUtime=203.85 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 111821 0 0 0 20361 24 0 0 25 0 4 0 730765916 355844096 32582 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 86876 32582 379 95 0 81858 0
[pid=10394/tid=10395] ppid=10392 vsize=347504 CPUtime=50.55 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 26121 0 0 0 5052 3 0 0 25 0 4 0 730765916 355844096 32582 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=347504 CPUtime=51.09 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 28215 0 0 0 5103 6 0 0 25 0 4 0 730765916 355844096 32582 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=347504 CPUtime=51.08 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 27969 0 0 0 5102 6 0 0 25 0 4 0 730765916 355844096 32583 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 347504

[startup+102.312 s]
/proc/loadavg: 8.00 7.94 8.02 9/321 10410
/proc/meminfo: memFree=22646248/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=330412 CPUtime=408.17 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 173691 0 0 0 40779 38 0 0 25 0 4 0 730765916 338341888 42775 33554432000 4194304 4580107 140735707052800 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 82603 42775 379 95 0 77585 0
[pid=10394/tid=10395] ppid=10392 vsize=330412 CPUtime=101.25 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 36766 0 0 0 10119 6 0 0 25 0 4 0 730765916 338341888 42775 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=330412 CPUtime=102.3 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 44890 0 0 0 10220 10 0 0 25 0 4 0 730765916 338341888 42775 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=330412 CPUtime=102.3 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 44829 0 0 0 10221 9 0 0 25 0 4 0 730765916 338341888 42775 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.17
Current children cumulated vsize (KiB) 330412

[startup+162.3 s]

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

[pid=10394] ppid=10392 vsize=660132 CPUtime=2801.18 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 488295 0 0 0 279959 159 0 0 25 0 4 0 730765916 675975168 113158 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 165033 113158 379 95 0 160015 0
[pid=10394/tid=10395] ppid=10392 vsize=660132 CPUtime=694.97 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 90424 0 0 0 69474 23 0 0 25 0 4 0 730765916 675975168 113158 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=660132 CPUtime=702.31 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 137966 0 0 0 70180 51 0 0 25 0 4 0 730765916 675975168 113158 33554432000 4194304 4580107 140735707052800 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=660132 CPUtime=701.6 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 119637 0 0 0 70124 36 0 0 25 0 4 0 730765916 675975168 113158 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.18
Current children cumulated vsize (KiB) 660132

[startup+762.312 s]
/proc/loadavg: 8.17 8.12 8.08 9/321 10431
/proc/meminfo: memFree=22144876/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=726824 CPUtime=3040.61 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 517586 0 0 0 303890 171 0 0 25 0 4 0 730765916 744267776 120429 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 181706 120429 379 95 0 176688 0
[pid=10394/tid=10395] ppid=10392 vsize=726824 CPUtime=754.37 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 96345 0 0 0 75411 26 0 0 25 0 4 0 730765916 744267776 120429 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=726824 CPUtime=762.32 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 145531 0 0 0 76178 54 0 0 25 0 4 0 730765916 744267776 120429 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=726824 CPUtime=761.61 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 127786 0 0 0 76122 39 0 0 25 0 4 0 730765916 744267776 120429 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.61
Current children cumulated vsize (KiB) 726824

[startup+822.301 s]
/proc/loadavg: 8.16 8.12 8.09 9/321 10432
/proc/meminfo: memFree=22129468/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=634564 CPUtime=3279.96 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 537623 0 0 0 327815 181 0 0 25 0 4 0 730765916 649793536 117444 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 158641 117444 379 95 0 153623 0
[pid=10394/tid=10395] ppid=10392 vsize=634564 CPUtime=813.75 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 101078 0 0 0 81347 28 0 0 25 0 4 0 730765916 649793536 117444 33554432000 4194304 4580107 140735707052800 18446744073709551615 4305156 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=634564 CPUtime=822.32 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 151479 0 0 0 82175 57 0 0 25 0 4 0 730765916 649793536 117444 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=634564 CPUtime=821.6 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 129267 0 0 0 82120 40 0 0 25 0 4 0 730765916 649793536 117444 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.96
Current children cumulated vsize (KiB) 634564

[startup+882.301 s]
/proc/loadavg: 8.18 8.13 8.09 9/321 10434
/proc/meminfo: memFree=22149396/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=647988 CPUtime=3519.36 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 564633 0 0 0 351746 190 0 0 25 0 4 0 730765916 663539712 115262 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 161997 115262 379 95 0 156979 0
[pid=10394/tid=10395] ppid=10392 vsize=647988 CPUtime=873.15 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 105440 0 0 0 87285 30 0 0 25 0 4 0 730765916 663539712 115262 33554432000 4194304 4580107 140735707052800 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=647988 CPUtime=882.31 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 159126 0 0 0 88172 59 0 0 25 0 4 0 730765916 663539712 115262 33554432000 4194304 4580107 140735707052800 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=647988 CPUtime=881.6 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 135810 0 0 0 88117 43 0 0 25 0 4 0 730765916 663539712 115262 33554432000 4194304 4580107 140735707052800 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.36
Current children cumulated vsize (KiB) 647988

[startup+942.301 s]
/proc/loadavg: 8.12 8.12 8.09 9/321 10435
/proc/meminfo: memFree=22116652/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=690116 CPUtime=3758.76 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 590404 0 0 0 375675 201 0 0 25 0 4 0 730765916 706678784 123291 33554432000 4194304 4580107 140735707052800 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 172529 123291 379 95 0 167511 0
[pid=10394/tid=10395] ppid=10392 vsize=690116 CPUtime=932.55 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 113539 0 0 0 93222 33 0 0 25 0 4 0 730765916 706678784 123291 33554432000 4194304 4580107 140735707052800 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=690116 CPUtime=942.32 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 166815 0 0 0 94169 63 0 0 25 0 4 0 730765916 706678784 123291 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=690116 CPUtime=941.6 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 142109 0 0 0 94115 45 0 0 25 0 4 0 730765916 706678784 123291 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.76
Current children cumulated vsize (KiB) 690116

[startup+1002.3 s]
/proc/loadavg: 8.15 8.12 8.09 9/321 10437
/proc/meminfo: memFree=22081144/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=690244 CPUtime=3998.15 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 609770 0 0 0 399605 210 0 0 25 0 4 0 730765916 706809856 127448 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 172561 127448 379 95 0 167543 0
[pid=10394/tid=10395] ppid=10392 vsize=690244 CPUtime=991.93 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 114772 0 0 0 99159 34 0 0 25 0 4 0 730765916 706809856 127448 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=690244 CPUtime=1002.32 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 173970 0 0 0 100166 66 0 0 25 0 4 0 730765916 706809856 127448 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=690244 CPUtime=1001.61 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 147542 0 0 0 100113 48 0 0 25 0 4 0 730765916 706809856 127448 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3998.15
Current children cumulated vsize (KiB) 690244

[startup+1062.3 s]
/proc/loadavg: 8.13 8.12 8.09 9/321 10439
/proc/meminfo: memFree=22086828/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=715104 CPUtime=4237.55 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 631479 0 0 0 423537 218 0 0 25 0 4 0 730765916 732266496 131537 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 178776 131537 379 95 0 173758 0
[pid=10394/tid=10395] ppid=10392 vsize=715104 CPUtime=1051.33 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 115086 0 0 0 105099 34 0 0 25 0 4 0 730765916 732266496 131537 33554432000 4194304 4580107 140735707052800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=715104 CPUtime=1062.31 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 183691 0 0 0 106162 69 0 0 25 0 4 0 730765916 732266496 131537 33554432000 4194304 4580107 140735707052800 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=715104 CPUtime=1061.6 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 153606 0 0 0 106110 50 0 0 25 0 4 0 730765916 732266496 131537 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4237.55
Current children cumulated vsize (KiB) 715104

[startup+1122.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/321 10440
/proc/meminfo: memFree=22056176/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=728968 CPUtime=4476.91 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 640430 0 0 0 447466 225 0 0 25 0 4 0 730765916 746463232 139259 33554432000 4194304 4580107 140735707052800 18446744073709551615 4406395 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 182242 139259 379 95 0 177224 0
[pid=10394/tid=10395] ppid=10392 vsize=728968 CPUtime=1110.69 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 118211 0 0 0 111033 36 0 0 25 0 4 0 730765916 746463232 139259 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=728968 CPUtime=1122.32 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 184072 0 0 0 112162 70 0 0 25 0 4 0 730765916 746463232 139259 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=728968 CPUtime=1121.61 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 158036 0 0 0 112107 54 0 0 25 0 4 0 730765916 746463232 139259 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4476.91
Current children cumulated vsize (KiB) 728968

[startup+1182.3 s]
/proc/loadavg: 8.05 8.10 8.09 9/321 10442
/proc/meminfo: memFree=22073384/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=794608 CPUtime=4716.3 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 652560 0 0 0 471399 231 0 0 25 0 4 0 730765916 813678592 135714 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 198652 135714 379 95 0 193634 0
[pid=10394/tid=10395] ppid=10392 vsize=794608 CPUtime=1170.08 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 119035 0 0 0 116971 37 0 0 25 0 4 0 730765916 813678592 135714 33554432000 4194304 4580107 140735707052800 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=794608 CPUtime=1182.32 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 190649 0 0 0 118158 74 0 0 25 0 4 0 730765916 813678592 135714 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=794608 CPUtime=1181.61 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 161699 0 0 0 118106 55 0 0 25 0 4 0 730765916 813678592 135714 33554432000 4194304 4580107 140735707052800 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4716.3
Current children cumulated vsize (KiB) 794608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.11 8.11 8.09 6/316 10443
/proc/meminfo: memFree=22378080/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=794608 CPUtime=4800.15 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 655918 0 0 0 479781 234 0 0 25 0 4 0 730765916 813678592 138969 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 198652 138969 379 95 0 193634 0
[pid=10394/tid=10395] ppid=10392 vsize=794608 CPUtime=1190.87 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 119035 0 0 0 119050 37 0 0 25 0 4 0 730765916 813678592 138970 33554432000 4194304 4580107 140735707052800 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=794608 CPUtime=1203.34 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 191933 0 0 0 120259 75 0 0 25 0 4 0 730765916 813678592 138970 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=794608 CPUtime=1202.63 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 161699 0 0 0 120208 55 0 0 25 0 4 0 730765916 813678592 138970 33554432000 4194304 4580107 140735707052800 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 794608

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

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

[startup+1203.3 s]
/proc/loadavg: 8.11 8.11 8.09 6/316 10443
/proc/meminfo: memFree=22378080/32951124 swapFree=59305796/67111528
[pid=10394] ppid=10392 vsize=794608 CPUtime=4800.15 cores=0,2,4,6
/proc/10394/stat : 10394 (strangenight2-m) R 10392 10394 9737 0 -1 4202496 655918 0 0 0 479781 234 0 0 25 0 4 0 730765916 813678592 138969 33554432000 4194304 4580107 140735707052800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10394/statm: 198652 138969 379 95 0 193634 0
[pid=10394/tid=10395] ppid=10392 vsize=794608 CPUtime=1190.87 cores=0,2,4,6
/proc/10394/task/10395/stat : 10395 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 119035 0 0 0 119050 37 0 0 25 0 4 0 730765916 813678592 138970 33554432000 4194304 4580107 140735707052800 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10394/tid=10396] ppid=10392 vsize=794608 CPUtime=1203.34 cores=0,2,4,6
/proc/10394/task/10396/stat : 10396 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 191933 0 0 0 120259 75 0 0 25 0 4 0 730765916 813678592 138970 33554432000 4194304 4580107 140735707052800 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10394/tid=10397] ppid=10392 vsize=794608 CPUtime=1202.63 cores=0,2,4,6
/proc/10394/task/10397/stat : 10397 (strangenight2-m) R 10392 10394 9737 0 -1 4202560 161699 0 0 0 120208 55 0 0 25 0 4 0 730765916 813678592 138970 33554432000 4194304 4580107 140735707052800 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 794608

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.35
CPU time (s): 4800.22
CPU user time (s): 4797.86
CPU system time (s): 2.36464
CPU usage (%): 398.904
Max. virtual memory (cumulated for all children) (KiB): 906212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.86
system time used= 2.36464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 655919
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= 342
involuntary context switches= 24537

runsolver used 3.47947 second user time and 8.66168 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-14 22:35:54
IDJOB=3366484
IDBENCH=82893
IDSOLVER=1844
FILE ID=node111/3366484-1305405354
RUNJOBID= node111-1305405354-10380
PBS_JOBID= 13324478
Free space on /tmp= 73676 MiB

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

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

MD5SUM BENCH= ddac1e46d651615f8587e799d64e665b
RANDOM SEED=471205530

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22942980 kB
Buffers:        263208 kB
Cached:        6500936 kB
SwapCached:      13720 kB
Active:         923420 kB
Inactive:      8869452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22942980 kB
SwapTotal:    67111528 kB
SwapFree:     59305796 kB
Dirty:            5576 kB
Writeback:           0 kB
AnonPages:     3024240 kB
Mapped:          12248 kB
Slab:           115212 kB
PageTables:      36072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 53316488 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= 73668 MiB
End job on node111 at 2011-05-14 22:56:00