Trace number 3174096

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.34 1202.13

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf
MD5SUMbf9c7e319eca3277c9c5b6246acb470c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark391.674
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-3174096-1304091187.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	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.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.17/0.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:      42 undec:       5 neg:      53
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4917       100      2130         0      4595     10650     99435   no data   no data
3.17/0.80	c  N st    10     11299       100      2130         0      4246     10650     74192   no data   no data
3.17/0.80	c  N st    11     17043       100      2130         0      9584     10650    187236   no data   no data
3.17/0.80	c  F st    12     25000       100      2130         0     11757     10650    234784   no data   no data
3.17/0.80	c  N st    12     25000       100      2130         0     11757     10650    234784   no data   no data
3.97/1.00	c Decided on static restart strategy
3.97/1.00	c  N st    18     30001       100      2130         0     10101     10650    188758   no data   no data
3.97/1.00	c  S st    18     30001       100      2130         0     10101     10650    188758   no data   no data
3.97/1.10	c  S st    18     30506       100      2130         0     10586     10650    199428   no data   no data
3.97/1.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.97/1.10	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.97/1.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.97/1.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.10	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.40/1.20	c lits-rem:       191  cl-subs:     1759  v-elim:      0  v-fix:    0  time:  0.16 s
5.17/1.30	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
5.17/1.30	c calculated reachability. Time: 0.00
5.17/1.30	c  N st    18     30506       100      2130         0      8827     10650    161088   no data   no data
5.91/1.73	c  N st    20     37617       100      2130         0      8102     10650    130014   no data   no data
12.37/3.44	c  N st    21     44018       100      2130         0     14049     10650    257189   no data   no data
12.77/3.54	c  S st    22     45760       100      2130         0     15672     10650    293450   no data   no data
12.77/3.58	c  S st    22     46263       100      2130         0     16156     10650    304416   no data   no data
12.77/3.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.77/3.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
12.77/3.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
12.77/3.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.77/3.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.77/3.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
12.77/3.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
12.77/3.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
12.77/3.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.77/4.00	c lits-rem:       416  cl-subs:     2364  v-elim:      0  v-fix:    0  time:  0.40 s
14.77/4.00	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
14.77/4.00	c vivif2 --  cl tried    13792 cl shrink        0 lits rem          0 time: 0.00
14.77/4.05	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
14.77/4.05	c calculated reachability. Time: 0.00
14.77/4.05	c  N st    22     46263       100      2130         0     13792     10650    254579   no data   no data
17.58/4.80	c  N st    23     60661       100      2130         0      9726     10650    143459   no data   no data
19.55/5.27	c  N st    24     69394       100      2130         0     17766     10650    313369   no data   no data
19.55/5.27	c  S st    24     69394       100      2130         0     17766     10650    313369   no data   no data
19.94/5.32	c  S st    24     69900       100      2130         0     18257     10650    324213   no data   no data
19.94/5.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
19.94/5.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
19.94/5.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
19.94/5.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
19.94/5.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
19.94/5.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
19.94/5.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.94/5.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
19.94/5.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
21.96/5.83	c lits-rem:       439  cl-subs:     2492  v-elim:      0  v-fix:    0  time:  0.50 s
21.96/5.83	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
21.96/5.84	c vivif2 --  cl tried    15765 cl shrink        0 lits rem          0 time: 0.00
21.96/5.89	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
21.96/5.89	c calculated reachability. Time: 0.00
21.96/5.89	c  N st    24     69900       100      2130         0     15765     10650    272627   no data   no data
26.33/6.94	c  F st    25     87501       100      2130         0     21990     10650    399817   no data   no data
26.33/6.94	c  N st    25     87501       100      2130         0     21990     10650    399817   no data   no data
27.51/7.26	c Decided on static restart strategy
28.31/7.43	c  N st    32     95539       100      2130         0     18434     10650    316401   no data   no data
30.73/8.02	c  N st    34    104851       100      2130         0     15064     10650    240726   no data   no data
30.73/8.02	c  S st    34    104851       100      2130         0     15064     10650    240726   no data   no data
30.73/8.06	c  S st    34    105353       100      2130         0     15545     10650    251380   no data   no data
30.73/8.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.73/8.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
30.73/8.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30.73/8.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
30.73/8.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
30.73/8.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
30.73/8.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.73/8.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
30.73/8.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
31.51/8.22	c lits-rem:       138  cl-subs:     1097  v-elim:      0  v-fix:    0  time:  0.14 s
31.51/8.22	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
31.51/8.22	c vivif2 --  cl tried    14448 cl shrink        0 lits rem          0 time: 0.00
31.51/8.27	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
31.51/8.27	c calculated reachability. Time: 0.00
31.51/8.27	c  N st    34    105353       100      2130         0     14448     10650    227968   no data   no data
33.91/8.85	c  N st    35    114951       100      2130         0     23363     10650    429618   no data   no data
37.50/9.76	c  N st    36    129350       100      2130         0     23767     10650    419972   no data   no data
43.49/11.25	c  N st    37    150945       100      2130         0     15032     10650    199429   no data   no data
45.09/11.65	c  S st    38    158029       100      2130         0     21629     10650    347209   no data   no data
45.50/11.71	c  S st    38    158531       100      2130         0     22108     10650    358076   no data   no data
45.50/11.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.50/11.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
45.50/11.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.50/11.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.50/11.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.50/11.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
45.50/11.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.50/11.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
45.50/11.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.08/12.11	c lits-rem:       405  cl-subs:     1766  v-elim:      0  v-fix:    0  time:  0.38 s
47.08/12.11	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
47.08/12.12	c vivif2 --  cl tried    20342 cl shrink        0 lits rem          0 time: 0.00
47.08/12.19	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
47.08/12.19	c calculated reachability. Time: 0.00
47.08/12.19	c  N st    38    158531       100      2130         0     20342     10650    320467   no data   no data
63.43/16.28	c  N st    39    207119       100      2130         0     32929     10650    567605   no data   no data
74.63/19.03	c  N st    40    237798       100      2130         0     25109     10650    379790   no data   no data
74.63/19.03	c  S st    40    237798       100      2130         0     25109     10650    379790   no data   no data
74.63/19.10	c  S st    40    238302       100      2130         0     25587     10650    390702   no data   no data
74.63/19.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.04/19.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
75.04/19.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.04/19.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.04/19.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.04/19.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
75.04/19.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.04/19.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.04/19.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.01/19.64	c lits-rem:       370  cl-subs:     2306  v-elim:      0  v-fix:    0  time:  0.52 s
77.01/19.64	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
77.01/19.65	c vivif2 --  cl tried    23281 cl shrink        0 lits rem          0 time: 0.00
77.41/19.73	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
77.41/19.73	c calculated reachability. Time: 0.00
77.41/19.73	c  N st    40    238302       100      2130         0     23281     10650    344243   no data   no data
102.55/26.04	c  F st    41    306251       100      2130         0     25139     10650    347954   no data   no data
102.55/26.04	c  N st    41    306251       100      2130         0     25139     10650    347954   no data   no data
104.55/26.51	c Decided on static restart strategy
114.55/29.07	c  N st    51    334550       100      2130         0     29239     10650    417886   no data   no data
125.31/31.74	c  N st    53    357454       100      2130         0     27331     10650    369801   no data   no data
125.31/31.74	c  S st    53    357454       100      2130         0     27331     10650    369801   no data   no data
125.71/31.81	c  S st    53    357958       100      2130         0     27820     10650    380913   no data   no data
125.71/31.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
125.71/31.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
125.71/31.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
125.71/31.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
125.71/31.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.71/31.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
125.71/31.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
125.71/31.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
125.71/31.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
126.91/32.12	c lits-rem:       286  cl-subs:     1300  v-elim:      0  v-fix:    0  time:  0.29 s
126.91/32.12	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
126.91/32.13	c vivif2 --  cl tried    26520 cl shrink        0 lits rem          0 time: 0.00
127.32/32.22	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
127.32/32.22	c calculated reachability. Time: 0.00
127.32/32.22	c  N st    53    357958       100      2130         0     26520     10650    354858   no data   no data
142.47/36.04	c  N st    54    390350       100      2130         0     32616     10650    470628   no data   no data
167.63/42.39	c  N st    55    438939       100      2130         0     26592     10650    324569   no data   no data
199.57/50.34	c  N st    56    511822       100      2130         0     39329     10650    583698   no data   no data
210.35/53.03	c  N st    57    536938       100      2130         0     33973     10650    449150   no data   no data
210.35/53.03	c  S st    57    536938       100      2130         0     33973     10650    449150   no data   no data
210.77/53.11	c  S st    57    537439       100      2130         0     34447     10650    459711   no data   no data
210.77/53.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
210.77/53.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
210.77/53.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
210.77/53.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
210.77/53.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
210.77/53.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
210.77/53.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
210.77/53.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
210.77/53.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.75/53.61	c lits-rem:       611  cl-subs:     1744  v-elim:      0  v-fix:    0  time:  0.46 s
212.75/53.61	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
212.75/53.61	c vivif2 --  cl tried    32703 cl shrink        0 lits rem          0 time: 0.00
213.15/53.73	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
213.15/53.74	c calculated reachability. Time: 0.00
213.15/53.74	c  N st    57    537439       100      2130         0     32703     10650    425075   no data   no data
290.63/73.10	c  N st    58    701423       100      2130         0     59898     10650    955624   no data   no data
347.74/87.48	c  N st    59    806159       100      2130         0     54398     10650    806226   no data   no data
347.74/87.48	c  S st    59    806159       100      2130         0     54398     10650    806226   no data   no data
348.54/87.63	c  S st    59    806662       100      2130         0     54874     10650    817056   no data   no data
348.54/87.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
348.54/87.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
348.54/87.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
348.54/87.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
348.54/87.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
348.54/87.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
348.54/87.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
348.54/87.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
348.54/87.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
361.31/90.84	c lits-rem:      1023  cl-subs:     6713  v-elim:      0  v-fix:    0  time:  3.15 s
361.31/90.84	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
361.31/90.85	c vivif2 --  cl tried    48161 cl shrink        0 lits rem          0 time: 0.01
362.11/91.07	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.21
362.11/91.07	c calculated reachability. Time: 0.00
362.11/91.07	c  N st    59    806662       100      2130         0     48161     10650    691770   no data   no data
517.88/130.07	c  F st    60   1071875       100      2130         0     63632     10650    972936   no data   no data
517.88/130.07	c  N st    60   1071875       100      2130         0     63632     10650    972936   no data   no data
522.27/131.19	c Decided on static restart strategy
543.44/136.47	c  N st    70   1100178       100      2130         0     48419     10650    618098   no data   no data
570.58/143.23	c  N st    72   1136172       100      2130         0     81571     10650   1335512   no data   no data
593.74/149.03	c  N st    73   1168565       100      2130         0     69092     10650   1067853   no data   no data
634.06/159.12	c  N st    74   1209993       100      2130         0     63869     10650    929221   no data   no data
634.06/159.12	c  S st    74   1209993       100      2130         0     63869     10650    929221   no data   no data
634.86/159.35	c  S st    74   1210496       100      2130         0     64353     10650    940195   no data   no data
634.86/159.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
634.86/159.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
634.86/159.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
634.86/159.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
634.86/159.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
634.86/159.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
634.86/159.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
635.26/159.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
635.26/159.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
651.23/163.49	c lits-rem:      1079  cl-subs:     5459  v-elim:      0  v-fix:    0  time:  4.05 s
651.23/163.49	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
651.63/163.50	c vivif2 --  cl tried    58894 cl shrink        0 lits rem          0 time: 0.01
652.43/163.79	c asymm  cl-useful: 0/1969/2130 lits-rem:0 time: 0.29
652.43/163.79	c calculated reachability. Time: 0.00
652.43/163.79	c  N st    74   1210496       100      2130         0     58894     10650    830586   no data   no data
714.73/179.38	c  N st    75   1283378       100      2130         0     81928     10650   1319932   no data   no data
811.38/203.59	c  N st    76   1392702       100      2130         0     91223     10650   1458853   no data   no data
953.59/239.15	c  N st    77   1556687       100      2130         0     98682     10650   1597665   no data   no data
1092.16/273.85	c  N st    78   1710496       100      2130         0     88300     10650   1332576   no data   no data
1092.16/273.85	c  S st    78   1710496       100      2130         0     88300     10650   1332576   no data   no data
1093.77/274.22	c  S st    78   1710999       100      2130         0     88774     10650   1343905   no data   no data
1093.77/274.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1093.77/274.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
1093.77/274.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1093.77/274.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1093.77/274.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1093.77/274.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1093.77/274.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1093.77/274.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1094.17/274.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1204.38/301.96	c lits-rem:      1592  cl-subs:    11290  v-elim:      0  v-fix:    0  time: 27.59 s
1204.38/301.96	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1204.38/301.98	c vivif2 --  cl tried    77484 cl shrink        0 lits rem          0 time: 0.02
1206.78/302.52	c asymm  cl-useful: 0/1464/2130 lits-rem:0 time: 0.54
1206.78/302.53	c calculated reachability. Time: 0.00
1206.78/302.53	c  N st    78   1710999       100      2130         0     77484     10650   1132589   no data   no data
1539.90/385.92	c  N st    79   2079963       100      2130         0     89742     10650   1322700   no data   no data
1675.68/419.95	c  N st    80   2210999       100      2130         0     93093     10650   1354838   no data   no data
1675.68/419.95	c  S st    80   2210999       100      2130         0     93093     10650   1354838   no data   no data
1676.88/420.26	c  S st    80   2211503       100      2130         0     93576     10650   1366153   no data   no data
1676.88/420.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1677.28/420.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1677.28/420.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1677.28/420.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1677.28/420.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1677.28/420.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1677.28/420.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1677.28/420.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1677.28/420.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1737.59/435.43	c lits-rem:      1788  cl-subs:    11145  v-elim:      0  v-fix:    0  time: 15.05 s
1737.59/435.43	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1737.59/435.45	c vivif2 --  cl tried    82431 cl shrink        0 lits rem          0 time: 0.02
1738.79/435.75	c asymm  cl-useful: 0/666/2130 lits-rem:0 time: 0.30
1738.79/435.76	c calculated reachability. Time: 0.00
1738.79/435.76	c  N st    80   2211503       100      2130         0     82431     10650   1155970   no data   no data
2275.16/570.01	c  N st    81   2711503       100      2130         0    105238     10650   1563004   no data   no data
2275.16/570.01	c  S st    81   2711503       100      2130         0    105238     10650   1563004   no data   no data
2276.36/570.38	c  S st    81   2712007       100      2130         0    105714     10650   1573705   no data   no data
2276.36/570.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2276.76/570.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2276.76/570.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2276.76/570.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2276.76/570.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2276.76/570.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2276.76/570.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2276.76/570.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2277.16/570.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2345.87/587.77	c lits-rem:      1405  cl-subs:    13359  v-elim:      0  v-fix:    0  time: 17.23 s
2345.87/587.77	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2345.87/587.79	c vivif2 --  cl tried    92355 cl shrink        0 lits rem          0 time: 0.02
2347.84/588.24	c asymm  cl-useful: 0/1346/2130 lits-rem:0 time: 0.45
2347.84/588.25	c calculated reachability. Time: 0.00
2347.84/588.25	c  N st    81   2712007       100      2130         0     92355     10650   1315299   no data   no data
2958.99/741.25	c  N st    82   3212007       100      2130         0    141166     10650   2217725   no data   no data
2958.99/741.25	c  S st    82   3212007       100      2130         0    141166     10650   2217725   no data   no data
2961.00/741.71	c  S st    82   3212512       100      2130         0    141653     10650   2229096   no data   no data
2961.00/741.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2961.00/741.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2961.00/741.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2961.00/741.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2961.00/741.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2961.00/741.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2961.00/741.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2961.41/741.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2961.41/741.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3156.72/790.72	c lits-rem:      2332  cl-subs:    24325  v-elim:      0  v-fix:    0  time: 48.82 s
3156.72/790.72	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3156.72/790.74	c vivif2 --  cl tried   117328 cl shrink        0 lits rem          0 time: 0.03
3157.92/791.07	c asymm  cl-useful: 0/784/2130 lits-rem:0 time: 0.33
3157.92/791.07	c calculated reachability. Time: 0.00
3157.92/791.07	c  N st    82   3212512       100      2130         0    117328     10650   1791340   no data   no data
3739.25/936.53	c  N st    83   3712514       100      2130         0    135308     10650   2048553   no data   no data
3739.25/936.53	c  S st    83   3712514       100      2130         0    135308     10650   2048553   no data   no data
3740.83/936.99	c  S st    83   3713015       100      2130         0    135793     10650   2059929   no data   no data
3741.23/937.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3741.23/937.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.06
3741.23/937.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3741.23/937.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3741.23/937.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3741.23/937.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3741.23/937.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3741.63/937.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3741.63/937.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3877.04/971.01	c lits-rem:      1978  cl-subs:    20400  v-elim:      0  v-fix:    0  time: 33.84 s
3877.04/971.01	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3877.04/971.03	c vivif2 --  cl tried   115393 cl shrink        0 lits rem          0 time: 0.02
3878.64/971.40	c asymm  cl-useful: 0/1064/2130 lits-rem:0 time: 0.36
3878.64/971.40	c calculated reachability. Time: 0.00
3878.64/971.40	c  N st    83   3713015       100      2130         0    115393     10650   1690612   no data   no data
3933.37/985.11	c  F st    84   3751563       100      2130         0    150515     10650   2439703   no data   no data
3933.37/985.11	c  N st    84   3751563       100      2130         0    150515     10650   2439703   no data   no data
3942.16/987.35	c Decided on static restart strategy
3966.14/993.36	c  N st    94   3779867       100      2130         0    100960     10650   1358221   no data   no data
4016.09/1005.89	c  N st    96   3815859       100      2130         0    134224     10650   2101991   no data   no data
4066.02/1018.36	c  N st    97   3848251       100      2130         0     86420     10650   1012036   no data   no data
4118.75/1031.54	c  N st    98   3896840       100      2130         0    131199     10650   2000205   no data   no data
4221.03/1057.19	c  N st    99   3969723       100      2130         0    119452     10650   1721861   no data   no data
4385.63/1098.38	c  N st   100   4079047       100      2130         0    139460     10650   2078972   no data   no data
4610.11/1154.52	c  N st   101   4213016       100      2130         0     99935     10650   1243430   no data   no data
4610.11/1154.52	c  S st   101   4213016       100      2130         0     99935     10650   1243430   no data   no data
4611.71/1154.97	c  S st   101   4213518       100      2130         0    100411     10650   1254730   no data   no data
4611.71/1154.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4612.11/1155.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.08
4612.11/1155.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4612.11/1155.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4612.11/1155.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4612.11/1155.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4612.11/1155.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4612.11/1155.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4612.51/1155.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4658.04/1166.55	c lits-rem:       790  cl-subs:     6346  v-elim:      0  v-fix:    0  time: 11.40 s
4658.04/1166.55	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4658.04/1166.57	c vivif2 --  cl tried    94065 cl shrink        0 lits rem          0 time: 0.02
4660.45/1167.11	c asymm  cl-useful: 0/1066/2130 lits-rem:0 time: 0.53
4660.45/1167.11	c calculated reachability. Time: 0.00
4660.45/1167.11	c  N st   101   4213518       100      2130         0     94065     10650   1134903   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-3174096-1304091187/watcher-3174096-1304091187 -o /tmp/evaluation-result-3174096-1304091187/solver-3174096-1304091187 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174096-1304091187.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.71 7.98 8.04 6/178 12320
/proc/meminfo: memFree=26344200/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 520717365 52441088 347 33554432000 4194304 4627427 140736762573264 18446744073709551615 47563513120690 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 12803 347 299 106 0 7774 0
[pid=12320/tid=12321] ppid=12318 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520717366 52441088 347 33554432000 4194304 4627427 140736762573264 18446744073709551615 47563513120684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520717366 52441088 347 33554432000 4194304 4627427 140736762573264 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520717366 52441088 347 33554432000 4194304 4627427 140736762573264 18446744073709551615 47563513120690 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.101154 s]
/proc/loadavg: 7.71 7.98 8.04 6/178 12320
/proc/meminfo: memFree=26344200/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=282240 CPUtime=0.38 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 1718 0 0 0 38 0 0 0 18 0 4 0 520717365 289013760 1590 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309119 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 70560 1590 383 106 0 65531 0
[pid=12320/tid=12321] ppid=12318 vsize=282240 CPUtime=0.09 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 372 0 0 0 9 0 0 0 18 0 4 0 520717366 289013760 1590 33554432000 4194304 4627427 140736762573264 18446744073709551615 4333037 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=282240 CPUtime=0.09 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 335 0 0 0 9 0 0 0 25 0 4 0 520717366 289013760 1591 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=282240 CPUtime=0.09 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 255 0 0 0 9 0 0 0 18 0 4 0 520717366 289013760 1591 33554432000 4194304 4627427 140736762573264 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282240

[startup+0.201137 s]
/proc/loadavg: 7.71 7.98 8.04 6/178 12320
/proc/meminfo: memFree=26344200/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=283620 CPUtime=0.78 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 2433 0 0 0 78 0 0 0 18 0 4 0 520717365 290426880 1781 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 70905 1781 384 106 0 65876 0
[pid=12320/tid=12321] ppid=12318 vsize=283620 CPUtime=0.19 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 542 0 0 0 19 0 0 0 18 0 4 0 520717366 290426880 1781 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=283620 CPUtime=0.19 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 509 0 0 0 19 0 0 0 25 0 4 0 520717366 290426880 1781 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=283620 CPUtime=0.19 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 447 0 0 0 19 0 0 0 18 0 4 0 520717366 290426880 1781 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283620

[startup+0.301119 s]
/proc/loadavg: 7.71 7.98 8.04 6/178 12320
/proc/meminfo: memFree=26344200/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=283936 CPUtime=1.18 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 2917 0 0 0 118 0 0 0 18 0 4 0 520717365 290750464 2063 33554432000 4194304 4627427 140736762573264 18446744073709551615 4324120 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 70984 2063 384 106 0 65955 0
[pid=12320/tid=12321] ppid=12318 vsize=283936 CPUtime=0.29 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 642 0 0 0 29 0 0 0 18 0 4 0 520717366 290750464 2063 33554432000 4194304 4627427 140736762573264 18446744073709551615 4350114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=283936 CPUtime=0.29 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 601 0 0 0 29 0 0 0 25 0 4 0 520717366 290750464 2063 33554432000 4194304 4627427 140736762573264 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=283936 CPUtime=0.29 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 642 0 0 0 29 0 0 0 18 0 4 0 520717366 290750464 2063 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283936

[startup+0.70105 s]
/proc/loadavg: 7.71 7.98 8.04 6/178 12320
/proc/meminfo: memFree=26344200/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=285100 CPUtime=2.77 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 5012 0 0 0 277 0 0 0 18 0 4 0 520717365 291942400 2555 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 71275 2555 384 106 0 66246 0
[pid=12320/tid=12321] ppid=12318 vsize=285100 CPUtime=0.69 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 1174 0 0 0 69 0 0 0 18 0 4 0 520717366 291942400 2555 33554432000 4194304 4627427 140736762573264 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=285100 CPUtime=0.69 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 1150 0 0 0 69 0 0 0 25 0 4 0 520717366 291942400 2555 33554432000 4194304 4627427 140736762573264 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=285100 CPUtime=0.69 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 1107 0 0 0 69 0 0 0 18 0 4 0 520717366 291942400 2555 33554432000 4194304 4627427 140736762573264 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285100

[startup+1.50091 s]
/proc/loadavg: 7.71 7.98 8.04 10/182 12324
/proc/meminfo: memFree=26333504/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=291444 CPUtime=5.91 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 10174 0 0 0 590 1 0 0 20 0 4 0 520717365 298438656 5316 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12320/statm: 72861 5316 388 106 0 67832 0
[pid=12320/tid=12321] ppid=12318 vsize=291444 CPUtime=1.48 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 2968 0 0 0 148 0 0 0 20 0 4 0 520717366 298438656 5316 33554432000 4194304 4627427 140736762573264 18446744073709551615 4333536 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=291444 CPUtime=1.48 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 1956 0 0 0 148 0 0 0 25 0 4 0 520717366 298438656 5316 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=291444 CPUtime=1.49 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 1886 0 0 0 149 0 0 0 19 0 4 0 520717366 298438656 5316 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 291444

[startup+3.10064 s]
/proc/loadavg: 7.71 7.98 8.04 9/182 12324
/proc/meminfo: memFree=26313536/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=291452 CPUtime=11.23 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 16776 0 0 0 1114 9 0 0 22 0 4 0 520717365 298446848 8699 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 72863 8699 388 106 0 67834 0
[pid=12320/tid=12321] ppid=12318 vsize=291452 CPUtime=2.92 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 3968 0 0 0 291 1 0 0 24 0 4 0 520717366 298446848 8699 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=291452 CPUtime=3.07 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 4769 0 0 0 307 0 0 0 25 0 4 0 520717366 298446848 8699 33554432000 4194304 4627427 140736762573264 18446744073709551615 4352156 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=291452 CPUtime=3.08 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 4524 0 0 0 306 2 0 0 25 0 4 0 520717366 298446848 8699 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 291452

[startup+6.30109 s]
/proc/loadavg: 7.74 7.98 8.04 9/182 12324
/proc/meminfo: memFree=26288232/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=322284 CPUtime=23.94 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 27080 0 0 0 2382 12 0 0 25 0 4 0 520717365 330018816 13570 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 80571 13570 388 106 0 75542 0
[pid=12320/tid=12321] ppid=12318 vsize=322284 CPUtime=6.11 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 6933 0 0 0 610 1 0 0 25 0 4 0 520717366 330018816 13570 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=322284 CPUtime=6.25 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 7469 0 0 0 624 1 0 0 25 0 4 0 520717366 330018816 13570 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=322284 CPUtime=6.28 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 6538 0 0 0 626 2 0 0 25 0 4 0 520717366 330018816 13570 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.94
Current children cumulated vsize (KiB) 322284

[startup+12.701 s]
/proc/loadavg: 7.76 7.98 8.04 9/182 12324
/proc/meminfo: memFree=26272624/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=323584 CPUtime=49.47 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 41356 0 0 0 4933 14 0 0 25 0 4 0 520717365 331350016 18946 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 80896 18947 388 106 0 75867 0
[pid=12320/tid=12321] ppid=12318 vsize=323584 CPUtime=12.51 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 10614 0 0 0 1249 2 0 0 25 0 4 0 520717366 331350016 18947 33554432000 4194304 4627427 140736762573264 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=323584 CPUtime=12.62 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 12291 0 0 0 1260 2 0 0 25 0 4 0 520717366 331350016 18947 33554432000 4194304 4627427 140736762573264 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=323584 CPUtime=12.67 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 10863 0 0 0 1264 3 0 0 25 0 4 0 520717366 331350016 18947 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.47
Current children cumulated vsize (KiB) 323584

[startup+25.5008 s]
/proc/loadavg: 7.81 7.98 8.04 9/182 12324
/proc/meminfo: memFree=26246080/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=315832 CPUtime=100.55 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 60289 0 0 0 10035 20 0 0 25 0 4 0 520717365 323411968 22882 33554432000 4194304 4627427 140736762573264 18446744073709551615 4322179 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 78958 22882 388 106 0 73929 0
[pid=12320/tid=12321] ppid=12318 vsize=315832 CPUtime=25.31 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 16695 0 0 0 2527 4 0 0 25 0 4 0 520717366 323411968 22882 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=315832 CPUtime=25.36 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 17668 0 0 0 2533 3 0 0 25 0 4 0 520717366 323411968 22882 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=315832 CPUtime=25.45 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 16792 0 0 0 2541 4 0 0 25 0 4 0 520717366 323411968 22882 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.55
Current children cumulated vsize (KiB) 315832

[startup+51.1004 s]
/proc/loadavg: 7.94 8.00 8.05 9/182 12325
/proc/meminfo: memFree=26203052/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=319940 CPUtime=202.76 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 89746 0 0 0 20245 31 0 0 25 0 4 0 520717365 327618560 27456 33554432000 4194304 4627427 140736762573264 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 79985 27456 388 106 0 74956 0
[pid=12320/tid=12321] ppid=12318 vsize=319940 CPUtime=50.9 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 25191 0 0 0 5084 6 0 0 25 0 4 0 520717366 327618560 27456 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=319940 CPUtime=50.82 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 26152 0 0 0 5078 4 0 0 25 0 4 0 520717366 327618560 27456 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=319940 CPUtime=51.03 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 25623 0 0 0 5096 7 0 0 25 0 4 0 520717366 327618560 27456 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.76
Current children cumulated vsize (KiB) 319940

[startup+102.301 s]
/proc/loadavg: 8.10 8.03 8.05 9/182 12326
/proc/meminfo: memFree=26135704/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=391296 CPUtime=407.23 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 135750 0 0 0 40678 45 0 0 25 0 4 0 520717365 400687104 39734 33554432000 4194304 4627427 140736762573264 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 97824 39734 388 106 0 92795 0
[pid=12320/tid=12321] ppid=12318 vsize=391296 CPUtime=102.09 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 36160 0 0 0 10199 10 0 0 25 0 4 0 520717366 400687104 39734 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=391296 CPUtime=101.76 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 40299 0 0 0 10169 7 0 0 25 0 4 0 520717366 400687104 39734 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=391296 CPUtime=102.21 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 40308 0 0 0 10210 11 0 0 25 0 4 0 520717366 400687104 39734 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.23
Current children cumulated vsize (KiB) 391296

[startup+162.3 s]

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

[pid=12320] ppid=12318 vsize=507492 CPUtime=2803.58 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 443113 0 0 0 280186 172 0 0 25 0 4 0 520717365 519671808 90940 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 126873 90940 388 106 0 121844 0
[pid=12320/tid=12321] ppid=12318 vsize=507492 CPUtime=702.02 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 117025 0 0 0 70163 39 0 0 25 0 4 0 520717366 519671808 90940 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=507492 CPUtime=698.69 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 130636 0 0 0 69826 43 0 0 25 0 4 0 520717366 519671808 90940 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=507492 CPUtime=702.18 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 122964 0 0 0 70177 41 0 0 25 0 4 0 520717366 519671808 90940 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2803.58
Current children cumulated vsize (KiB) 507492

[startup+762.301 s]
/proc/loadavg: 4.70 6.84 7.59 5/173 12362
/proc/meminfo: memFree=26268244/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=500800 CPUtime=3043.28 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 461595 0 0 0 304146 182 0 0 25 0 4 0 520717365 512819200 89345 33554432000 4194304 4627427 140736762573264 18446744073709551615 4420181 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 125200 89345 388 106 0 120171 0
[pid=12320/tid=12321] ppid=12318 vsize=500800 CPUtime=762.02 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 121720 0 0 0 76160 42 0 0 25 0 4 0 520717366 512819200 89345 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=500800 CPUtime=758.4 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 137552 0 0 0 75794 46 0 0 25 0 4 0 520717366 512819200 89345 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=500800 CPUtime=762.18 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 126996 0 0 0 76175 43 0 0 25 0 4 0 520717366 512819200 89345 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3043.28
Current children cumulated vsize (KiB) 500800

[startup+822.301 s]
/proc/loadavg: 4.29 6.33 7.37 5/173 12364
/proc/meminfo: memFree=26238724/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=588084 CPUtime=3282.97 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 481652 0 0 0 328104 193 0 0 25 0 4 0 520717365 602198016 96621 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 147021 96621 388 106 0 141992 0
[pid=12320/tid=12321] ppid=12318 vsize=588084 CPUtime=822.01 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 127931 0 0 0 82155 46 0 0 25 0 4 0 520717366 602198016 96621 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=588084 CPUtime=818.11 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 143796 0 0 0 81762 49 0 0 25 0 4 0 520717366 602198016 96621 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=588084 CPUtime=822.18 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 132419 0 0 0 82173 45 0 0 25 0 4 0 520717366 602198016 96621 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3282.97
Current children cumulated vsize (KiB) 588084

[startup+882.3 s]
/proc/loadavg: 4.18 5.92 7.16 5/173 12365
/proc/meminfo: memFree=26235860/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=614132 CPUtime=3522.68 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 505605 0 0 0 352062 206 0 0 25 0 4 0 520717365 628871168 97444 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 153533 97444 388 106 0 148504 0
[pid=12320/tid=12321] ppid=12318 vsize=614132 CPUtime=882 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 134733 0 0 0 88152 48 0 0 25 0 4 0 520717366 628871168 97444 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=614132 CPUtime=877.84 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 150743 0 0 0 87731 53 0 0 25 0 4 0 520717366 628871168 97444 33554432000 4194304 4627427 140736762573264 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=614132 CPUtime=882.18 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 137202 0 0 0 88171 47 0 0 25 0 4 0 520717366 628871168 97444 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3522.68
Current children cumulated vsize (KiB) 614132

[startup+942.301 s]
/proc/loadavg: 4.06 5.57 6.96 5/173 12367
/proc/meminfo: memFree=26208576/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=614972 CPUtime=3762.4 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 524694 0 0 0 376025 215 0 0 25 0 4 0 520717365 629731328 104088 33554432000 4194304 4627427 140736762573264 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 153743 104088 388 106 0 148714 0
[pid=12320/tid=12321] ppid=12318 vsize=614972 CPUtime=942 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 141417 0 0 0 94149 51 0 0 25 0 4 0 520717366 629731328 104088 33554432000 4194304 4627427 140736762573264 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=614972 CPUtime=937.56 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 156857 0 0 0 93701 55 0 0 25 0 4 0 520717366 629731328 104088 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=614972 CPUtime=942.18 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 143123 0 0 0 94168 50 0 0 25 0 4 0 520717366 629731328 104088 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.4
Current children cumulated vsize (KiB) 614972

[startup+1002.3 s]
/proc/loadavg: 4.08 5.29 6.77 5/173 12368
/proc/meminfo: memFree=26224192/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=615212 CPUtime=4002.09 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 540798 0 0 0 399984 225 0 0 25 0 4 0 520717365 629977088 101325 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 153803 101325 388 106 0 148774 0
[pid=12320/tid=12321] ppid=12318 vsize=615212 CPUtime=1002 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 147257 0 0 0 100145 55 0 0 25 0 4 0 520717366 629977088 101325 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=615212 CPUtime=997.27 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 163658 0 0 0 99669 58 0 0 25 0 4 0 520717366 629977088 101325 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=615212 CPUtime=1002.18 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 145895 0 0 0 100165 53 0 0 25 0 4 0 520717366 629977088 101325 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.09
Current children cumulated vsize (KiB) 615212

[startup+1062.3 s]
/proc/loadavg: 4.09 5.07 6.60 5/173 12370
/proc/meminfo: memFree=26198884/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=615852 CPUtime=4241.8 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 558583 0 0 0 423948 232 0 0 25 0 4 0 520717365 630632448 106589 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 153963 106589 388 106 0 148934 0
[pid=12320/tid=12321] ppid=12318 vsize=615852 CPUtime=1061.99 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 153666 0 0 0 106142 57 0 0 25 0 4 0 520717366 630632448 106589 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=615852 CPUtime=1057 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 169794 0 0 0 105639 61 0 0 25 0 4 0 520717366 630632448 106589 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=615852 CPUtime=1062.18 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 150779 0 0 0 106164 54 0 0 25 0 4 0 520717366 630632448 106589 33554432000 4194304 4627427 140736762573264 18446744073709551615 4324341 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4241.8
Current children cumulated vsize (KiB) 615852

[startup+1122.3 s]
/proc/loadavg: 4.08 4.89 6.44 5/173 12372
/proc/meminfo: memFree=26186348/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=629432 CPUtime=4481.52 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 573983 0 0 0 447913 239 0 0 25 0 4 0 520717365 644538368 109634 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 157358 109634 388 106 0 152329 0
[pid=12320/tid=12321] ppid=12318 vsize=629432 CPUtime=1122 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 161722 0 0 0 112141 59 0 0 25 0 4 0 520717366 644538368 109634 33554432000 4194304 4627427 140736762573264 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=629432 CPUtime=1116.71 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 174294 0 0 0 111608 63 0 0 25 0 4 0 520717366 644538368 109634 33554432000 4194304 4627427 140736762573264 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=629432 CPUtime=1122.19 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 153623 0 0 0 112163 56 0 0 25 0 4 0 520717366 644538368 109634 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4481.52
Current children cumulated vsize (KiB) 629432

[startup+1182.3 s]
/proc/loadavg: 4.03 4.72 6.29 5/173 12373
/proc/meminfo: memFree=26166996/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=616588 CPUtime=4721.16 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 586435 0 0 0 471872 244 0 0 25 0 4 0 520717365 631386112 114493 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 154147 114493 388 106 0 149118 0
[pid=12320/tid=12321] ppid=12318 vsize=616588 CPUtime=1181.98 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 164754 0 0 0 118138 60 0 0 25 0 4 0 520717366 631386112 114493 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=616588 CPUtime=1176.38 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 182073 0 0 0 117573 65 0 0 25 0 4 0 520717366 631386112 114493 33554432000 4194304 4627427 140736762573264 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=616588 CPUtime=1182.18 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 155207 0 0 0 118162 56 0 0 25 0 4 0 520717366 631386112 114493 33554432000 4194304 4627427 140736762573264 18446744073709551615 4427152 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.16
Current children cumulated vsize (KiB) 616588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 4.02 4.68 6.24 5/173 12374
/proc/meminfo: memFree=26164636/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=670484 CPUtime=4800.28 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 588826 0 0 0 479783 245 0 0 25 0 4 0 520717365 686575616 115058 33554432000 4194304 4627427 140736762573264 18446744073709551615 4324120 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 167621 115058 388 106 0 162592 0
[pid=12320/tid=12321] ppid=12318 vsize=670484 CPUtime=1201.79 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 165756 0 0 0 120118 61 0 0 25 0 4 0 520717366 686575616 115058 33554432000 4194304 4627427 140736762573264 18446744073709551615 4324280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=670484 CPUtime=1196.09 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 182524 0 0 0 119544 65 0 0 25 0 4 0 520717366 686575616 115058 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=670484 CPUtime=1201.99 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 156074 0 0 0 120142 57 0 0 25 0 4 0 520717366 686575616 115058 33554432000 4194304 4627427 140736762573264 18446744073709551615 4338562 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 670484

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

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

[startup+1202.1 s]
/proc/loadavg: 4.02 4.68 6.24 5/173 12374
/proc/meminfo: memFree=26164636/32951132 swapFree=67111364/67111528
[pid=12320] ppid=12318 vsize=670484 CPUtime=4800.28 cores=0,2,4,6
/proc/12320/stat : 12320 (strangenight2-m) R 12318 12320 12004 0 -1 4202496 588826 0 0 0 479783 245 0 0 25 0 4 0 520717365 686575616 115058 33554432000 4194304 4627427 140736762573264 18446744073709551615 4324120 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12320/statm: 167621 115058 388 106 0 162592 0
[pid=12320/tid=12321] ppid=12318 vsize=670484 CPUtime=1201.79 cores=0,2,4,6
/proc/12320/task/12321/stat : 12321 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 165756 0 0 0 120118 61 0 0 25 0 4 0 520717366 686575616 115058 33554432000 4194304 4627427 140736762573264 18446744073709551615 4324280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12320/tid=12322] ppid=12318 vsize=670484 CPUtime=1196.09 cores=0,2,4,6
/proc/12320/task/12322/stat : 12322 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 182524 0 0 0 119544 65 0 0 25 0 4 0 520717366 686575616 115058 33554432000 4194304 4627427 140736762573264 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12320/tid=12323] ppid=12318 vsize=670484 CPUtime=1201.99 cores=0,2,4,6
/proc/12320/task/12323/stat : 12323 (strangenight2-m) R 12318 12320 12004 0 -1 4202560 156074 0 0 0 120142 57 0 0 25 0 4 0 520717366 686575616 115058 33554432000 4194304 4627427 140736762573264 18446744073709551615 4338562 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 670484

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.13
CPU time (s): 4800.34
CPU user time (s): 4797.86
CPU system time (s): 2.47962
CPU usage (%): 399.318
Max. virtual memory (cumulated for all children) (KiB): 683888

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

runsolver used 1.80272 second user time and 4.19236 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 17:33:07
IDJOB=3174096
IDBENCH=82914
IDSOLVER=1586
FILE ID=node128/3174096-1304091187
RUNJOBID= node128-1304088234-12022
PBS_JOBID= 13170567
Free space on /tmp= 66968 MiB

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

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

MD5SUM BENCH= bf9c7e319eca3277c9c5b6246acb470c
RANDOM SEED=1120990596

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26344480 kB
Buffers:       1280228 kB
Cached:        4401540 kB
SwapCached:        160 kB
Active:         617528 kB
Inactive:      5403320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26344480 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5856 kB
Writeback:           0 kB
AnonPages:      338520 kB
Mapped:          15796 kB
Slab:           523744 kB
PageTables:       5736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   556796 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66968 MiB
End job on node128 at 2011-04-29 17:53:11