Trace number 3366500

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.4 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-3366500-1307650371.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.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.20/0.87	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
3.20/0.87	c Finding binary XORs  T:     0.00 s  found:       0
3.20/0.87	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.20/0.87	c calculated reachability. Time: 0.00
3.20/0.87	c Calc default polars -  time:   0.00 s pos:     314 undec:      80 neg:     356
3.20/0.87	c =========================================================================================
3.20/0.87	c types(t): F = full restart, N = normal restart
3.20/0.87	c types(t): S = simplification begin/end, E = solution found
3.20/0.87	c restart types(rt): st = static, dy = dynamic
3.20/0.87	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.20/0.87	c  B st     0         0       739      3186         0         0      9617         0   no data   no data
3.20/0.87	c Decided on static restart strategy
3.20/0.87	c  N st     8      4924       739      3186         0      4866      9617    151054   no data   no data
3.20/0.87	c  N st    10     11307       739      3186         0      4505      9617     94843   no data   no data
3.20/0.87	c  N st    11     17052       739      3186         0     10157      9617    276302   no data   no data
4.80/1.30	c  F st    12     25003       739      3186         0     12480      9617    348302   no data   no data
4.80/1.30	c  N st    12     25003       739      3186         0     12480      9617    348302   no data   no data
5.97/1.53	c  N dy    18     30001       739      3186         0     10759      9617    272177   no data   no data
5.97/1.53	c  S st    18     30001       739      3186         0     10759      9617    272177   no data   no data
5.97/1.56	c  S st    18     30504       739      3186         0     11262      9617    287065   no data   no data
5.97/1.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.57	c blocked clauses removed:       11 vars:      2 tried:         739 T: 0.00 s
5.97/1.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    737 time:  0.00 s
5.97/1.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.57	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.97/1.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.63	c lits-rem:       141  cl-subs:      261  v-elim:      0  v-fix:    0  time:  0.05 s
6.37/1.64	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.01
6.37/1.64	c calculated reachability. Time: 0.00
6.37/1.64	c  N dy    18     30504       736      3174         0     10985      9587    276009   no data   no data
7.59/1.94	c  N dy    27     35452       736      3174         0      8048      9587    122564     20.83     22.07
8.36/2.16	c  N dy    41     39655       736      3174         0     12222      9587    244264     20.65     22.12
9.56/2.43	c  N dy    55     43747       736      3174         0     16282      9587    365570     20.61     23.99
9.96/2.57	c  S st    69     45756       736      3174         0      9385      9587    126273     20.81     22.21
9.96/2.59	c  S st    69     46259       736      3174         0      9888      9587    140467     20.81   no data
9.96/2.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.36/2.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.36/2.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.36/2.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
10.36/2.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.36/2.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.36/2.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.61	c lits-rem:        43  cl-subs:       12  v-elim:      0  v-fix:    0  time:  0.01 s
10.36/2.61	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
10.36/2.62	c vivif2 --  cl tried     9876 cl shrink        0 lits rem          0 time: 0.00
10.36/2.62	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.01
10.36/2.62	c calculated reachability. Time: 0.00
10.36/2.62	c  N dy    69     46259       736      3174         0      9876      9587    139905     20.81   no data
11.16/2.89	c  N dy    82     50932       736      3174         0     14517      9587    276751     20.66     21.76
12.36/3.17	c  N dy   100     54954       736      3174         0     18514      9587    395555     20.67     21.99
13.56/3.47	c  N dy   108     59662       736      3174         0     13286      9587    214039     20.48     21.76
14.76/3.74	c  N dy   124     63692       736      3174         0     17299      9587    334113     20.48     23.34
15.97/4.09	c  N dy   148     68197       736      3174         0     21779      9587    467718     20.52     21.67
16.38/4.17	c  S st   156     69388       736      3174         0     12040      9587    149880     20.54   no data
16.75/4.20	c  S st   156     69891       736      3174         0     12543      9587    163631     20.54   no data
16.75/4.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.75/4.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.75/4.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.75/4.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
16.75/4.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.75/4.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.75/4.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.22	c lits-rem:        16  cl-subs:       14  v-elim:      0  v-fix:    0  time:  0.01 s
16.75/4.22	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
16.75/4.23	c vivif2 --  cl tried    12529 cl shrink        0 lits rem          0 time: 0.00
16.75/4.23	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.01
16.75/4.23	c calculated reachability. Time: 0.00
16.75/4.23	c  N dy   156     69891       736      3174         0     12529      9587    163100     20.54   no data
18.76/4.72	c  N dy   162     76605       736      3174         0     19189      9587    361993     20.22     21.37
21.95/5.51	c  N dy   192     86842       736      3174         0     17428      9587    291466     20.06     21.14
21.95/5.57	c  F st   197     87500       736      3174         0     18081      9587    310994     20.07   no data
23.54/5.98	c  N dy   203     92694       736      3174         0     23248      9587    471649     20.07   no data
25.53/6.47	c  N dy   234     98709       736      3174         0     16315      9587    229524     20.10     21.41
27.54/6.95	c  S st   265    104836       736      3174         0     22415      9587    409231     20.13   no data
27.94/7.00	c  S st   265    105340       736      3174         0     22919      9587    423615     20.13   no data
27.94/7.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.94/7.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.94/7.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.94/7.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.94/7.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
27.94/7.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.94/7.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.94/7.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.09	c lits-rem:       134  cl-subs:      165  v-elim:      0  v-fix:    0  time:  0.06 s
27.94/7.09	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
28.34/7.10	c vivif2 --  cl tried    22754 cl shrink        0 lits rem          0 time: 0.00
28.34/7.11	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.01
28.34/7.11	c calculated reachability. Time: 0.00
28.34/7.11	c  N dy   265    105340       736      3174         0     22754      9587    417281     20.13   no data
31.13/7.83	c  N dy   300    113600       736      3174         0     17037      9587    223204     20.16     21.27
33.54/8.42	c  N dy   326    120860       736      3174         0     24223      9587    432070     20.14     21.34
36.72/9.22	c  N dy   370    129207       736      3174         0     17625      9587    217017     20.19     21.43
39.92/10.01	c  N dy   412    138102       736      3174         0     26467      9587    487093     20.22     21.48
44.32/11.11	c  N dy   444    150044       736      3174         0     22433      9587    341249     20.13     21.29
47.13/11.90	c  S st   480    158011       736      3174         0     30335      9587    574770     20.15     20.15
47.51/11.96	c  S st   480    158514       736      3174         0     30838      9587    589873     20.15   no data
47.51/11.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.51/11.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.51/11.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.51/11.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.51/11.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.51/11.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
47.51/11.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.51/11.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.91/12.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.30/12.15	c lits-rem:       220  cl-subs:      431  v-elim:      0  v-fix:    0  time:  0.15 s
48.30/12.15	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
48.30/12.16	c vivif2 --  cl tried    30407 cl shrink        0 lits rem          0 time: 0.01
48.30/12.18	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.02
48.30/12.18	c calculated reachability. Time: 0.00
48.30/12.18	c  N dy   480    158514       736      3174         0     30407      9587    575178     20.15   no data
52.30/13.13	c  N dy   513    168769       736      3174         0     23724      9587    351395     20.11     21.18
57.89/14.53	c  N dy   551    181552       736      3174         0     18532      9587    173494     20.07     21.37
62.29/15.64	c  N dy   621    193397       736      3174         0     30308      9587    530361     20.13     21.32
68.70/17.29	c  N dy   670    208425       736      3174         0     26347      9587    376446     20.08     21.28
77.07/19.37	c  N dy   745    226136       736      3174         0     24065      9587    288398     20.09     21.23
82.66/20.71	c  S st   814    237772       736      3174         0     35633      9587    633971     20.13     24.14
83.06/20.82	c  S st   814    238278       736      3174         0     36139      9587    650068     20.13   no data
83.06/20.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.06/20.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
83.06/20.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.06/20.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.06/20.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.06/20.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
83.06/20.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.06/20.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.06/20.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.27/21.13	c lits-rem:       132  cl-subs:      453  v-elim:      0  v-fix:    0  time:  0.26 s
84.27/21.13	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
84.27/21.14	c vivif2 --  cl tried    35686 cl shrink        0 lits rem          0 time: 0.01
84.27/21.17	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.03
84.27/21.17	c calculated reachability. Time: 0.00
84.27/21.17	c  N dy   814    238278       736      3174         0     35686      9587    634768     20.13   no data
91.85/23.07	c  N dy   885    253679       736      3174         0     30154      9587    450102     20.15     21.31
100.24/25.15	c  N dy   950    269912       736      3174         0     24415      9587    258297     20.14     23.38
109.02/27.30	c  N dy  1054    287205       736      3174         0     41590      9587    778731     20.21     21.39
117.82/29.58	c  N dy  1116    305721       736      3174         0     37101      9587    611694     20.15     21.46
118.22/29.65	c  F st  1119    306251       736      3174         0     37629      9587    627709     20.15   no data
128.20/32.19	c  N dy  1192    325399       736      3174         0     32814      9587    452715     20.16     21.36
140.18/35.15	c  N dy  1309    345499       736      3174         0     27970      9587    288161     20.21     21.28
146.17/36.66	c  S st  1378    357417       736      3174         0     39827      9587    644308     20.24     20.06
146.57/36.75	c  S st  1378    357923       736      3174         0     40332      9587    659560     20.24   no data
146.57/36.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.57/36.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.57/36.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.57/36.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.57/36.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.57/36.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
146.57/36.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.57/36.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.97/36.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.37/37.00	c lits-rem:        97  cl-subs:      316  v-elim:      0  v-fix:    0  time:  0.20 s
147.37/37.00	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
147.79/37.01	c vivif2 --  cl tried    40016 cl shrink        0 lits rem          0 time: 0.01
147.79/37.04	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.03
147.79/37.04	c calculated reachability. Time: 0.00
147.79/37.04	c  N dy  1378    357923       736      3174         0     40016      9587    647705     20.24   no data
159.76/40.03	c  N dy  1457    378010       736      3174         0     34147      9587    461840     20.22     23.14
172.94/43.33	c  N dy  1536    398366       736      3174         0     27536      9587    227678     20.20     21.43
184.52/46.25	c  N dy  1655    418704       736      3174         0     47724      9587    833727     20.24     21.39
197.30/49.42	c  N dy  1762    438887       736      3174         0     39948      9587    577353     20.27     21.57
211.28/52.97	c  N dy  1849    459070       736      3174         0     31194      9587    292560     20.28     21.67
224.46/56.25	c  N dy  1929    480682       736      3174         0     52638      9587    937123     20.27     21.38
253.65/63.55	c  N dy  1938    520616       736      3174         0     31665      9587    263963     19.98     21.42
263.21/65.90	c  S st  2003    536884       736      3174         0     47758      9587    740280     19.99   no data
263.61/66.01	c  S st  2003    537388       736      3174         0     48261      9587    756649     19.99   no data
263.61/66.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
263.61/66.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
263.61/66.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
263.61/66.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
263.61/66.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.61/66.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
263.61/66.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
263.61/66.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
263.61/66.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.81/66.34	c lits-rem:       183  cl-subs:      597  v-elim:      0  v-fix:    0  time:  0.27 s
264.81/66.34	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
264.81/66.35	c vivif2 --  cl tried    47664 cl shrink        0 lits rem          0 time: 0.01
264.81/66.39	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.04
264.81/66.39	c calculated reachability. Time: 0.00
264.81/66.39	c  N dy  2003    537388       736      3174         0     47664      9587    737237     19.99   no data
280.39/70.27	c  N dy  2087    557457       736      3174         0     35877      9587    366117     19.99     22.34
294.38/73.79	c  N dy  2238    577469       736      3174         0     55798      9587    975554     20.05     21.77
309.96/77.61	c  N dy  2371    597500       736      3174         0     42944      9587    560859     20.09     21.18
328.72/82.34	c  N dy  2472    620503       736      3174         0     65784      9587   1246322     20.11     21.28
342.31/85.71	c  N dy  2573    640505       736      3174         0     51863      9587    798919     20.12     21.32
360.69/90.31	c  N dy  2700    660740       736      3174         0     37218      9587    333366     20.16     21.24
375.07/93.91	c  N dy  2805    681047       736      3174         0     57373      9587    945436     20.17     21.37
393.04/98.44	c  N dy  2905    702238       736      3174         0     42677      9587    474865     20.19     21.26
409.02/102.48	c  N dy  3021    722288       736      3174         0     62607      9587   1080834     20.22     22.18
427.39/107.06	c  N dy  3142    743133       736      3174         0     46576      9587    568305     20.24     21.48
445.77/111.63	c  N dy  3217    764603       736      3174         0     67855      9587   1213513     20.23     21.42
462.55/115.86	c  N dy  3321    784666       736      3174         0     50058      9587    648813     20.24     23.01
481.74/120.67	c  N dy  3402    805440       736      3174         0     70670      9587   1270997     20.24     21.40
482.51/120.84	c  S st  3409    806082       736      3174         0     71307      9587   1291814     20.25   no data
483.31/121.04	c  S st  3409    806583       736      3174         0     71808      9587   1306572     20.25   no data
483.31/121.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
483.31/121.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
483.31/121.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
483.31/121.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
483.31/121.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
483.31/121.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
483.31/121.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
483.71/121.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
483.71/121.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
486.91/121.94	c lits-rem:       195  cl-subs:      893  v-elim:      0  v-fix:    0  time:  0.81 s
486.91/121.94	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
486.91/121.96	c vivif2 --  cl tried    70915 cl shrink        0 lits rem          0 time: 0.02
487.31/122.03	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.06
487.31/122.03	c calculated reachability. Time: 0.00
487.31/122.03	c  N dy  3409    806583       736      3174         0     70915      9587   1276106     20.25   no data
504.11/126.24	c  N dy  3520    826652       736      3174         0     52143      9587    686649     20.27     21.58
522.06/130.76	c  N dy  3563    846800       736      3174         0     72133      9587   1292855     20.24     21.49
540.84/135.48	c  N dy  3640    868467       736      3174         0     53926      9587    716082     20.24     21.44
560.42/140.31	c  N dy  3729    888553       736      3174         0     73866      9587   1327705     20.25     24.34
578.00/144.74	c  N dy  3840    908642       736      3174         0     53118      9587    665980     20.27     21.43
597.17/149.58	c  N dy  3955    928661       736      3174         0     72994      9587   1266808     20.29     21.38
616.74/154.47	c  N dy  4081    948671       736      3174         0     51184      9587    587424     20.32     21.43
635.54/159.15	c  N dy  4170    969212       736      3174         0     71581      9587   1207333     20.33     21.73
656.69/164.43	c  N dy  4259    989253       736      3174         0     48769      9587    488686     20.33     22.37
695.03/174.00	c  N dy  4316   1025752       736      3174         0     84765      9587   1540228     20.28     21.41
712.21/178.39	c  N dy  4435   1045768       736      3174         0     61057      9587    840769     20.29     22.50
735.78/184.26	c  N dy  4484   1068533       736      3174         0     83583      9587   1522595     20.27     21.37
740.58/185.44	c  F st  4499   1071876       736      3174         0     86907      9587   1621265     20.27     16.70
745.79/186.71	c Decided on static restart strategy
754.95/189.08	c  N st  4508   1090584       736      3174         0     60817      9587    830725     20.27   no data
776.14/194.39	c  N st  4510   1114580       736      3174         0     84449      9587   1636928     20.27   no data
793.72/198.71	c  N st  4511   1136178       736      3174         0     60249      9587   1482871     20.27   no data
832.06/208.32	c  N st  4512   1168572       736      3174         0     92172      9587   2609861     20.27   no data
873.59/218.76	c  N st  4513   1209875       736      3174         0     86613      9587   2309502     20.27   no data
873.59/218.76	c  S st  4513   1209875       736      3174         0     86613      9587   2309502     20.27   no data
874.80/219.03	c  S st  4513   1210380       736      3174         0     87118      9587   2324697     20.27   no data
874.80/219.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
874.80/219.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
874.80/219.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
874.80/219.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
874.80/219.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
874.80/219.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
874.80/219.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
875.19/219.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
875.19/219.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
918.73/230.09	c lits-rem:      1064  cl-subs:     3105  v-elim:      0  v-fix:    0  time: 10.90 s
918.73/230.09	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
919.13/230.12	c vivif2 --  cl tried    84013 cl shrink        0 lits rem          0 time: 0.03
919.53/230.23	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.11
919.53/230.23	c calculated reachability. Time: 0.00
919.53/230.23	c  N st  4513   1210380       736      3174         0     84013      9587   2196154     20.27   no data
1000.24/250.50	c  N st  4514   1283262       736      3174         0     60435      9587   1239070     20.27   no data
1122.86/281.20	c  N st  4515   1392585       736      3174         0     67984      9587   1447418     20.27   no data
1317.02/329.70	c  N st  4516   1556570       736      3174         0     72953      9587   1454572     20.27   no data
1524.72/381.79	c  N st  4517   1710380       736      3174         0     59218      9587    860648     20.27   no data
1524.72/381.79	c  S st  4517   1710380       736      3174         0     59218      9587    860648     20.27   no data
1525.52/381.95	c  S st  4517   1710885       736      3174         0     59723      9587    875398     20.27   no data
1525.52/381.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1525.52/381.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.03
1525.52/381.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1525.52/381.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1525.52/381.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1525.52/381.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
1525.52/381.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1525.92/382.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1525.92/382.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1527.54/382.49	c lits-rem:       507  cl-subs:      515  v-elim:      0  v-fix:    0  time:  0.46 s
1527.54/382.49	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
1527.54/382.50	c vivif2 --  cl tried    59208 cl shrink        0 lits rem          0 time: 0.01
1527.94/382.55	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.05
1527.94/382.55	c calculated reachability. Time: 0.00
1527.94/382.55	c  N st  4517   1710885       736      3174         0     59208      9587    859135     20.27   no data
1989.32/498.05	c  N st  4518   2079849       736      3174         0     65115      9587    880065     20.27   no data
2160.69/540.94	c  N st  4519   2210886       736      3174         0     67079      9587    870036     20.27   no data
2160.69/540.94	c  S st  4519   2210886       736      3174         0     67079      9587    870036     20.27   no data
2161.47/541.11	c  S st  4519   2211391       736      3174         0     67580      9587    885593     20.27   no data
2161.47/541.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2161.47/541.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2161.47/541.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2161.47/541.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2161.47/541.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2161.47/541.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
2161.47/541.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2161.47/541.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2161.87/541.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2163.07/541.50	c lits-rem:        68  cl-subs:      311  v-elim:      0  v-fix:    0  time:  0.30 s
2163.07/541.50	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
2163.07/541.51	c vivif2 --  cl tried    67269 cl shrink        0 lits rem          0 time: 0.02
2163.07/541.59	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.07
2163.07/541.59	c calculated reachability. Time: 0.00
2163.07/541.59	c  N st  4519   2211391       736      3174         0     67269      9587    876476     20.27   no data
2874.11/719.58	c  N st  4520   2711391       736      3174         0     83983      9587   1251391     20.27   no data
2874.11/719.58	c  S st  4520   2711391       736      3174         0     83983      9587   1251391     20.27   no data
2875.31/719.83	c  S st  4520   2711895       736      3174         0     84487      9587   1266698     20.27   no data
2875.31/719.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2875.31/719.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
2875.31/719.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2875.31/719.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2875.31/719.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2875.31/719.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
2875.31/719.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2875.71/719.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2875.71/719.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2880.11/721.00	c lits-rem:       168  cl-subs:     1335  v-elim:      0  v-fix:    0  time:  1.06 s
2880.11/721.00	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
2880.11/721.02	c vivif2 --  cl tried    83152 cl shrink        0 lits rem          0 time: 0.02
2880.51/721.10	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.08
2880.51/721.11	c calculated reachability. Time: 0.00
2880.51/721.11	c  N st  4520   2711895       736      3174         0     83152      9587   1226000     20.27   no data
3707.80/928.22	c  N st  4521   3211895       736      3174         0    129398      9587   2490825     20.27   no data
3707.80/928.22	c  S st  4521   3211895       736      3174         0    129398      9587   2490825     20.27   no data
3709.80/928.73	c  S st  4521   3212400       736      3174         0    129903      9587   2505290     20.27   no data
3709.80/928.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3710.20/928.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.09
3710.20/928.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3710.20/928.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3710.20/928.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3710.20/928.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
3710.20/928.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3710.20/928.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3710.60/928.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3810.44/953.92	c lits-rem:       732  cl-subs:     7385  v-elim:      0  v-fix:    0  time: 24.95 s
3810.44/953.92	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
3810.44/953.96	c vivif2 --  cl tried   122518 cl shrink        0 lits rem          0 time: 0.04
3810.84/954.09	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.13
3810.84/954.09	c calculated reachability. Time: 0.00
3810.84/954.09	c  N st  4521   3212400       736      3174         0    122518      9587   2296375     20.27   no data
4627.35/1158.48	c  N st  4522   3712401       736      3174         0    133476      9587   2621190     20.27   no data
4627.35/1158.48	c  S st  4522   3712401       736      3174         0    133476      9587   2621190     20.27   no data
4628.95/1158.89	c  S st  4522   3712903       736      3174         0    133976      9587   2636743     20.27   no data
4629.35/1158.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4629.35/1158.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4629.35/1158.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4629.35/1158.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4629.35/1158.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4629.35/1158.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    736 time:  0.00 s
4629.35/1158.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4629.77/1159.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4629.77/1159.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4685.27/1172.99	c lits-rem:       529  cl-subs:     4822  v-elim:      0  v-fix:    0  time: 13.90 s
4685.27/1172.99	c vivif2 --  cl tried     3174 cl shrink        0 lits rem          0 time: 0.00
4685.67/1173.03	c vivif2 --  cl tried   129154 cl shrink        0 lits rem          0 time: 0.04
4686.07/1173.17	c asymm  cl-useful: 0/3174/3174 lits-rem:0 time: 0.14
4686.07/1173.18	c calculated reachability. Time: 0.00
4686.07/1173.18	c  N st  4522   3712903       736      3174         0    129154      9587   2478316     20.27   no data
4771.96/1194.60	c  F st  4523   3751562       736      3174         0    167194      9587   3785238     20.27   no data
4771.96/1194.61	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: 977)

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-3366500-1307650371/watcher-3366500-1307650371 -o /tmp/evaluation-result-3366500-1307650371/solver-3366500-1307650371 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366500-1307650371.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: 3.93 4.98 4.91 4/176 9519
/proc/meminfo: memFree=32040764/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 876639727 52396032 352 33554432000 4194304 4580107 140733735453904 18446744073709551615 47714448885676 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 12792 352 302 95 0 7774 0
[pid=9519/tid=9521] ppid=9515 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 876639728 52396032 352 33554432000 4194304 4580107 140733735453904 18446744073709551615 47714448885682 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 876639728 52396032 352 33554432000 4194304 4580107 140733735453904 18446744073709551615 47714448885682 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 876639728 52396032 352 33554432000 4194304 4580107 140733735453904 18446744073709551615 216634515387 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.191146 s]
/proc/loadavg: 3.93 4.98 4.91 4/176 9519
/proc/meminfo: memFree=32040764/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=285488 CPUtime=3.2 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 5293 0 0 0 320 0 0 0 18 0 4 0 876639727 292339712 3281 33554432000 4194304 4580107 140733735453904 18446744073709551615 4293105 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 71372 3281 377 95 0 66354 0
[pid=9519/tid=9521] ppid=9515 vsize=285488 CPUtime=0.8 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1327 0 0 0 80 0 0 0 18 0 4 0 876639728 292339712 3281 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=285488 CPUtime=0.8 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1235 0 0 0 80 0 0 0 18 0 4 0 876639728 292339712 3281 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=285488 CPUtime=0.79 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1086 0 0 0 79 0 0 0 19 0 4 0 876639728 292339712 3282 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 285488

[startup+0.908758 s]
/proc/loadavg: 3.93 4.98 4.91 4/176 9519
/proc/meminfo: memFree=32040764/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=286420 CPUtime=3.6 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 6236 0 0 0 360 0 0 0 19 0 4 0 876639727 293294080 2802 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294363 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 71605 2802 377 95 0 66587 0
[pid=9519/tid=9521] ppid=9515 vsize=286420 CPUtime=0.9 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1569 0 0 0 90 0 0 0 19 0 4 0 876639728 293294080 2802 33554432000 4194304 4580107 140733735453904 18446744073709551615 4317131 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=286420 CPUtime=0.9 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1478 0 0 0 90 0 0 0 19 0 4 0 876639728 293294080 2802 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=286420 CPUtime=0.89 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1315 0 0 0 89 0 0 0 19 0 4 0 876639728 293294080 2802 33554432000 4194304 4580107 140733735453904 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 286420

[startup+1.00874 s]
/proc/loadavg: 3.93 4.98 4.91 4/176 9519
/proc/meminfo: memFree=32040764/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=286420 CPUtime=4 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 6510 0 0 0 400 0 0 0 19 0 4 0 876639727 293294080 3076 33554432000 4194304 4580107 140733735453904 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 71605 3076 377 95 0 66587 0
[pid=9519/tid=9521] ppid=9515 vsize=286420 CPUtime=1 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1641 0 0 0 100 0 0 0 19 0 4 0 876639728 293294080 3076 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=286420 CPUtime=1 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1547 0 0 0 100 0 0 0 19 0 4 0 876639728 293294080 3076 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=286420 CPUtime=0.99 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1380 0 0 0 99 0 0 0 19 0 4 0 876639728 293294080 3076 33554432000 4194304 4580107 140733735453904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 286420

[startup+1.10872 s]
/proc/loadavg: 3.93 4.98 4.91 4/176 9519
/proc/meminfo: memFree=32040764/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=286560 CPUtime=4.4 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 6796 0 0 0 440 0 0 0 19 0 4 0 876639727 293437440 3362 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 71640 3363 377 95 0 66622 0
[pid=9519/tid=9521] ppid=9515 vsize=286560 CPUtime=1.1 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1712 0 0 0 110 0 0 0 19 0 4 0 876639728 293437440 3363 33554432000 4194304 4580107 140733735453904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=286560 CPUtime=1.1 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1618 0 0 0 110 0 0 0 19 0 4 0 876639728 293437440 3363 33554432000 4194304 4580107 140733735453904 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=286560 CPUtime=1.09 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1452 0 0 0 109 0 0 0 19 0 4 0 876639728 293437440 3363 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 286560

[startup+1.50065 s]
/proc/loadavg: 3.93 4.98 4.91 4/176 9519
/proc/meminfo: memFree=32040764/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=287088 CPUtime=5.97 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 8649 0 0 0 596 1 0 0 19 0 4 0 876639727 293978112 3491 33554432000 4194304 4580107 140733735453904 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 71772 3491 378 95 0 66754 0
[pid=9519/tid=9521] ppid=9515 vsize=287088 CPUtime=1.49 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 2180 0 0 0 149 0 0 0 20 0 4 0 876639728 293978112 3491 33554432000 4194304 4580107 140733735453904 18446744073709551615 4295863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=287088 CPUtime=1.49 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 2076 0 0 0 149 0 0 0 19 0 4 0 876639728 293978112 3491 33554432000 4194304 4580107 140733735453904 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=287088 CPUtime=1.48 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 1912 0 0 0 148 0 0 0 20 0 4 0 876639728 293978112 3491 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287088

[startup+3.10037 s]
/proc/loadavg: 3.93 4.98 4.91 10/184 9527
/proc/meminfo: memFree=31958148/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=284344 CPUtime=12.36 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 19688 0 0 0 1233 3 0 0 25 0 4 0 876639727 291168256 11637 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294418 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 71086 11637 379 95 0 66068 0
[pid=9519/tid=9521] ppid=9515 vsize=284344 CPUtime=3.08 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 4783 0 0 0 308 0 0 0 25 0 4 0 876639728 291168256 11637 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=284344 CPUtime=3.08 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 5061 0 0 0 308 0 0 0 25 0 4 0 876639728 291168256 11637 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=284344 CPUtime=3.07 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 4460 0 0 0 306 1 0 0 25 0 4 0 876639728 291168256 11637 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 284344

[startup+6.30681 s]
/proc/loadavg: 4.25 5.03 4.93 10/184 9527
/proc/meminfo: memFree=31920760/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=293416 CPUtime=25.16 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 29226 0 0 0 2512 4 0 0 25 0 4 0 876639727 300457984 15888 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 73354 15888 379 95 0 68336 0
[pid=9519/tid=9521] ppid=9515 vsize=293416 CPUtime=6.3 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 8322 0 0 0 629 1 0 0 25 0 4 0 876639728 300457984 15888 33554432000 4194304 4580107 140733735453904 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=293416 CPUtime=6.29 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 7532 0 0 0 628 1 0 0 25 0 4 0 876639728 300457984 15888 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=293416 CPUtime=6.26 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 5979 0 0 0 625 1 0 0 25 0 4 0 876639728 300457984 15888 33554432000 4194304 4580107 140733735453904 18446744073709551615 4316807 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 293416

[startup+12.7007 s]
/proc/loadavg: 4.55 5.08 4.94 10/184 9527
/proc/meminfo: memFree=31862700/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=295408 CPUtime=50.71 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 46000 0 0 0 5063 8 0 0 25 0 4 0 876639727 302497792 21575 33554432000 4194304 4580107 140733735453904 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 73852 21575 379 95 0 68834 0
[pid=9519/tid=9521] ppid=9515 vsize=295408 CPUtime=12.69 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 12960 0 0 0 1267 2 0 0 25 0 4 0 876639728 302497792 21575 33554432000 4194304 4580107 140733735453904 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=295408 CPUtime=12.68 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 10434 0 0 0 1267 1 0 0 25 0 4 0 876639728 302497792 21575 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=295408 CPUtime=12.62 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 10547 0 0 0 1260 2 0 0 25 0 4 0 876639728 302497792 21575 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 295408

[startup+25.5004 s]
/proc/loadavg: 5.08 5.17 4.97 10/184 9527
/proc/meminfo: memFree=31788784/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=305092 CPUtime=101.84 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 68086 0 0 0 10171 13 0 0 25 0 4 0 876639727 312414208 30679 33554432000 4194304 4580107 140733735453904 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 76273 30679 379 95 0 71255 0
[pid=9519/tid=9521] ppid=9515 vsize=305092 CPUtime=25.49 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 20797 0 0 0 2546 3 0 0 25 0 4 0 876639728 312414208 30679 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=305092 CPUtime=25.48 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 16246 0 0 0 2545 3 0 0 25 0 4 0 876639728 312414208 30680 33554432000 4194304 4580107 140733735453904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=305092 CPUtime=25.35 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 14550 0 0 0 2532 3 0 0 25 0 4 0 876639728 312414208 30680 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 305092

[startup+51.1009 s]
/proc/loadavg: 6.28 5.45 5.07 10/184 9528
/proc/meminfo: memFree=31738708/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=315268 CPUtime=204.1 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 93317 0 0 0 20389 21 0 0 25 0 4 0 876639727 322834432 38936 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 78817 38936 379 95 0 73799 0
[pid=9519/tid=9521] ppid=9515 vsize=315268 CPUtime=51.09 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 27524 0 0 0 5104 5 0 0 25 0 4 0 876639728 322834432 38936 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=315268 CPUtime=51.08 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 21212 0 0 0 5103 5 0 0 25 0 4 0 876639728 322834432 38936 33554432000 4194304 4580107 140733735453904 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=315268 CPUtime=50.81 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 21995 0 0 0 5076 5 0 0 25 0 4 0 876639728 322834432 38936 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 315268

[startup+102.301 s]
/proc/loadavg: 7.31 5.86 5.23 10/184 9529
/proc/meminfo: memFree=31677408/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=394288 CPUtime=408.62 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 122616 0 0 0 40829 33 0 0 25 0 4 0 876639727 403750912 46432 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 98572 46432 379 95 0 93554 0
[pid=9519/tid=9521] ppid=9515 vsize=394288 CPUtime=102.29 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 34783 0 0 0 10222 7 0 0 25 0 4 0 876639728 403750912 46432 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=394288 CPUtime=102.28 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 28559 0 0 0 10221 7 0 0 25 0 4 0 876639728 403750912 46432 33554432000 4194304 4580107 140733735453904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=394288 CPUtime=101.74 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 30286 0 0 0 10165 9 0 0 25 0 4 0 876639728 403750912 46432 33554432000 4194304 4580107 140733735453904 18446744073709551615 4325732 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 394288

[startup+162.3 s]

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

[pid=9519] ppid=9515 vsize=596708 CPUtime=2805.41 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 408115 0 0 0 280400 141 0 0 25 0 4 0 876639727 611028992 110914 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 149177 110914 379 95 0 144159 0
[pid=9519/tid=9521] ppid=9515 vsize=596708 CPUtime=702.29 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 86262 0 0 0 70204 25 0 0 25 0 4 0 876639728 611028992 110914 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=596708 CPUtime=702.3 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 98320 0 0 0 70196 34 0 0 25 0 4 0 876639728 611028992 110914 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=596708 CPUtime=698.48 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 111812 0 0 0 69809 39 0 0 25 0 4 0 876639728 611028992 110914 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 596708

[startup+762.3 s]
/proc/loadavg: 8.22 7.89 6.69 10/184 9547
/proc/meminfo: memFree=31165228/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=649304 CPUtime=3045.09 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 421807 0 0 0 304362 147 0 0 25 0 4 0 876639727 664887296 117968 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 162326 117968 379 95 0 157308 0
[pid=9519/tid=9521] ppid=9515 vsize=649304 CPUtime=762.29 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 90114 0 0 0 76203 26 0 0 25 0 4 0 876639728 664887296 117968 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=649304 CPUtime=762.3 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 98966 0 0 0 76196 34 0 0 25 0 4 0 876639728 664887296 117968 33554432000 4194304 4580107 140733735453904 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=649304 CPUtime=758.16 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 119316 0 0 0 75774 42 0 0 25 0 4 0 876639728 664887296 117968 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 649304

[startup+822.301 s]
/proc/loadavg: 8.20 7.94 6.78 10/184 9549
/proc/meminfo: memFree=31133320/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=676468 CPUtime=3284.77 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 440869 0 0 0 328323 154 0 0 25 0 4 0 876639727 692703232 124065 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 169117 124065 379 95 0 164099 0
[pid=9519/tid=9521] ppid=9515 vsize=676468 CPUtime=822.3 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 93736 0 0 0 82202 28 0 0 25 0 4 0 876639728 692703232 124065 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=676468 CPUtime=822.3 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 103012 0 0 0 82194 36 0 0 25 0 4 0 876639728 692703232 124065 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=676468 CPUtime=817.84 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 125085 0 0 0 81740 44 0 0 25 0 4 0 876639728 692703232 124065 33554432000 4194304 4580107 140733735453904 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 676468

[startup+882.3 s]
/proc/loadavg: 8.07 7.95 6.85 10/184 9550
/proc/meminfo: memFree=31078352/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=769176 CPUtime=3524.45 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 466459 0 0 0 352280 165 0 0 25 0 4 0 876639727 787636224 130076 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 192294 130076 379 95 0 187276 0
[pid=9519/tid=9521] ppid=9515 vsize=769176 CPUtime=882.3 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 98137 0 0 0 88200 30 0 0 25 0 4 0 876639728 787636224 130076 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=769176 CPUtime=882.3 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 110703 0 0 0 88191 39 0 0 25 0 4 0 876639728 787636224 130076 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=769176 CPUtime=877.51 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 133484 0 0 0 87705 46 0 0 25 0 4 0 876639728 787636224 130076 33554432000 4194304 4580107 140733735453904 18446744073709551615 4318884 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 769176

[startup+942.301 s]
/proc/loadavg: 8.02 7.95 6.92 10/184 9552
/proc/meminfo: memFree=30989996/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=797956 CPUtime=3764.14 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 489584 0 0 0 376240 174 0 0 25 0 4 0 876639727 817106944 144079 33554432000 4194304 4580107 140733735453904 18446744073709551615 4406355 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 199489 144079 379 95 0 194471 0
[pid=9519/tid=9521] ppid=9515 vsize=797956 CPUtime=942.3 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 106383 0 0 0 94198 32 0 0 25 0 4 0 876639728 817106944 144079 33554432000 4194304 4580107 140733735453904 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=797956 CPUtime=942.31 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 117559 0 0 0 94189 42 0 0 25 0 4 0 876639728 817106944 144079 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=797956 CPUtime=937.18 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 138302 0 0 0 93669 49 0 0 25 0 4 0 876639728 817106944 144079 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 797956

[startup+1002.3 s]
/proc/loadavg: 8.06 7.97 6.99 10/184 9553
/proc/meminfo: memFree=30956824/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=759276 CPUtime=4003.79 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 508426 0 0 0 400196 183 0 0 25 0 4 0 876639727 777498624 138317 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 189819 138317 379 95 0 184801 0
[pid=9519/tid=9521] ppid=9515 vsize=759276 CPUtime=1002.29 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 110890 0 0 0 100195 34 0 0 25 0 4 0 876639728 777498624 138317 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=759276 CPUtime=1002.31 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 124209 0 0 0 100186 45 0 0 25 0 4 0 876639728 777498624 138317 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=759276 CPUtime=996.84 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 144358 0 0 0 99632 52 0 0 25 0 4 0 876639728 777498624 138317 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 759276

[startup+1062.31 s]
/proc/loadavg: 8.07 7.99 7.05 10/184 9555
/proc/meminfo: memFree=31011740/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=832896 CPUtime=4243.48 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 527453 0 0 0 424157 191 0 0 25 0 4 0 876639727 852885504 143460 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 208224 143460 379 95 0 203206 0
[pid=9519/tid=9521] ppid=9515 vsize=832896 CPUtime=1062.31 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 111358 0 0 0 106196 35 0 0 25 0 4 0 876639728 852885504 143460 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=832896 CPUtime=1062.31 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 130403 0 0 0 106183 48 0 0 25 0 4 0 876639728 852885504 143460 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=832896 CPUtime=1056.52 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 152708 0 0 0 105596 56 0 0 25 0 4 0 876639728 852885504 143460 33554432000 4194304 4580107 140733735453904 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 832896

[startup+1122.3 s]
/proc/loadavg: 8.07 8.00 7.12 10/184 9557
/proc/meminfo: memFree=30974000/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=800216 CPUtime=4483.14 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 552623 0 0 0 448113 201 0 0 25 0 4 0 876639727 819421184 147240 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 200054 147240 379 95 0 195036 0
[pid=9519/tid=9521] ppid=9515 vsize=800216 CPUtime=1122.31 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 116042 0 0 0 112194 37 0 0 25 0 4 0 876639728 819421184 147240 33554432000 4194304 4580107 140733735453904 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=800216 CPUtime=1122.3 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 135603 0 0 0 112180 50 0 0 25 0 4 0 876639728 819421184 147240 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=800216 CPUtime=1116.19 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 160356 0 0 0 111560 59 0 0 25 0 4 0 876639728 819421184 147240 33554432000 4194304 4580107 140733735453904 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 800216

[startup+1182.3 s]
/proc/loadavg: 8.07 8.02 7.17 10/184 9558
/proc/meminfo: memFree=30925448/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=883168 CPUtime=4722.82 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 576541 0 0 0 472070 212 0 0 25 0 4 0 876639727 904364032 152979 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 220792 152979 379 95 0 215774 0
[pid=9519/tid=9521] ppid=9515 vsize=883168 CPUtime=1182.3 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 121394 0 0 0 118191 39 0 0 25 0 4 0 876639728 904364032 152979 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=883168 CPUtime=1182.31 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 142523 0 0 0 118178 53 0 0 25 0 4 0 876639728 904364032 152979 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=883168 CPUtime=1175.87 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 165378 0 0 0 117526 61 0 0 25 0 4 0 876639728 904364032 152979 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 883168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.03 7.20 10/184 9559
/proc/meminfo: memFree=30929276/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=880008 CPUtime=4800.34 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 584866 0 0 0 479818 216 0 0 25 0 4 0 876639727 901128192 152713 33554432000 4194304 4580107 140733735453904 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 220002 152713 379 95 0 214984 0
[pid=9519/tid=9521] ppid=9515 vsize=880008 CPUtime=1201.71 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 123301 0 0 0 120131 40 0 0 25 0 4 0 876639728 901128192 152713 33554432000 4194304 4580107 140733735453904 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=880008 CPUtime=1201.72 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 143783 0 0 0 120118 54 0 0 25 0 4 0 876639728 901128192 152713 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=880008 CPUtime=1195.17 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 168135 0 0 0 119454 63 0 0 25 0 4 0 876639728 901128192 152713 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 880008

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

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

[startup+1201.7 s]
/proc/loadavg: 8.13 8.03 7.20 10/184 9559
/proc/meminfo: memFree=30929276/32951124 swapFree=67052812/67111528
[pid=9519] ppid=9515 vsize=880008 CPUtime=4800.34 cores=0,2,4,6
/proc/9519/stat : 9519 (strangenight2-m) R 9515 9519 8057 0 -1 4202496 584866 0 0 0 479818 216 0 0 25 0 4 0 876639727 901128192 152713 33554432000 4194304 4580107 140733735453904 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9519/statm: 220002 152713 379 95 0 214984 0
[pid=9519/tid=9521] ppid=9515 vsize=880008 CPUtime=1201.71 cores=0,2,4,6
/proc/9519/task/9521/stat : 9521 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 123301 0 0 0 120131 40 0 0 25 0 4 0 876639728 901128192 152713 33554432000 4194304 4580107 140733735453904 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9519/tid=9523] ppid=9515 vsize=880008 CPUtime=1201.72 cores=0,2,4,6
/proc/9519/task/9523/stat : 9523 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 143783 0 0 0 120118 54 0 0 25 0 4 0 876639728 901128192 152713 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9519/tid=9525] ppid=9515 vsize=880008 CPUtime=1195.17 cores=0,2,4,6
/proc/9519/task/9525/stat : 9525 (strangenight2-m) R 9515 9519 8057 0 -1 4202560 168135 0 0 0 119454 63 0 0 25 0 4 0 876639728 901128192 152713 33554432000 4194304 4580107 140733735453904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 880008

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.4
CPU user time (s): 4798.21
CPU system time (s): 2.19567
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 948704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.21
system time used= 2.19567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584867
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= 567
involuntary context switches= 37077

runsolver used 1.80272 second user time and 4.76727 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-09 22:12:51
IDJOB=3366500
IDBENCH=82909
IDSOLVER=1844
FILE ID=node103/3366500-1307650371
RUNJOBID= node103-1307650371-9492
PBS_JOBID= 13549388
Free space on /tmp= 74172 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366500-1307650371/watcher-3366500-1307650371 -o /tmp/evaluation-result-3366500-1307650371/solver-3366500-1307650371 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366500-1307650371.cnf

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

MD5SUM BENCH= 3a195a9f73ea42ae7df353109d53748f
RANDOM SEED=567585580

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32041992 kB
Buffers:        224480 kB
Cached:         449200 kB
SwapCached:      22864 kB
Active:         334468 kB
Inactive:       368084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32041992 kB
SwapTotal:    67111528 kB
SwapFree:     67052812 kB
Dirty:           10896 kB
Writeback:           0 kB
AnonPages:       26960 kB
Mapped:           8468 kB
Slab:           141940 kB
PageTables:       4412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185948 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= 74160 MiB
End job on node103 at 2011-06-09 22:32:55