Trace number 3366676

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf
MD5SUMc58a0ddee2026f6e03d1207be874b747
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.006998
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366676-1305411923.cnf'
0.00/0.01	c -- header says num vars:            100
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        100
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.17/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.85	c calculated reachability. Time: 0.00
3.17/0.85	c Calc default polars -  time:   0.00 s pos:      48 undec:       3 neg:      49
3.17/0.85	c =========================================================================================
3.17/0.85	c types(t): F = full restart, N = normal restart
3.17/0.85	c types(t): S = simplification begin/end, E = solution found
3.17/0.85	c restart types(rt): st = static, dy = dynamic
3.17/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.85	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
3.17/0.85	c Decided on static restart strategy
3.17/0.85	c  N st     8      4920       100      2130         0      4611     10650    101886   no data   no data
3.17/0.85	c  N st    10     11303       100      2130         0      4242     10650     74625   no data   no data
3.17/0.85	c  N st    11     17048       100      2130         0      9616     10650    193200   no data   no data
3.17/0.85	c  F st    12     25000       100      2130         0     11748     10650    237086   no data   no data
3.17/0.85	c  N st    12     25000       100      2130         0     11748     10650    237086   no data   no data
3.96/1.05	c Decided on static restart strategy
3.96/1.05	c  N st    18     30002       100      2130         0     10069     10650    188139   no data   no data
3.96/1.05	c  S st    18     30002       100      2130         0     10069     10650    188139   no data   no data
3.96/1.05	c  S st    18     30503       100      2130         0     10550     10650    199039   no data   no data
3.96/1.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.38/1.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.38/1.15	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
4.38/1.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.38/1.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4.38/1.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.38/1.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.38/1.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.79/1.25	c lits-rem:       206  cl-subs:     1838  v-elim:      0  v-fix:    0  time:  0.18 s
5.15/1.35	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
5.15/1.35	c calculated reachability. Time: 0.00
5.15/1.35	c  N st    18     30503       100      2130         0      8712     10650    158856   no data   no data
5.96/1.58	c  N st    20     37613       100      2130         0      7993     10650    130980   no data   no data
7.16/1.87	c  N st    21     44012       100      2130         0     13933     10650    260724   no data   no data
7.56/1.99	c  S st    22     45754       100      2130         0     15537     10650    295088   no data   no data
7.95/2.03	c  S st    22     46255       100      2130         0     16015     10650    306002   no data   no data
7.95/2.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.95/2.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.95/2.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.95/2.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.95/2.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.95/2.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.95/2.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.95/2.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.95/2.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.48	c lits-rem:       359  cl-subs:     2295  v-elim:      0  v-fix:    0  time:  0.43 s
9.55/2.48	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.55/2.49	c vivif2 --  cl tried    13720 cl shrink        0 lits rem          0 time: 0.00
9.95/2.54	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.95/2.54	c calculated reachability. Time: 0.00
9.95/2.54	c  N st    22     46255       100      2130         0     13720     10650    255209   no data   no data
13.16/3.31	c  N st    23     60652       100      2130         0      9662     10650    143810   no data   no data
14.73/3.79	c  N st    24     69382       100      2130         0     17694     10650    315997   no data   no data
14.73/3.79	c  S st    24     69382       100      2130         0     17694     10650    315997   no data   no data
15.13/3.84	c  S st    24     69885       100      2130         0     18171     10650    326672   no data   no data
15.13/3.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.13/3.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.13/3.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.13/3.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.13/3.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.13/3.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
15.13/3.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.13/3.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.13/3.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.14/4.35	c lits-rem:       640  cl-subs:     2478  v-elim:      0  v-fix:    0  time:  0.50 s
17.14/4.35	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
17.14/4.35	c vivif2 --  cl tried    15693 cl shrink        0 lits rem          0 time: 0.00
17.55/4.41	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
17.55/4.41	c calculated reachability. Time: 0.00
17.55/4.41	c  N st    24     69885       100      2130         0     15693     10650    274629   no data   no data
21.53/5.50	c  F st    25     87503       100      2130         0     21886     10650    397928   no data   no data
21.53/5.50	c  N st    25     87503       100      2130         0     21886     10650    397928   no data   no data
22.71/5.79	c Decided on static restart strategy
23.51/5.96	c  N st    32     95543       100      2130         0     18366     10650    320304   no data   no data
25.92/6.58	c  N st    34    104827       100      2130         0     14963     10650    240110   no data   no data
25.92/6.58	c  S st    34    104827       100      2130         0     14963     10650    240110   no data   no data
26.33/6.62	c  S st    34    105330       100      2130         0     15446     10650    251078   no data   no data
26.33/6.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.33/6.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.33/6.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.33/6.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.33/6.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.33/6.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
26.33/6.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.33/6.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.33/6.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.75/6.79	c lits-rem:       189  cl-subs:     1323  v-elim:      0  v-fix:    0  time:  0.16 s
26.75/6.80	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
27.11/6.80	c vivif2 --  cl tried    14123 cl shrink        0 lits rem          0 time: 0.00
27.11/6.85	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
27.11/6.85	c calculated reachability. Time: 0.00
27.11/6.85	c  N st    34    105330       100      2130         0     14123     10650    222395   no data   no data
29.90/7.51	c  N st    35    114930       100      2130         0     22951     10650    404155   no data   no data
33.09/8.38	c  N st    36    129328       100      2130         0     23392     10650    395495   no data   no data
39.91/10.03	c  N st    37    150924       100      2130         0     29295     10650    508652   no data   no data
41.47/10.48	c  S st    38    157995       100      2130         0     21223     10650    334384   no data   no data
41.87/10.53	c  S st    38    158495       100      2130         0     21704     10650    345555   no data   no data
41.87/10.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.87/10.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
41.87/10.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.87/10.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.87/10.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.87/10.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
41.87/10.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.87/10.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
41.87/10.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.48/10.91	c lits-rem:       309  cl-subs:     1967  v-elim:      0  v-fix:    0  time:  0.35 s
43.48/10.91	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
43.48/10.91	c vivif2 --  cl tried    19737 cl shrink        0 lits rem          0 time: 0.00
43.48/10.98	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
43.48/10.98	c calculated reachability. Time: 0.00
43.48/10.98	c  N st    38    158495       100      2130         0     19737     10650    306066   no data   no data
58.64/14.77	c  N st    39    207084       100      2130         0     32315     10650    544953   no data   no data
69.01/17.38	c  N st    40    237744       100      2130         0     24730     10650    380290   no data   no data
69.01/17.38	c  S st    40    237744       100      2130         0     24730     10650    380290   no data   no data
69.41/17.44	c  S st    40    238249       100      2130         0     25213     10650    391417   no data   no data
69.41/17.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.41/17.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
69.41/17.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.41/17.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.41/17.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.41/17.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
69.41/17.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.41/17.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
69.41/17.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.41/17.92	c lits-rem:       325  cl-subs:     1909  v-elim:      0  v-fix:    0  time:  0.46 s
71.41/17.92	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
71.41/17.93	c vivif2 --  cl tried    23304 cl shrink        0 lits rem          0 time: 0.01
71.81/18.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
71.81/18.01	c calculated reachability. Time: 0.00
71.81/18.01	c  N st    40    238249       100      2130         0     23304     10650    350622   no data   no data
95.36/23.92	c  F st    41    306250       100      2130         0     25223     10650    352474   no data   no data
95.36/23.92	c  N st    41    306250       100      2130         0     25223     10650    352474   no data   no data
97.35/24.41	c Decided on static restart strategy
106.53/26.77	c  N st    51    334556       100      2130         0     29200     10650    422406   no data   no data
116.50/29.29	c  N st    53    357373       100      2130         0     27167     10650    366438   no data   no data
116.50/29.29	c  S st    53    357373       100      2130         0     27167     10650    366438   no data   no data
116.90/29.36	c  S st    53    357877       100      2130         0     27647     10650    377497   no data   no data
116.90/29.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
116.90/29.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
116.90/29.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116.90/29.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
116.90/29.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
116.90/29.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
116.90/29.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.90/29.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
116.90/29.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
118.10/29.68	c lits-rem:       197  cl-subs:     1471  v-elim:      0  v-fix:    0  time:  0.29 s
118.10/29.68	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
118.10/29.68	c vivif2 --  cl tried    26176 cl shrink        0 lits rem          0 time: 0.00
118.52/29.78	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.09
118.52/29.78	c calculated reachability. Time: 0.00
118.52/29.78	c  N st    53    357877       100      2130         0     26176     10650    347985   no data   no data
131.28/33.00	c  N st    54    390270       100      2130         0     32125     10650    457082   no data   no data
154.06/38.65	c  N st    55    438858       100      2130         0     26309     10650    319313   no data   no data
185.15/46.40	c  N st    56    511741       100      2130         0     38881     10650    561013   no data   no data
197.55/49.51	c  N st    57    536816       100      2130         0     33565     10650    442178   no data   no data
197.55/49.51	c  S st    57    536816       100      2130         0     33565     10650    442178   no data   no data
197.55/49.60	c  S st    57    537321       100      2130         0     34050     10650    453186   no data   no data
197.55/49.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
197.55/49.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
197.96/49.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
197.96/49.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
197.96/49.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
197.96/49.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
197.96/49.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
197.96/49.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
197.96/49.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
199.52/50.07	c lits-rem:       250  cl-subs:     1706  v-elim:      0  v-fix:    0  time:  0.44 s
199.52/50.07	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
199.52/50.07	c vivif2 --  cl tried    32344 cl shrink        0 lits rem          0 time: 0.01
199.92/50.20	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
199.92/50.20	c calculated reachability. Time: 0.00
199.92/50.20	c  N st    57    537321       100      2130         0     32344     10650    419207   no data   no data
290.91/72.92	c  N st    58    701307       100      2130         0     60049     10650    989635   no data   no data
356.00/89.24	c  N st    59    805982       100      2130         0     53875     10650    792512   no data   no data
356.00/89.24	c  S st    59    805982       100      2130         0     53875     10650    792512   no data   no data
356.36/89.39	c  S st    59    806486       100      2130         0     54359     10650    803527   no data   no data
356.36/89.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
356.76/89.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
356.76/89.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
356.76/89.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
356.76/89.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
356.76/89.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
356.76/89.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
356.76/89.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
356.76/89.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
369.17/92.56	c lits-rem:      1242  cl-subs:     6701  v-elim:      0  v-fix:    0  time:  3.12 s
369.17/92.56	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
369.17/92.57	c vivif2 --  cl tried    47658 cl shrink        0 lits rem          0 time: 0.01
370.33/92.80	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.23
370.33/92.80	c calculated reachability. Time: 0.00
370.33/92.80	c  N st    59    806486       100      2130         0     47658     10650    678417   no data   no data
543.54/136.24	c  F st    60   1071878       100      2130         0     63306     10650    943486   no data   no data
543.54/136.24	c  N st    60   1071878       100      2130         0     63306     10650    943486   no data   no data
547.53/137.21	c Decided on static restart strategy
567.08/142.11	c  N st    70   1100182       100      2130         0     48211     10650    615548   no data   no data
596.62/149.54	c  N st    72   1136175       100      2130         0     81353     10650   1350968   no data   no data
620.56/155.51	c  N st    73   1168567       100      2130         0     68858     10650   1047932   no data   no data
652.09/163.45	c  N st    74   1209732       100      2130         0     63466     10650    910170   no data   no data
652.09/163.45	c  S st    74   1209732       100      2130         0     63466     10650    910170   no data   no data
652.89/163.61	c  S st    74   1210236       100      2130         0     63950     10650    921225   no data   no data
652.89/163.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
652.89/163.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
652.89/163.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
652.89/163.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
652.89/163.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
652.89/163.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
652.89/163.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
652.89/163.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
652.89/163.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
672.85/168.68	c lits-rem:       580  cl-subs:     5461  v-elim:      0  v-fix:    0  time:  5.01 s
672.85/168.68	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
673.25/168.70	c vivif2 --  cl tried    58489 cl shrink        0 lits rem          0 time: 0.01
674.45/169.07	c asymm  cl-useful: 0/1845/2130 lits-rem:0 time: 0.37
674.45/169.08	c calculated reachability. Time: 0.00
674.45/169.08	c  N st    74   1210236       100      2130         0     58489     10650    815404   no data   no data
726.33/182.06	c  N st    75   1283118       100      2130         0     81576     10650   1321254   no data   no data
819.71/205.47	c  N st    76   1392441       100      2130         0     91202     10650   1509792   no data   no data
951.82/238.50	c  N st    77   1556427       100      2130         0     98403     10650   1608396   no data   no data
1079.53/270.59	c  N st    78   1710236       100      2130         0     87544     10650   1295867   no data   no data
1079.53/270.59	c  S st    78   1710236       100      2130         0     87544     10650   1295867   no data   no data
1081.12/270.97	c  S st    78   1710736       100      2130         0     88025     10650   1306976   no data   no data
1081.12/270.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1081.52/271.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
1081.52/271.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1081.52/271.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1081.52/271.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1081.52/271.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1081.52/271.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1081.52/271.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1081.52/271.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1178.50/295.33	c lits-rem:      1411  cl-subs:    13777  v-elim:      0  v-fix:    0  time: 24.23 s
1178.50/295.33	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1178.50/295.35	c vivif2 --  cl tried    74248 cl shrink        0 lits rem          0 time: 0.02
1180.50/295.87	c asymm  cl-useful: 0/1589/2130 lits-rem:0 time: 0.52
1180.50/295.87	c calculated reachability. Time: 0.00
1180.50/295.87	c  N st    78   1710736       100      2130         0     74248     10650   1054067   no data   no data
1500.18/375.94	c  N st    79   2079700       100      2130         0     86619     10650   1266374   no data   no data
1635.47/409.89	c  N st    80   2210737       100      2130         0     90280     10650   1299641   no data   no data
1635.47/409.89	c  S st    80   2210737       100      2130         0     90280     10650   1299641   no data   no data
1636.67/410.17	c  S st    80   2211243       100      2130         0     90771     10650   1311156   no data   no data
1636.67/410.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1637.07/410.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1637.07/410.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1637.07/410.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1637.07/410.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1637.07/410.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1637.07/410.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1637.07/410.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1637.07/410.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1687.75/422.98	c lits-rem:      1395  cl-subs:     9819  v-elim:      0  v-fix:    0  time: 12.71 s
1687.75/422.98	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1688.15/423.00	c vivif2 --  cl tried    80952 cl shrink        0 lits rem          0 time: 0.02
1688.95/423.20	c asymm  cl-useful: 0/541/2130 lits-rem:0 time: 0.20
1688.95/423.21	c calculated reachability. Time: 0.00
1688.95/423.21	c  N st    80   2211243       100      2130         0     80952     10650   1124644   no data   no data
2189.03/548.55	c  N st    81   2711243       100      2130         0    103260     10650   1486793   no data   no data
2189.03/548.55	c  S st    81   2711243       100      2130         0    103260     10650   1486793   no data   no data
2190.22/548.90	c  S st    81   2711744       100      2130         0    103740     10650   1497926   no data   no data
2190.64/548.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2190.64/548.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
2190.64/548.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2190.64/548.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2190.64/548.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2190.64/548.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2190.64/548.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2190.64/548.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2191.06/549.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2250.49/563.93	c lits-rem:      1460  cl-subs:    14683  v-elim:      0  v-fix:    0  time: 14.90 s
2250.49/563.93	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2250.49/563.95	c vivif2 --  cl tried    89057 cl shrink        0 lits rem          0 time: 0.02
2251.69/564.28	c asymm  cl-useful: 0/1205/2130 lits-rem:0 time: 0.33
2251.69/564.28	c calculated reachability. Time: 0.00
2251.69/564.28	c  N st    81   2711744       100      2130         0     89057     10650   1232157   no data   no data
2831.18/709.40	c  N st    82   3211744       100      2130         0    138342     10650   2135562   no data   no data
2831.18/709.40	c  S st    82   3211744       100      2130         0    138342     10650   2135562   no data   no data
2833.17/709.97	c  S st    82   3212245       100      2130         0    138814     10650   2146554   no data   no data
2833.17/709.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2833.57/710.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.08
2833.57/710.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2833.57/710.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2833.57/710.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2833.57/710.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2833.57/710.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2833.57/710.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2833.97/710.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3033.10/760.05	c lits-rem:      3525  cl-subs:    26594  v-elim:      0  v-fix:    0  time: 49.89 s
3033.10/760.05	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3033.10/760.08	c vivif2 --  cl tried   112220 cl shrink        0 lits rem          0 time: 0.03
3034.69/760.46	c asymm  cl-useful: 0/882/2130 lits-rem:0 time: 0.37
3034.69/760.46	c calculated reachability. Time: 0.00
3034.69/760.46	c  N st    82   3212245       100      2130         0    112220     10650   1658675   no data   no data
3611.39/904.98	c  N st    83   3712245       100      2130         0    130993     10650   1994992   no data   no data
3611.39/904.98	c  S st    83   3712245       100      2130         0    130993     10650   1994992   no data   no data
3613.42/905.49	c  S st    83   3712752       100      2130         0    131477     10650   2006433   no data   no data
3613.78/905.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3613.78/905.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.06
3613.78/905.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3613.78/905.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3613.78/905.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3613.78/905.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3613.78/905.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3613.78/905.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3614.18/905.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3732.71/935.33	c lits-rem:      2959  cl-subs:    17187  v-elim:      0  v-fix:    0  time: 29.68 s
3732.71/935.33	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3732.71/935.36	c vivif2 --  cl tried   114290 cl shrink        0 lits rem          0 time: 0.02
3734.31/935.72	c asymm  cl-useful: 0/1045/2130 lits-rem:0 time: 0.36
3734.31/935.73	c calculated reachability. Time: 0.00
3734.31/935.73	c  N st    83   3712752       100      2130         0    114290     10650   1678232   no data   no data
3789.03/949.48	c  F st    84   3751562       100      2130         0    149787     10650   2430425   no data   no data
3789.03/949.48	c  N st    84   3751562       100      2130         0    149787     10650   2430425   no data   no data
3799.37/952.00	c Decided on static restart strategy
3824.91/958.43	c  N st    94   3779867       100      2130         0     99696     10650   1314766   no data   no data
3874.80/970.92	c  N st    96   3815862       100      2130         0    132867     10650   2066167   no data   no data
3927.88/984.27	c  N st    97   3848255       100      2130         0     84901     10650    966732   no data   no data
3988.95/999.53	c  N st    98   3896843       100      2130         0    129320     10650   1893504   no data   no data
4091.53/1025.27	c  N st    99   3969725       100      2130         0    117434     10650   1648824   no data   no data
4238.78/1062.15	c  N st   100   4079048       100      2130         0    137708     10650   2082591   no data   no data
4486.62/1124.28	c  N st   101   4212752       100      2130         0     98379     10650   1218334   no data   no data
4486.62/1124.28	c  S st   101   4212752       100      2130         0     98379     10650   1218334   no data   no data
4488.60/1124.74	c  S st   101   4213257       100      2130         0     98863     10650   1229493   no data   no data
4488.60/1124.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4489.00/1124.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.07
4489.00/1124.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4489.00/1124.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4489.00/1124.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4489.00/1124.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4489.00/1124.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4489.00/1124.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4489.40/1124.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4527.31/1134.45	c lits-rem:       641  cl-subs:     4963  v-elim:      0  v-fix:    0  time:  9.54 s
4527.31/1134.45	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4527.31/1134.48	c vivif2 --  cl tried    93900 cl shrink        0 lits rem          0 time: 0.03
4529.70/1135.05	c asymm  cl-useful: 0/1083/2130 lits-rem:0 time: 0.57
4529.70/1135.05	c calculated reachability. Time: 0.00
4529.70/1135.05	c  N st   101   4213257       100      2130         0     93900     10650   1134245   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366676-1305411923/watcher-3366676-1305411923 -o /tmp/evaluation-result-3366676-1305411923/solver-3366676-1305411923 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366676-1305411923.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.41 7.93 7.97 2/287 5752
/proc/meminfo: memFree=16815176/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 652795100 52396032 347 33554432000 4194304 4580107 140734643642704 18446744073709551615 47475404847026 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 12792 347 299 95 0 7774 0
[pid=5752/tid=5753] ppid=5750 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652795101 52396032 347 33554432000 4194304 4580107 140734643642704 18446744073709551615 47475404847030 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652795101 52396032 347 33554432000 4194304 4580107 140734643642704 18446744073709551615 47475404847026 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652795101 52396032 347 33554432000 4194304 4580107 140734643642704 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.106057 s]
/proc/loadavg: 7.41 7.93 7.97 2/287 5752
/proc/meminfo: memFree=16815176/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=282172 CPUtime=0.39 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 1723 0 0 0 39 0 0 0 18 0 4 0 652795100 288944128 1591 33554432000 4194304 4580107 140734643642704 18446744073709551615 4342256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 70543 1591 376 95 0 65525 0
[pid=5752/tid=5753] ppid=5750 vsize=282172 CPUtime=0.09 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 358 0 0 0 9 0 0 0 18 0 4 0 652795101 288944128 1591 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=282172 CPUtime=0.09 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 361 0 0 0 9 0 0 0 18 0 4 0 652795101 288944128 1591 33554432000 4194304 4580107 140734643642704 18446744073709551615 4322672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=282172 CPUtime=0.09 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 229 0 0 0 9 0 0 0 25 0 4 0 652795101 288944128 1591 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282172

[startup+0.201039 s]
/proc/loadavg: 7.41 7.93 7.97 2/287 5752
/proc/meminfo: memFree=16815176/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=283420 CPUtime=0.77 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 2400 0 0 0 77 0 0 0 18 0 4 0 652795100 290222080 1742 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 70855 1742 377 95 0 65837 0
[pid=5752/tid=5753] ppid=5750 vsize=283420 CPUtime=0.19 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 532 0 0 0 19 0 0 0 18 0 4 0 652795101 290222080 1742 33554432000 4194304 4580107 140734643642704 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=283420 CPUtime=0.19 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 527 0 0 0 19 0 0 0 18 0 4 0 652795101 290222080 1742 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=283420 CPUtime=0.18 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 403 0 0 0 18 0 0 0 25 0 4 0 652795101 290222080 1743 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283420

[startup+0.301022 s]
/proc/loadavg: 7.41 7.93 7.97 2/287 5752
/proc/meminfo: memFree=16815176/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=283892 CPUtime=1.17 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 3007 0 0 0 117 0 0 0 18 0 4 0 652795100 290705408 1943 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 70973 1943 377 95 0 65955 0
[pid=5752/tid=5753] ppid=5750 vsize=283892 CPUtime=0.29 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 751 0 0 0 29 0 0 0 18 0 4 0 652795101 290705408 1943 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=283892 CPUtime=0.29 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 611 0 0 0 29 0 0 0 18 0 4 0 652795101 290705408 1943 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=283892 CPUtime=0.28 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 619 0 0 0 28 0 0 0 25 0 4 0 652795101 290705408 1943 33554432000 4194304 4580107 140734643642704 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283892

[startup+0.70095 s]
/proc/loadavg: 7.41 7.93 7.97 2/287 5752
/proc/meminfo: memFree=16815176/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=285000 CPUtime=2.77 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 5039 0 0 0 277 0 0 0 18 0 4 0 652795100 291840000 2548 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294430 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 71250 2548 377 95 0 66232 0
[pid=5752/tid=5753] ppid=5750 vsize=285000 CPUtime=0.69 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 1204 0 0 0 69 0 0 0 18 0 4 0 652795101 291840000 2548 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294354 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=285000 CPUtime=0.69 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 1175 0 0 0 69 0 0 0 18 0 4 0 652795101 291840000 2548 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=285000 CPUtime=0.68 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 1075 0 0 0 68 0 0 0 25 0 4 0 652795101 291840000 2548 33554432000 4194304 4580107 140734643642704 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285000

[startup+1.50081 s]
/proc/loadavg: 7.41 7.93 7.97 10/298 5764
/proc/meminfo: memFree=16779268/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=285928 CPUtime=5.96 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 10200 0 0 0 595 1 0 0 20 0 4 0 652795100 292790272 5253 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 71482 5253 379 95 0 66464 0
[pid=5752/tid=5753] ppid=5750 vsize=285928 CPUtime=1.49 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 2961 0 0 0 149 0 0 0 19 0 4 0 652795101 292790272 5253 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=285928 CPUtime=1.49 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 1989 0 0 0 149 0 0 0 19 0 4 0 652795101 292790272 5253 33554432000 4194304 4580107 140734643642704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=285928 CPUtime=1.47 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 1872 0 0 0 147 0 0 0 25 0 4 0 652795101 292790272 5253 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285928

[startup+3.10053 s]
/proc/loadavg: 7.46 7.93 7.97 9/298 5764
/proc/meminfo: memFree=16743556/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=285756 CPUtime=12.34 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 19753 0 0 0 1232 2 0 0 25 0 4 0 652795100 292614144 11199 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 71439 11199 379 95 0 66421 0
[pid=5752/tid=5753] ppid=5750 vsize=285756 CPUtime=3.08 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 5251 0 0 0 308 0 0 0 25 0 4 0 652795101 292614144 11199 33554432000 4194304 4580107 140734643642704 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=285756 CPUtime=3.08 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 4898 0 0 0 308 0 0 0 25 0 4 0 652795101 292614144 11199 33554432000 4194304 4580107 140734643642704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=285756 CPUtime=3.06 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 4418 0 0 0 306 0 0 0 25 0 4 0 652795101 292614144 11199 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 285756

[startup+6.30095 s]
/proc/loadavg: 7.46 7.93 7.97 9/298 5764
/proc/meminfo: memFree=16710020/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=289488 CPUtime=25.12 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 28150 0 0 0 2507 5 0 0 25 0 4 0 652795100 296435712 13231 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 72372 13231 379 95 0 67354 0
[pid=5752/tid=5753] ppid=5750 vsize=289488 CPUtime=6.29 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 6840 0 0 0 628 1 0 0 25 0 4 0 652795101 296435712 13231 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=289488 CPUtime=6.29 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 7690 0 0 0 628 1 0 0 25 0 4 0 652795101 296435712 13231 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=289488 CPUtime=6.23 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 6523 0 0 0 622 1 0 0 25 0 4 0 652795101 296435712 13231 33554432000 4194304 4580107 140734643642704 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 289488

[startup+12.7008 s]
/proc/loadavg: 7.50 7.93 7.97 9/298 5764
/proc/meminfo: memFree=16671792/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=299480 CPUtime=50.65 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 44567 0 0 0 5058 7 0 0 25 0 4 0 652795100 306667520 18261 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294487 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 74870 18261 379 95 0 69852 0
[pid=5752/tid=5753] ppid=5750 vsize=299480 CPUtime=12.69 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 10898 0 0 0 1267 2 0 0 25 0 4 0 652795101 306667520 18261 33554432000 4194304 4580107 140734643642704 18446744073709551615 4301724 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=299480 CPUtime=12.69 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 12235 0 0 0 1267 2 0 0 25 0 4 0 652795101 306667520 18261 33554432000 4194304 4580107 140734643642704 18446744073709551615 4451708 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=299480 CPUtime=12.57 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 10611 0 0 0 1256 1 0 0 25 0 4 0 652795101 306667520 18261 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 299480

[startup+25.5005 s]
/proc/loadavg: 7.68 7.95 7.97 9/298 5765
/proc/meminfo: memFree=16630380/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=310312 CPUtime=101.73 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 66622 0 0 0 10161 12 0 0 25 0 4 0 652795100 317759488 21184 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 77578 21184 379 95 0 72560 0
[pid=5752/tid=5753] ppid=5750 vsize=310312 CPUtime=25.49 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 16923 0 0 0 2546 3 0 0 25 0 4 0 652795101 317759488 21184 33554432000 4194304 4580107 140734643642704 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=310312 CPUtime=25.49 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 17418 0 0 0 2546 3 0 0 25 0 4 0 652795101 317759488 21184 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=310312 CPUtime=25.25 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 16134 0 0 0 2523 2 0 0 25 0 4 0 652795101 317759488 21184 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 310312

[startup+51.101 s]
/proc/loadavg: 7.79 7.95 7.97 9/298 5765
/proc/meminfo: memFree=16589256/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=310532 CPUtime=203.91 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 101225 0 0 0 20370 21 0 0 25 0 4 0 652795100 317984768 26850 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 77633 26850 379 95 0 72615 0
[pid=5752/tid=5753] ppid=5750 vsize=310532 CPUtime=51.08 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 25899 0 0 0 5103 5 0 0 25 0 4 0 652795101 317984768 26850 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=310532 CPUtime=51.09 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 26102 0 0 0 5104 5 0 0 25 0 4 0 652795101 317984768 26850 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=310532 CPUtime=50.62 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 23896 0 0 0 5057 5 0 0 25 0 4 0 652795101 317984768 26850 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 310532

[startup+102.301 s]
/proc/loadavg: 7.96 7.97 7.98 9/298 5767
/proc/meminfo: memFree=16526740/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=334444 CPUtime=408.26 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 151652 0 0 0 40791 35 0 0 25 0 4 0 652795100 342470656 37067 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 83611 37067 379 95 0 78593 0
[pid=5752/tid=5753] ppid=5750 vsize=334444 CPUtime=102.29 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 35194 0 0 0 10222 7 0 0 25 0 4 0 652795101 342470656 37069 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=334444 CPUtime=102.3 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 39297 0 0 0 10221 9 0 0 25 0 4 0 652795101 342470656 37069 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=334444 CPUtime=101.36 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 38584 0 0 0 10127 9 0 0 25 0 4 0 652795101 342470656 37069 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.26
Current children cumulated vsize (KiB) 334444

[startup+162.301 s]

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

[pid=5752] ppid=5750 vsize=598900 CPUtime=2802.84 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 461119 0 0 0 280137 147 0 0 25 0 4 0 652795100 613273600 94379 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 149725 94379 379 95 0 144707 0
[pid=5752/tid=5753] ppid=5750 vsize=598900 CPUtime=702.3 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 106834 0 0 0 70197 33 0 0 25 0 4 0 652795101 613273600 94379 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=598900 CPUtime=702.3 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 119863 0 0 0 70189 41 0 0 25 0 4 0 652795101 613273600 94379 33554432000 4194304 4580107 140734643642704 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=598900 CPUtime=695.91 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 116194 0 0 0 69557 34 0 0 25 0 4 0 652795101 613273600 94379 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.84
Current children cumulated vsize (KiB) 598900

[startup+762.301 s]
/proc/loadavg: 8.12 8.08 8.01 10/298 5784
/proc/meminfo: memFree=16098000/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=551616 CPUtime=3042.3 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 477808 0 0 0 304076 154 0 0 25 0 4 0 652795100 564854784 94864 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 137904 94864 379 95 0 132886 0
[pid=5752/tid=5753] ppid=5750 vsize=551616 CPUtime=762.31 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 110475 0 0 0 76196 35 0 0 25 0 4 0 652795101 564854784 94865 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=551616 CPUtime=762.32 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 126374 0 0 0 76188 44 0 0 25 0 4 0 652795101 564854784 94865 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=551616 CPUtime=755.35 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 121612 0 0 0 75499 36 0 0 25 0 4 0 652795101 564854784 94865 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.3
Current children cumulated vsize (KiB) 551616

[startup+822.3 s]
/proc/loadavg: 8.14 8.10 8.02 9/298 5786
/proc/meminfo: memFree=15991584/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=617272 CPUtime=3281.74 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 502203 0 0 0 328012 162 0 0 25 0 4 0 652795100 632086528 105283 33554432000 4194304 4580107 140734643642704 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 154318 105283 379 95 0 149300 0
[pid=5752/tid=5753] ppid=5750 vsize=617272 CPUtime=822.3 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 117082 0 0 0 82193 37 0 0 25 0 4 0 652795101 632086528 105283 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=617272 CPUtime=822.31 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 133070 0 0 0 82184 47 0 0 25 0 4 0 652795101 632086528 105283 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=617272 CPUtime=814.8 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 128055 0 0 0 81442 38 0 0 25 0 4 0 652795101 632086528 105283 33554432000 4194304 4580107 140734643642704 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.74
Current children cumulated vsize (KiB) 617272

[startup+882.311 s]
/proc/loadavg: 8.09 8.09 8.02 9/298 5788
/proc/meminfo: memFree=15995648/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=631960 CPUtime=3521.24 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 521543 0 0 0 351954 170 0 0 25 0 4 0 652795100 647127040 104847 33554432000 4194304 4580107 140734643642704 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 157990 104847 379 95 0 152972 0
[pid=5752/tid=5753] ppid=5750 vsize=631960 CPUtime=882.31 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 121542 0 0 0 88192 39 0 0 25 0 4 0 652795101 647127040 104847 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=631960 CPUtime=882.32 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 139235 0 0 0 88183 49 0 0 25 0 4 0 652795101 647127040 104847 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=631960 CPUtime=874.26 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 132785 0 0 0 87387 39 0 0 25 0 4 0 652795101 647127040 104847 33554432000 4194304 4580107 140734643642704 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3521.24
Current children cumulated vsize (KiB) 631960

[startup+942.301 s]
/proc/loadavg: 8.08 8.08 8.02 10/298 5789
/proc/meminfo: memFree=15951484/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=632040 CPUtime=3760.66 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 540598 0 0 0 375887 179 0 0 25 0 4 0 652795100 647208960 114405 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 158010 114405 379 95 0 152992 0
[pid=5752/tid=5753] ppid=5750 vsize=632040 CPUtime=942.31 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 126277 0 0 0 94189 42 0 0 25 0 4 0 652795101 647208960 114405 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=632040 CPUtime=942.31 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 144966 0 0 0 94179 52 0 0 25 0 4 0 652795101 647208960 114405 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=632040 CPUtime=933.71 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 137511 0 0 0 93330 41 0 0 25 0 4 0 652795101 647208960 114405 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.66
Current children cumulated vsize (KiB) 632040

[startup+1002.3 s]
/proc/loadavg: 8.07 8.08 8.01 9/298 5791
/proc/meminfo: memFree=15916004/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=697684 CPUtime=4000.11 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 557183 0 0 0 399825 186 0 0 25 0 4 0 652795100 714428416 121797 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 174421 121797 379 95 0 169403 0
[pid=5752/tid=5753] ppid=5750 vsize=697684 CPUtime=1002.31 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 132506 0 0 0 100187 44 0 0 25 0 4 0 652795101 714428416 121797 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=697684 CPUtime=1002.31 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 148786 0 0 0 100176 55 0 0 25 0 4 0 652795101 714428416 121797 33554432000 4194304 4580107 140734643642704 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=697684 CPUtime=993.17 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 140636 0 0 0 99274 43 0 0 25 0 4 0 652795101 714428416 121797 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4000.11
Current children cumulated vsize (KiB) 697684

[startup+1062.3 s]
/proc/loadavg: 8.07 8.08 8.01 9/298 5792
/proc/meminfo: memFree=15966704/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=632276 CPUtime=4239.58 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 575650 0 0 0 423763 195 0 0 25 0 4 0 652795100 647450624 112775 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 158069 112775 379 95 0 153051 0
[pid=5752/tid=5753] ppid=5750 vsize=632276 CPUtime=1062.31 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 135665 0 0 0 106186 45 0 0 25 0 4 0 652795101 647450624 112775 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=632276 CPUtime=1062.31 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 152363 0 0 0 106175 56 0 0 25 0 4 0 652795101 647450624 112775 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=632276 CPUtime=1052.63 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 146785 0 0 0 105217 46 0 0 25 0 4 0 652795101 647450624 112775 33554432000 4194304 4580107 140734643642704 18446744073709551615 4305563 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.58
Current children cumulated vsize (KiB) 632276

[startup+1122.3 s]
/proc/loadavg: 8.09 8.09 8.02 9/298 5794
/proc/meminfo: memFree=15959252/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=632276 CPUtime=4479.02 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 588357 0 0 0 447703 199 0 0 25 0 4 0 652795100 647450624 116371 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 158069 116371 379 95 0 153051 0
[pid=5752/tid=5753] ppid=5750 vsize=632276 CPUtime=1122.31 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 141307 0 0 0 112184 47 0 0 25 0 4 0 652795101 647450624 116371 33554432000 4194304 4580107 140734643642704 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=632276 CPUtime=1122.31 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 152454 0 0 0 112175 56 0 0 25 0 4 0 652795101 647450624 116371 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=632276 CPUtime=1112.06 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 149800 0 0 0 111160 46 0 0 25 0 4 0 652795101 647450624 116371 33554432000 4194304 4580107 140734643642704 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4479.02
Current children cumulated vsize (KiB) 632276

[startup+1182.3 s]
/proc/loadavg: 8.07 8.09 8.02 9/298 5796
/proc/meminfo: memFree=15938784/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=632276 CPUtime=4718.47 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 597711 0 0 0 471643 204 0 0 25 0 4 0 652795100 647450624 114936 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 158069 114936 379 95 0 153051 0
[pid=5752/tid=5753] ppid=5750 vsize=632276 CPUtime=1182.31 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 144179 0 0 0 118183 48 0 0 25 0 4 0 652795101 647450624 114936 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=632276 CPUtime=1182.31 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 156172 0 0 0 118172 59 0 0 25 0 4 0 652795101 647450624 114936 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=632276 CPUtime=1171.51 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 150654 0 0 0 117104 47 0 0 25 0 4 0 652795101 647450624 114936 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.47
Current children cumulated vsize (KiB) 632276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.11 8.09 8.02 9/298 5796
/proc/meminfo: memFree=15914848/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=632276 CPUtime=4800.31 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 602424 0 0 0 479825 206 0 0 25 0 4 0 652795100 647450624 119649 33554432000 4194304 4580107 140734643642704 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 158069 119649 379 95 0 153051 0
[pid=5752/tid=5753] ppid=5750 vsize=632276 CPUtime=1202.82 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 146365 0 0 0 120233 49 0 0 25 0 4 0 652795101 647450624 119650 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=632276 CPUtime=1202.82 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 156172 0 0 0 120223 59 0 0 25 0 4 0 652795101 647450624 119650 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=632276 CPUtime=1191.82 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 151986 0 0 0 119135 47 0 0 25 0 4 0 652795101 647450624 119650 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 632276

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

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

[startup+1202.8 s]
/proc/loadavg: 8.11 8.09 8.02 9/298 5796
/proc/meminfo: memFree=15914848/32951124 swapFree=52307768/67111528
[pid=5752] ppid=5750 vsize=632276 CPUtime=4800.31 cores=0,2,4,6
/proc/5752/stat : 5752 (strangenight2-m) R 5750 5752 5130 0 -1 4202496 602424 0 0 0 479825 206 0 0 25 0 4 0 652795100 647450624 119649 33554432000 4194304 4580107 140734643642704 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5752/statm: 158069 119649 379 95 0 153051 0
[pid=5752/tid=5753] ppid=5750 vsize=632276 CPUtime=1202.82 cores=0,2,4,6
/proc/5752/task/5753/stat : 5753 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 146365 0 0 0 120233 49 0 0 25 0 4 0 652795101 647450624 119650 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5752/tid=5754] ppid=5750 vsize=632276 CPUtime=1202.82 cores=0,2,4,6
/proc/5752/task/5754/stat : 5754 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 156172 0 0 0 120223 59 0 0 25 0 4 0 652795101 647450624 119650 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5752/tid=5755] ppid=5750 vsize=632276 CPUtime=1191.82 cores=0,2,4,6
/proc/5752/task/5755/stat : 5755 (strangenight2-m) R 5750 5752 5130 0 -1 4202560 151986 0 0 0 119135 47 0 0 25 0 4 0 652795101 647450624 119650 33554432000 4194304 4580107 140734643642704 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 632276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.36
CPU user time (s): 4798.29
CPU system time (s): 2.07968
CPU usage (%): 399.087
Max. virtual memory (cumulated for all children) (KiB): 753508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.29
system time used= 2.07968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 602425
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= 396
involuntary context switches= 19957

runsolver used 3.02254 second user time and 7.99578 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-15 00:25:23
IDJOB=3366676
IDBENCH=83085
IDSOLVER=1844
FILE ID=node101/3366676-1305411923
RUNJOBID= node101-1305411923-5737
PBS_JOBID= 13324502
Free space on /tmp= 73736 MiB

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

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

MD5SUM BENCH= c58a0ddee2026f6e03d1207be874b747
RANDOM SEED=1952873824

node101.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.841
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.68
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.841
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.841
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.77
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.841
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.83
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.841
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.74
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.841
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.841
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.75
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.841
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:      16816696 kB
Buffers:        324164 kB
Cached:        5879992 kB
SwapCached:      14848 kB
Active:       10831928 kB
Inactive:      5027152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16816696 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:            6000 kB
Writeback:           0 kB
AnonPages:     9651164 kB
Mapped:          14292 kB
Slab:           149900 kB
PageTables:      61808 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41975988 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= 73728 MiB
End job on node101 at 2011-05-15 00:45:28