Trace number 3173930

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.45 1201.73

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf
MD5SUM8d71ad1b25bd6c4021d51959610734bb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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-3173930-1304073585.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
3.18/0.80	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
3.18/0.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.18/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.18/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.18/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.18/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.18/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.80	c calculated reachability. Time: 0.00
3.18/0.80	c Calc default polars -  time:   0.00 s pos:      54 undec:       5 neg:      41
3.18/0.80	c =========================================================================================
3.18/0.80	c types(t): F = full restart, N = normal restart
3.18/0.80	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4915       100      2130         0      4579     10650    101263   no data   no data
3.18/0.80	c  N st    10     11298       100      2130         0      4238     10650     74183   no data   no data
3.18/0.80	c  N st    11     17043       100      2130         0      9559     10650    188427   no data   no data
3.18/0.80	c  F st    12     25000       100      2130         0     11772     10650    240390   no data   no data
3.18/0.80	c  N st    12     25000       100      2130         0     11772     10650    240390   no data   no data
3.97/1.00	c Decided on static restart strategy
3.97/1.00	c  N st    18     30002       100      2130         0     10102     10650    190224   no data   no data
3.97/1.00	c  S st    18     30002       100      2130         0     10102     10650    190224   no data   no data
3.97/1.00	c  S st    18     30505       100      2130         0     10592     10650    201044   no data   no data
3.97/1.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.97/1.00	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.97/1.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.97/1.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.97/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.20	c lits-rem:       269  cl-subs:     1708  v-elim:      0  v-fix:    0  time:  0.16 s
4.38/1.20	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.38/1.20	c calculated reachability. Time: 0.00
4.38/1.20	c  N st    18     30505       100      2130         0      8884     10650    163473   no data   no data
6.37/1.60	c  N st    20     37616       100      2130         0      8173     10650    134964   no data   no data
7.18/1.81	c  N st    21     44015       100      2130         0     14140     10650    268398   no data   no data
7.58/1.91	c  S st    22     45757       100      2130         0     15750     10650    302948   no data   no data
7.58/1.95	c  S st    22     46261       100      2130         0     16235     10650    313670   no data   no data
7.58/1.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.58/1.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.58/1.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.58/1.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.58/1.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.58/1.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.58/1.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.58/1.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.58/1.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.34	c lits-rem:       439  cl-subs:     1958  v-elim:      0  v-fix:    0  time:  0.37 s
9.19/2.34	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.19/2.34	c vivif2 --  cl tried    14277 cl shrink        0 lits rem          0 time: 0.00
9.19/2.40	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.57/2.40	c calculated reachability. Time: 0.00
9.57/2.40	c  N st    22     46261       100      2130         0     14277     10650    269220   no data   no data
12.37/3.15	c  N st    23     60658       100      2130         0     10142     10650    155000   no data   no data
14.36/3.65	c  N st    24     69392       100      2130         0     18208     10650    333796   no data   no data
14.36/3.65	c  S st    24     69392       100      2130         0     18208     10650    333796   no data   no data
14.76/3.70	c  S st    24     69902       100      2130         0     18704     10650    344490   no data   no data
14.76/3.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.76/3.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.76/3.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.76/3.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.76/3.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.76/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.23	c lits-rem:       407  cl-subs:     2329  v-elim:      0  v-fix:    0  time:  0.52 s
16.76/4.23	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.76/4.24	c vivif2 --  cl tried    16375 cl shrink        0 lits rem          0 time: 0.00
16.76/4.30	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
17.16/4.30	c calculated reachability. Time: 0.00
17.16/4.30	c  N st    24     69902       100      2130         0     16375     10650    293784   no data   no data
21.15/5.34	c  F st    25     87501       100      2130         0     11546     10650    169823   no data   no data
21.15/5.34	c  N st    25     87501       100      2130         0     11546     10650    169823   no data   no data
22.37/5.62	c Decided on static restart strategy
23.15/5.83	c  N st    32     95542       100      2130         0     19034     10650    333380   no data   no data
25.55/6.45	c  N st    34    104853       100      2130         0     15617     10650    253928   no data   no data
25.55/6.45	c  S st    34    104853       100      2130         0     15617     10650    253928   no data   no data
25.55/6.49	c  S st    34    105360       100      2130         0     16099     10650    265176   no data   no data
25.55/6.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.55/6.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
25.55/6.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.55/6.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.55/6.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.55/6.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
25.55/6.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.95/6.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.95/6.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.35/6.67	c lits-rem:       219  cl-subs:     1171  v-elim:      0  v-fix:    0  time:  0.17 s
26.35/6.67	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
26.35/6.68	c vivif2 --  cl tried    14928 cl shrink        0 lits rem          0 time: 0.00
26.76/6.73	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
26.76/6.73	c calculated reachability. Time: 0.00
26.76/6.73	c  N st    34    105360       100      2130         0     14928     10650    240012   no data   no data
29.15/7.38	c  N st    35    114959       100      2130         0     23783     10650    432569   no data   no data
33.13/8.31	c  N st    36    129357       100      2130         0     24192     10650    428540   no data   no data
39.13/9.81	c  N st    37    150956       100      2130         0     15471     10650    211546   no data   no data
40.72/10.27	c  S st    38    158043       100      2130         0     21957     10650    351231   no data   no data
41.12/10.32	c  S st    38    158544       100      2130         0     22435     10650    361839   no data   no data
41.12/10.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.12/10.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
41.12/10.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.12/10.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.12/10.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.12/10.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
41.12/10.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.12/10.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
41.12/10.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.12/10.81	c lits-rem:       404  cl-subs:     2285  v-elim:      0  v-fix:    0  time:  0.47 s
43.12/10.81	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
43.12/10.82	c vivif2 --  cl tried    20150 cl shrink        0 lits rem          0 time: 0.00
43.12/10.89	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
43.12/10.89	c calculated reachability. Time: 0.00
43.12/10.89	c  N st    38    158544       100      2130         0     20150     10650    314938   no data   no data
58.70/14.74	c  N st    39    207135       100      2130         0     32873     10650    566373   no data   no data
69.49/17.42	c  N st    40    237816       100      2130         0     25166     10650    382788   no data   no data
69.49/17.42	c  S st    40    237816       100      2130         0     25166     10650    382788   no data   no data
69.49/17.48	c  S st    40    238320       100      2130         0     25651     10650    393691   no data   no data
69.49/17.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.49/17.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
69.49/17.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.49/17.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.49/17.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.49/17.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
69.49/17.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.89/17.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
69.89/17.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.88/18.00	c lits-rem:       357  cl-subs:     2224  v-elim:      0  v-fix:    0  time:  0.50 s
71.88/18.00	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
71.88/18.01	c vivif2 --  cl tried    23427 cl shrink        0 lits rem          0 time: 0.00
71.88/18.09	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
71.88/18.09	c calculated reachability. Time: 0.00
71.88/18.09	c  N st    40    238320       100      2130         0     23427     10650    350374   no data   no data
95.05/23.89	c  F st    41    306250       100      2130         0     25346     10650    358015   no data   no data
95.05/23.89	c  N st    41    306250       100      2130         0     25346     10650    358015   no data   no data
97.07/24.35	c Decided on static restart strategy
106.23/26.67	c  N st    51    334558       100      2130         0     29471     10650    438143   no data   no data
115.02/28.80	c  N st    53    357482       100      2130         0     27558     10650    381495   no data   no data
115.02/28.80	c  S st    53    357482       100      2130         0     27558     10650    381495   no data   no data
115.02/28.87	c  S st    53    357985       100      2130         0     28038     10650    392041   no data   no data
115.02/28.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
115.02/28.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
115.02/28.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
115.02/28.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
115.02/28.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
115.02/28.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
115.02/28.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
115.02/28.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
115.02/28.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
116.23/29.18	c lits-rem:       223  cl-subs:     1225  v-elim:      0  v-fix:    0  time:  0.28 s
116.23/29.18	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
116.23/29.18	c vivif2 --  cl tried    26813 cl shrink        0 lits rem          0 time: 0.00
116.63/29.28	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
116.63/29.28	c calculated reachability. Time: 0.00
116.63/29.28	c  N st    53    357985       100      2130         0     26813     10650    366629   no data   no data
129.80/32.51	c  N st    54    390377       100      2130         0     32752     10650    483587   no data   no data
151.78/38.09	c  N st    55    438965       100      2130         0     26777     10650    330887   no data   no data
182.54/45.72	c  N st    56    511848       100      2130         0     39498     10650    590729   no data   no data
193.75/48.52	c  N st    57    536977       100      2130         0     34142     10650    457913   no data   no data
193.75/48.52	c  S st    57    536977       100      2130         0     34142     10650    457913   no data   no data
194.12/48.61	c  S st    57    537484       100      2130         0     34632     10650    469159   no data   no data
194.12/48.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
194.12/48.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
194.12/48.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
194.12/48.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
194.12/48.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
194.12/48.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
194.12/48.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
194.12/48.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
194.12/48.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
195.72/49.09	c lits-rem:       185  cl-subs:     1625  v-elim:      0  v-fix:    0  time:  0.45 s
195.72/49.09	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
196.12/49.10	c vivif2 --  cl tried    33007 cl shrink        0 lits rem          0 time: 0.01
196.52/49.22	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
196.52/49.22	c calculated reachability. Time: 0.00
196.52/49.22	c  N st    57    537484       100      2130         0     33007     10650    437222   no data   no data
278.01/69.66	c  N st    58    701469       100      2130         0     60191     10650    938114   no data   no data
335.14/83.92	c  N st    59    806226       100      2130         0     54877     10650    828088   no data   no data
335.14/83.92	c  S st    59    806226       100      2130         0     54877     10650    828088   no data   no data
335.54/84.06	c  S st    59    806728       100      2130         0     55358     10650    838883   no data   no data
335.54/84.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
335.54/84.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
335.54/84.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
335.54/84.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
335.54/84.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
335.54/84.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
335.54/84.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
335.94/84.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
335.94/84.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
347.92/87.13	c lits-rem:      1164  cl-subs:     5796  v-elim:      0  v-fix:    0  time:  3.01 s
347.92/87.13	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
347.92/87.14	c vivif2 --  cl tried    49562 cl shrink        0 lits rem          0 time: 0.01
348.72/87.37	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.22
348.72/87.37	c calculated reachability. Time: 0.00
348.72/87.37	c  N st    59    806728       100      2130         0     49562     10650    725698   no data   no data
512.51/128.33	c  F st    60   1071875       100      2130         0     64368     10650    954451   no data   no data
512.51/128.33	c  N st    60   1071875       100      2130         0     64368     10650    954451   no data   no data
516.10/129.29	c Decided on static restart strategy
533.28/133.59	c  N st    70   1100183       100      2130         0     49298     10650    640222   no data   no data
560.04/140.22	c  N st    72   1136176       100      2130         0     82405     10650   1364509   no data   no data
581.22/145.56	c  N st    73   1168568       100      2130         0     69857     10650   1064209   no data   no data
615.97/154.25	c  N st    74   1210092       100      2130         0     64640     10650    913450   no data   no data
615.97/154.25	c  S st    74   1210092       100      2130         0     64640     10650    913450   no data   no data
617.17/154.51	c  S st    74   1210593       100      2130         0     65116     10650    924446   no data   no data
617.17/154.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
617.17/154.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
617.17/154.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
617.17/154.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
617.17/154.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
617.17/154.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
617.17/154.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
617.17/154.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
617.17/154.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
645.93/161.71	c lits-rem:       954  cl-subs:     7872  v-elim:      0  v-fix:    0  time:  7.12 s
645.93/161.71	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
645.93/161.73	c vivif2 --  cl tried    57244 cl shrink        0 lits rem          0 time: 0.01
647.52/162.10	c asymm  cl-useful: 0/1927/2130 lits-rem:0 time: 0.37
647.52/162.10	c calculated reachability. Time: 0.00
647.52/162.10	c  N st    74   1210593       100      2130         0     57244     10650    777967   no data   no data
702.65/175.91	c  N st    75   1283475       100      2130         0     80277     10650   1242135   no data   no data
790.53/197.94	c  N st    76   1392798       100      2130         0     89806     10650   1426684   no data   no data
907.98/227.33	c  N st    77   1556782       100      2130         0     97939     10650   1642389   no data   no data
1030.21/257.92	c  N st    78   1710593       100      2130         0     87612     10650   1342321   no data   no data
1030.21/257.92	c  S st    78   1710593       100      2130         0     87612     10650   1342321   no data   no data
1031.01/258.18	c  S st    78   1711096       100      2130         0     88087     10650   1353236   no data   no data
1031.01/258.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1031.41/258.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1031.41/258.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1031.41/258.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1031.41/258.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1031.41/258.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1031.41/258.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1031.41/258.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1031.41/258.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1097.73/274.84	c lits-rem:      2019  cl-subs:    11049  v-elim:      0  v-fix:    0  time: 16.56 s
1097.73/274.84	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1097.73/274.86	c vivif2 --  cl tried    77038 cl shrink        0 lits rem          0 time: 0.02
1100.12/275.41	c asymm  cl-useful: 0/1472/2130 lits-rem:0 time: 0.55
1100.12/275.41	c calculated reachability. Time: 0.00
1100.12/275.41	c  N st    78   1711096       100      2130         0     77038     10650   1138026   no data   no data
1444.46/361.70	c  N st    79   2080060       100      2130         0     87976     10650   1251355   no data   no data
1569.49/392.94	c  N st    80   2211098       100      2130         0     91947     10650   1330622   no data   no data
1569.49/392.94	c  S st    80   2211098       100      2130         0     91947     10650   1330622   no data   no data
1570.69/393.22	c  S st    80   2211601       100      2130         0     92429     10650   1341870   no data   no data
1570.69/393.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1570.69/393.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1570.69/393.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1570.69/393.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1570.69/393.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1570.69/393.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1570.69/393.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1570.69/393.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1571.09/393.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1616.63/404.72	c lits-rem:      1592  cl-subs:    12277  v-elim:      0  v-fix:    0  time: 11.40 s
1616.63/404.72	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1616.63/404.74	c vivif2 --  cl tried    80152 cl shrink        0 lits rem          0 time: 0.02
1617.45/404.91	c asymm  cl-useful: 0/658/2130 lits-rem:0 time: 0.17
1617.45/404.91	c calculated reachability. Time: 0.00
1617.45/404.91	c  N st    80   2211601       100      2130         0     80152     10650   1108002   no data   no data
2169.49/543.14	c  N st    81   2711602       100      2130         0    103354     10650   1517950   no data   no data
2169.49/543.14	c  S st    81   2711602       100      2130         0    103354     10650   1517950   no data   no data
2170.70/543.46	c  S st    81   2712108       100      2130         0    103828     10650   1529195   no data   no data
2170.70/543.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2171.11/543.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2171.11/543.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2171.11/543.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2171.11/543.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2171.11/543.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2171.11/543.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2171.11/543.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2171.11/543.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2222.61/556.48	c lits-rem:      1526  cl-subs:    11848  v-elim:      0  v-fix:    0  time: 12.89 s
2222.61/556.48	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2222.61/556.50	c vivif2 --  cl tried    91980 cl shrink        0 lits rem          0 time: 0.02
2224.21/556.82	c asymm  cl-useful: 0/1315/2130 lits-rem:0 time: 0.32
2224.21/556.82	c calculated reachability. Time: 0.00
2224.21/556.82	c  N st    81   2712108       100      2130         0     91980     10650   1305489   no data   no data
2836.59/710.17	c  N st    82   3212108       100      2130         0    141378     10650   2269773   no data   no data
2836.59/710.17	c  S st    82   3212108       100      2130         0    141378     10650   2269773   no data   no data
2838.60/710.67	c  S st    82   3212612       100      2130         0    141847     10650   2280422   no data   no data
2838.60/710.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2839.01/710.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2839.01/710.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2839.01/710.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2839.01/710.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2839.01/710.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2839.01/710.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2839.01/710.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2839.39/710.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3023.94/757.08	c lits-rem:      3004  cl-subs:    23866  v-elim:      0  v-fix:    0  time: 46.23 s
3023.94/757.08	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3024.34/757.11	c vivif2 --  cl tried   117981 cl shrink        0 lits rem          0 time: 0.03
3025.54/757.48	c asymm  cl-useful: 0/815/2130 lits-rem:0 time: 0.36
3025.54/757.48	c calculated reachability. Time: 0.00
3025.54/757.48	c  N st    82   3212612       100      2130         0    117981     10650   1838609   no data   no data
3599.57/901.13	c  N st    83   3712614       100      2130         0    135105     10650   2064035   no data   no data
3599.57/901.13	c  S st    83   3712614       100      2130         0    135105     10650   2064035   no data   no data
3601.57/901.61	c  S st    83   3713117       100      2130         0    135584     10650   2075214   no data   no data
3601.57/901.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3601.57/901.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
3601.57/901.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3601.57/901.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3601.57/901.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3601.57/901.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3601.57/901.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3601.97/901.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3601.97/901.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3753.36/939.67	c lits-rem:      2012  cl-subs:    22175  v-elim:      0  v-fix:    0  time: 37.89 s
3753.36/939.67	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3753.76/939.70	c vivif2 --  cl tried   113409 cl shrink        0 lits rem          0 time: 0.02
3754.96/940.06	c asymm  cl-useful: 0/1044/2130 lits-rem:0 time: 0.36
3754.96/940.06	c calculated reachability. Time: 0.00
3754.96/940.06	c  N st    83   3713117       100      2130         0    113409     10650   1654078   no data   no data
3800.49/951.46	c  F st    84   3751562       100      2130         0    148786     10650   2456304   no data   no data
3800.49/951.46	c  N st    84   3751562       100      2130         0    148786     10650   2456304   no data   no data
3811.28/954.13	c Decided on static restart strategy
3834.46/959.92	c  N st    94   3779867       100      2130         0     98983     10650   1307214   no data   no data
3881.58/971.72	c  N st    96   3815859       100      2130         0    131781     10650   1997197   no data   no data
3928.34/983.44	c  N st    97   3848253       100      2130         0     84432     10650    969291   no data   no data
3981.47/996.77	c  N st    98   3896841       100      2130         0    128884     10650   1937763   no data   no data
4097.70/1025.83	c  N st    99   3969723       100      2130         0    117298     10650   1663033   no data   no data
4254.29/1065.07	c  N st   100   4079047       100      2130         0    137607     10650   2070031   no data   no data
4470.00/1119.01	c  N st   101   4213117       100      2130         0     98606     10650   1233351   no data   no data
4470.00/1119.01	c  S st   101   4213117       100      2130         0     98606     10650   1233351   no data   no data
4471.60/1119.44	c  S st   101   4213620       100      2130         0     99088     10650   1244790   no data   no data
4471.60/1119.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4472.00/1119.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
4472.00/1119.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4472.00/1119.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4472.00/1119.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4472.00/1119.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4472.00/1119.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4472.00/1119.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4472.00/1119.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4498.36/1126.12	c lits-rem:       605  cl-subs:     4783  v-elim:      0  v-fix:    0  time:  6.54 s
4498.36/1126.12	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4498.36/1126.14	c vivif2 --  cl tried    94305 cl shrink        0 lits rem          0 time: 0.02
4499.98/1126.59	c asymm  cl-useful: 0/1086/2130 lits-rem:0 time: 0.45
4499.98/1126.60	c calculated reachability. Time: 0.00
4499.98/1126.60	c  N st   101   4213620       100      2130         0     94305     10650   1149120   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: 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-3173930-1304073585/watcher-3173930-1304073585 -o /tmp/evaluation-result-3173930-1304073585/solver-3173930-1304073585 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173930-1304073585.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: 8.44 8.16 7.98 5/180 1050
/proc/meminfo: memFree=24709272/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 597588977 52441088 347 33554432000 4194304 4627427 140737305970016 18446744073709551615 252458122225 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1050/statm: 12803 347 299 106 0 7774 0
[pid=1050/tid=1051] ppid=1048 vsize=216208 CPUtime=0 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 67 0 0 0 0 0 0 0 25 0 4 0 597588977 221396992 540 33554432000 4194304 4627427 140737305970016 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=216208 CPUtime=0 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 34 0 0 0 0 0 0 0 25 0 4 0 597588977 221396992 542 33554432000 4194304 4627427 140737305970016 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=216208 CPUtime=0 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 57 0 0 0 0 0 0 0 25 0 4 0 597588977 221396992 550 33554432000 4194304 4627427 140737305970016 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.106408 s]
/proc/loadavg: 8.44 8.16 7.98 5/180 1050
/proc/meminfo: memFree=24709272/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=217024 CPUtime=0.4 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 1731 0 0 0 40 0 0 0 18 0 4 0 597588977 222232576 1605 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 54256 1605 383 106 0 49227 0
[pid=1050/tid=1051] ppid=1048 vsize=217024 CPUtime=0.1 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 373 0 0 0 10 0 0 0 25 0 4 0 597588977 222232576 1605 33554432000 4194304 4627427 140737305970016 18446744073709551615 4327362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=217024 CPUtime=0.09 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 340 0 0 0 9 0 0 0 25 0 4 0 597588977 222232576 1605 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=217024 CPUtime=0.1 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 249 0 0 0 10 0 0 0 18 0 4 0 597588977 222232576 1605 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 217024

[startup+0.200391 s]
/proc/loadavg: 8.44 8.16 7.98 5/180 1050
/proc/meminfo: memFree=24709272/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=218536 CPUtime=0.78 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 2443 0 0 0 78 0 0 0 18 0 4 0 597588977 223780864 1792 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 54634 1792 384 106 0 49605 0
[pid=1050/tid=1051] ppid=1048 vsize=218536 CPUtime=0.19 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 557 0 0 0 19 0 0 0 25 0 4 0 597588977 223780864 1792 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=218536 CPUtime=0.19 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 515 0 0 0 19 0 0 0 25 0 4 0 597588977 223780864 1792 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=218536 CPUtime=0.19 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 426 0 0 0 19 0 0 0 18 0 4 0 597588977 223780864 1792 33554432000 4194304 4627427 140737305970016 18446744073709551615 4327375 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 218536

[startup+0.300374 s]
/proc/loadavg: 8.44 8.16 7.98 5/180 1050
/proc/meminfo: memFree=24709272/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=219148 CPUtime=1.18 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 3118 0 0 0 118 0 0 0 18 0 4 0 597588977 224407552 1868 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 54787 1868 384 106 0 49758 0
[pid=1050/tid=1051] ppid=1048 vsize=219148 CPUtime=0.29 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 753 0 0 0 29 0 0 0 25 0 4 0 597588977 224407552 1868 33554432000 4194304 4627427 140737305970016 18446744073709551615 4352176 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=219148 CPUtime=0.29 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 617 0 0 0 29 0 0 0 25 0 4 0 597588977 224407552 1868 33554432000 4194304 4627427 140737305970016 18446744073709551615 4338564 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=219148 CPUtime=0.29 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 601 0 0 0 29 0 0 0 18 0 4 0 597588977 224407552 1868 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 219148

[startup+0.700299 s]
/proc/loadavg: 8.44 8.16 7.98 5/180 1050
/proc/meminfo: memFree=24709272/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=220304 CPUtime=2.78 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 5018 0 0 0 277 1 0 0 18 0 4 0 597588977 225591296 2562 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 55076 2562 384 106 0 50047 0
[pid=1050/tid=1051] ppid=1048 vsize=220304 CPUtime=0.69 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 1195 0 0 0 69 0 0 0 25 0 4 0 597588977 225591296 2562 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=220304 CPUtime=0.69 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 1167 0 0 0 69 0 0 0 25 0 4 0 597588977 225591296 2562 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=220304 CPUtime=0.69 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 1044 0 0 0 69 0 0 0 18 0 4 0 597588977 225591296 2562 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 220304

[startup+1.50115 s]
/proc/loadavg: 8.44 8.16 7.98 10/184 1054
/proc/meminfo: memFree=24690144/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=221656 CPUtime=5.97 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 10431 0 0 0 596 1 0 0 20 0 4 0 597588977 226975744 4969 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 55414 4969 388 106 0 50385 0
[pid=1050/tid=1051] ppid=1048 vsize=221656 CPUtime=1.49 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 3027 0 0 0 149 0 0 0 25 0 4 0 597588977 226975744 4969 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=221656 CPUtime=1.48 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 1985 0 0 0 148 0 0 0 25 0 4 0 597588977 226975744 4969 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=221656 CPUtime=1.49 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 1824 0 0 0 149 0 0 0 20 0 4 0 597588977 226975744 4969 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 221656

[startup+3.10086 s]
/proc/loadavg: 8.41 8.16 7.98 9/184 1054
/proc/meminfo: memFree=24669688/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=227776 CPUtime=12.37 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 19889 0 0 0 1234 3 0 0 25 0 4 0 597588977 233242624 11312 33554432000 4194304 4627427 140737305970016 18446744073709551615 4324208 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 56944 11312 388 106 0 51915 0
[pid=1050/tid=1051] ppid=1048 vsize=227776 CPUtime=3.09 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 5604 0 0 0 308 1 0 0 25 0 4 0 597588977 233242624 11312 33554432000 4194304 4627427 140737305970016 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=227776 CPUtime=3.07 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 4743 0 0 0 307 0 0 0 25 0 4 0 597588977 233242624 11312 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=227776 CPUtime=3.09 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 4239 0 0 0 309 0 0 0 25 0 4 0 597588977 233242624 11312 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 227776

[startup+6.30026 s]
/proc/loadavg: 8.41 8.16 7.98 9/184 1054
/proc/meminfo: memFree=24656296/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=241360 CPUtime=25.15 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 28164 0 0 0 2511 4 0 0 25 0 4 0 597588977 247152640 12824 33554432000 4194304 4627427 140737305970016 18446744073709551615 4332749 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 60340 12824 388 106 0 55311 0
[pid=1050/tid=1051] ppid=1048 vsize=241360 CPUtime=6.29 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 7194 0 0 0 628 1 0 0 25 0 4 0 597588977 247152640 12824 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=241360 CPUtime=6.26 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 7225 0 0 0 625 1 0 0 25 0 4 0 597588977 247152640 12824 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=241360 CPUtime=6.28 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 6296 0 0 0 628 0 0 0 25 0 4 0 597588977 247152640 12824 33554432000 4194304 4627427 140737305970016 18446744073709551615 4321460 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 241360

[startup+12.7011 s]
/proc/loadavg: 8.34 8.15 7.98 9/184 1054
/proc/meminfo: memFree=24641652/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=242780 CPUtime=50.72 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 44457 0 0 0 5064 8 0 0 25 0 4 0 597588977 248606720 17443 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 60695 17443 388 106 0 55666 0
[pid=1050/tid=1051] ppid=1048 vsize=242780 CPUtime=12.69 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 11392 0 0 0 1267 2 0 0 25 0 4 0 597588977 248606720 17443 33554432000 4194304 4627427 140737305970016 18446744073709551615 4305880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=242780 CPUtime=12.62 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 11936 0 0 0 1260 2 0 0 25 0 4 0 597588977 248606720 17443 33554432000 4194304 4627427 140737305970016 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=242780 CPUtime=12.69 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 10299 0 0 0 1268 1 0 0 25 0 4 0 597588977 248606720 17443 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 242780

[startup+25.5007 s]
/proc/loadavg: 8.29 8.15 7.98 9/184 1054
/proc/meminfo: memFree=24616884/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=255908 CPUtime=101.84 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 67443 0 0 0 10172 12 0 0 25 0 4 0 597588977 262049792 20536 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 63977 20536 388 106 0 58948 0
[pid=1050/tid=1051] ppid=1048 vsize=255908 CPUtime=25.49 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 18168 0 0 0 2546 3 0 0 25 0 4 0 597588977 262049792 20536 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=255908 CPUtime=25.35 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 17047 0 0 0 2532 3 0 0 25 0 4 0 597588977 262049792 20536 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=255908 CPUtime=25.48 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 15836 0 0 0 2546 2 0 0 25 0 4 0 597588977 262049792 20536 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 255908

[startup+51.1009 s]
/proc/loadavg: 8.26 8.15 7.99 9/184 1055
/proc/meminfo: memFree=24583792/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=262748 CPUtime=204.11 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 104027 0 0 0 20390 21 0 0 25 0 4 0 597588977 269053952 25743 33554432000 4194304 4627427 140737305970016 18446744073709551615 4321720 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 65687 25743 388 106 0 60658 0
[pid=1050/tid=1051] ppid=1048 vsize=262748 CPUtime=51.09 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 27976 0 0 0 5104 5 0 0 25 0 4 0 597588977 269053952 25743 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=262748 CPUtime=50.82 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 25964 0 0 0 5076 6 0 0 25 0 4 0 597588977 269053952 25743 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=262748 CPUtime=51.09 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 23622 0 0 0 5104 5 0 0 25 0 4 0 597588977 269053952 25743 33554432000 4194304 4627427 140737305970016 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 262748

[startup+102.3 s]
/proc/loadavg: 8.16 8.14 8.00 9/184 1056
/proc/meminfo: memFree=24501408/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=267744 CPUtime=408.66 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 161618 0 0 0 40829 37 0 0 25 0 4 0 597588977 274169856 33710 33554432000 4194304 4627427 140737305970016 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 66936 33710 388 106 0 61907 0
[pid=1050/tid=1051] ppid=1048 vsize=267744 CPUtime=102.3 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 40590 0 0 0 10222 8 0 0 25 0 4 0 597588977 274169856 33710 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=267744 CPUtime=101.75 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 40086 0 0 0 10165 10 0 0 25 0 4 0 597588977 274169856 33710 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=267744 CPUtime=102.29 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 39159 0 0 0 10220 9 0 0 25 0 4 0 597588977 274169856 33710 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 267744

[startup+162.3 s]

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

[pid=1050] ppid=1048 vsize=500436 CPUtime=2565.76 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 436837 0 0 0 256429 147 0 0 25 0 4 0 597588977 512446464 88429 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 125109 88429 388 106 0 120080 0
[pid=1050/tid=1051] ppid=1048 vsize=500436 CPUtime=642.31 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 109038 0 0 0 64196 35 0 0 25 0 4 0 597588977 512446464 88429 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=500436 CPUtime=638.83 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 114946 0 0 0 63841 42 0 0 25 0 4 0 597588977 512446464 88429 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=500436 CPUtime=642.31 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 99887 0 0 0 64201 30 0 0 25 0 4 0 597588977 512446464 88429 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.76
Current children cumulated vsize (KiB) 500436

[startup+702.301 s]
/proc/loadavg: 8.09 8.10 8.01 9/184 1072
/proc/meminfo: memFree=24087548/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=500160 CPUtime=2805.43 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 450403 0 0 0 280390 153 0 0 25 0 4 0 597588977 512163840 89670 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 125040 89670 388 106 0 120011 0
[pid=1050/tid=1051] ppid=1048 vsize=500160 CPUtime=702.32 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 113641 0 0 0 70195 37 0 0 25 0 4 0 597588977 512163840 89670 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=500160 CPUtime=698.5 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 116006 0 0 0 69808 42 0 0 25 0 4 0 597588977 512163840 89670 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=500160 CPUtime=702.3 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 103471 0 0 0 70199 31 0 0 25 0 4 0 597588977 512163840 89670 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 500160

[startup+762.301 s]
/proc/loadavg: 8.07 8.09 8.01 9/184 1074
/proc/meminfo: memFree=24045728/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=500160 CPUtime=3045.13 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 463197 0 0 0 304353 160 0 0 25 0 4 0 597588977 512163840 93490 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 125040 93490 388 106 0 120011 0
[pid=1050/tid=1051] ppid=1048 vsize=500160 CPUtime=762.32 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 118081 0 0 0 76192 40 0 0 25 0 4 0 597588977 512163840 93490 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=500160 CPUtime=758.18 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 119145 0 0 0 75774 44 0 0 25 0 4 0 597588977 512163840 93490 33554432000 4194304 4627427 140737305970016 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=500160 CPUtime=762.31 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 103471 0 0 0 76200 31 0 0 25 0 4 0 597588977 512163840 93490 33554432000 4194304 4627427 140737305970016 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.13
Current children cumulated vsize (KiB) 500160

[startup+822.301 s]
/proc/loadavg: 8.07 8.08 8.01 9/184 1075
/proc/meminfo: memFree=23992860/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=573036 CPUtime=3284.79 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 480862 0 0 0 328311 168 0 0 25 0 4 0 597588977 586788864 108214 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 143259 108214 388 106 0 138230 0
[pid=1050/tid=1051] ppid=1048 vsize=573036 CPUtime=822.32 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 123173 0 0 0 82189 43 0 0 25 0 4 0 597588977 586788864 108214 33554432000 4194304 4627427 140737305970016 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=573036 CPUtime=817.85 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 122277 0 0 0 81739 46 0 0 25 0 4 0 597588977 586788864 108214 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=573036 CPUtime=822.31 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 105323 0 0 0 82199 32 0 0 25 0 4 0 597588977 586788864 108214 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 573036

[startup+882.306 s]
/proc/loadavg: 8.11 8.09 8.01 9/184 1077
/proc/meminfo: memFree=23955872/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=586056 CPUtime=3524.49 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 495009 0 0 0 352274 175 0 0 25 0 4 0 597588977 600121344 108239 33554432000 4194304 4627427 140737305970016 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 146514 108239 388 106 0 141485 0
[pid=1050/tid=1051] ppid=1048 vsize=586056 CPUtime=882.33 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 127613 0 0 0 88188 45 0 0 25 0 4 0 597588977 600121344 108239 33554432000 4194304 4627427 140737305970016 18446744073709551615 4427854 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=586056 CPUtime=877.52 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 125444 0 0 0 87705 47 0 0 25 0 4 0 597588977 600121344 108239 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=586056 CPUtime=882.31 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 108307 0 0 0 88197 34 0 0 25 0 4 0 597588977 600121344 108239 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.49
Current children cumulated vsize (KiB) 586056

[startup+942.3 s]
/proc/loadavg: 8.13 8.11 8.02 9/184 1079
/proc/meminfo: memFree=23961396/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=586396 CPUtime=3764.15 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 502797 0 0 0 376235 180 0 0 25 0 4 0 597588977 600469504 107497 33554432000 4194304 4627427 140737305970016 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 146599 107497 388 106 0 141570 0
[pid=1050/tid=1051] ppid=1048 vsize=586396 CPUtime=942.32 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 129390 0 0 0 94186 46 0 0 25 0 4 0 597588977 600469504 107497 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=586396 CPUtime=937.19 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 128725 0 0 0 93670 49 0 0 25 0 4 0 597588977 600469504 107497 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=586396 CPUtime=942.32 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 108397 0 0 0 94197 35 0 0 25 0 4 0 597588977 600469504 107497 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 586396

[startup+1002.3 s]
/proc/loadavg: 8.19 8.13 8.03 9/184 1080
/proc/meminfo: memFree=23928016/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=586716 CPUtime=4003.82 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 515486 0 0 0 400195 187 0 0 25 0 4 0 597588977 600797184 110918 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 146679 110918 388 106 0 141650 0
[pid=1050/tid=1051] ppid=1048 vsize=586716 CPUtime=1002.32 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 135163 0 0 0 100184 48 0 0 25 0 4 0 597588977 600797184 110918 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=586716 CPUtime=996.87 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 131746 0 0 0 99636 51 0 0 25 0 4 0 597588977 600797184 110918 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=586716 CPUtime=1002.32 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 108626 0 0 0 100197 35 0 0 25 0 4 0 597588977 600797184 110918 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.82
Current children cumulated vsize (KiB) 586716

[startup+1062.3 s]
/proc/loadavg: 8.15 8.12 8.03 9/184 1082
/proc/meminfo: memFree=23875532/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=654748 CPUtime=4243.5 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 526927 0 0 0 424157 193 0 0 25 0 4 0 597588977 670461952 116639 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 163687 116639 388 106 0 158658 0
[pid=1050/tid=1051] ppid=1048 vsize=654748 CPUtime=1062.32 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 137862 0 0 0 106182 50 0 0 25 0 4 0 597588977 670461952 116639 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=654748 CPUtime=1056.55 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 132330 0 0 0 105603 52 0 0 25 0 4 0 597588977 670461952 116639 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=654748 CPUtime=1062.32 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 111416 0 0 0 106196 36 0 0 25 0 4 0 597588977 670461952 116639 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 654748

[startup+1122.3 s]
/proc/loadavg: 8.05 8.09 8.02 9/184 1083
/proc/meminfo: memFree=23910592/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=644244 CPUtime=4483.18 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 541336 0 0 0 448119 199 0 0 25 0 4 0 597588977 659705856 111513 33554432000 4194304 4627427 140737305970016 18446744073709551615 4420171 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 161061 111513 388 106 0 156032 0
[pid=1050/tid=1051] ppid=1048 vsize=644244 CPUtime=1122.33 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 140181 0 0 0 112182 51 0 0 25 0 4 0 597588977 659705856 111513 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=644244 CPUtime=1116.23 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 137939 0 0 0 111568 55 0 0 25 0 4 0 597588977 659705856 111513 33554432000 4194304 4627427 140737305970016 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=644244 CPUtime=1122.32 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 115513 0 0 0 112195 37 0 0 25 0 4 0 597588977 659705856 111513 33554432000 4194304 4627427 140737305970016 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.18
Current children cumulated vsize (KiB) 644244

[startup+1182.3 s]
/proc/loadavg: 7.74 8.02 8.00 5/176 1103
/proc/meminfo: memFree=24318696/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=665276 CPUtime=4722.87 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 560256 0 0 0 472078 209 0 0 25 0 4 0 597588977 681242624 123753 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 166319 123753 388 106 0 161290 0
[pid=1050/tid=1051] ppid=1048 vsize=665276 CPUtime=1182.33 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 146191 0 0 0 118179 54 0 0 25 0 4 0 597588977 681242624 123753 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=665276 CPUtime=1175.9 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 143932 0 0 0 117533 57 0 0 25 0 4 0 597588977 681242624 123753 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=665276 CPUtime=1182.32 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 117758 0 0 0 118194 38 0 0 25 0 4 0 597588977 681242624 123753 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.87
Current children cumulated vsize (KiB) 665276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 6.76 7.78 7.92 5/175 1104
/proc/meminfo: memFree=24318228/32951124 swapFree=67111348/67111528
[pid=1050] ppid=1048 vsize=678796 CPUtime=4800.39 cores=1,3,5,7
/proc/1050/stat : 1050 (strangenight2-m) R 1048 1050 373 0 -1 4202496 566567 0 0 0 479827 212 0 0 25 0 4 0 597588977 695087104 123623 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/1050/statm: 169699 123623 388 106 0 164670 0
[pid=1050/tid=1051] ppid=1048 vsize=678796 CPUtime=1201.73 cores=1,3,5,7
/proc/1050/task/1051/stat : 1051 (strangenight2-m) R 1048 1050 373 0 -1 4202560 148515 0 0 0 120118 55 0 0 25 0 4 0 597588977 695087104 123623 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1050/tid=1052] ppid=1048 vsize=678796 CPUtime=1195.22 cores=1,3,5,7
/proc/1050/task/1052/stat : 1052 (strangenight2-m) R 1048 1050 373 0 -1 4202560 145122 0 0 0 119464 58 0 0 25 0 4 0 597588977 695087104 123623 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1050/tid=1053] ppid=1048 vsize=678796 CPUtime=1201.73 cores=1,3,5,7
/proc/1050/task/1053/stat : 1053 (strangenight2-m) R 1048 1050 373 0 -1 4202560 120237 0 0 0 120134 39 0 0 25 0 4 0 597588977 695087104 123623 33554432000 4194304 4627427 140737305970016 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 678796

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.45
CPU user time (s): 4798.3
CPU system time (s): 2.14667
CPU usage (%): 399.461
Max. virtual memory (cumulated for all children) (KiB): 679016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.3
system time used= 2.14667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566569
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= 202
involuntary context switches= 32663

runsolver used 1.88471 second user time and 4.64829 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 12:39:45
IDJOB=3173930
IDBENCH=82748
IDSOLVER=1586
FILE ID=node111/3173930-1304073585
RUNJOBID= node111-1304072352-897
PBS_JOBID= 13170470
Free space on /tmp= 70892 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173930-1304073585/watcher-3173930-1304073585 -o /tmp/evaluation-result-3173930-1304073585/solver-3173930-1304073585 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173930-1304073585.cnf

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

MD5SUM BENCH= 8d71ad1b25bd6c4021d51959610734bb
RANDOM SEED=771995581

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:      24709552 kB
Buffers:       1275792 kB
Cached:        6314384 kB
SwapCached:        124 kB
Active:        3266688 kB
Inactive:      4486440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24709552 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11312 kB
Writeback:           0 kB
AnonPages:      162104 kB
Mapped:          15472 kB
Slab:           425060 kB
PageTables:       4548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   420200 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= 70892 MiB
End job on node111 at 2011-04-29 12:59:49