Trace number 3174237

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? (TO) 4800.39 1201.73

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf
MD5SUMc2b69177f59f5d1d2093247dc6de56f3
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174237-1304115769.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.00	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.00	c -- vars added        550
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.07	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
0.00/0.07	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.07	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.07	c calculated reachability. Time: 0.00
0.00/0.07	c Calc default polars -  time:   0.00 s pos:     234 undec:      66 neg:     250
0.00/0.07	c =========================================================================================
0.00/0.07	c types(t): F = full restart, N = normal restart
0.00/0.07	c types(t): S = simplification begin/end, E = solution found
0.00/0.07	c restart types(rt): st = static, dy = dynamic
0.00/0.07	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.07	c  B st     0         0       535      2329         0         0      7091         0   no data   no data
0.00/0.07	c Decided on static restart strategy
0.40/0.16	c  N st     8      4918       535      2329         0      4855      7091    115555   no data   no data
1.58/0.42	c  N st    10     11306       535      2329         0      4485      7091     77893   no data   no data
2.38/0.67	c  N st    11     17049       535      2329         0     10088      7091    212044   no data   no data
3.99/1.08	c  F st    12     25002       535      2329         0     12419      7091    274026   no data   no data
3.99/1.09	c  N st    12     25002       535      2329         0     12419      7091    274026   no data   no data
5.17/1.34	c Decided on static restart strategy
5.17/1.34	c  N st    18     30000       535      2329         0     10666      7091    210483   no data   no data
5.17/1.34	c  S st    18     30000       535      2329         0     10666      7091    210483   no data   no data
5.17/1.37	c  S st    18     30504       535      2329         0     11168      7091    222481   no data   no data
5.17/1.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.37	c blocked clauses removed:        0 vars:      0 tried:         535 T: 0.00 s
5.17/1.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
5.17/1.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.17/1.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.44	c lits-rem:       133  cl-subs:      549  v-elim:      0  v-fix:    0  time:  0.06 s
5.57/1.45	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.01
5.57/1.45	c calculated reachability. Time: 0.00
5.57/1.45	c  N st    18     30504       535      2329         0     10619      7091    208726   no data   no data
7.17/1.84	c  N st    20     37615       535      2329         0      9853      7091    169845   no data   no data
8.79/2.23	c  N st    21     44015       535      2329         0     16116      7091    317675   no data   no data
9.17/2.35	c  S st    22     45758       535      2329         0      9091      7091    134956   no data   no data
9.17/2.38	c  S st    22     46261       535      2329         0      9594      7091    147222   no data   no data
9.17/2.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.17/2.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.17/2.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.17/2.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.17/2.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
9.17/2.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.17/2.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.17/2.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.57/2.40	c lits-rem:        14  cl-subs:      121  v-elim:      0  v-fix:    0  time:  0.01 s
9.57/2.40	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
9.57/2.40	c vivif2 --  cl tried     9473 cl shrink        0 lits rem          0 time: 0.00
9.57/2.41	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.00
9.57/2.41	c calculated reachability. Time: 0.00
9.57/2.41	c  N st    22     46261       535      2329         0      9473      7091    144596   no data   no data
12.77/3.28	c  N st    23     60660       535      2329         0     13880      7091    237645   no data   no data
15.16/3.88	c  N st    24     69391       535      2329         0     11645      7091    172784   no data   no data
15.16/3.88	c  S st    24     69391       535      2329         0     11645      7091    172784   no data   no data
15.56/3.91	c  S st    24     69892       535      2329         0     12145      7091    184601   no data   no data
15.56/3.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.56/3.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.56/3.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.56/3.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.56/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
15.56/3.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.56/3.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.56/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.94	c lits-rem:        36  cl-subs:      105  v-elim:      0  v-fix:    0  time:  0.02 s
15.56/3.94	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
15.56/3.94	c vivif2 --  cl tried    12040 cl shrink        0 lits rem          0 time: 0.00
15.56/3.95	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.01
15.56/3.95	c calculated reachability. Time: 0.00
15.56/3.95	c  N st    24     69892       535      2329         0     12040      7091    182292   no data   no data
20.35/5.16	c  F st    25     87501       535      2329         0     17497      7091    307682   no data   no data
20.35/5.16	c  N st    25     87501       535      2329         0     17497      7091    307682   no data   no data
22.35/5.64	c  N dy    33     93881       535      2329         0     23769      7091    463846     17.09     18.15
24.35/6.13	c  N dy    51    100445       535      2329         0     17438      7091    264481     16.34     17.31
25.55/6.47	c  S st    68    104839       535      2329         0     21771      7091    367484     16.23     16.87
25.96/6.52	c  S st    68    105344       535      2329         0     22276      7091    379710     16.23   no data
25.96/6.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.96/6.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.96/6.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.96/6.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.96/6.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.96/6.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
25.96/6.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
25.96/6.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.96/6.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.62	c lits-rem:        85  cl-subs:      423  v-elim:      0  v-fix:    0  time:  0.07 s
26.36/6.62	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
26.36/6.62	c vivif2 --  cl tried    21853 cl shrink        0 lits rem          0 time: 0.00
26.36/6.64	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.01
26.36/6.64	c calculated reachability. Time: 0.00
26.36/6.64	c  N dy    68    105344       535      2329         0     21853      7091    368817     16.23   no data
28.74/7.28	c  N dy    98    112116       535      2329         0     14723      7091    166744     16.22     18.30
31.13/7.83	c  N dy   125    119577       535      2329         0     22102      7091    341019     16.24     17.14
34.33/8.63	c  N dy   143    127297       535      2329         0     14911      7091    148711     16.04     17.03
36.73/9.25	c  N dy   167    135522       535      2329         0     23020      7091    337517     15.99     16.86
44.32/11.18	c  N dy   191    155886       535      2329         0     27250      7091    403290     15.58     16.42
45.52/11.40	c  S st   195    158017       535      2329         0     29358      7091    450054     15.56     13.41
45.52/11.47	c  S st   195    158519       535      2329         0     29860      7091    462216     15.56   no data
45.52/11.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.52/11.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.52/11.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.52/11.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.52/11.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.52/11.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
45.52/11.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
45.52/11.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.92/11.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.12/11.86	c lits-rem:       302  cl-subs:     1738  v-elim:      0  v-fix:    0  time:  0.36 s
47.12/11.86	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
47.12/11.87	c vivif2 --  cl tried    28122 cl shrink        0 lits rem          0 time: 0.00
47.12/11.89	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.02
47.12/11.89	c calculated reachability. Time: 0.00
47.12/11.89	c  N dy   195    158519       535      2329         0     28122      7091    427078     15.56   no data
51.51/12.95	c  N dy   224    169110       535      2329         0     21845      7091    269035     15.51     16.38
55.91/14.07	c  N dy   287    179948       535      2329         0     32560      7091    522952     15.58     17.84
60.70/15.21	c  N dy   344    191501       535      2329         0     26212      7091    352850     15.63     17.46
66.28/16.66	c  N dy   379    204018       535      2329         0     19820      7091    188946     15.54     16.43
71.49/17.99	c  N dy   463    217057       535      2329         0     32729      7091    493982     15.62     17.40
80.27/20.14	c  N dy   528    236314       535      2329         0     31961      7091    452594     15.61     16.46
81.07/20.33	c  S st   536    237778       535      2329         0     33413      7091    485522     15.61     13.15
81.47/20.41	c  S st   536    238284       535      2329         0     33918      7091    497967     15.61   no data
81.47/20.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.47/20.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.47/20.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.47/20.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.47/20.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.47/20.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
81.47/20.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.47/20.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.47/20.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.27/20.64	c lits-rem:       112  cl-subs:      984  v-elim:      0  v-fix:    0  time:  0.20 s
82.27/20.64	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
82.27/20.64	c vivif2 --  cl tried    32934 cl shrink        0 lits rem          0 time: 0.01
82.27/20.66	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.02
82.27/20.67	c calculated reachability. Time: 0.00
82.27/20.67	c  N dy   536    238284       535      2329         0     32934      7091    476822     15.61   no data
89.45/22.47	c  N dy   601    253792       535      2329         0     27509      7091    327809     15.63     16.50
98.24/24.61	c  N dy   696    270036       535      2329         0     21828      7091    179312     15.72     19.62
106.23/26.60	c  N dy   788    287286       535      2329         0     38869      7091    584768     15.78     17.23
115.42/28.90	c  N dy   872    305789       535      2329         0     34409      7091    464726     15.76     16.63
115.42/28.96	c  F st   873    306252       535      2329         0     34865      7091    475254     15.76     16.36
118.24/29.61	c Decided on static restart strategy
129.00/32.32	c  N st   883    334559       535      2329         0     38999      7091    762097     15.76   no data
140.20/35.16	c  N st   885    357427       535      2329         0     36827      7091    647830     15.76   no data
140.20/35.16	c  S st   885    357427       535      2329         0     36827      7091    647830     15.76   no data
140.61/35.26	c  S st   885    357931       535      2329         0     37330      7091    659801     15.76   no data
140.61/35.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
140.61/35.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
140.61/35.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
140.61/35.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.61/35.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.61/35.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
140.61/35.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
140.61/35.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
140.98/35.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.99/35.85	c lits-rem:       233  cl-subs:     2142  v-elim:      0  v-fix:    0  time:  0.54 s
142.99/35.85	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
142.99/35.86	c vivif2 --  cl tried    35188 cl shrink        0 lits rem          0 time: 0.01
142.99/35.89	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.02
142.99/35.89	c calculated reachability. Time: 0.00
142.99/35.89	c  N st   885    357931       535      2329         0     35188      7091    611922     15.76   no data
160.96/40.35	c  N st   886    390324       535      2329         0     41413      7091    804265     15.76   no data
187.72/47.02	c  N st   887    438912       535      2329         0     35051      7091    540337     15.76   no data
228.87/57.36	c  N st   888    511795       535      2329         0     48598      7091    834829     15.76   no data
243.25/60.92	c  N st   889    536897       535      2329         0     42812      7091    652608     15.76   no data
243.25/60.92	c  S st   889    536897       535      2329         0     42812      7091    652608     15.76   no data
243.64/61.03	c  S st   889    537407       535      2329         0     43322      7091    665700     15.76   no data
243.64/61.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
243.64/61.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
243.64/61.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.64/61.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.64/61.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.64/61.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
243.64/61.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
243.64/61.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
243.64/61.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.85/61.84	c lits-rem:       197  cl-subs:     2428  v-elim:      0  v-fix:    0  time:  0.76 s
246.85/61.84	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
246.85/61.85	c vivif2 --  cl tried    40894 cl shrink        0 lits rem          0 time: 0.01
246.85/61.88	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.03
246.85/61.88	c calculated reachability. Time: 0.00
246.85/61.88	c  N st   889    537407       535      2329         0     40894      7091    611104     15.76   no data
356.70/89.32	c  N st   890    701391       535      2329         0     70103      7091   1288311     15.76   no data
431.40/108.10	c  N st   891    806111       535      2329         0     64498      7091   1140063     15.76   no data
431.40/108.10	c  S st   891    806111       535      2329         0     64498      7091   1140063     15.76   no data
432.20/108.29	c  S st   891    806615       535      2329         0     65000      7091   1152385     15.76   no data
432.59/108.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
432.59/108.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
432.59/108.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
432.59/108.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
432.59/108.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
432.59/108.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
432.59/108.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
432.59/108.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
432.59/108.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
439.78/110.13	c lits-rem:       346  cl-subs:     2153  v-elim:      0  v-fix:    0  time:  1.75 s
439.78/110.13	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
439.78/110.14	c vivif2 --  cl tried    62847 cl shrink        0 lits rem          0 time: 0.02
440.18/110.20	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.06
440.18/110.20	c calculated reachability. Time: 0.00
440.18/110.20	c  N st   891    806615       535      2329         0     62847      7091   1096421     15.76   no data
640.31/160.37	c  F st   892   1071876       535      2329         0     78410      7091   1394989     15.76   no data
640.31/160.37	c  N st   892   1071876       535      2329         0     78410      7091   1394989     15.76   no data
646.70/161.95	c Decided on static restart strategy
664.68/166.43	c  N st   902   1100176       535      2329         0     62242      7091    930111     15.76   no data
696.23/174.30	c  N st   904   1136169       535      2329         0     52427      7091    636770     15.76   no data
724.62/181.43	c  N st   905   1168562       535      2329         0     83949      7091   1405455     15.76   no data
760.54/190.44	c  N st   906   1209923       535      2329         0     78551      7091   1292222     15.76   no data
760.54/190.44	c  S st   906   1209923       535      2329         0     78551      7091   1292222     15.76   no data
761.74/190.70	c  S st   906   1210431       535      2329         0     79058      7091   1304120     15.76   no data
761.74/190.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
761.74/190.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
761.74/190.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
761.74/190.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
761.74/190.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
761.74/190.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
761.74/190.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
761.74/190.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
762.15/190.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
779.72/195.25	c lits-rem:       547  cl-subs:     5414  v-elim:      0  v-fix:    0  time:  4.44 s
779.72/195.25	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
779.72/195.26	c vivif2 --  cl tried    73644 cl shrink        0 lits rem          0 time: 0.02
780.12/195.33	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.07
780.12/195.34	c calculated reachability. Time: 0.00
780.12/195.34	c  N st   906   1210431       535      2329         0     73644      7091   1171073     15.76   no data
854.82/214.04	c  N st   907   1283313       535      2329         0     50089      7091    528517     15.76   no data
963.07/241.10	c  N st   908   1392636       535      2329         0     58254      7091    697164     15.76   no data
1112.07/278.46	c  N st   909   1556620       535      2329         0     63165      7091    775583     15.76   no data
1267.07/317.20	c  N st   910   1710431       535      2329         0    104959      7091   1802315     15.76   no data
1267.07/317.20	c  S st   910   1710431       535      2329         0    104959      7091   1802315     15.76   no data
1268.28/317.56	c  S st   910   1710938       535      2329         0    105466      7091   1814646     15.76   no data
1268.28/317.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1268.68/317.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1268.68/317.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1268.68/317.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1268.68/317.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1268.68/317.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
1268.68/317.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1268.68/317.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1269.07/317.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1311.01/328.23	c lits-rem:       408  cl-subs:     6741  v-elim:      0  v-fix:    0  time: 10.52 s
1311.01/328.23	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
1311.01/328.25	c vivif2 --  cl tried    98725 cl shrink        0 lits rem          0 time: 0.03
1311.41/328.36	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.11
1311.41/328.36	c calculated reachability. Time: 0.00
1311.41/328.36	c  N st   910   1710938       535      2329         0     98725      7091   1657211     15.76   no data
1692.49/423.76	c  N st   911   2079902       535      2329         0    110343      7091   1804974     15.76   no data
1839.51/460.51	c  N st   912   2210940       535      2329         0    113940      7091   1820273     15.76   no data
1839.51/460.51	c  S st   912   2210940       535      2329         0    113940      7091   1820273     15.76   no data
1840.72/460.86	c  S st   912   2211443       535      2329         0    114442      7091   1832560     15.76   no data
1840.72/460.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1841.12/460.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1841.12/460.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1841.12/460.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1841.12/460.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1841.12/460.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
1841.12/460.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1841.12/460.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1841.50/461.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1893.03/473.97	c lits-rem:       598  cl-subs:    11182  v-elim:      0  v-fix:    0  time: 12.95 s
1893.03/473.97	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
1893.03/473.99	c vivif2 --  cl tried   103260 cl shrink        0 lits rem          0 time: 0.02
1893.85/474.11	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.11
1893.85/474.11	c calculated reachability. Time: 0.00
1893.85/474.11	c  N st   912   2211443       535      2329         0    103260      7091   1601237     15.76   no data
2465.86/617.35	c  N st   913   2711444       535      2329         0    127138      7091   2095960     15.76   no data
2465.86/617.35	c  S st   913   2711444       535      2329         0    127138      7091   2095960     15.76   no data
2467.46/617.78	c  S st   913   2711948       535      2329         0    127640      7091   2108085     15.76   no data
2467.46/617.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2467.86/617.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2467.86/617.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2467.86/617.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2467.86/617.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2467.86/617.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
2467.86/617.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2467.86/617.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2468.26/617.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2540.56/636.01	c lits-rem:       614  cl-subs:    11980  v-elim:      0  v-fix:    0  time: 18.06 s
2540.56/636.01	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
2540.56/636.04	c vivif2 --  cl tried   115660 cl shrink        0 lits rem          0 time: 0.03
2540.96/636.17	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.13
2540.96/636.17	c calculated reachability. Time: 0.00
2540.96/636.17	c  N st   913   2711948       535      2329         0    115660      7091   1847371     15.76   no data
3187.69/798.02	c  N st   914   3211952       535      2329         0     91473      7091   1105296     15.76   no data
3187.69/798.02	c  S st   914   3211952       535      2329         0     91473      7091   1105296     15.76   no data
3188.89/798.31	c  S st   914   3212453       535      2329         0     91972      7091   1118389     15.76   no data
3188.89/798.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3188.89/798.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3188.89/798.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3188.89/798.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3188.89/798.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3188.89/798.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
3188.89/798.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3188.89/798.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3189.29/798.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3194.50/799.72	c lits-rem:       241  cl-subs:     2701  v-elim:      0  v-fix:    0  time:  1.30 s
3194.50/799.72	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
3194.50/799.74	c vivif2 --  cl tried    89271 cl shrink        0 lits rem          0 time: 0.02
3194.87/799.83	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.09
3194.87/799.84	c calculated reachability. Time: 0.00
3194.87/799.84	c  N st   914   3212453       535      2329         0     89271      7091   1057138     15.76   no data
3883.97/972.35	c  N st   915   3712455       535      2329         0    100424      7091   1260897     15.76   no data
3883.97/972.35	c  S st   915   3712455       535      2329         0    100424      7091   1260897     15.76   no data
3885.55/972.70	c  S st   915   3712956       535      2329         0    100923      7091   1274127     15.76   no data
3885.55/972.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3885.55/972.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3885.55/972.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3885.55/972.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3885.55/972.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3885.55/972.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
3885.55/972.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3885.55/972.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3885.95/972.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3891.54/974.23	c lits-rem:       197  cl-subs:     2120  v-elim:      0  v-fix:    0  time:  1.41 s
3891.54/974.23	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
3891.54/974.25	c vivif2 --  cl tried    98803 cl shrink        0 lits rem          0 time: 0.02
3891.94/974.35	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.10
3891.94/974.36	c calculated reachability. Time: 0.00
3891.94/974.36	c  N st   915   3712956       535      2329         0     98803      7091   1225216     15.76   no data
3945.89/987.89	c  F st   916   3751562       535      2329         0    136429      7091   2159958     15.76   no data
3945.89/987.89	c  N st   916   3751562       535      2329         0    136429      7091   2159958     15.76   no data
3955.46/990.27	c Decided on static restart strategy
3995.41/1000.23	c  N st   926   3779871       535      2329         0    164294      7091   2880639     15.76   no data
4044.14/1012.43	c  N st   928   3815868       535      2329         0    116665      7091   1642950     15.76   no data
4094.88/1025.16	c  N st   929   3848260       535      2329         0    148151      7091   2467110     15.76   no data
4159.99/1041.49	c  N st   930   3896849       535      2329         0    111633      7091   1505412     15.76   no data
4279.45/1071.38	c  N st   931   3969732       535      2329         0     97659      7091   1112600     15.76   no data
4448.40/1113.63	c  N st   932   4079060       535      2329         0    118383      7091   1643439     15.76   no data
4660.11/1166.68	c  N st   933   4212957       535      2329         0    161886      7091   2687981     15.76   no data
4660.11/1166.68	c  S st   933   4212957       535      2329         0    161886      7091   2687981     15.76   no data
4662.51/1167.26	c  S st   933   4213466       535      2329         0    162394      7091   2700630     15.76   no data
4662.51/1167.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4662.91/1167.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.09
4662.91/1167.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4662.91/1167.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4662.91/1167.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4662.91/1167.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    535 time:  0.00 s
4662.91/1167.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4663.31/1167.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4663.31/1167.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4792.34/1199.70	c lits-rem:       660  cl-subs:    13871  v-elim:      0  v-fix:    0  time: 32.21 s
4792.34/1199.70	c vivif2 --  cl tried     2329 cl shrink        0 lits rem          0 time: 0.00
4792.34/1199.74	c vivif2 --  cl tried   148523 cl shrink        0 lits rem          0 time: 0.04
4793.14/1199.92	c asymm  cl-useful: 0/2329/2329 lits-rem:0 time: 0.18
4793.14/1199.92	c calculated reachability. Time: 0.00
4793.14/1199.92	c  N st   933   4213466       535      2329         0    148523      7091   2379315     15.76   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: 935)

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-3174237-1304115769/watcher-3174237-1304115769 -o /tmp/evaluation-result-3174237-1304115769/solver-3174237-1304115769 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174237-1304115769.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.60 7.63 6.39 5/180 4254
/proc/meminfo: memFree=31206128/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 523175700 52441088 352 33554432000 4194304 4627427 140735327868688 18446744073709551615 235594866619 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 12803 352 303 106 0 7774 0
[pid=4254/tid=4255] ppid=4252 vsize=182288 CPUtime=0 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) D 4252 4254 4213 0 -1 4202560 19 0 0 0 0 0 0 0 25 0 4 0 523175700 186662912 395 33554432000 4194304 4627427 140735327868688 18446744073709551615 235594866491 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=183260 CPUtime=0 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 19 0 0 0 0 0 0 0 25 0 4 0 523175700 187658240 407 33554432000 4194304 4627427 140735327868688 18446744073709551615 235594866491 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=183260 CPUtime=0 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 18 0 0 0 0 0 0 0 25 0 4 0 523175700 187658240 439 33554432000 4194304 4627427 140735327868688 18446744073709551615 235594866491 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0722821 s]
/proc/loadavg: 6.60 7.63 6.39 5/180 4254
/proc/meminfo: memFree=31206128/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=282160 CPUtime=0.26 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 1581 0 0 0 26 0 0 0 25 0 4 0 523175700 288931840 1482 33554432000 4194304 4627427 140735327868688 18446744073709551615 4305493 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 70540 1482 384 106 0 65511 0
[pid=4254/tid=4255] ppid=4252 vsize=282160 CPUtime=0.06 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 330 0 0 0 6 0 0 0 25 0 4 0 523175700 288931840 1482 33554432000 4194304 4627427 140735327868688 18446744073709551615 235594563339 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=282160 CPUtime=0.06 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 314 0 0 0 6 0 0 0 25 0 4 0 523175700 288931840 1482 33554432000 4194304 4627427 140735327868688 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=282160 CPUtime=0.06 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 222 0 0 0 6 0 0 0 25 0 4 0 523175700 288931840 1482 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 282160

[startup+0.106875 s]
/proc/loadavg: 6.60 7.63 6.39 5/180 4254
/proc/meminfo: memFree=31206128/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=282292 CPUtime=0.4 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 1734 0 0 0 40 0 0 0 25 0 4 0 523175700 289067008 1635 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 70573 1635 384 106 0 65544 0
[pid=4254/tid=4255] ppid=4252 vsize=282292 CPUtime=0.1 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 368 0 0 0 10 0 0 0 25 0 4 0 523175700 289067008 1635 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=282292 CPUtime=0.09 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 350 0 0 0 9 0 0 0 25 0 4 0 523175700 289067008 1635 33554432000 4194304 4627427 140735327868688 18446744073709551615 4306164 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=282292 CPUtime=0.1 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 258 0 0 0 10 0 0 0 25 0 4 0 523175700 289067008 1635 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282292

[startup+0.300842 s]
/proc/loadavg: 6.60 7.63 6.39 5/180 4254
/proc/meminfo: memFree=31206128/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=283776 CPUtime=1.18 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 2785 0 0 0 118 0 0 0 25 0 4 0 523175700 290586624 2120 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 70944 2120 385 106 0 65915 0
[pid=4254/tid=4255] ppid=4252 vsize=283776 CPUtime=0.29 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 627 0 0 0 29 0 0 0 25 0 4 0 523175700 290586624 2120 33554432000 4194304 4627427 140735327868688 18446744073709551615 4332703 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=283776 CPUtime=0.29 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 608 0 0 0 29 0 0 0 25 0 4 0 523175700 290586624 2120 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=283776 CPUtime=0.29 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 526 0 0 0 29 0 0 0 25 0 4 0 523175700 290586624 2120 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283776

[startup+0.700774 s]
/proc/loadavg: 6.60 7.63 6.39 5/180 4254
/proc/meminfo: memFree=31206128/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=284684 CPUtime=2.78 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 4367 0 0 0 278 0 0 0 25 0 4 0 523175700 291516416 2817 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308632 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 71171 2817 385 106 0 66142 0
[pid=4254/tid=4255] ppid=4252 vsize=284684 CPUtime=0.69 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 1027 0 0 0 69 0 0 0 25 0 4 0 523175700 291516416 2817 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309408 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=284684 CPUtime=0.69 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 988 0 0 0 69 0 0 0 25 0 4 0 523175700 291516416 2817 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=284684 CPUtime=0.69 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 935 0 0 0 69 0 0 0 25 0 4 0 523175700 291516416 2817 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284684

[startup+1.50063 s]
/proc/loadavg: 6.79 7.65 6.41 9/184 4258
/proc/meminfo: memFree=31182660/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=286176 CPUtime=5.97 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 8791 0 0 0 596 1 0 0 25 0 4 0 523175700 293044224 4623 33554432000 4194304 4627427 140735327868688 18446744073709551615 4333227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 71544 4623 389 106 0 66515 0
[pid=4254/tid=4255] ppid=4252 vsize=286176 CPUtime=1.49 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 1813 0 0 0 149 0 0 0 25 0 4 0 523175700 293044224 4623 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=286176 CPUtime=1.48 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 1740 0 0 0 148 0 0 0 25 0 4 0 523175700 293044224 4623 33554432000 4194304 4627427 140735327868688 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=286176 CPUtime=1.49 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 1729 0 0 0 149 0 0 0 25 0 4 0 523175700 293044224 4623 33554432000 4194304 4627427 140735327868688 18446744073709551615 4330912 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286176

[startup+3.10035 s]
/proc/loadavg: 6.79 7.65 6.41 9/184 4258
/proc/meminfo: memFree=31157508/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=304840 CPUtime=12.36 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 17810 0 0 0 1234 2 0 0 25 0 4 0 523175700 312156160 9514 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 76210 9514 389 106 0 71181 0
[pid=4254/tid=4255] ppid=4252 vsize=304840 CPUtime=3.08 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 4135 0 0 0 308 0 0 0 25 0 4 0 523175700 312156160 9514 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308767 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=304840 CPUtime=3.07 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 4729 0 0 0 307 0 0 0 25 0 4 0 523175700 312156160 9514 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=304840 CPUtime=3.09 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 3999 0 0 0 309 0 0 0 25 0 4 0 523175700 312156160 9514 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 304840

[startup+6.30079 s]
/proc/loadavg: 6.79 7.65 6.41 9/184 4258
/proc/meminfo: memFree=31106804/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=314860 CPUtime=25.15 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 27046 0 0 0 2510 5 0 0 25 0 4 0 523175700 322416640 13985 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309111 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 78715 13985 389 106 0 73686 0
[pid=4254/tid=4255] ppid=4252 vsize=314860 CPUtime=6.29 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 7165 0 0 0 627 2 0 0 25 0 4 0 523175700 322416640 13985 33554432000 4194304 4627427 140735327868688 18446744073709551615 4324754 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=314860 CPUtime=6.26 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 7881 0 0 0 625 1 0 0 25 0 4 0 523175700 322416640 13985 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=314860 CPUtime=6.29 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 4859 0 0 0 629 0 0 0 25 0 4 0 523175700 322416640 13985 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 314860

[startup+12.7007 s]
/proc/loadavg: 6.97 7.66 6.42 9/184 4259
/proc/meminfo: memFree=31050876/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=274340 CPUtime=50.71 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 40791 0 0 0 5064 7 0 0 25 0 4 0 523175700 280924160 18945 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 68585 18945 389 106 0 63556 0
[pid=4254/tid=4255] ppid=4252 vsize=274340 CPUtime=12.68 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 10284 0 0 0 1266 2 0 0 25 0 4 0 523175700 280924160 18945 33554432000 4194304 4627427 140735327868688 18446744073709551615 4332783 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=274340 CPUtime=12.62 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 9940 0 0 0 1261 1 0 0 25 0 4 0 523175700 280924160 18945 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=274340 CPUtime=12.69 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 9370 0 0 0 1268 1 0 0 25 0 4 0 523175700 280924160 18945 33554432000 4194304 4627427 140735327868688 18446744073709551615 4333541 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 274340

[startup+25.5004 s]
/proc/loadavg: 7.13 7.67 6.44 9/184 4259
/proc/meminfo: memFree=30988908/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=286600 CPUtime=101.83 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 59445 0 0 0 10171 12 0 0 25 0 4 0 523175700 293478400 29789 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 71650 29789 389 106 0 66621 0
[pid=4254/tid=4255] ppid=4252 vsize=286600 CPUtime=25.49 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 14021 0 0 0 2545 4 0 0 25 0 4 0 523175700 293478400 29789 33554432000 4194304 4627427 140735327868688 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=286600 CPUtime=25.35 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 15705 0 0 0 2532 3 0 0 25 0 4 0 523175700 293478400 29789 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=286600 CPUtime=25.49 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 14846 0 0 0 2546 3 0 0 25 0 4 0 523175700 293478400 29789 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 286600

[startup+51.1009 s]
/proc/loadavg: 7.49 7.71 6.49 9/184 4260
/proc/meminfo: memFree=30955940/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=317224 CPUtime=204.1 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 87169 0 0 0 20390 20 0 0 25 0 4 0 523175700 324837376 33972 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 79306 33972 389 106 0 74277 0
[pid=4254/tid=4255] ppid=4252 vsize=317224 CPUtime=51.09 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 20114 0 0 0 5104 5 0 0 25 0 4 0 523175700 324837376 33972 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=317224 CPUtime=50.81 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 22657 0 0 0 5077 4 0 0 25 0 4 0 523175700 324837376 33972 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=317224 CPUtime=51.08 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 23247 0 0 0 5103 5 0 0 25 0 4 0 523175700 324837376 33972 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 317224

[startup+102.307 s]
/proc/loadavg: 7.93 7.79 6.58 9/184 4261
/proc/meminfo: memFree=30904920/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=319264 CPUtime=408.65 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 125808 0 0 0 40831 34 0 0 25 0 4 0 523175700 326926336 41263 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309546 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 79816 41263 389 106 0 74787 0
[pid=4254/tid=4255] ppid=4252 vsize=319264 CPUtime=102.3 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 34387 0 0 0 10220 10 0 0 25 0 4 0 523175700 326926336 41263 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=319264 CPUtime=101.74 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 30175 0 0 0 10167 7 0 0 25 0 4 0 523175700 326926336 41263 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=319264 CPUtime=102.29 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 29375 0 0 0 10221 8 0 0 25 0 4 0 523175700 326926336 41263 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 319264

[startup+162.3 s]

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

[pid=4254] ppid=4252 vsize=543588 CPUtime=2805.41 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 456604 0 0 0 280353 188 0 0 25 0 4 0 523175700 556634112 88785 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 135897 88785 389 106 0 130868 0
[pid=4254/tid=4255] ppid=4252 vsize=543588 CPUtime=702.31 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 89380 0 0 0 70195 36 0 0 25 0 4 0 523175700 556634112 88785 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=543588 CPUtime=698.48 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 130342 0 0 0 69797 51 0 0 25 0 4 0 523175700 556634112 88785 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=543588 CPUtime=702.3 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 113025 0 0 0 70181 49 0 0 25 0 4 0 523175700 556634112 88785 33554432000 4194304 4627427 140735327868688 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 543588

[startup+762.307 s]
/proc/loadavg: 8.10 8.03 7.32 9/184 4279
/proc/meminfo: memFree=30498716/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=632492 CPUtime=3045.1 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 483439 0 0 0 304310 200 0 0 25 0 4 0 523175700 647671808 98334 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 158123 98334 389 106 0 153094 0
[pid=4254/tid=4255] ppid=4252 vsize=632492 CPUtime=762.31 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 92108 0 0 0 76193 38 0 0 25 0 4 0 523175700 647671808 98334 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=632492 CPUtime=758.15 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 137400 0 0 0 75760 55 0 0 25 0 4 0 523175700 647671808 98334 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=632492 CPUtime=762.31 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 123696 0 0 0 76179 52 0 0 25 0 4 0 523175700 647671808 98334 33554432000 4194304 4627427 140735327868688 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 632492

[startup+822.3 s]
/proc/loadavg: 8.10 8.04 7.36 9/184 4280
/proc/meminfo: memFree=30519364/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=567176 CPUtime=3284.76 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 506366 0 0 0 328265 211 0 0 25 0 4 0 523175700 580788224 97217 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 141794 97217 389 106 0 136765 0
[pid=4254/tid=4255] ppid=4252 vsize=567176 CPUtime=822.3 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 95081 0 0 0 82191 39 0 0 25 0 4 0 523175700 580788224 97217 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=567176 CPUtime=817.82 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 147054 0 0 0 81723 59 0 0 25 0 4 0 523175700 580788224 97217 33554432000 4194304 4627427 140735327868688 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=567176 CPUtime=822.31 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 130152 0 0 0 82175 56 0 0 25 0 4 0 523175700 580788224 97217 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 567176

[startup+882.301 s]
/proc/loadavg: 8.17 8.06 7.41 9/184 4282
/proc/meminfo: memFree=30473944/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=567400 CPUtime=3524.44 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 528396 0 0 0 352222 222 0 0 25 0 4 0 523175700 581017600 99019 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308307 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 141850 99019 389 106 0 136821 0
[pid=4254/tid=4255] ppid=4252 vsize=567400 CPUtime=882.31 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 99609 0 0 0 88189 42 0 0 25 0 4 0 523175700 581017600 99019 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=567400 CPUtime=877.5 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 153368 0 0 0 87688 62 0 0 25 0 4 0 523175700 581017600 99019 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=567400 CPUtime=882.31 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 136744 0 0 0 88172 59 0 0 25 0 4 0 523175700 581017600 99019 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 567400

[startup+942.3 s]
/proc/loadavg: 8.13 8.06 7.45 9/184 4283
/proc/meminfo: memFree=30455420/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=567608 CPUtime=3764.11 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 549435 0 0 0 376177 234 0 0 25 0 4 0 523175700 581230592 94964 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 141902 94964 389 106 0 136873 0
[pid=4254/tid=4255] ppid=4252 vsize=567608 CPUtime=942.31 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 101797 0 0 0 94187 44 0 0 25 0 4 0 523175700 581230592 94964 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=567608 CPUtime=937.17 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 160246 0 0 0 93651 66 0 0 25 0 4 0 523175700 581230592 94964 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=567608 CPUtime=942.31 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 143403 0 0 0 94169 62 0 0 25 0 4 0 523175700 581230592 94964 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 567608

[startup+1002.3 s]
/proc/loadavg: 8.11 8.06 7.49 9/184 4285
/proc/meminfo: memFree=30434780/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=590976 CPUtime=4003.79 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 572686 0 0 0 400135 244 0 0 25 0 4 0 523175700 605159424 100676 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 147744 100676 389 106 0 142715 0
[pid=4254/tid=4255] ppid=4252 vsize=590976 CPUtime=1002.31 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 106577 0 0 0 100185 46 0 0 25 0 4 0 523175700 605159424 100676 33554432000 4194304 4627427 140735327868688 18446744073709551615 4332845 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=590976 CPUtime=996.85 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 166754 0 0 0 99616 69 0 0 25 0 4 0 523175700 605159424 100676 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=590976 CPUtime=1002.31 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 150010 0 0 0 100166 65 0 0 25 0 4 0 523175700 605159424 100676 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 590976

[startup+1062.3 s]
/proc/loadavg: 8.10 8.07 7.52 9/184 4287
/proc/meminfo: memFree=30440548/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=591176 CPUtime=4243.47 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 593818 0 0 0 424092 255 0 0 25 0 4 0 523175700 605364224 102302 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 147794 102302 389 106 0 142765 0
[pid=4254/tid=4255] ppid=4252 vsize=591176 CPUtime=1062.31 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 108486 0 0 0 106184 47 0 0 25 0 4 0 523175700 605364224 102302 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=591176 CPUtime=1056.52 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 174059 0 0 0 105580 72 0 0 25 0 4 0 523175700 605364224 102302 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=591176 CPUtime=1062.31 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 156240 0 0 0 106163 68 0 0 25 0 4 0 523175700 605364224 102302 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 591176

[startup+1122.3 s]
/proc/loadavg: 8.09 8.07 7.55 9/184 4288
/proc/meminfo: memFree=30403300/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=588064 CPUtime=4483.15 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 617345 0 0 0 448047 268 0 0 25 0 4 0 523175700 602177536 107890 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 147016 107890 389 106 0 141987 0
[pid=4254/tid=4255] ppid=4252 vsize=588064 CPUtime=1122.32 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 112679 0 0 0 112182 50 0 0 25 0 4 0 523175700 602177536 107890 33554432000 4194304 4627427 140735327868688 18446744073709551615 4302447 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=588064 CPUtime=1116.19 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 181171 0 0 0 111544 75 0 0 25 0 4 0 523175700 602177536 107890 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=588064 CPUtime=1122.31 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 162740 0 0 0 112160 71 0 0 25 0 4 0 523175700 602177536 107890 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 588064

[startup+1182.3 s]
/proc/loadavg: 8.08 8.06 7.58 9/184 4290
/proc/meminfo: memFree=30416032/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=655388 CPUtime=4722.83 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 636242 0 0 0 472007 276 0 0 25 0 4 0 523175700 671117312 109519 33554432000 4194304 4627427 140735327868688 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 163847 109519 389 106 0 158818 0
[pid=4254/tid=4255] ppid=4252 vsize=655388 CPUtime=1182.31 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 114267 0 0 0 118181 50 0 0 25 0 4 0 523175700 671117312 109519 33554432000 4194304 4627427 140735327868688 18446744073709551615 4302419 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=655388 CPUtime=1175.87 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 187606 0 0 0 117508 79 0 0 25 0 4 0 523175700 671117312 109519 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=655388 CPUtime=1182.31 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 167753 0 0 0 118157 74 0 0 25 0 4 0 523175700 671117312 109519 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 655388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.06 7.59 6/182 4291
/proc/meminfo: memFree=30522036/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=602088 CPUtime=4800.34 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 640684 0 0 0 479754 280 0 0 25 0 4 0 523175700 616538112 109496 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 150522 109496 389 106 0 145493 0
[pid=4254/tid=4255] ppid=4252 vsize=602088 CPUtime=1201.72 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 115297 0 0 0 120120 52 0 0 25 0 4 0 523175700 616538112 109496 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=602088 CPUtime=1195.16 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 188725 0 0 0 119436 80 0 0 25 0 4 0 523175700 616538112 109496 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=602088 CPUtime=1201.72 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 169919 0 0 0 120097 75 0 0 25 0 4 0 523175700 616538112 109496 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 602088

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

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

[startup+1201.7 s]
/proc/loadavg: 8.06 8.06 7.59 6/182 4291
/proc/meminfo: memFree=30522036/32950928 swapFree=67111404/67111528
[pid=4254] ppid=4252 vsize=602088 CPUtime=4800.34 cores=1,3,5,7
/proc/4254/stat : 4254 (strangenight2-m) R 4252 4254 4213 0 -1 4202496 640684 0 0 0 479754 280 0 0 25 0 4 0 523175700 616538112 109496 33554432000 4194304 4627427 140735327868688 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4254/statm: 150522 109496 389 106 0 145493 0
[pid=4254/tid=4255] ppid=4252 vsize=602088 CPUtime=1201.72 cores=1,3,5,7
/proc/4254/task/4255/stat : 4255 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 115297 0 0 0 120120 52 0 0 25 0 4 0 523175700 616538112 109496 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4254/tid=4256] ppid=4252 vsize=602088 CPUtime=1195.16 cores=1,3,5,7
/proc/4254/task/4256/stat : 4256 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 188725 0 0 0 119436 80 0 0 25 0 4 0 523175700 616538112 109496 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4254/tid=4257] ppid=4252 vsize=602088 CPUtime=1201.72 cores=1,3,5,7
/proc/4254/task/4257/stat : 4257 (strangenight2-m) R 4252 4254 4213 0 -1 4202560 169919 0 0 0 120097 75 0 0 25 0 4 0 523175700 616538112 109496 33554432000 4194304 4627427 140735327868688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 602088

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.39
CPU user time (s): 4797.57
CPU system time (s): 2.82057
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 696072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.57
system time used= 2.82057
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 640684
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= 240
involuntary context switches= 19267

runsolver used 1.88971 second user time and 4.68929 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-30 00:22:49
IDJOB=3174237
IDBENCH=83055
IDSOLVER=1586
FILE ID=node120/3174237-1304115769
RUNJOBID= node120-1304115769-4232
PBS_JOBID= 13170710
Free space on /tmp= 72068 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174237-1304115769/watcher-3174237-1304115769 -o /tmp/evaluation-result-3174237-1304115769/solver-3174237-1304115769 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174237-1304115769.cnf

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

MD5SUM BENCH= c2b69177f59f5d1d2093247dc6de56f3
RANDOM SEED=1319250821

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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.809
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:      31206408 kB
Buffers:        495920 kB
Cached:         819808 kB
SwapCached:          8 kB
Active:         419064 kB
Inactive:       964468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31206408 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           11824 kB
Writeback:           0 kB
AnonPages:       68412 kB
Mapped:          15696 kB
Slab:           296144 kB
PageTables:       4620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   273892 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= 72064 MiB
End job on node120 at 2011-04-30 00:42:53