Trace number 3175014

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-1-mt? (TO) 4800.3 1201.94

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf
MD5SUM056b111696528692a64cdb39e1a29daf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.88671
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512750

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175014-1304077664.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:       12750
0.00/0.01	c -- clauses added:            0 learnts,        12750 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.17/0.31	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.17/0.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.17/0.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1.17/0.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:      64 undec:       4 neg:      82
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
3.17/0.80	c  N dy    11      6390       150     12750         0      3719     89250    139862     38.33     40.69  --
3.17/0.89	c  N dy    27     10742       150     12750         0      7884     89250    325400     38.68     40.83  --
4.37/1.11	c  N dy    39     15597       150     12750         0      8471     89250    316427     38.72     40.87  --
5.19/1.35	c  N dy    51     19726       150     12750         0      7054     89250    215257     38.67     40.88  --
6.37/1.65	c  F st    62     25002       150     12750         0     12116     89250    442578     38.65     38.71  --
6.37/1.65	c  N st    62     25002       150     12750         0     12116     89250    442578     38.65     38.71  --
7.56/1.93	c  N dy    68     30000       150     12750         0     10366     89250    335757     38.65   no data  --
7.56/1.93	c  S st    68     30000       150     12750         0     10366     89250    335757     38.65   no data  --
7.56/1.97	c  S st    68     30506       150     12750         0     10859     89250    356782     38.65   no data  --
7.56/1.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.56/1.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.56/1.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.56/1.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.56/1.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.56/1.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.56/1.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.15/4.35	c lits-rem:      1634  cl-subs:      437  v-elim:      0  v-fix:    0  time:  9.40 s
18.74/4.78	c asymm  cl-useful: 0/10959/12750 lits-rem:0 time: 1.72
18.74/4.78	c calculated reachability. Time: 0.00
18.74/4.78	c  N dy    68     30506       150     12750         0     10422     89250    330152     38.65   no data  --
19.94/5.05	c  N dy    81     34655       150     12750         0     14394     89250    506630     38.60     40.76  --
21.15/5.32	c  N dy   102     38964       150     12750         0     10946     89250    324097     38.75     40.83  --
22.36/5.62	c  N dy   105     43511       150     12750         0     15283     89250    515827     38.57     40.69  --
22.76/5.79	c  S st   115     45759       150     12750         0      8889     89250    200990     38.59     38.24  --
23.14/5.82	c  S st   115     46262       150     12750         0      9375     89250    221976     38.59   no data  --
23.14/5.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.14/5.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.14/5.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.14/5.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.14/5.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.14/5.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.14/5.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.53/7.50	c lits-rem:       207  cl-subs:       58  v-elim:      0  v-fix:    0  time:  6.61 s
29.93/7.50	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
29.93/7.50	c vivif2 --  cl tried     9317 cl shrink        0 lits rem          0 time: 0.01
29.93/7.58	c asymm  cl-useful: 0/1791/12750 lits-rem:0 time: 0.30
29.93/7.58	c calculated reachability. Time: 0.00
29.93/7.58	c  N dy   115     46262       150     12750         0      9317     89250    218479     38.59   no data  --
31.15/7.87	c  N dy   129     51006       150     12750         0     13853     89250    419632     38.58     40.73  --
32.33/8.18	c  N dy   146     55436       150     12750         0     18096     89250    608325     38.64     40.88  --
33.53/8.47	c  N dy   158     59569       150     12750         0     12504     89250    329671     38.66     40.89  --
34.72/8.76	c  N dy   172     63966       150     12750         0     16717     89250    518485     38.71     40.79  --
36.32/9.16	c  N dy   181     69259       150     12750         0     11256     89250    244747     38.68     41.06  --
36.32/9.17	c  S st   182     69393       150     12750         0     11384     89250    250165     38.69     38.98  --
36.72/9.22	c  S st   182     69893       150     12750         0     11874     89250    271601     38.69   no data  --
36.72/9.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
36.72/9.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.72/9.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.72/9.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.72/9.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.72/9.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
36.72/9.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.12/10.85	c lits-rem:       477  cl-subs:      134  v-elim:      0  v-fix:    0  time:  6.44 s
43.12/10.85	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
43.12/10.85	c vivif2 --  cl tried    11740 cl shrink        0 lits rem          0 time: 0.01
45.11/11.35	c asymm  cl-useful: 0/10370/12750 lits-rem:0 time: 1.95
45.11/11.35	c calculated reachability. Time: 0.00
45.11/11.35	c  N dy   182     69893       150     12750         0     11740     89250    263859     38.69   no data  --
47.51/11.93	c  N dy   204     77425       150     12750         0     18969     89250    587861     38.71     41.28  --
49.50/12.41	c  N dy   207     83506       150     12750         0     13298     89250    304888     38.59     40.71  --
50.70/12.73	c  F st   226     87500       150     12750         0     17131     89250    475783     38.62     39.58  --
51.10/12.89	c  N st   230     89532       150     12750         0     19072     89250    564922     38.62   no data  --
55.50/13.95	c  N dy   247    102163       150     12750         0     18714     89250    515029     38.52     40.57  --
56.70/14.20	c  S st   253    104840       150     12750         0     21279     89250    628357     38.52     39.49  --
56.70/14.27	c  S st   253    105344       150     12750         0     21770     89250    649703     38.52   no data  --
56.70/14.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
56.70/14.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.70/14.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
57.10/14.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.10/14.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.10/14.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
57.10/14.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.88/17.04	c lits-rem:      1804  cl-subs:     1051  v-elim:      0  v-fix:    0  time: 10.87 s
67.88/17.04	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
67.88/17.04	c vivif2 --  cl tried    20719 cl shrink        0 lits rem          0 time: 0.03
68.68/17.23	c asymm  cl-useful: 0/2380/12750 lits-rem:0 time: 0.73
68.68/17.23	c calculated reachability. Time: 0.00
68.68/17.23	c  N dy   253    105344       150     12750         0     20719     89250    594182     38.52   no data  --
71.10/17.89	c  N dy   274    112644       150     12750         0     14310     89250    287581     38.55     40.64  --
73.47/18.46	c  N dy   309    119946       150     12750         0     21314     89250    601144     38.63     40.69  --
76.66/19.21	c  N dy   337    127887       150     12750         0     14562     89250    265753     38.67     40.82  --
79.88/20.02	c  N dy   349    138355       150     12750         0     24557     89250    710448     38.58     40.75  --
83.45/20.98	c  N dy   380    148751       150     12750         0     19207     89250    440411     38.58     40.84  --
87.05/21.80	c  S st   410    158017       150     12750         0     28093     89250    833384     38.60     37.85  --
87.05/21.88	c  S st   410    158521       150     12750         0     28586     89250    854656     38.60   no data  --
87.05/21.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
87.05/21.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
87.05/21.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
87.45/21.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.45/21.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.45/21.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
87.45/21.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
105.84/26.60	c lits-rem:      1335  cl-subs:     1385  v-elim:      0  v-fix:    0  time: 18.65 s
105.84/26.60	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
106.24/26.61	c vivif2 --  cl tried    27201 cl shrink        0 lits rem          0 time: 0.04
107.02/26.86	c asymm  cl-useful: 0/3327/12750 lits-rem:0 time: 1.00
107.02/26.86	c calculated reachability. Time: 0.00
107.02/26.86	c  N dy   410    158521       150     12750         0     27201     89250    778681     38.60   no data  --
111.42/27.99	c  N dy   444    169710       150     12750         0     21667     89250    517051     38.62     40.67  --
117.01/29.33	c  N dy   476    181659       150     12750         0     33100     89250   1024985     38.62     40.88  --
121.40/30.45	c  N dy   507    193315       150     12750         0     27045     89250    728724     38.59     40.66  --
127.00/31.81	c  N dy   549    206180       150     12750         0     21154     89250    431048     38.61     40.69  --
132.61/33.21	c  N dy   589    219536       150     12750         0     33958     89250   1004854     38.63     41.26  --
138.58/34.78	c  N dy   638    233583       150     12750         0     28294     89250    718401     38.64     40.81  --
140.58/35.22	c  S st   647    237781       150     12750         0     32316     89250    897524     38.64     37.95  --
141.00/35.31	c  S st   647    238284       150     12750         0     32812     89250    919148     38.64   no data  --
141.00/35.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
141.00/35.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.00/35.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
141.00/35.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.00/35.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.00/35.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
141.00/35.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
158.16/39.65	c lits-rem:      1748  cl-subs:     1330  v-elim:      0  v-fix:    0  time: 17.13 s
158.16/39.65	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
158.16/39.66	c vivif2 --  cl tried    31482 cl shrink        0 lits rem          0 time: 0.03
159.35/39.90	c asymm  cl-useful: 0/2526/12750 lits-rem:0 time: 0.96
159.35/39.90	c calculated reachability. Time: 0.00
159.35/39.90	c  N dy   647    238284       150     12750         0     31482     89250    845620     38.64   no data  --
165.74/41.56	c  N dy   695    253574       150     12750         0     26068     89250    587659     38.65     40.70  --
173.33/43.43	c  N dy   762    269981       150     12750         0     41799     89250   1290899     38.69     40.95  --
180.54/45.21	c  N dy   808    287214       150     12750         0     37257     89250   1051104     38.69     41.02  --
188.52/47.25	c  N dy   844    306058       150     12750         0     33223     89250    836506     38.65     41.17  --
188.52/47.27	c  F st   845    306250       150     12750         0     33406     89250    844713     38.65     39.40  --
198.11/49.65	c  N dy   889    327647       150     12750         0     30893     89250    701104     38.63     40.78  --
207.31/51.99	c  N dy   941    347714       150     12750         0     26153     89250    462338     38.63     41.66  --
211.29/52.94	c  S st   951    357426       150     12750         0     35404     89250    868706     38.56     35.43  --
211.70/53.03	c  S st   951    357928       150     12750         0     35894     89250    889636     38.56   no data  --
211.70/53.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
211.70/53.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.70/53.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
211.70/53.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
211.70/53.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.70/53.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
211.70/53.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
233.27/58.49	c lits-rem:      1640  cl-subs:     1521  v-elim:      0  v-fix:    0  time: 21.60 s
233.27/58.49	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
233.27/58.50	c vivif2 --  cl tried    34373 cl shrink        0 lits rem          0 time: 0.04
234.84/58.81	c asymm  cl-useful: 0/2207/12750 lits-rem:0 time: 1.26
234.84/58.82	c calculated reachability. Time: 0.00
234.84/58.82	c  N dy   951    357928       150     12750         0     34373     89250    812633     38.56   no data  --
246.03/61.60	c  N dy   986    378974       150     12750         0     29660     89250    582683     38.51     40.57  --
256.01/64.19	c  N dy  1046    399496       150     12750         0     49331     89250   1461700     38.53     40.63  --
266.01/66.64	c  N dy  1111    420443       150     12750         0     43584     89250   1170310     38.53     40.70  --
276.39/69.21	c  N dy  1164    441419       150     12750         0     36884     89250    839404     38.53     40.90  --
287.97/72.14	c  N dy  1241    461481       150     12750         0     28338     89250    425234     38.54     40.74  --
297.96/74.65	c  N dy  1275    482927       150     12750         0     48877     89250   1342313     38.50     40.75  --
309.54/77.52	c  N dy  1352    503518       150     12750         0     39896     89250    906600     38.52     40.55  --
321.92/80.69	c  N dy  1447    523534       150     12750         0     59087     89250   1764203     38.55     40.64  --
328.72/82.35	c  S st  1498    536892       150     12750         0     42181     89250    972418     38.56     38.28  --
329.12/82.46	c  S st  1498    537395       150     12750         0     42671     89250    993883     38.56   no data  --
329.12/82.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
329.12/82.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
329.12/82.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
329.52/82.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
329.52/82.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
329.52/82.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
329.52/82.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
354.69/88.86	c lits-rem:      1220  cl-subs:     1331  v-elim:      0  v-fix:    0  time: 25.34 s
354.69/88.86	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
354.69/88.87	c vivif2 --  cl tried    41340 cl shrink        0 lits rem          0 time: 0.04
355.89/89.14	c asymm  cl-useful: 0/1859/12750 lits-rem:0 time: 1.06
355.89/89.14	c calculated reachability. Time: 0.00
355.89/89.14	c  N dy  1498    537395       150     12750         0     41340     89250    919860     38.56   no data  --
370.26/92.72	c  N dy  1603    558620       150     12750         0     31063     89250    443793     38.60     40.66  --
380.25/95.30	c  N dy  1667    578652       150     12750         0     50272     89250   1301300     38.61     44.65  --
394.23/98.75	c  N dy  1741    598700       150     12750         0     37848     89250    710562     38.63     40.88  --
407.81/102.18	c  N dy  1815    619573       150     12750         0     57856     89250   1603283     38.65     41.05  --
421.79/105.60	c  N dy  1863    641824       150     12750         0     46518     89250   1067399     38.63     40.95  --
437.77/109.66	c  N dy  1927    664609       150     12750         0     34822     89250    516621     38.61     40.75  --
451.35/113.09	c  N dy  1981    688379       150     12750         0     57595     89250   1536552     38.61     40.67  --
466.15/116.77	c  N dy  2033    708452       150     12750         0     42346     89250    823329     38.61     40.97  --
479.74/120.13	c  N dy  2097    728809       150     12750         0     61848     89250   1690274     38.62     40.75  --
494.09/123.79	c  N dy  2152    751434       150     12750         0     48009     89250   1033575     38.61     41.05  --
507.68/127.16	c  N dy  2215    771480       150     12750         0     67208     89250   1889072     38.61     42.96  --
520.45/130.39	c  N dy  2278    791637       150     12750         0     50202     89250   1099982     38.62     40.82  --
530.85/132.97	c  S st  2348    806095       150     12750         0     64087     89250   1724312     38.64     38.74  --
531.65/133.14	c  S st  2348    806600       150     12750         0     64581     89250   1746480     38.64   no data  --
531.65/133.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
531.65/133.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
531.65/133.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
532.06/133.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
532.06/133.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
532.06/133.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
532.06/133.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
624.34/156.35	c lits-rem:      2366  cl-subs:     2809  v-elim:      0  v-fix:    0  time: 92.26 s
624.34/156.35	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
624.34/156.36	c vivif2 --  cl tried    61772 cl shrink        0 lits rem          0 time: 0.07
625.92/156.70	c asymm  cl-useful: 0/1353/12750 lits-rem:0 time: 1.36
625.92/156.71	c calculated reachability. Time: 0.00
625.92/156.71	c  N dy  2348    806600       150     12750         0     61772     89250   1590763     38.64   no data  --
641.50/160.63	c  N dy  2429    827726       150     12750         0     44701     89250    820829     38.65     40.89  --
654.68/163.97	c  N dy  2502    847773       150     12750         0     63954     89250   1680584     38.67     40.82  --
669.06/167.55	c  N dy  2565    868064       150     12750         0     45094     89250    806137     38.67     40.72  --
681.46/170.62	c  N dy  2574    889288       150     12750         0     65327     89250   1708896     38.62     40.84  --
696.62/174.40	c  N dy  2631    909292       150     12750         0     45210     89250    777673     38.62     40.80  --
709.41/177.65	c  N dy  2689    929341       150     12750         0     64395     89250   1630414     38.62     40.77  --
725.81/181.78	c  N dy  2722    953037       150     12750         0     46906     89250    822741     38.60     40.79  --
740.56/185.43	c  N dy  2823    973087       150     12750         0     66148     89250   1683366     38.62     40.94  --
757.75/189.75	c  N dy  2898    993196       150     12750         0     44227     89250    668400     38.63     40.92  --
771.33/193.17	c  N dy  2985   1013369       150     12750         0     63606     89250   1533170     38.65     41.07  --
786.91/197.09	c  N dy  3020   1033407       150     12750         0     82747     89250   2385331     38.63     40.69  --
800.88/200.53	c  N dy  3092   1053446       150     12750         0     59810     89250   1332800     38.63     41.15  --
816.86/204.57	c  F st  3141   1071876       150     12750         0     77418     89250   2122301     38.64     38.86  --
818.85/205.05	c  N st  3145   1073911       150     12750         0     79365     89250   2212217     38.64   no data  --
836.84/209.54	c  N dy  3194   1095275       150     12750         0     56734     89250   1158303     38.64     40.74  --
855.61/214.21	c  N dy  3275   1115383       150     12750         0     76014     89250   2017158     38.65     40.99  --
876.38/219.45	c  N dy  3360   1135599       150     12750         0     51326     89250    883590     38.66     41.05  --
893.16/223.68	c  N dy  3435   1155636       150     12750         0     70555     89250   1743113     38.66     40.82  --
918.32/229.90	c  N dy  3533   1179273       150     12750         0     48136     89250    704436     38.67     41.03  --
933.91/233.83	c  N dy  3606   1199278       150     12750         0     67298     89250   1558825     38.68     40.89  --
943.89/236.34	c  S st  3640   1209900       150     12750         0     77484     89250   2013919     38.68     36.44  --
944.69/236.56	c  S st  3640   1210404       150     12750         0     77975     89250   2036175     38.68   no data  --
944.69/236.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
944.69/236.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
945.11/236.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
945.11/236.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
945.11/236.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
945.11/236.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
945.11/236.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1105.28/276.73	c lits-rem:      3779  cl-subs:     3474  v-elim:      0  v-fix:    0  time: 159.94 s
1105.28/276.73	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1105.28/276.76	c vivif2 --  cl tried    74501 cl shrink        0 lits rem          0 time: 0.09
1106.87/277.19	c asymm  cl-useful: 0/1143/12750 lits-rem:0 time: 1.71
1106.87/277.19	c calculated reachability. Time: 0.00
1106.87/277.19	c  N dy  3640   1210404       150     12750         0     74501     89250   1846644     38.68   no data  --
1132.04/283.46	c  N dy  3731   1230860       150     12750         0     48161     89250    674739     38.69     40.76  --
1149.62/287.84	c  N dy  3781   1251935       150     12750         0     68300     89250   1572448     38.68     40.79  --
1171.58/293.34	c  N dy  3830   1272191       150     12750         0     87719     89250   2438882     38.67     40.77  --
1197.15/299.72	c  N dy  3892   1299001       150     12750         0     66357     89250   1450343     38.66     40.72  --
1221.12/305.70	c  N dy  3981   1319893       150     12750         0     86317     89250   2341090     38.67     40.71  --
1240.70/310.69	c  N dy  4022   1340310       150     12750         0     58088     89250   1053040     38.66     40.77  --
1260.27/315.59	c  N dy  4080   1360354       150     12750         0     77269     89250   1914047     38.67     40.78  --
1285.03/321.72	c  N dy  4124   1380385       150     12750         0     96518     89250   2771978     38.66     40.75  --
1303.02/326.22	c  N dy  4183   1400481       150     12750         0     66973     89250   1418826     38.67     41.11  --
1325.38/331.89	c  N dy  4237   1421257       150     12750         0     86874     89250   2305361     38.67     40.82  --
1348.55/337.69	c  N dy  4276   1441968       150     12750         0     56863     89250    925479     38.66     40.77  --
1368.13/342.53	c  N dy  4335   1462063       150     12750         0     76132     89250   1788715     38.66     40.76  --
1394.09/349.03	c  N dy  4419   1482334       150     12750         0     95577     89250   2660696     38.67     40.83  --
1417.26/354.81	c  N dy  4509   1502382       150     12750         0     64029     89250   1218081     38.68     40.77  --
1438.83/360.21	c  N dy  4576   1522451       150     12750         0     83246     89250   2073955     38.68     43.67  --
1474.79/369.27	c  N dy  4667   1549362       150     12750         0     57206     89250    880048     38.68     40.76  --
1497.56/374.99	c  N dy  4739   1570757       150     12750         0     77670     89250   1793512     38.69     40.76  --
1525.13/381.80	c  N dy  4808   1590785       150     12750         0     96860     89250   2653754     38.69     40.75  --
1548.68/387.73	c  N dy  4902   1612111       150     12750         0     64642     89250   1180069     38.70     40.76  --
1568.65/392.75	c  N dy  4972   1632299       150     12750         0     83947     89250   2042275     38.71     40.87  --
1594.62/399.22	c  N dy  5044   1652528       150     12750         0    103324     89250   2908318     38.71     40.83  --
1617.00/404.90	c  N dy  5127   1675198       150     12750         0     71451     89250   1446814     38.72     40.96  --
1638.57/410.22	c  N dy  5180   1695205       150     12750         0     90631     89250   2304085     38.72     40.86  --
1657.74/415.01	c  S st  5224   1710404       150     12750         0    105180     89250   2954118     38.72     39.59  --
1658.94/415.32	c  S st  5224   1710905       150     12750         0    105669     89250   2975642     38.72   no data  --
1658.94/415.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1658.94/415.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1659.34/415.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
1659.34/415.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1659.34/415.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1659.34/415.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1659.34/415.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2711.55/678.84	c lits-rem:      5220  cl-subs:     5618  v-elim:      0  v-fix:    0  time: 1051.20 s
2711.55/678.84	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
2711.55/678.87	c vivif2 --  cl tried   100051 cl shrink        0 lits rem          0 time: 0.13
2713.12/679.29	c asymm  cl-useful: 0/1141/12750 lits-rem:0 time: 1.67
2713.12/679.29	c calculated reachability. Time: 0.00
2713.12/679.29	c  N dy  5224   1710905       150     12750         0    100051     89250   2669029     38.72   no data  --
2734.70/684.65	c  N dy  5258   1731113       150     12750         0     64929     89250   1121278     38.71     40.82  --
2755.89/689.93	c  N dy  5292   1752973       150     12750         0     85814     89250   2053729     38.70     40.76  --
2784.23/697.09	c  N dy  5374   1773047       150     12750         0    105063     89250   2914923     38.71     43.13  --
2804.61/702.14	c  N dy  5399   1793734       150     12750         0     69357     89250   1286174     38.70     40.78  --
2825.38/707.37	c  N dy  5456   1813994       150     12750         0     88795     89250   2156131     38.70     40.75  --
2850.54/713.64	c  N dy  5505   1834105       150     12750         0    107962     89250   3010045     38.69     41.17  --
2871.71/718.90	c  N dy  5569   1854404       150     12750         0     71048     89250   1329090     38.70     40.74  --
2891.71/724.00	c  N dy  5628   1874492       150     12750         0     90350     89250   2195725     38.70     40.94  --
2914.86/729.75	c  N dy  5645   1895740       150     12750         0    110554     89250   3098903     38.67     40.74  --
2938.02/735.54	c  N dy  5724   1915812       150     12750         0     72417     89250   1358628     38.68     41.40  --
2962.42/741.69	c  N dy  5801   1935987       150     12750         0     91795     89250   2225995     38.68     40.77  --
2991.95/749.00	c  N dy  5871   1956045       150     12750         0    110998     89250   3084053     38.69     40.78  --
3015.52/754.90	c  N dy  5925   1976175       150     12750         0     71906     89250   1296737     38.68     40.95  --
3038.68/760.77	c  N dy  5996   1996403       150     12750         0     91272     89250   2165615     38.68     40.89  --
3067.05/767.89	c  N dy  6066   2016463       150     12750         0    110459     89250   3023112     38.69     41.62  --
3091.02/773.84	c  N dy  6123   2037067       150     12750         0     70801     89250   1212618     38.69     40.78  --
3111.41/779.00	c  N dy  6176   2057206       150     12750         0     90086     89250   2078087     38.69     40.81  --
3140.55/786.24	c  N dy  6243   2078953       150     12750         0    110912     89250   3010686     38.69     40.76  --
3163.73/792.02	c  N dy  6323   2099050       150     12750         0     69840     89250   1137795     38.70     40.83  --
3184.10/797.14	c  N dy  6359   2122260       150     12750         0     92092     89250   2129451     38.69     40.85  --
3212.05/804.17	c  N dy  6408   2147855       150     12750         0    116600     89250   3228726     38.68     40.84  --
3233.61/809.51	c  N dy  6469   2168453       150     12750         0     75052     89250   1338398     38.68     40.75  --
3252.79/814.38	c  N dy  6518   2188879       150     12750         0     94560     89250   2209099     38.68     40.75  --
3278.77/820.83	c  N dy  6589   2209294       150     12750         0    114169     89250   3088891     38.68     41.01  --
3281.15/821.44	c  S st  6596   2210907       150     12750         0    115721     89250   3158097     38.68     40.49  --
3282.35/821.76	c  S st  6596   2211411       150     12750         0    116209     89250   3179591     38.68   no data  --
3282.35/821.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3282.35/821.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3282.76/821.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
3283.17/821.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3283.17/821.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3283.17/821.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3283.17/821.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4627.26/1158.69	c lits-rem:      4111  cl-subs:     6250  v-elim:      0  v-fix:    0  time: 1343.83 s
4627.26/1158.69	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
4627.66/1158.72	c vivif2 --  cl tried   109959 cl shrink        0 lits rem          0 time: 0.14
4629.26/1159.18	c asymm  cl-useful: 0/899/12750 lits-rem:0 time: 1.82
4629.26/1159.18	c calculated reachability. Time: 0.00
4629.26/1159.18	c  N dy  6596   2211411       150     12750         0    109959     89250   2845969     38.68   no data  --
4658.42/1166.41	c  N dy  6652   2231550       150     12750         0     67087     89250    949054     38.67     40.75  --
4683.19/1172.65	c  N dy  6663   2255684       150     12750         0     90130     89250   1982690     38.66     40.75  --
4714.77/1180.56	c  N dy  6728   2276281       150     12750         0    109873     89250   2866057     38.66     40.89  --
4753.92/1190.34	c  N dy  6800   2300095       150     12750         0     69569     89250   1026510     38.66     40.70  --
4777.46/1196.23	c  N dy  6842   2320287       150     12750         0     88928     89250   1892109     38.66     40.70  --

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-3175014-1304077664/watcher-3175014-1304077664 -o /tmp/evaluation-result-3175014-1304077664/solver-3175014-1304077664 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175014-1304077664.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: 7.41 7.96 7.99 3/172 31755
/proc/meminfo: memFree=24403716/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 519364119 52465664 352 33554432000 4194304 4650419 140736085685664 18446744073709551615 47502270875570 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 12809 352 303 112 0 7774 0
[pid=31755/tid=31756] ppid=31753 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 519364120 52465664 352 33554432000 4194304 4650419 140736085685664 18446744073709551615 47502270875570 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 519364120 52465664 352 33554432000 4194304 4650419 140736085685664 18446744073709551615 47502270875570 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 519364120 52465664 352 33554432000 4194304 4650419 140736085685664 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0902239 s]
/proc/loadavg: 7.41 7.96 7.99 3/172 31755
/proc/meminfo: memFree=24403716/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=282964 CPUtime=0.33 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 2161 0 0 0 33 0 0 0 18 0 4 0 519364119 289755136 2080 33554432000 4194304 4650419 140736085685664 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 70741 2080 366 112 0 65706 0
[pid=31755/tid=31756] ppid=31753 vsize=282964 CPUtime=0.08 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 425 0 0 0 8 0 0 0 18 0 4 0 519364120 289755136 2080 33554432000 4194304 4650419 140736085685664 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=282964 CPUtime=0.08 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 379 0 0 0 8 0 0 0 18 0 4 0 519364120 289755136 2080 33554432000 4194304 4650419 140736085685664 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=282964 CPUtime=0.07 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 527 0 0 0 7 0 0 0 24 0 4 0 519364120 289755136 2080 33554432000 4194304 4650419 140736085685664 18446744073709551615 4363235 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 282964

[startup+0.10122 s]
/proc/loadavg: 7.41 7.96 7.99 3/172 31755
/proc/meminfo: memFree=24403716/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=282964 CPUtime=0.38 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 2178 0 0 0 38 0 0 0 18 0 4 0 519364119 289755136 2097 33554432000 4194304 4650419 140736085685664 18446744073709551615 4370557 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 70741 2097 366 112 0 65706 0
[pid=31755/tid=31756] ppid=31753 vsize=282964 CPUtime=0.09 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 427 0 0 0 9 0 0 0 18 0 4 0 519364120 289755136 2097 33554432000 4194304 4650419 140736085685664 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=282964 CPUtime=0.09 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 379 0 0 0 9 0 0 0 18 0 4 0 519364120 289755136 2097 33554432000 4194304 4650419 140736085685664 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=282964 CPUtime=0.08 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 542 0 0 0 8 0 0 0 24 0 4 0 519364120 289755136 2097 33554432000 4194304 4650419 140736085685664 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282964

[startup+0.300186 s]
/proc/loadavg: 7.41 7.96 7.99 3/172 31755
/proc/meminfo: memFree=24403716/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=284424 CPUtime=1.17 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 2811 0 0 0 117 0 0 0 18 0 4 0 519364119 291250176 2375 33554432000 4194304 4650419 140736085685664 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 71106 2375 370 112 0 66071 0
[pid=31755/tid=31756] ppid=31753 vsize=284424 CPUtime=0.29 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 458 0 0 0 29 0 0 0 18 0 4 0 519364120 291250176 2375 33554432000 4194304 4650419 140736085685664 18446744073709551615 4370621 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=284424 CPUtime=0.29 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 387 0 0 0 29 0 0 0 18 0 4 0 519364120 291250176 2375 33554432000 4194304 4650419 140736085685664 18446744073709551615 4370732 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=284424 CPUtime=0.28 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 1117 0 0 0 28 0 0 0 25 0 4 0 519364120 291250176 2375 33554432000 4194304 4650419 140736085685664 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284424

[startup+0.701113 s]
/proc/loadavg: 7.41 7.96 7.99 3/172 31755
/proc/meminfo: memFree=24403716/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=291100 CPUtime=2.77 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 8104 0 0 0 276 1 0 0 18 0 4 0 519364119 298086400 5529 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 72775 5529 390 112 0 67740 0
[pid=31755/tid=31756] ppid=31753 vsize=291100 CPUtime=0.69 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 1972 0 0 0 69 0 0 0 18 0 4 0 519364120 298086400 5529 33554432000 4194304 4650419 140736085685664 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=291100 CPUtime=0.69 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 1944 0 0 0 69 0 0 0 18 0 4 0 519364120 298086400 5529 33554432000 4194304 4650419 140736085685664 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=291100 CPUtime=0.68 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 1756 0 0 0 68 0 0 0 18 0 4 0 519364120 298086400 5529 33554432000 4194304 4650419 140736085685664 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 291100

[startup+1.50097 s]
/proc/loadavg: 7.70 8.01 8.00 9/184 31767
/proc/meminfo: memFree=24342364/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=293212 CPUtime=5.97 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 13428 0 0 0 595 2 0 0 20 0 4 0 519364119 300249088 6396 33554432000 4194304 4650419 140736085685664 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 73303 6396 391 112 0 68268 0
[pid=31755/tid=31756] ppid=31753 vsize=293212 CPUtime=1.48 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 3297 0 0 0 148 0 0 0 19 0 4 0 519364120 300249088 6396 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=293212 CPUtime=1.49 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 3264 0 0 0 149 0 0 0 20 0 4 0 519364120 300249088 6396 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=293212 CPUtime=1.47 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 3110 0 0 0 147 0 0 0 19 0 4 0 519364120 300249088 6396 33554432000 4194304 4650419 140736085685664 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 293212

[startup+3.10068 s]
/proc/loadavg: 7.70 8.01 8.00 9/184 31767
/proc/meminfo: memFree=24321956/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=307692 CPUtime=12.36 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 29529 0 0 0 1231 5 0 0 25 0 4 0 519364119 315076608 17431 33554432000 4194304 4650419 140736085685664 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 76923 17431 392 112 0 71888 0
[pid=31755/tid=31756] ppid=31753 vsize=307692 CPUtime=3.09 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 6493 0 0 0 308 1 0 0 23 0 4 0 519364120 315076608 17431 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=307692 CPUtime=3.09 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 8297 0 0 0 308 1 0 0 25 0 4 0 519364120 315076608 17431 33554432000 4194304 4650419 140736085685664 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=307692 CPUtime=3.07 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 7919 0 0 0 306 1 0 0 23 0 4 0 519364120 315076608 17431 33554432000 4194304 4650419 140736085685664 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 307692

[startup+6.3011 s]
/proc/loadavg: 7.70 8.01 8.00 9/184 31767
/proc/meminfo: memFree=24193552/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=300752 CPUtime=25.14 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 34860 0 0 0 2508 6 0 0 25 0 4 0 519364119 307970048 19084 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 75188 19084 392 112 0 70153 0
[pid=31755/tid=31756] ppid=31753 vsize=300752 CPUtime=6.29 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 7943 0 0 0 628 1 0 0 25 0 4 0 519364120 307970048 19084 33554432000 4194304 4650419 140736085685664 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=300752 CPUtime=6.29 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 8711 0 0 0 628 1 0 0 25 0 4 0 519364120 307970048 19084 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476385 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=300752 CPUtime=6.26 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 9796 0 0 0 624 2 0 0 25 0 4 0 519364120 307970048 19084 33554432000 4194304 4650419 140736085685664 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 300752

[startup+12.7009 s]
/proc/loadavg: 7.82 8.03 8.01 9/184 31768
/proc/meminfo: memFree=24121128/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=309308 CPUtime=50.7 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 52619 0 0 0 5060 10 0 0 25 0 4 0 519364119 316731392 28141 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 77327 28141 392 112 0 72292 0
[pid=31755/tid=31756] ppid=31753 vsize=309308 CPUtime=12.69 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 14519 0 0 0 1266 3 0 0 25 0 4 0 519364120 316731392 28141 33554432000 4194304 4650419 140736085685664 18446744073709551615 4349936 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=309308 CPUtime=12.68 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 11976 0 0 0 1267 1 0 0 25 0 4 0 519364120 316731392 28141 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=309308 CPUtime=12.62 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 15422 0 0 0 1259 3 0 0 25 0 4 0 519364120 316731392 28141 33554432000 4194304 4650419 140736085685664 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 309308

[startup+25.5066 s]
/proc/loadavg: 7.92 8.04 8.01 9/184 31768
/proc/meminfo: memFree=24001212/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=320436 CPUtime=101.86 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 78432 0 0 0 10168 18 0 0 25 0 4 0 519364119 328126464 35397 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 80109 35397 392 112 0 75074 0
[pid=31755/tid=31756] ppid=31753 vsize=320436 CPUtime=25.5 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 21429 0 0 0 2545 5 0 0 25 0 4 0 519364120 328126464 35397 33554432000 4194304 4650419 140736085685664 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=320436 CPUtime=25.49 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 17732 0 0 0 2545 4 0 0 25 0 4 0 519364120 328126464 35397 33554432000 4194304 4650419 140736085685664 18446744073709551615 4438653 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=320436 CPUtime=25.35 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 21459 0 0 0 2530 5 0 0 25 0 4 0 519364120 328126464 35397 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 320436

[startup+51.1009 s]
/proc/loadavg: 7.95 8.04 8.01 9/184 31769
/proc/meminfo: memFree=23901364/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=308592 CPUtime=204.08 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 125755 0 0 0 20377 31 0 0 25 0 4 0 519364119 315998208 39285 33554432000 4194304 4650419 140736085685664 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 77148 39285 392 112 0 72113 0
[pid=31755/tid=31756] ppid=31753 vsize=308592 CPUtime=51.09 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 33048 0 0 0 5101 8 0 0 25 0 4 0 519364120 315998208 39285 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=308592 CPUtime=51.07 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 29361 0 0 0 5100 7 0 0 25 0 4 0 519364120 315998208 39285 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=308592 CPUtime=50.81 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 33173 0 0 0 5072 9 0 0 25 0 4 0 519364120 315998208 39285 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 308592

[startup+102.301 s]
/proc/loadavg: 8.07 8.06 8.01 9/184 31770
/proc/meminfo: memFree=23778884/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=402416 CPUtime=408.61 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 208058 0 0 0 40806 55 0 0 25 0 4 0 519364119 412073984 53474 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 100604 53474 392 112 0 95569 0
[pid=31755/tid=31756] ppid=31753 vsize=402416 CPUtime=102.28 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 55297 0 0 0 10214 14 0 0 25 0 4 0 519364120 412073984 53474 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=402416 CPUtime=102.27 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 48986 0 0 0 10215 12 0 0 25 0 4 0 519364120 412073984 53474 33554432000 4194304 4650419 140736085685664 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=402416 CPUtime=101.72 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 56518 0 0 0 10157 15 0 0 25 0 4 0 519364120 412073984 53474 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 402416

[startup+162.301 s]

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

[pid=31755] ppid=31753 vsize=545192 CPUtime=2805.41 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 599432 0 0 0 280306 235 0 0 25 0 4 0 519364119 558276608 100697 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 136298 100697 392 112 0 131263 0
[pid=31755/tid=31756] ppid=31753 vsize=545192 CPUtime=702.31 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 188511 0 0 0 70145 86 0 0 25 0 4 0 519364120 558276608 100697 33554432000 4194304 4650419 140736085685664 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=545192 CPUtime=702.29 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 97851 0 0 0 70198 31 0 0 25 0 4 0 519364120 558276608 100697 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=545192 CPUtime=698.47 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 143882 0 0 0 69782 65 0 0 25 0 4 0 519364120 558276608 100697 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 545192

[startup+762.3 s]
/proc/loadavg: 8.10 8.09 8.04 9/184 31787
/proc/meminfo: memFree=23269808/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=663736 CPUtime=3045.08 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 623423 0 0 0 304261 247 0 0 25 0 4 0 519364119 679665664 110522 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 165934 110522 392 112 0 160899 0
[pid=31755/tid=31756] ppid=31753 vsize=663736 CPUtime=762.3 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 197412 0 0 0 76141 89 0 0 25 0 4 0 519364120 679665664 110522 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=663736 CPUtime=762.29 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 97851 0 0 0 76198 31 0 0 25 0 4 0 519364120 679665664 110522 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=663736 CPUtime=758.15 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 152768 0 0 0 75745 70 0 0 25 0 4 0 519364120 679665664 110522 33554432000 4194304 4650419 140736085685664 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 663736

[startup+822.3 s]
/proc/loadavg: 8.15 8.10 8.05 9/184 31798
/proc/meminfo: memFree=23244600/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=782428 CPUtime=3284.74 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 647116 0 0 0 328215 259 0 0 25 0 4 0 519364119 801206272 108239 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 195607 108239 392 112 0 190572 0
[pid=31755/tid=31756] ppid=31753 vsize=782428 CPUtime=822.3 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 207828 0 0 0 82135 95 0 0 25 0 4 0 519364120 801206272 108239 33554432000 4194304 4650419 140736085685664 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=782428 CPUtime=822.29 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 99435 0 0 0 82197 32 0 0 25 0 4 0 519364120 801206272 108239 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=782428 CPUtime=817.82 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 154749 0 0 0 81711 71 0 0 25 0 4 0 519364120 801206272 108239 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 782428

[startup+882.3 s]
/proc/loadavg: 8.16 8.11 8.05 9/184 31800
/proc/meminfo: memFree=23282764/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=757788 CPUtime=3524.45 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 673414 0 0 0 352172 273 0 0 25 0 4 0 519364119 775974912 103929 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 189447 103929 392 112 0 184412 0
[pid=31755/tid=31756] ppid=31753 vsize=757788 CPUtime=882.31 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 217453 0 0 0 88130 101 0 0 25 0 4 0 519364120 775974912 103929 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=757788 CPUtime=882.3 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 104361 0 0 0 88195 35 0 0 25 0 4 0 519364120 775974912 103929 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=757788 CPUtime=877.5 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 161930 0 0 0 87675 75 0 0 25 0 4 0 519364120 775974912 103929 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 757788

[startup+942.3 s]
/proc/loadavg: 8.15 8.12 8.06 9/184 31801
/proc/meminfo: memFree=23273444/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=708380 CPUtime=3764.1 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 700505 0 0 0 376124 286 0 0 25 0 4 0 519364119 725381120 106502 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476432 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 177095 106502 392 112 0 172060 0
[pid=31755/tid=31756] ppid=31753 vsize=708380 CPUtime=942.3 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 227173 0 0 0 94124 106 0 0 25 0 4 0 519364120 725381120 106502 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=708380 CPUtime=942.3 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 110176 0 0 0 94191 39 0 0 25 0 4 0 519364120 725381120 106502 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=708380 CPUtime=937.16 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 167100 0 0 0 93639 77 0 0 25 0 4 0 519364120 725381120 106502 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 708380

[startup+1002.31 s]
/proc/loadavg: 8.19 8.13 8.06 12/185 31806
/proc/meminfo: memFree=23094424/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=720624 CPUtime=4003.7 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 718920 0 0 0 400076 294 0 0 25 0 4 0 519364119 737918976 117840 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 180156 117840 392 112 0 175121 0
[pid=31755/tid=31756] ppid=31753 vsize=720624 CPUtime=1002.31 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 237937 0 0 0 100123 108 0 0 25 0 4 0 519364120 737918976 117840 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=720624 CPUtime=1002.31 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 113565 0 0 0 100189 42 0 0 25 0 4 0 519364120 737918976 117840 33554432000 4194304 4650419 140736085685664 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=720624 CPUtime=996.74 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 171362 0 0 0 99594 80 0 0 25 0 4 0 519364120 737918976 117840 33554432000 4194304 4650419 140736085685664 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 720624

[startup+1062.3 s]
/proc/loadavg: 8.30 8.19 8.09 9/184 31807
/proc/meminfo: memFree=23081668/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=842928 CPUtime=4242.58 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 736360 0 0 0 423954 304 0 0 25 0 4 0 519364119 863158272 123098 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 210732 123098 392 112 0 205697 0
[pid=31755/tid=31756] ppid=31753 vsize=842928 CPUtime=1062.3 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 246474 0 0 0 106121 109 0 0 25 0 4 0 519364120 863158272 123098 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=842928 CPUtime=1062.3 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 116594 0 0 0 106185 45 0 0 25 0 4 0 519364120 863158272 123098 33554432000 4194304 4650419 140736085685664 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=842928 CPUtime=1055.63 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 177236 0 0 0 105478 85 0 0 25 0 4 0 519364120 863158272 123098 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.58
Current children cumulated vsize (KiB) 842928

[startup+1122.3 s]
/proc/loadavg: 8.19 8.18 8.09 9/184 31809
/proc/meminfo: memFree=23060944/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=843640 CPUtime=4482.25 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 749354 0 0 0 447916 309 0 0 25 0 4 0 519364119 863887360 128235 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 210910 128235 392 112 0 205875 0
[pid=31755/tid=31756] ppid=31753 vsize=843640 CPUtime=1122.3 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 247675 0 0 0 112121 109 0 0 25 0 4 0 519364120 863887360 128235 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=843640 CPUtime=1122.3 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 118773 0 0 0 112183 47 0 0 25 0 4 0 519364120 863887360 128235 33554432000 4194304 4650419 140736085685664 18446744073709551615 4329380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=843640 CPUtime=1115.31 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 186850 0 0 0 111442 89 0 0 25 0 4 0 519364120 863887360 128235 33554432000 4194304 4650419 140736085685664 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.25
Current children cumulated vsize (KiB) 843640

[startup+1182.3 s]
/proc/loadavg: 8.22 8.19 8.10 9/184 31811
/proc/meminfo: memFree=23075808/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=789988 CPUtime=4721.93 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 758612 0 0 0 471880 313 0 0 25 0 4 0 519364119 808947712 124267 33554432000 4194304 4650419 140736085685664 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 197497 124267 392 112 0 192462 0
[pid=31755/tid=31756] ppid=31753 vsize=789988 CPUtime=1182.3 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 248194 0 0 0 118121 109 0 0 25 0 4 0 519364120 808947712 124267 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=789988 CPUtime=1182.3 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 120586 0 0 0 118180 50 0 0 25 0 4 0 519364120 808947712 124267 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476488 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=789988 CPUtime=1174.97 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 192709 0 0 0 117408 89 0 0 25 0 4 0 519364120 808947712 124267 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.93
Current children cumulated vsize (KiB) 789988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.30 8.21 8.10 5/179 31812
/proc/meminfo: memFree=23892628/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=737484 CPUtime=4800.25 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 765412 0 0 0 479709 316 0 0 25 0 4 0 519364119 755183616 127085 33554432000 4194304 4650419 140736085685664 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 184371 127085 392 112 0 179336 0
[pid=31755/tid=31756] ppid=31753 vsize=737484 CPUtime=1201.91 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 248195 0 0 0 120082 109 0 0 25 0 4 0 519364120 755183616 127085 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=737484 CPUtime=1201.91 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 120586 0 0 0 120141 50 0 0 25 0 4 0 519364120 755183616 127085 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=737484 CPUtime=1194.48 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 195683 0 0 0 119358 90 0 0 25 0 4 0 519364120 755183616 127085 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 737484

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

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

[startup+1201.9 s]
/proc/loadavg: 8.30 8.21 8.10 5/179 31812
/proc/meminfo: memFree=23892628/32951124 swapFree=67111524/67111528
[pid=31755] ppid=31753 vsize=737484 CPUtime=4800.25 cores=1,3,5,7
/proc/31755/stat : 31755 (strangenight1-m) R 31753 31755 30965 0 -1 4202496 765412 0 0 0 479709 316 0 0 25 0 4 0 519364119 755183616 127085 33554432000 4194304 4650419 140736085685664 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31755/statm: 184371 127085 392 112 0 179336 0
[pid=31755/tid=31756] ppid=31753 vsize=737484 CPUtime=1201.91 cores=1,3,5,7
/proc/31755/task/31756/stat : 31756 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 248195 0 0 0 120082 109 0 0 25 0 4 0 519364120 755183616 127085 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31755/tid=31757] ppid=31753 vsize=737484 CPUtime=1201.91 cores=1,3,5,7
/proc/31755/task/31757/stat : 31757 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 120586 0 0 0 120141 50 0 0 25 0 4 0 519364120 755183616 127085 33554432000 4194304 4650419 140736085685664 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31755/tid=31758] ppid=31753 vsize=737484 CPUtime=1194.48 cores=1,3,5,7
/proc/31755/task/31758/stat : 31758 (strangenight1-m) R 31753 31755 30965 0 -1 4202560 195683 0 0 0 119358 90 0 0 25 0 4 0 519364120 755183616 127085 33554432000 4194304 4650419 140736085685664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 737484

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.3
CPU user time (s): 4797.11
CPU system time (s): 3.18851
CPU usage (%): 399.381
Max. virtual memory (cumulated for all children) (KiB): 888300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.11
system time used= 3.18851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 765413
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= 975
involuntary context switches= 34103

runsolver used 1.68774 second user time and 4.89126 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 13:47:44
IDJOB=3175014
IDBENCH=82632
IDSOLVER=1588
FILE ID=node139/3175014-1304077664
RUNJOBID= node139-1304077664-31741
PBS_JOBID= 13170485
Free space on /tmp= 72552 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175014-1304077664/watcher-3175014-1304077664 -o /tmp/evaluation-result-3175014-1304077664/solver-3175014-1304077664 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175014-1304077664.cnf

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

MD5SUM BENCH= 056b111696528692a64cdb39e1a29daf
RANDOM SEED=134309821

node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24404236 kB
Buffers:       2037936 kB
Cached:        5927764 kB
SwapCached:          4 kB
Active:         909880 kB
Inactive:      7118936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24404236 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           13204 kB
Writeback:           0 kB
AnonPages:       63032 kB
Mapped:          14496 kB
Slab:           453496 kB
PageTables:       4892 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   183976 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= 72548 MiB
End job on node139 at 2011-04-29 14:07:48