Trace number 3174091

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.32 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf
MD5SUM3a195a9f73ea42ae7df353109d53748f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05899
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses3195
Sum of the clauses size9585
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33195
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174091-1304090255.cnf'
0.00/0.00	c -- header says num vars:            750
0.00/0.00	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        750
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       750      3195         0         0      9585         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.00
0.72/0.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.72/0.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.72/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.72/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.72/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
0.72/0.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.72/0.18	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
0.72/0.18	c Finding binary XORs  T:     0.00 s  found:       0
0.72/0.18	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.72/0.18	c calculated reachability. Time: 0.00
0.72/0.18	c Calc default polars -  time:   0.00 s pos:     314 undec:      80 neg:     356
0.72/0.18	c =========================================================================================
0.72/0.18	c types(t): F = full restart, N = normal restart
0.72/0.18	c types(t): S = simplification begin/end, E = solution found
0.72/0.18	c restart types(rt): st = static, dy = dynamic
1.57/0.46	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.57/0.46	c  B st     0         0       739      3186         0         0      9617         0   no data   no data
1.57/0.46	c Decided on static restart strategy
1.57/0.46	c  N st     8      4924       739      3186         0      4866      9617    151054   no data   no data
3.17/0.80	c  N st    10     11307       739      3186         0      4505      9617     94843   no data   no data
3.17/0.80	c  N st    11     17052       739      3186         0     10157      9617    276302   no data   no data
4.79/1.26	c  F st    12     25003       739      3186         0     12480      9617    348302   no data   no data
4.79/1.26	c  N st    12     25003       739      3186         0     12480      9617    348302   no data   no data
5.97/1.52	c  N dy    18     30001       739      3186         0     10759      9617    272177   no data   no data
5.97/1.52	c  S st    18     30001       739      3186         0     10759      9617    272177   no data   no data
5.97/1.55	c  S st    18     30504       739      3186         0     11262      9617    287065   no data   no data
5.97/1.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.55	c blocked clauses removed:       11 vars:      2 tried:         739 T: 0.00 s
5.97/1.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
5.97/1.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.56	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.97/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.62	c lits-rem:       141  cl-subs:      261  v-elim:      0  v-fix:    0  time:  0.05 s
6.36/1.62	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.01
6.36/1.62	c calculated reachability. Time: 0.00
6.36/1.62	c  N dy    18     30504       736      3174         0     10985      9587    276009   no data   no data
7.56/1.93	c  N dy    27     35452       736      3174         0      8048      9587    122564     20.83     22.07
8.37/2.14	c  N dy    41     39655       736      3174         0     12222      9587    244264     20.65     22.12
9.56/2.40	c  N dy    55     43747       736      3174         0     16282      9587    365570     20.61     23.99
9.96/2.54	c  S st    69     45756       736      3174         0      9385      9587    126273     20.81     22.21
9.96/2.57	c  S st    69     46259       736      3174         0      9888      9587    140467     20.81   no data
9.96/2.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
9.96/2.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.59	c lits-rem:        43  cl-subs:       12  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.59	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
9.96/2.59	c vivif2 --  cl tried     9876 cl shrink        0 lits rem          0 time: 0.00
10.36/2.60	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.01
10.36/2.60	c calculated reachability. Time: 0.00
10.36/2.60	c  N dy    69     46259       736      3174         0      9876      9587    139905     20.81   no data
11.16/2.87	c  N dy    82     50932       736      3174         0     14517      9587    276751     20.66     21.76
12.36/3.14	c  N dy   100     54954       736      3174         0     18514      9587    395555     20.67     21.99
13.58/3.45	c  N dy   108     59662       736      3174         0     13286      9587    214039     20.48     21.76
14.75/3.71	c  N dy   124     63692       736      3174         0     17299      9587    334113     20.48     23.34
15.95/4.06	c  N dy   148     68197       736      3174         0     21779      9587    467718     20.52     21.67
16.35/4.14	c  S st   156     69388       736      3174         0     12040      9587    149880     20.54   no data
16.35/4.17	c  S st   156     69891       736      3174         0     12543      9587    163631     20.54   no data
16.35/4.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.35/4.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.35/4.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
16.35/4.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.35/4.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.35/4.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.20	c lits-rem:        16  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.01 s
16.75/4.20	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
16.75/4.20	c vivif2 --  cl tried    12529 cl shrink        0 lits rem          0 time: 0.00
16.75/4.21	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.01
16.75/4.21	c calculated reachability. Time: 0.00
16.75/4.21	c  N dy   156     69891       736      3174         0     12529      9587    163100     20.54   no data
18.34/4.69	c  N dy   162     76605       736      3174         0     19189      9587    361993     20.22     21.37
21.55/5.48	c  N dy   192     86842       736      3174         0     17428      9587    291466     20.06     21.14
21.96/5.53	c  F st   197     87500       736      3174         0     18081      9587    310994     20.07   no data
23.54/5.94	c  N dy   203     92694       736      3174         0     23248      9587    471649     20.07   no data
25.54/6.43	c  N dy   234     98709       736      3174         0     16315      9587    229524     20.10     21.41
27.53/6.91	c  S st   265    104836       736      3174         0     22415      9587    409231     20.13   no data
27.53/6.96	c  S st   265    105340       736      3174         0     22919      9587    423615     20.13   no data
27.53/6.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.53/6.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.53/6.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.53/6.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.53/6.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.53/6.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
27.53/6.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.53/6.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.53/6.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.93/7.05	c lits-rem:       134  cl-subs:      165  v-elim:      0  v-fix:    0  time:  0.06 s
27.93/7.05	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
27.93/7.06	c vivif2 --  cl tried    22754 cl shrink        0 lits rem          0 time: 0.01
27.93/7.07	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.01
27.93/7.07	c calculated reachability. Time: 0.00
27.93/7.07	c  N dy   265    105340       736      3174         0     22754      9587    417281     20.13   no data
30.75/7.78	c  N dy   300    113600       736      3174         0     17037      9587    223204     20.16     21.27
33.12/8.37	c  N dy   326    120860       736      3174         0     24223      9587    432070     20.14     21.34
36.33/9.17	c  N dy   370    129207       736      3174         0     17625      9587    217017     20.19     21.43
39.53/9.95	c  N dy   412    138102       736      3174         0     26467      9587    487093     20.22     21.48
43.93/11.04	c  N dy   444    150044       736      3174         0     22433      9587    341249     20.13     21.29
47.10/11.82	c  S st   480    158011       736      3174         0     30335      9587    574770     20.15     20.15
47.10/11.89	c  S st   480    158514       736      3174         0     30838      9587    589873     20.15   no data
47.10/11.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.50/11.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.50/11.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.50/11.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.50/11.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.50/11.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
47.50/11.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.50/11.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.50/11.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.91/12.08	c lits-rem:       220  cl-subs:      431  v-elim:      0  v-fix:    0  time:  0.15 s
47.91/12.08	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
47.91/12.09	c vivif2 --  cl tried    30407 cl shrink        0 lits rem          0 time: 0.01
48.32/12.11	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.02
48.32/12.11	c calculated reachability. Time: 0.00
48.32/12.11	c  N dy   480    158514       736      3174         0     30407      9587    575178     20.15   no data
51.90/13.07	c  N dy   513    168769       736      3174         0     23724      9587    351395     20.11     21.18
57.51/14.46	c  N dy   551    181552       736      3174         0     18532      9587    173494     20.07     21.37
61.91/15.56	c  N dy   621    193397       736      3174         0     30308      9587    530361     20.13     21.32
68.68/17.20	c  N dy   670    208425       736      3174         0     26347      9587    376446     20.08     21.28
76.66/19.27	c  N dy   745    226136       736      3174         0     24065      9587    288398     20.09     21.23
82.26/20.60	c  S st   814    237772       736      3174         0     35633      9587    633971     20.13     24.14
82.66/20.71	c  S st   814    238278       736      3174         0     36139      9587    650068     20.13   no data
82.66/20.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.66/20.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
82.66/20.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.66/20.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.66/20.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.66/20.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
82.66/20.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
82.66/20.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.66/20.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.88/21.03	c lits-rem:       132  cl-subs:      453  v-elim:      0  v-fix:    0  time:  0.26 s
83.88/21.03	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
83.88/21.04	c vivif2 --  cl tried    35686 cl shrink        0 lits rem          0 time: 0.01
83.88/21.08	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.03
83.88/21.08	c calculated reachability. Time: 0.00
83.88/21.08	c  N dy   814    238278       736      3174         0     35686      9587    634768     20.13   no data
91.45/22.97	c  N dy   885    253679       736      3174         0     30154      9587    450102     20.15     21.31
99.83/25.04	c  N dy   950    269912       736      3174         0     24415      9587    258297     20.14     23.38
108.23/27.18	c  N dy  1054    287205       736      3174         0     41590      9587    778731     20.21     21.39
117.41/29.46	c  N dy  1116    305721       736      3174         0     37101      9587    611694     20.15     21.46
117.81/29.54	c  F st  1119    306251       736      3174         0     37629      9587    627709     20.15   no data
127.82/32.07	c  N dy  1192    325399       736      3174         0     32814      9587    452715     20.16     21.36
139.77/35.04	c  N dy  1309    345499       736      3174         0     27970      9587    288161     20.21     21.28
145.77/36.52	c  S st  1378    357417       736      3174         0     39827      9587    644308     20.24     20.06
146.17/36.61	c  S st  1378    357923       736      3174         0     40332      9587    659560     20.24   no data
146.17/36.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.17/36.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.17/36.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.17/36.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.17/36.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.17/36.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
146.17/36.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.17/36.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.17/36.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.97/36.87	c lits-rem:        97  cl-subs:      316  v-elim:      0  v-fix:    0  time:  0.20 s
146.97/36.87	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
146.97/36.88	c vivif2 --  cl tried    40016 cl shrink        0 lits rem          0 time: 0.01
147.36/36.91	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.03
147.36/36.91	c calculated reachability. Time: 0.00
147.36/36.91	c  N dy  1378    357923       736      3174         0     40016      9587    647705     20.24   no data
158.95/39.87	c  N dy  1457    378010       736      3174         0     34147      9587    461840     20.22     23.14
172.12/43.18	c  N dy  1536    398366       736      3174         0     27536      9587    227678     20.20     21.43
183.72/46.09	c  N dy  1655    418704       736      3174         0     47724      9587    833727     20.24     21.39
196.49/49.26	c  N dy  1762    438887       736      3174         0     39948      9587    577353     20.27     21.57
210.48/52.80	c  N dy  1849    459070       736      3174         0     31194      9587    292560     20.28     21.67
223.66/56.08	c  N dy  1929    480682       736      3174         0     52638      9587    937123     20.27     21.38
252.82/63.37	c  N dy  1938    520616       736      3174         0     31665      9587    263963     19.98     21.42
262.01/65.69	c  S st  2003    536884       736      3174         0     47758      9587    740280     19.99   no data
262.81/65.81	c  S st  2003    537388       736      3174         0     48261      9587    756649     19.99   no data
262.81/65.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
262.81/65.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
262.81/65.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
262.81/65.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
262.81/65.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.81/65.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
262.81/65.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
262.81/65.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
262.81/65.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.02/66.14	c lits-rem:       183  cl-subs:      597  v-elim:      0  v-fix:    0  time:  0.28 s
264.02/66.14	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
264.02/66.15	c vivif2 --  cl tried    47664 cl shrink        0 lits rem          0 time: 0.01
264.02/66.19	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.04
264.02/66.19	c calculated reachability. Time: 0.00
264.02/66.19	c  N dy  2003    537388       736      3174         0     47664      9587    737237     19.99   no data
279.58/70.06	c  N dy  2087    557457       736      3174         0     35877      9587    366117     19.99     22.34
293.56/73.57	c  N dy  2238    577469       736      3174         0     55798      9587    975554     20.05     21.77
308.74/77.38	c  N dy  2371    597500       736      3174         0     42944      9587    560859     20.09     21.18
327.52/82.09	c  N dy  2472    620503       736      3174         0     65784      9587   1246322     20.11     21.28
341.10/85.46	c  N dy  2573    640505       736      3174         0     51863      9587    798919     20.12     21.32
359.47/90.06	c  N dy  2700    660740       736      3174         0     37218      9587    333366     20.16     21.24
373.88/93.65	c  N dy  2805    681047       736      3174         0     57373      9587    945436     20.17     21.37
392.23/98.20	c  N dy  2905    702238       736      3174         0     42677      9587    474865     20.19     21.26
408.21/102.24	c  N dy  3021    722288       736      3174         0     62607      9587   1080834     20.22     22.18
426.60/106.81	c  N dy  3142    743133       736      3174         0     46576      9587    568305     20.24     21.48
444.56/111.35	c  N dy  3217    764603       736      3174         0     67855      9587   1213513     20.23     21.42
461.36/115.58	c  N dy  3321    784666       736      3174         0     50058      9587    648813     20.24     23.01
480.51/120.39	c  N dy  3402    805440       736      3174         0     70670      9587   1270997     20.24     21.40
481.31/120.57	c  S st  3409    806082       736      3174         0     71307      9587   1291814     20.25   no data
482.11/120.76	c  S st  3409    806583       736      3174         0     71808      9587   1306572     20.25   no data
482.11/120.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
482.51/120.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
482.51/120.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
482.51/120.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
482.51/120.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
482.51/120.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
482.51/120.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
482.51/120.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
482.51/120.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
485.70/121.69	c lits-rem:       195  cl-subs:      893  v-elim:      0  v-fix:    0  time:  0.82 s
485.70/121.69	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
486.10/121.71	c vivif2 --  cl tried    70915 cl shrink        0 lits rem          0 time: 0.02
486.10/121.77	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.06
486.10/121.77	c calculated reachability. Time: 0.00
486.10/121.77	c  N dy  3409    806583       736      3174         0     70915      9587   1276106     20.25   no data
502.88/125.98	c  N dy  3520    826652       736      3174         0     52143      9587    686649     20.27     21.58
521.26/130.50	c  N dy  3563    846800       736      3174         0     72133      9587   1292855     20.24     21.49
539.63/135.15	c  N dy  3640    868467       736      3174         0     53926      9587    716082     20.24     21.44
559.20/140.01	c  N dy  3729    888553       736      3174         0     73866      9587   1327705     20.25     24.34
576.78/144.45	c  N dy  3840    908642       736      3174         0     53118      9587    665980     20.27     21.43
595.95/149.29	c  N dy  3955    928661       736      3174         0     72994      9587   1266808     20.29     21.38
615.93/154.22	c  N dy  4081    948671       736      3174         0     51184      9587    587424     20.32     21.43
634.70/158.93	c  N dy  4170    969212       736      3174         0     71581      9587   1207333     20.33     21.73
655.88/164.24	c  N dy  4259    989253       736      3174         0     48769      9587    488686     20.33     22.37
693.82/173.80	c  N dy  4316   1025752       736      3174         0     84765      9587   1540228     20.28     21.41
711.82/178.21	c  N dy  4435   1045768       736      3174         0     61057      9587    840769     20.29     22.50
734.96/184.09	c  N dy  4484   1068533       736      3174         0     83583      9587   1522595     20.27     21.37
739.76/185.27	c  F st  4499   1071876       736      3174         0     86907      9587   1621265     20.27     16.70
744.95/186.55	c Decided on static restart strategy
754.54/188.92	c  N st  4508   1090584       736      3174         0     60817      9587    830725     20.27   no data
775.31/194.19	c  N st  4510   1114580       736      3174         0     84449      9587   1636928     20.27   no data
792.88/198.52	c  N st  4511   1136178       736      3174         0     60249      9587   1482871     20.27   no data
831.24/208.12	c  N st  4512   1168572       736      3174         0     92172      9587   2609861     20.27   no data
873.18/218.63	c  N st  4513   1209875       736      3174         0     86613      9587   2309502     20.27   no data
873.18/218.63	c  S st  4513   1209875       736      3174         0     86613      9587   2309502     20.27   no data
874.39/218.98	c  S st  4513   1210380       736      3174         0     87118      9587   2324697     20.27   no data
874.39/218.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
874.79/219.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.06
874.79/219.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
874.79/219.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
874.79/219.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
874.79/219.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
874.79/219.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
874.79/219.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
875.17/219.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
923.13/231.11	c lits-rem:      1064  cl-subs:     3105  v-elim:      0  v-fix:    0  time: 11.93 s
923.13/231.11	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
923.13/231.14	c vivif2 --  cl tried    84013 cl shrink        0 lits rem          0 time: 0.03
923.51/231.25	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.11
923.51/231.26	c calculated reachability. Time: 0.00
923.51/231.26	c  N st  4513   1210380       736      3174         0     84013      9587   2196154     20.27   no data
1002.22/250.92	c  N st  4514   1283262       736      3174         0     60435      9587   1239070     20.27   no data
1124.44/281.57	c  N st  4515   1392585       736      3174         0     67984      9587   1447418     20.27   no data
1317.78/329.94	c  N st  4516   1556570       736      3174         0     72953      9587   1454572     20.27   no data
1525.49/381.99	c  N st  4517   1710380       736      3174         0     59218      9587    860648     20.27   no data
1525.49/381.99	c  S st  4517   1710380       736      3174         0     59218      9587    860648     20.27   no data
1526.29/382.15	c  S st  4517   1710885       736      3174         0     59723      9587    875398     20.27   no data
1526.29/382.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1526.29/382.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.03
1526.29/382.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1526.29/382.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1526.29/382.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1526.29/382.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
1526.29/382.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1526.69/382.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1526.69/382.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1528.69/382.71	c lits-rem:       507  cl-subs:      515  v-elim:      0  v-fix:    0  time:  0.47 s
1528.69/382.71	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
1528.69/382.72	c vivif2 --  cl tried    59208 cl shrink        0 lits rem          0 time: 0.01
1528.69/382.77	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.05
1528.69/382.77	c calculated reachability. Time: 0.00
1528.69/382.77	c  N st  4517   1710885       736      3174         0     59208      9587    859135     20.27   no data
1990.06/498.28	c  N st  4518   2079849       736      3174         0     65115      9587    880065     20.27   no data
2161.84/541.30	c  N st  4519   2210886       736      3174         0     67079      9587    870036     20.27   no data
2161.84/541.30	c  S st  4519   2210886       736      3174         0     67079      9587    870036     20.27   no data
2163.02/541.50	c  S st  4519   2211391       736      3174         0     67580      9587    885593     20.27   no data
2163.02/541.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2163.02/541.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2163.02/541.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2163.02/541.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2163.02/541.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2163.02/541.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
2163.02/541.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2163.02/541.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2163.02/541.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2164.23/541.88	c lits-rem:        68  cl-subs:      311  v-elim:      0  v-fix:    0  time:  0.29 s
2164.23/541.88	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
2164.23/541.89	c vivif2 --  cl tried    67269 cl shrink        0 lits rem          0 time: 0.01
2164.63/541.95	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.06
2164.63/541.95	c calculated reachability. Time: 0.00
2164.63/541.95	c  N st  4519   2211391       736      3174         0     67269      9587    876476     20.27   no data
2874.45/719.64	c  N st  4520   2711391       736      3174         0     83983      9587   1251391     20.27   no data
2874.45/719.64	c  S st  4520   2711391       736      3174         0     83983      9587   1251391     20.27   no data
2875.25/719.88	c  S st  4520   2711895       736      3174         0     84487      9587   1266698     20.27   no data
2875.25/719.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2875.65/719.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
2875.65/719.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2875.65/719.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2875.65/719.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2875.65/719.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
2875.65/719.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2875.65/719.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2876.05/720.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2880.05/721.08	c lits-rem:       168  cl-subs:     1335  v-elim:      0  v-fix:    0  time:  1.09 s
2880.05/721.08	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
2880.45/721.10	c vivif2 --  cl tried    83152 cl shrink        0 lits rem          0 time: 0.02
2880.45/721.18	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.08
2880.45/721.19	c calculated reachability. Time: 0.00
2880.45/721.19	c  N st  4520   2711895       736      3174         0     83152      9587   1226000     20.27   no data
3710.12/928.86	c  N st  4521   3211895       736      3174         0    129398      9587   2490825     20.27   no data
3710.12/928.86	c  S st  4521   3211895       736      3174         0    129398      9587   2490825     20.27   no data
3712.12/929.37	c  S st  4521   3212400       736      3174         0    129903      9587   2505290     20.27   no data
3712.12/929.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3712.52/929.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.09
3712.52/929.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3712.52/929.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3712.52/929.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3712.52/929.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
3712.52/929.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3712.94/929.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3713.34/929.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3809.20/953.67	c lits-rem:       732  cl-subs:     7385  v-elim:      0  v-fix:    0  time: 24.06 s
3809.20/953.67	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
3809.61/953.70	c vivif2 --  cl tried   122518 cl shrink        0 lits rem          0 time: 0.03
3810.01/953.84	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.13
3810.01/953.84	c calculated reachability. Time: 0.00
3810.01/953.84	c  N st  4521   3212400       736      3174         0    122518      9587   2296375     20.27   no data
4626.49/1158.21	c  N st  4522   3712401       736      3174         0    133476      9587   2621190     20.27   no data
4626.49/1158.21	c  S st  4522   3712401       736      3174         0    133476      9587   2621190     20.27   no data
4628.08/1158.61	c  S st  4522   3712903       736      3174         0    133976      9587   2636743     20.27   no data
4628.08/1158.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4628.48/1158.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4628.48/1158.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4628.48/1158.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4628.48/1158.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4628.48/1158.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
4628.48/1158.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4628.48/1158.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4628.88/1158.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4685.60/1173.02	c lits-rem:       529  cl-subs:     4822  v-elim:      0  v-fix:    0  time: 14.20 s
4685.60/1173.02	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
4685.60/1173.06	c vivif2 --  cl tried   129154 cl shrink        0 lits rem          0 time: 0.04
4686.40/1173.20	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.14
4686.40/1173.21	c calculated reachability. Time: 0.00
4686.40/1173.21	c  N st  4522   3712903       736      3174         0    129154      9587   2478316     20.27   no data
4773.08/1194.92	c  F st  4523   3751562       736      3174         0    167194      9587   3785238     20.27   no data
4773.08/1194.92	c  N st  4523   3751562       736      3174         0    167194      9587   3785238     20.27   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-3174091-1304090255/watcher-3174091-1304090255 -o /tmp/evaluation-result-3174091-1304090255/solver-3174091-1304090255 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174091-1304090255.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 6.89 7.86 7.78 2/173 4775
/proc/meminfo: memFree=27108652/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 4 0 520623968 52441088 347 33554432000 4194304 4627427 140736128220592 18446744073709551615 47461538949042 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 12803 347 299 106 0 7774 0
[pid=4775/tid=4779] ppid=4772 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 520623968 52441088 347 33554432000 4194304 4627427 140736128220592 18446744073709551615 210199679208 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 520623968 52441088 347 33554432000 4194304 4627427 140736128220592 18446744073709551615 210199717972 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 520623968 52441088 347 33554432000 4194304 4627427 140736128220592 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.188917 s]
/proc/loadavg: 6.89 7.86 7.78 2/173 4775
/proc/meminfo: memFree=27108652/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=299752 CPUtime=0.72 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 2395 0 0 0 72 0 0 0 18 0 4 0 520623968 306946048 2253 33554432000 4194304 4627427 140736128220592 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 74938 2255 385 106 0 69909 0
[pid=4775/tid=4779] ppid=4772 vsize=299752 CPUtime=0.18 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 574 0 0 0 18 0 0 0 18 0 4 0 520623968 306946048 2255 33554432000 4194304 4627427 140736128220592 18446744073709551615 4338620 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=299752 CPUtime=0.17 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 532 0 0 0 17 0 0 0 18 0 4 0 520623968 306946048 2255 33554432000 4194304 4627427 140736128220592 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=299752 CPUtime=0.17 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) D 4772 4775 3322 0 -1 4202560 398 0 0 0 17 0 0 0 18 0 4 0 520623968 306946048 2255 33554432000 4194304 4627427 140736128220592 18446744073709551615 210204690615 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 299752

[startup+0.207538 s]
/proc/loadavg: 6.89 7.86 7.78 2/173 4775
/proc/meminfo: memFree=27108652/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=284224 CPUtime=0.79 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 2786 0 0 0 79 0 0 0 18 0 4 0 520623968 291045376 1917 33554432000 4194304 4627427 140736128220592 18446744073709551615 4332200 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 71056 1918 385 106 0 66027 0
[pid=4775/tid=4779] ppid=4772 vsize=284224 CPUtime=0.2 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 676 0 0 0 20 0 0 0 18 0 4 0 520623968 291045376 1918 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=284224 CPUtime=0.19 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 625 0 0 0 19 0 0 0 18 0 4 0 520623968 291045376 1918 33554432000 4194304 4627427 140736128220592 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=284224 CPUtime=0.19 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 487 0 0 0 19 0 0 0 18 0 4 0 520623968 291045376 1918 33554432000 4194304 4627427 140736128220592 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 284224

[startup+0.300522 s]
/proc/loadavg: 6.89 7.86 7.78 2/173 4775
/proc/meminfo: memFree=27108652/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=284224 CPUtime=1.17 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 3145 0 0 0 117 0 0 0 18 0 4 0 520623968 291045376 2276 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 71056 2277 385 106 0 66027 0
[pid=4775/tid=4779] ppid=4772 vsize=284224 CPUtime=0.29 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 768 0 0 0 29 0 0 0 18 0 4 0 520623968 291045376 2277 33554432000 4194304 4627427 140736128220592 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=284224 CPUtime=0.29 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 718 0 0 0 29 0 0 0 18 0 4 0 520623968 291045376 2277 33554432000 4194304 4627427 140736128220592 18446744073709551615 4333663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=284224 CPUtime=0.28 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 574 0 0 0 28 0 0 0 18 0 4 0 520623968 291045376 2277 33554432000 4194304 4627427 140736128220592 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284224

[startup+0.700456 s]
/proc/loadavg: 6.89 7.86 7.78 2/173 4775
/proc/meminfo: memFree=27108652/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=285276 CPUtime=2.77 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 4965 0 0 0 276 1 0 0 18 0 4 0 520623968 292122624 2983 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 71319 2983 385 106 0 66290 0
[pid=4775/tid=4779] ppid=4772 vsize=285276 CPUtime=0.69 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 1234 0 0 0 69 0 0 0 18 0 4 0 520623968 292122624 2983 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=285276 CPUtime=0.69 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 1201 0 0 0 69 0 0 0 18 0 4 0 520623968 292122624 2983 33554432000 4194304 4627427 140736128220592 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=285276 CPUtime=0.68 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 1042 0 0 0 68 0 0 0 18 0 4 0 520623968 292122624 2983 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285276

[startup+1.50032 s]
/proc/loadavg: 6.89 7.86 7.78 9/184 4786
/proc/meminfo: memFree=27084968/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=287008 CPUtime=5.97 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 8664 0 0 0 595 2 0 0 20 0 4 0 520623968 293896192 3536 33554432000 4194304 4627427 140736128220592 18446744073709551615 4308165 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 71752 3536 386 106 0 66723 0
[pid=4775/tid=4779] ppid=4772 vsize=287008 CPUtime=1.48 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 2172 0 0 0 148 0 0 0 20 0 4 0 520623968 293896192 3537 33554432000 4194304 4627427 140736128220592 18446744073709551615 4310109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=287008 CPUtime=1.48 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 2141 0 0 0 148 0 0 0 20 0 4 0 520623968 293896192 3538 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=287008 CPUtime=1.48 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 1974 0 0 0 148 0 0 0 20 0 4 0 520623968 293896192 3538 33554432000 4194304 4627427 140736128220592 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287008

[startup+3.10106 s]
/proc/loadavg: 6.89 7.86 7.78 9/184 4786
/proc/meminfo: memFree=27058680/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=265580 CPUtime=12.36 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 20501 0 0 0 1232 4 0 0 25 0 4 0 520623968 271953920 12076 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 66395 12076 389 106 0 61366 0
[pid=4775/tid=4779] ppid=4772 vsize=265580 CPUtime=3.08 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 4771 0 0 0 308 0 0 0 25 0 4 0 520623968 271953920 12076 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=265580 CPUtime=3.07 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 5522 0 0 0 307 0 0 0 25 0 4 0 520623968 271953920 12076 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=265580 CPUtime=3.09 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 4987 0 0 0 308 1 0 0 25 0 4 0 520623968 271953920 12076 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 265580

[startup+6.30053 s]
/proc/loadavg: 6.98 7.86 7.78 9/184 4787
/proc/meminfo: memFree=26995084/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=275180 CPUtime=25.14 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 31303 0 0 0 2509 5 0 0 25 0 4 0 520623968 281784320 17931 33554432000 4194304 4627427 140736128220592 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 68795 17931 389 106 0 63766 0
[pid=4775/tid=4779] ppid=4772 vsize=275180 CPUtime=6.28 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 8909 0 0 0 628 0 0 0 25 0 4 0 520623968 281784320 17931 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=275180 CPUtime=6.26 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 8041 0 0 0 625 1 0 0 25 0 4 0 520623968 281784320 17931 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=275180 CPUtime=6.28 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 7047 0 0 0 627 1 0 0 25 0 4 0 520623968 281784320 17931 33554432000 4194304 4627427 140736128220592 18446744073709551615 4327352 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 275180

[startup+12.7005 s]
/proc/loadavg: 7.06 7.86 7.78 9/184 4787
/proc/meminfo: memFree=26915340/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=291172 CPUtime=50.7 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 47138 0 0 0 5061 9 0 0 25 0 4 0 520623968 298160128 23720 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 72793 23720 389 106 0 67764 0
[pid=4775/tid=4779] ppid=4772 vsize=291172 CPUtime=12.68 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 13966 0 0 0 1267 1 0 0 25 0 4 0 520623968 298160128 23720 33554432000 4194304 4627427 140736128220592 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=291172 CPUtime=12.61 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 11242 0 0 0 1260 1 0 0 25 0 4 0 520623968 298160128 23720 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=291172 CPUtime=12.69 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 10351 0 0 0 1267 2 0 0 25 0 4 0 520623968 298160128 23720 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 291172

[startup+25.5003 s]
/proc/loadavg: 7.27 7.87 7.78 9/184 4787
/proc/meminfo: memFree=26869932/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=296632 CPUtime=101.82 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 67905 0 0 0 10167 15 0 0 25 0 4 0 520623968 303751168 28831 33554432000 4194304 4627427 140736128220592 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 74158 28831 389 106 0 69129 0
[pid=4775/tid=4779] ppid=4772 vsize=296632 CPUtime=25.48 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 21734 0 0 0 2545 3 0 0 25 0 4 0 520623968 303751168 28831 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=296632 CPUtime=25.35 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 16129 0 0 0 2532 3 0 0 25 0 4 0 520623968 303751168 28831 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=296632 CPUtime=25.48 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 14157 0 0 0 2545 3 0 0 25 0 4 0 520623968 303751168 28831 33554432000 4194304 4627427 140736128220592 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 296632

[startup+51.101 s]
/proc/loadavg: 7.58 7.89 7.79 9/184 4787
/proc/meminfo: memFree=26834864/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=304584 CPUtime=204.09 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 91610 0 0 0 20385 24 0 0 25 0 4 0 520623968 311894016 33631 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 76146 33631 389 106 0 71117 0
[pid=4775/tid=4779] ppid=4772 vsize=304584 CPUtime=51.08 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 26911 0 0 0 5103 5 0 0 25 0 4 0 520623968 311894016 33631 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=304584 CPUtime=50.8 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 24200 0 0 0 5075 5 0 0 25 0 4 0 520623968 311894016 33631 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=304584 CPUtime=51.09 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 19263 0 0 0 5104 5 0 0 25 0 4 0 520623968 311894016 33631 33554432000 4194304 4627427 140736128220592 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 304584

[startup+102.3 s]
/proc/loadavg: 7.81 7.91 7.80 9/184 4789
/proc/meminfo: memFree=26763140/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=381816 CPUtime=408.63 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 124185 0 0 0 40825 38 0 0 25 0 4 0 520623968 390979584 44151 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 95454 44151 389 106 0 90425 0
[pid=4775/tid=4779] ppid=4772 vsize=381816 CPUtime=102.28 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 30288 0 0 0 10221 7 0 0 25 0 4 0 520623968 390979584 44151 33554432000 4194304 4627427 140736128220592 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=381816 CPUtime=101.73 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 34702 0 0 0 10164 9 0 0 25 0 4 0 520623968 390979584 44151 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=381816 CPUtime=102.29 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 29605 0 0 0 10220 9 0 0 25 0 4 0 520623968 390979584 44151 33554432000 4194304 4627427 140736128220592 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 381816

[startup+162.3 s]

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

[pid=4775] ppid=4772 vsize=633084 CPUtime=2565.68 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 387311 0 0 0 256418 150 0 0 25 0 4 0 520623968 648278016 118022 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 158271 118022 389 106 0 153242 0
[pid=4775/tid=4779] ppid=4772 vsize=633084 CPUtime=642.27 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 66927 0 0 0 64202 25 0 0 25 0 4 0 520623968 648278016 118022 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=633084 CPUtime=638.8 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 105402 0 0 0 63841 39 0 0 25 0 4 0 520623968 648278016 118022 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=633084 CPUtime=642.29 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 111665 0 0 0 64185 44 0 0 25 0 4 0 520623968 648278016 118022 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.68
Current children cumulated vsize (KiB) 633084

[startup+702.301 s]
/proc/loadavg: 8.03 8.04 7.91 9/184 4805
/proc/meminfo: memFree=26253800/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=686100 CPUtime=2805.36 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 408105 0 0 0 280375 161 0 0 25 0 4 0 520623968 702566400 118173 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 171525 118173 389 106 0 166496 0
[pid=4775/tid=4779] ppid=4772 vsize=686100 CPUtime=702.26 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 67578 0 0 0 70201 25 0 0 25 0 4 0 520623968 702566400 118173 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=686100 CPUtime=698.47 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 111574 0 0 0 69806 41 0 0 25 0 4 0 520623968 702566400 118173 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=686100 CPUtime=702.29 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 119989 0 0 0 70181 48 0 0 25 0 4 0 520623968 702566400 118173 33554432000 4194304 4627427 140736128220592 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 686100

[startup+762.301 s]
/proc/loadavg: 8.01 8.03 7.91 9/184 4807
/proc/meminfo: memFree=26252032/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=633380 CPUtime=3045.05 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 427813 0 0 0 304333 172 0 0 25 0 4 0 520623968 648581120 118790 33554432000 4194304 4627427 140736128220592 18446744073709551615 4330936 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 158345 118790 389 106 0 153316 0
[pid=4775/tid=4779] ppid=4772 vsize=633380 CPUtime=762.27 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 68276 0 0 0 76201 26 0 0 25 0 4 0 520623968 648581120 118790 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=633380 CPUtime=758.14 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 115677 0 0 0 75770 44 0 0 25 0 4 0 520623968 648581120 118790 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=633380 CPUtime=762.3 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 128850 0 0 0 76177 53 0 0 25 0 4 0 520623968 648581120 118790 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 633380

[startup+822.301 s]
/proc/loadavg: 8.04 8.04 7.91 9/184 4808
/proc/meminfo: memFree=26205976/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=645364 CPUtime=3284.71 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 446725 0 0 0 328287 184 0 0 25 0 4 0 520623968 660852736 126759 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 161341 126759 389 106 0 156312 0
[pid=4775/tid=4779] ppid=4772 vsize=645364 CPUtime=822.26 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 71963 0 0 0 82197 29 0 0 25 0 4 0 520623968 660852736 126759 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=645364 CPUtime=817.81 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 119347 0 0 0 81735 46 0 0 25 0 4 0 520623968 660852736 126759 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=645364 CPUtime=822.29 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 136870 0 0 0 82172 57 0 0 25 0 4 0 520623968 660852736 126759 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 645364

[startup+882.307 s]
/proc/loadavg: 8.12 8.06 7.93 9/184 4810
/proc/meminfo: memFree=26204060/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=698320 CPUtime=3524.4 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 465448 0 0 0 352245 195 0 0 25 0 4 0 520623968 715079680 118997 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 174580 118997 389 106 0 169551 0
[pid=4775/tid=4779] ppid=4772 vsize=698320 CPUtime=882.26 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 72917 0 0 0 88196 30 0 0 25 0 4 0 520623968 715079680 118997 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=698320 CPUtime=877.49 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 124529 0 0 0 87699 50 0 0 25 0 4 0 520623968 715079680 118997 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=698320 CPUtime=882.3 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 145236 0 0 0 88168 62 0 0 25 0 4 0 520623968 715079680 118997 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 698320

[startup+942.301 s]
/proc/loadavg: 8.12 8.06 7.93 9/184 4811
/proc/meminfo: memFree=26117576/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=785884 CPUtime=3764.05 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 487473 0 0 0 376201 204 0 0 25 0 4 0 520623968 804745216 134527 33554432000 4194304 4627427 140736128220592 18446744073709551615 4420181 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 196471 134527 389 106 0 191442 0
[pid=4775/tid=4779] ppid=4772 vsize=785884 CPUtime=942.25 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 74984 0 0 0 94195 30 0 0 25 0 4 0 520623968 804745216 134527 33554432000 4194304 4627427 140736128220592 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=785884 CPUtime=937.17 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 130475 0 0 0 93663 54 0 0 25 0 4 0 520623968 804745216 134527 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=785884 CPUtime=942.3 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 154796 0 0 0 94165 65 0 0 25 0 4 0 520623968 804745216 134527 33554432000 4194304 4627427 140736128220592 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 785884

[startup+1002.3 s]
/proc/loadavg: 8.11 8.06 7.94 9/184 4813
/proc/meminfo: memFree=26082928/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=824120 CPUtime=4003.73 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 508873 0 0 0 400159 214 0 0 25 0 4 0 520623968 843898880 141770 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 206030 141770 389 106 0 201001 0
[pid=4775/tid=4779] ppid=4772 vsize=824120 CPUtime=1002.26 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 79997 0 0 0 100193 33 0 0 25 0 4 0 520623968 843898880 141770 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=824120 CPUtime=996.84 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 136552 0 0 0 99627 57 0 0 25 0 4 0 520623968 843898880 141770 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=824120 CPUtime=1002.3 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 162304 0 0 0 100162 68 0 0 25 0 4 0 520623968 843898880 141770 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 824120

[startup+1062.3 s]
/proc/loadavg: 8.10 8.07 7.94 10/184 4815
/proc/meminfo: memFree=26052724/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=837916 CPUtime=4243.41 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 533323 0 0 0 424115 226 0 0 25 0 4 0 520623968 858025984 144164 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 209479 144164 389 106 0 204450 0
[pid=4775/tid=4779] ppid=4772 vsize=837916 CPUtime=1062.25 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 82639 0 0 0 106191 34 0 0 25 0 4 0 520623968 858025984 144164 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=837916 CPUtime=1056.51 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 143786 0 0 0 105592 59 0 0 25 0 4 0 520623968 858025984 144164 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=837916 CPUtime=1062.3 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 170643 0 0 0 106158 72 0 0 25 0 4 0 520623968 858025984 144164 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.41
Current children cumulated vsize (KiB) 837916

[startup+1122.3 s]
/proc/loadavg: 8.15 8.08 7.95 9/184 4816
/proc/meminfo: memFree=26057880/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=770800 CPUtime=4483.07 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 555484 0 0 0 448071 236 0 0 25 0 4 0 520623968 789299200 145885 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 192700 145885 389 106 0 187671 0
[pid=4775/tid=4779] ppid=4772 vsize=770800 CPUtime=1122.25 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 85172 0 0 0 112189 36 0 0 25 0 4 0 520623968 789299200 145885 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=770800 CPUtime=1116.19 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 147553 0 0 0 111558 61 0 0 25 0 4 0 520623968 789299200 145885 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=770800 CPUtime=1122.3 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 178936 0 0 0 112155 75 0 0 25 0 4 0 520623968 789299200 145885 33554432000 4194304 4627427 140736128220592 18446744073709551615 4420166 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 770800

[startup+1182.3 s]
/proc/loadavg: 8.16 8.10 7.96 9/184 4818
/proc/meminfo: memFree=26022116/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=839404 CPUtime=4722.75 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 576112 0 0 0 472030 245 0 0 25 0 4 0 520623968 859549696 150020 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 209851 150020 389 106 0 204822 0
[pid=4775/tid=4779] ppid=4772 vsize=839404 CPUtime=1182.26 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 87611 0 0 0 118188 38 0 0 25 0 4 0 520623968 859549696 150020 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=839404 CPUtime=1175.86 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 154029 0 0 0 117523 63 0 0 25 0 4 0 520623968 859549696 150020 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=839404 CPUtime=1182.3 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 185834 0 0 0 118151 79 0 0 25 0 4 0 520623968 859549696 150020 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.75
Current children cumulated vsize (KiB) 839404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.09 7.96 9/184 4818
/proc/meminfo: memFree=26009704/32951124 swapFree=67088964/67111528
[pid=4775] ppid=4772 vsize=784644 CPUtime=4800.26 cores=1,3,5,7
/proc/4775/stat : 4775 (strangenight2-m) R 4772 4775 3322 0 -1 4202496 581632 0 0 0 479777 249 0 0 25 0 4 0 520623968 803475456 154584 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4775/statm: 196161 154584 389 106 0 191132 0
[pid=4775/tid=4779] ppid=4772 vsize=784644 CPUtime=1201.66 cores=1,3,5,7
/proc/4775/task/4779/stat : 4779 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 87690 0 0 0 120128 38 0 0 25 0 4 0 520623968 803475456 154584 33554432000 4194304 4627427 140736128220592 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4775/tid=4780] ppid=4772 vsize=784644 CPUtime=1195.15 cores=1,3,5,7
/proc/4775/task/4780/stat : 4780 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 155550 0 0 0 119450 65 0 0 25 0 4 0 520623968 803475456 154584 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4775/tid=4781] ppid=4772 vsize=784644 CPUtime=1201.7 cores=1,3,5,7
/proc/4775/task/4781/stat : 4781 (strangenight2-m) R 4772 4775 3322 0 -1 4202560 187381 0 0 0 120091 79 0 0 25 0 4 0 520623968 803475456 154584 33554432000 4194304 4627427 140736128220592 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 784644

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.32
CPU user time (s): 4797.8
CPU system time (s): 2.51762
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 1000404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.8
system time used= 2.51762
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581633
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= 486
involuntary context switches= 35622

runsolver used 1.80472 second user time and 4.76228 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-29 17:17:35
IDJOB=3174091
IDBENCH=82909
IDSOLVER=1586
FILE ID=node130/3174091-1304090255
RUNJOBID= node130-1304090254-4760
PBS_JOBID= 13170506
Free space on /tmp= 71996 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174091-1304090255/watcher-3174091-1304090255 -o /tmp/evaluation-result-3174091-1304090255/solver-3174091-1304090255 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174091-1304090255.cnf

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

MD5SUM BENCH= 3a195a9f73ea42ae7df353109d53748f
RANDOM SEED=127903632

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27108692 kB
Buffers:       1173428 kB
Cached:        4151192 kB
SwapCached:      22432 kB
Active:         496104 kB
Inactive:      4914020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27108692 kB
SwapTotal:    67111528 kB
SwapFree:     67088964 kB
Dirty:           11408 kB
Writeback:           0 kB
AnonPages:       63176 kB
Mapped:          14624 kB
Slab:           369308 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188084 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= 71984 MiB
End job on node130 at 2011-04-29 17:37:38