Trace number 3368623

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 (fixed)? (TO) 4800.3 1203.34

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368623-1305398996.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:       12750
1.17/0.32	c -- clauses added:            0 learnts,        12750 normals,            0 xors
1.17/0.32	c -- vars added        150
1.17/0.32	c Parsing time:  0.03 s
1.17/0.32	c  N st     0         0       150     12750         0         0     89250         0   no data   no data  --
1.17/0.32	c asymm  cl-useful: 0/12750/12750 lits-rem:0 time: 1.19
1.17/0.32	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.97/1.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
3.97/1.10	c Finding binary XORs  T:     0.00 s  found:       0
3.97/1.10	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
3.97/1.10	c calculated reachability. Time: 0.00
3.97/1.10	c Calc default polars -  time:   0.00 s pos:      64 undec:       4 neg:      82
3.97/1.10	c =========================================================================================
3.97/1.10	c types(t): F = full restart, N = normal restart
3.97/1.10	c types(t): S = simplification begin/end, E = solution found
3.97/1.10	c restart types(rt): st = static, dy = dynamic
3.97/1.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.97/1.10	c  B st     0         0       150     12750         0         0     89250         0   no data   no data  --
3.97/1.10	c  N dy    11      6390       150     12750         0      3719     89250    139862     38.33     40.69  --
3.97/1.10	c  N dy    27     10742       150     12750         0      7884     89250    325400     38.68     40.83  --
4.39/1.20	c  N dy    39     15597       150     12750         0      8471     89250    316427     38.72     40.87  --
5.55/1.40	c  N dy    51     19726       150     12750         0      7054     89250    215257     38.67     40.88  --
6.75/1.70	c  F st    62     25002       150     12750         0     12116     89250    442578     38.65     38.71  --
6.75/1.70	c  N st    62     25002       150     12750         0     12116     89250    442578     38.65     38.71  --
7.55/1.94	c  N dy    68     30000       150     12750         0     10366     89250    335757     38.65   no data  --
7.55/1.94	c  S st    68     30000       150     12750         0     10366     89250    335757     38.65   no data  --
7.55/1.98	c  S st    68     30506       150     12750         0     10859     89250    356782     38.65   no data  --
7.55/1.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.55/1.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.55/1.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
7.55/2.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.55/2.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.55/2.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
7.55/2.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.13/4.35	c lits-rem:      1634  cl-subs:      437  v-elim:      0  v-fix:    0  time:  9.37 s
18.72/4.78	c asymm  cl-useful: 0/10959/12750 lits-rem:0 time: 1.71
18.72/4.78	c calculated reachability. Time: 0.00
18.72/4.78	c  N dy    68     30506       150     12750         0     10422     89250    330152     38.65   no data  --
19.92/5.05	c  N dy    81     34655       150     12750         0     14394     89250    506630     38.60     40.76  --
21.12/5.32	c  N dy   102     38964       150     12750         0     10946     89250    324097     38.75     40.83  --
22.36/5.63	c  N dy   105     43511       150     12750         0     15283     89250    515827     38.57     40.69  --
23.11/5.80	c  S st   115     45759       150     12750         0      8889     89250    200990     38.59     38.24  --
23.11/5.84	c  S st   115     46262       150     12750         0      9375     89250    221976     38.59   no data  --
23.11/5.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.11/5.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.11/5.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.11/5.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.11/5.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.11/5.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
23.11/5.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.90/7.50	c lits-rem:       207  cl-subs:       58  v-elim:      0  v-fix:    0  time:  6.57 s
29.90/7.50	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
29.90/7.50	c vivif2 --  cl tried     9317 cl shrink        0 lits rem          0 time: 0.01
29.90/7.58	c asymm  cl-useful: 0/1791/12750 lits-rem:0 time: 0.31
29.90/7.58	c calculated reachability. Time: 0.00
29.90/7.58	c  N dy   115     46262       150     12750         0      9317     89250    218479     38.59   no data  --
31.13/7.88	c  N dy   129     51006       150     12750         0     13853     89250    419632     38.58     40.73  --
32.28/8.19	c  N dy   146     55436       150     12750         0     18096     89250    608325     38.64     40.88  --
33.48/8.48	c  N dy   158     59569       150     12750         0     12504     89250    329671     38.66     40.89  --
34.68/8.77	c  N dy   172     63966       150     12750         0     16717     89250    518485     38.71     40.79  --
36.27/9.17	c  N dy   181     69259       150     12750         0     11256     89250    244747     38.68     41.06  --
36.27/9.18	c  S st   182     69393       150     12750         0     11384     89250    250165     38.69     38.98  --
36.67/9.22	c  S st   182     69893       150     12750         0     11874     89250    271601     38.69   no data  --
36.67/9.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.67/9.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.67/9.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
36.67/9.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.67/9.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.67/9.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
36.67/9.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.06/10.89	c lits-rem:       477  cl-subs:      134  v-elim:      0  v-fix:    0  time:  6.57 s
43.06/10.89	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
43.46/10.90	c vivif2 --  cl tried    11740 cl shrink        0 lits rem          0 time: 0.01
45.04/11.39	c asymm  cl-useful: 0/10370/12750 lits-rem:0 time: 1.96
45.04/11.39	c calculated reachability. Time: 0.00
45.04/11.39	c  N dy   182     69893       150     12750         0     11740     89250    263859     38.69   no data  --
47.45/11.97	c  N dy   204     77425       150     12750         0     18969     89250    587861     38.71     41.28  --
49.43/12.46	c  N dy   207     83506       150     12750         0     13298     89250    304888     38.59     40.71  --
50.64/12.78	c  F st   226     87500       150     12750         0     17131     89250    475783     38.62     39.58  --
51.44/12.94	c  N st   230     89532       150     12750         0     19072     89250    564922     38.62   no data  --
55.42/13.98	c  N dy   247    102163       150     12750         0     18714     89250    515029     38.52     40.57  --
56.62/14.22	c  S st   253    104840       150     12750         0     21279     89250    628357     38.52     39.49  --
56.62/14.29	c  S st   253    105344       150     12750         0     21770     89250    649703     38.52   no data  --
56.62/14.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
56.62/14.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
56.62/14.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
57.04/14.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57.04/14.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57.04/14.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
57.04/14.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.79/17.01	c lits-rem:      1804  cl-subs:     1051  v-elim:      0  v-fix:    0  time: 10.71 s
67.79/17.01	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
67.79/17.02	c vivif2 --  cl tried    20719 cl shrink        0 lits rem          0 time: 0.02
68.59/17.20	c asymm  cl-useful: 0/2380/12750 lits-rem:0 time: 0.72
68.59/17.20	c calculated reachability. Time: 0.00
68.59/17.20	c  N dy   253    105344       150     12750         0     20719     89250    594182     38.52   no data  --
70.97/17.86	c  N dy   274    112644       150     12750         0     14310     89250    287581     38.55     40.64  --
73.38/18.44	c  N dy   309    119946       150     12750         0     21314     89250    601144     38.63     40.69  --
76.16/19.19	c  N dy   337    127887       150     12750         0     14562     89250    265753     38.67     40.82  --
79.75/20.00	c  N dy   349    138355       150     12750         0     24557     89250    710448     38.58     40.75  --
83.37/20.96	c  N dy   380    148751       150     12750         0     19207     89250    440411     38.58     40.84  --
86.54/21.79	c  S st   410    158017       150     12750         0     28093     89250    833384     38.60     37.85  --
86.94/21.86	c  S st   410    158521       150     12750         0     28586     89250    854656     38.60   no data  --
86.94/21.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
86.94/21.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.94/21.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
87.34/21.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.34/21.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.34/21.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
87.34/21.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
106.48/26.75	c lits-rem:      1335  cl-subs:     1385  v-elim:      0  v-fix:    0  time: 19.31 s
106.48/26.75	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
106.48/26.76	c vivif2 --  cl tried    27201 cl shrink        0 lits rem          0 time: 0.04
107.68/27.03	c asymm  cl-useful: 0/3327/12750 lits-rem:0 time: 1.06
107.68/27.03	c calculated reachability. Time: 0.00
107.68/27.03	c  N dy   410    158521       150     12750         0     27201     89250    778681     38.60   no data  --
112.07/28.12	c  N dy   444    169710       150     12750         0     21667     89250    517051     38.62     40.67  --
116.86/29.37	c  N dy   476    181659       150     12750         0     33100     89250   1024985     38.62     40.88  --
121.25/30.49	c  N dy   507    193315       150     12750         0     27045     89250    728724     38.59     40.66  --
126.84/31.86	c  N dy   549    206180       150     12750         0     21154     89250    431048     38.61     40.69  --
132.41/33.25	c  N dy   589    219536       150     12750         0     33958     89250   1004854     38.63     41.26  --
138.79/34.81	c  N dy   638    233583       150     12750         0     28294     89250    718401     38.64     40.81  --
140.42/35.25	c  S st   647    237781       150     12750         0     32316     89250    897524     38.64     37.95  --
140.83/35.34	c  S st   647    238284       150     12750         0     32812     89250    919148     38.64   no data  --
140.83/35.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
140.83/35.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.83/35.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
140.83/35.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
140.83/35.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.83/35.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
140.83/35.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
157.98/39.70	c lits-rem:      1748  cl-subs:     1330  v-elim:      0  v-fix:    0  time: 17.18 s
157.98/39.70	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
158.39/39.71	c vivif2 --  cl tried    31482 cl shrink        0 lits rem          0 time: 0.04
159.14/39.95	c asymm  cl-useful: 0/2526/12750 lits-rem:0 time: 0.95
159.14/39.95	c calculated reachability. Time: 0.00
159.14/39.95	c  N dy   647    238284       150     12750         0     31482     89250    845620     38.64   no data  --
165.93/41.60	c  N dy   695    253574       150     12750         0     26068     89250    587659     38.65     40.70  --
173.10/43.46	c  N dy   762    269981       150     12750         0     41799     89250   1290899     38.69     40.95  --
180.33/45.26	c  N dy   808    287214       150     12750         0     37257     89250   1051104     38.69     41.02  --
188.27/47.29	c  N dy   844    306058       150     12750         0     33223     89250    836506     38.65     41.17  --
188.69/47.31	c  F st   845    306250       150     12750         0     33406     89250    844713     38.65     39.40  --
197.88/49.68	c  N dy   889    327647       150     12750         0     30893     89250    701104     38.63     40.78  --
207.41/52.02	c  N dy   941    347714       150     12750         0     26153     89250    462338     38.63     41.66  --
211.04/52.97	c  S st   951    357426       150     12750         0     35404     89250    868706     38.56     35.43  --
211.39/53.06	c  S st   951    357928       150     12750         0     35894     89250    889636     38.56   no data  --
211.39/53.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
211.39/53.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
211.39/53.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
211.79/53.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
211.79/53.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.79/53.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
211.79/53.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
234.54/58.83	c lits-rem:      1640  cl-subs:     1521  v-elim:      0  v-fix:    0  time: 22.79 s
234.54/58.83	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
234.54/58.84	c vivif2 --  cl tried    34373 cl shrink        0 lits rem          0 time: 0.04
235.74/59.17	c asymm  cl-useful: 0/2207/12750 lits-rem:0 time: 1.35
235.74/59.17	c calculated reachability. Time: 0.00
235.74/59.17	c  N dy   951    357928       150     12750         0     34373     89250    812633     38.56   no data  --
246.90/61.92	c  N dy   986    378974       150     12750         0     29660     89250    582683     38.51     40.57  --
256.47/64.39	c  N dy  1046    399496       150     12750         0     49331     89250   1461700     38.53     40.63  --
266.45/66.84	c  N dy  1111    420443       150     12750         0     43584     89250   1170310     38.53     40.70  --
276.45/69.40	c  N dy  1164    441419       150     12750         0     36884     89250    839404     38.53     40.90  --
288.40/72.35	c  N dy  1241    461481       150     12750         0     28338     89250    425234     38.54     40.74  --
298.40/74.86	c  N dy  1275    482927       150     12750         0     48877     89250   1342313     38.50     40.75  --
309.94/77.72	c  N dy  1352    503518       150     12750         0     39896     89250    906600     38.52     40.55  --
322.70/80.91	c  N dy  1447    523534       150     12750         0     59087     89250   1764203     38.55     40.64  --
329.12/82.55	c  S st  1498    536892       150     12750         0     42181     89250    972418     38.56     38.28  --
329.53/82.66	c  S st  1498    537395       150     12750         0     42671     89250    993883     38.56   no data  --
329.53/82.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
329.53/82.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
329.53/82.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
329.88/82.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
329.88/82.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
329.88/82.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
329.88/82.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
355.02/89.06	c lits-rem:      1220  cl-subs:     1331  v-elim:      0  v-fix:    0  time: 25.28 s
355.02/89.06	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
355.02/89.07	c vivif2 --  cl tried    41340 cl shrink        0 lits rem          0 time: 0.04
356.20/89.34	c asymm  cl-useful: 0/1859/12750 lits-rem:0 time: 1.05
356.20/89.34	c calculated reachability. Time: 0.00
356.20/89.34	c  N dy  1498    537395       150     12750         0     41340     89250    919860     38.56   no data  --
370.57/92.91	c  N dy  1603    558620       150     12750         0     31063     89250    443793     38.60     40.66  --
380.95/95.50	c  N dy  1667    578652       150     12750         0     50272     89250   1301300     38.61     44.65  --
394.51/98.93	c  N dy  1741    598700       150     12750         0     37848     89250    710562     38.63     40.88  --
408.09/102.38	c  N dy  1815    619573       150     12750         0     57856     89250   1603283     38.65     41.05  --
422.03/105.83	c  N dy  1863    641824       150     12750         0     46518     89250   1067399     38.63     40.95  --
437.99/109.88	c  N dy  1927    664609       150     12750         0     34822     89250    516621     38.61     40.75  --
451.98/113.33	c  N dy  1981    688379       150     12750         0     57595     89250   1536552     38.61     40.67  --
466.71/117.01	c  N dy  2033    708452       150     12750         0     42346     89250    823329     38.61     40.97  --
479.87/120.37	c  N dy  2097    728809       150     12750         0     61848     89250   1690274     38.62     40.75  --
494.63/124.04	c  N dy  2152    751434       150     12750         0     48009     89250   1033575     38.61     41.05  --
508.21/127.41	c  N dy  2215    771480       150     12750         0     67208     89250   1889072     38.61     42.96  --
520.97/130.65	c  N dy  2278    791637       150     12750         0     50202     89250   1099982     38.62     40.82  --
531.38/133.21	c  S st  2348    806095       150     12750         0     64087     89250   1724312     38.64     38.74  --
531.73/133.39	c  S st  2348    806600       150     12750         0     64581     89250   1746480     38.64   no data  --
531.73/133.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
531.73/133.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
532.13/133.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
532.13/133.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
532.13/133.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
532.13/133.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
532.13/133.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
624.68/156.66	c lits-rem:      2366  cl-subs:     2809  v-elim:      0  v-fix:    0  time: 92.40 s
624.68/156.67	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
624.68/156.68	c vivif2 --  cl tried    61772 cl shrink        0 lits rem          0 time: 0.07
626.29/157.01	c asymm  cl-useful: 0/1353/12750 lits-rem:0 time: 1.32
626.29/157.02	c calculated reachability. Time: 0.00
626.29/157.02	c  N dy  2348    806600       150     12750         0     61772     89250   1590763     38.64   no data  --
641.84/160.98	c  N dy  2429    827726       150     12750         0     44701     89250    820829     38.65     40.89  --
655.00/164.29	c  N dy  2502    847773       150     12750         0     63954     89250   1680584     38.67     40.82  --
669.37/167.88	c  N dy  2565    868064       150     12750         0     45094     89250    806137     38.67     40.72  --
681.73/170.94	c  N dy  2574    889288       150     12750         0     65327     89250   1708896     38.62     40.84  --
696.89/174.74	c  N dy  2631    909292       150     12750         0     45210     89250    777673     38.62     40.80  --
709.66/177.97	c  N dy  2689    929341       150     12750         0     64395     89250   1630414     38.62     40.77  --
726.01/182.07	c  N dy  2722    953037       150     12750         0     46906     89250    822741     38.60     40.79  --
740.77/185.74	c  N dy  2823    973087       150     12750         0     66148     89250   1683366     38.62     40.94  --
757.92/190.04	c  N dy  2898    993196       150     12750         0     44227     89250    668400     38.63     40.92  --
771.49/193.48	c  N dy  2985   1013369       150     12750         0     63606     89250   1533170     38.65     41.07  --
787.04/197.38	c  N dy  3020   1033407       150     12750         0     82747     89250   2385331     38.63     40.69  --
801.01/200.83	c  N dy  3092   1053446       150     12750         0     59810     89250   1332800     38.63     41.15  --
816.20/204.71	c  F st  3141   1071876       150     12750         0     77418     89250   2122301     38.64     38.86  --
818.56/205.22	c  N st  3145   1073911       150     12750         0     79365     89250   2212217     38.64   no data  --
836.51/209.73	c  N dy  3194   1095275       150     12750         0     56734     89250   1158303     38.64     40.74  --
855.27/214.40	c  N dy  3275   1115383       150     12750         0     76014     89250   2017158     38.65     40.99  --
876.01/219.60	c  N dy  3360   1135599       150     12750         0     51326     89250    883590     38.66     41.05  --
892.77/223.82	c  N dy  3435   1155636       150     12750         0     70555     89250   1743113     38.66     40.82  --
917.54/230.07	c  N dy  3533   1179273       150     12750         0     48136     89250    704436     38.67     41.03  --
933.06/233.95	c  N dy  3606   1199278       150     12750         0     67298     89250   1558825     38.68     40.89  --
943.03/236.48	c  S st  3640   1209900       150     12750         0     77484     89250   2013919     38.68     36.44  --
944.22/236.70	c  S st  3640   1210404       150     12750         0     77975     89250   2036175     38.68   no data  --
944.22/236.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
944.22/236.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
944.22/236.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
944.62/236.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
944.62/236.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
944.62/236.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
944.62/236.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1105.82/277.28	c lits-rem:      3779  cl-subs:     3474  v-elim:      0  v-fix:    0  time: 161.34 s
1105.82/277.28	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
1105.82/277.30	c vivif2 --  cl tried    74501 cl shrink        0 lits rem          0 time: 0.09
1107.79/277.73	c asymm  cl-useful: 0/1143/12750 lits-rem:0 time: 1.70
1107.79/277.73	c calculated reachability. Time: 0.00
1107.79/277.73	c  N dy  3640   1210404       150     12750         0     74501     89250   1846644     38.68   no data  --
1133.71/284.22	c  N dy  3731   1230860       150     12750         0     48161     89250    674739     38.69     40.76  --
1151.27/288.65	c  N dy  3781   1251935       150     12750         0     68300     89250   1572448     38.68     40.79  --
1173.21/294.12	c  N dy  3830   1272191       150     12750         0     87719     89250   2438882     38.67     40.77  --
1198.73/300.50	c  N dy  3892   1299001       150     12750         0     66357     89250   1450343     38.66     40.72  --
1222.68/306.51	c  N dy  3981   1319893       150     12750         0     86317     89250   2341090     38.67     40.71  --
1242.26/311.45	c  N dy  4022   1340310       150     12750         0     58088     89250   1053040     38.66     40.77  --
1261.76/316.39	c  N dy  4080   1360354       150     12750         0     77269     89250   1914047     38.67     40.78  --
1286.15/322.47	c  N dy  4124   1380385       150     12750         0     96518     89250   2771978     38.66     40.75  --
1304.45/327.00	c  N dy  4183   1400481       150     12750         0     66973     89250   1418826     38.67     41.11  --
1326.80/332.62	c  N dy  4237   1421257       150     12750         0     86874     89250   2305361     38.67     40.82  --
1349.94/338.45	c  N dy  4276   1441968       150     12750         0     56863     89250    925479     38.66     40.77  --
1369.11/343.31	c  N dy  4335   1462063       150     12750         0     76132     89250   1788715     38.66     40.76  --
1395.01/349.81	c  N dy  4419   1482334       150     12750         0     95577     89250   2660696     38.67     40.83  --
1418.14/355.57	c  N dy  4509   1502382       150     12750         0     64029     89250   1218081     38.68     40.77  --
1440.08/361.01	c  N dy  4576   1522451       150     12750         0     83246     89250   2073955     38.68     43.67  --
1475.99/370.09	c  N dy  4667   1549362       150     12750         0     57206     89250    880048     38.68     40.76  --
1499.14/375.85	c  N dy  4739   1570757       150     12750         0     77670     89250   1793512     38.69     40.76  --
1526.67/382.72	c  N dy  4808   1590785       150     12750         0     96860     89250   2653754     38.69     40.75  --
1550.99/388.80	c  N dy  4902   1612111       150     12750         0     64642     89250   1180069     38.70     40.76  --
1570.55/393.79	c  N dy  4972   1632299       150     12750         0     83947     89250   2042275     38.71     40.87  --
1596.47/400.28	c  N dy  5044   1652528       150     12750         0    103324     89250   2908318     38.71     40.83  --
1619.24/406.00	c  N dy  5127   1675198       150     12750         0     71451     89250   1446814     38.72     40.96  --
1640.35/411.29	c  N dy  5180   1695205       150     12750         0     90631     89250   2304085     38.72     40.86  --
1659.89/416.13	c  S st  5224   1710404       150     12750         0    105180     89250   2954118     38.72     39.59  --
1661.09/416.44	c  S st  5224   1710905       150     12750         0    105669     89250   2975642     38.72   no data  --
1661.09/416.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1661.09/416.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1661.49/416.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.27
1661.89/416.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1661.89/416.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1661.89/416.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1661.89/416.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2712.29/679.99	c lits-rem:      5220  cl-subs:     5618  v-elim:      0  v-fix:    0  time: 1050.00 s
2712.63/680.00	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.00
2712.63/680.03	c vivif2 --  cl tried   100051 cl shrink        0 lits rem          0 time: 0.13
2714.24/680.44	c asymm  cl-useful: 0/1141/12750 lits-rem:0 time: 1.65
2714.24/680.45	c calculated reachability. Time: 0.00
2714.24/680.45	c  N dy  5224   1710905       150     12750         0    100051     89250   2669029     38.72   no data  --
2735.78/685.83	c  N dy  5258   1731113       150     12750         0     64929     89250   1121278     38.71     40.82  --
2755.76/690.88	c  N dy  5292   1752973       150     12750         0     85814     89250   2053729     38.70     40.76  --
2784.45/698.03	c  N dy  5374   1773047       150     12750         0    105063     89250   2914923     38.71     43.13  --
2805.59/703.37	c  N dy  5399   1793734       150     12750         0     69357     89250   1286174     38.70     40.78  --
2826.73/708.63	c  N dy  5456   1813994       150     12750         0     88795     89250   2156131     38.70     40.75  --
2851.87/714.90	c  N dy  5505   1834105       150     12750         0    107962     89250   3010045     38.69     41.17  --
2872.61/720.19	c  N dy  5569   1854404       150     12750         0     71048     89250   1329090     38.70     40.74  --
2893.35/725.32	c  N dy  5628   1874492       150     12750         0     90350     89250   2195725     38.70     40.94  --
2915.69/730.96	c  N dy  5645   1895740       150     12750         0    110554     89250   3098903     38.67     40.74  --
2939.23/736.82	c  N dy  5724   1915812       150     12750         0     72417     89250   1358628     38.68     41.40  --
2963.16/742.87	c  N dy  5801   1935987       150     12750         0     91795     89250   2225995     38.68     40.77  --
2992.29/750.21	c  N dy  5871   1956045       150     12750         0    110998     89250   3084053     38.69     40.78  --
3016.22/756.10	c  N dy  5925   1976175       150     12750         0     71906     89250   1296737     38.68     40.95  --
3039.76/762.03	c  N dy  5996   1996403       150     12750         0     91272     89250   2165615     38.68     40.89  --
3068.48/769.22	c  N dy  6066   2016463       150     12750         0    110459     89250   3023112     38.69     41.62  --
3092.02/775.11	c  N dy  6123   2037067       150     12750         0     70801     89250   1212618     38.69     40.78  --
3112.36/780.23	c  N dy  6176   2057206       150     12750         0     90086     89250   2078087     38.69     40.81  --
3138.69/786.80	c  N dy  6243   2078953       150     12750         0    110912     89250   3010686     38.69     40.76  --
3161.43/792.56	c  N dy  6323   2099050       150     12750         0     69840     89250   1137795     38.70     40.83  --
3181.82/797.68	c  N dy  6359   2122260       150     12750         0     92092     89250   2129451     38.69     40.85  --
3210.10/804.73	c  N dy  6408   2147855       150     12750         0    116600     89250   3228726     38.68     40.84  --
3231.25/810.06	c  N dy  6469   2168453       150     12750         0     75052     89250   1338398     38.68     40.75  --
3250.79/814.93	c  N dy  6518   2188879       150     12750         0     94560     89250   2209099     38.68     40.75  --
3276.72/821.40	c  N dy  6589   2209294       150     12750         0    114169     89250   3088891     38.68     41.01  --
3279.11/822.01	c  S st  6596   2210907       150     12750         0    115721     89250   3158097     38.68     40.49  --
3280.31/822.31	c  S st  6596   2211411       150     12750         0    116209     89250   3179591     38.68   no data  --
3280.31/822.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3280.31/822.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3280.31/822.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.27
3280.71/822.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3280.71/822.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3280.71/822.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3280.71/822.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4624.28/1159.27	c lits-rem:      4111  cl-subs:     6250  v-elim:      0  v-fix:    0  time: 1342.86 s
4624.28/1159.27	c vivif2 --  cl tried    12750 cl shrink        0 lits rem          0 time: 0.01
4624.68/1159.31	c vivif2 --  cl tried   109959 cl shrink        0 lits rem          0 time: 0.15
4626.68/1159.80	c asymm  cl-useful: 0/899/12750 lits-rem:0 time: 1.98
4626.68/1159.81	c calculated reachability. Time: 0.00
4626.68/1159.81	c  N dy  6596   2211411       150     12750         0    109959     89250   2845969     38.68   no data  --
4655.83/1167.13	c  N dy  6652   2231550       150     12750         0     67087     89250    949054     38.67     40.75  --
4681.33/1173.53	c  N dy  6663   2255684       150     12750         0     90130     89250   1982690     38.66     40.75  --
4712.88/1181.42	c  N dy  6728   2276281       150     12750         0    109873     89250   2866057     38.66     40.89  --
4749.54/1190.69	c  N dy  6800   2300095       150     12750         0     69569     89250   1026510     38.66     40.70  --
4772.28/1196.30	c  N dy  6842   2320287       150     12750         0     88928     89250   1892109     38.66     40.70  --
4799.82/1203.21	c  N dy  6897   2340456       150     12750         0    108183     89250   2752837     38.65     40.74  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368623-1305398996/watcher-3368623-1305398996 -o /tmp/evaluation-result-3368623-1305398996/solver-3368623-1305398996 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368623-1305398996.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: 8.14 8.12 8.01 5/333 20230
/proc/meminfo: memFree=23413520/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 632315196 52465664 356 33554432000 4194304 4650419 140734966873184 18446744073709551615 47284344624659 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 12809 356 306 112 0 7774 0
[pid=20230/tid=20231] ppid=20228 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632315197 52465664 356 33554432000 4194304 4650419 140734966873184 18446744073709551615 47284344624659 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632315197 52465664 356 33554432000 4194304 4650419 140734966873184 18446744073709551615 47284344624665 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632315197 52465664 356 33554432000 4194304 4650419 140734966873184 18446744073709551615 47284344625064 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.112079 s]
/proc/loadavg: 8.14 8.12 8.01 5/333 20230
/proc/meminfo: memFree=23413520/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=282496 CPUtime=0.42 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 2205 0 0 0 42 0 0 0 18 0 4 0 632315196 289275904 2111 33554432000 4194304 4650419 140734966873184 18446744073709551615 4370732 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 70624 2111 366 112 0 65589 0
[pid=20230/tid=20231] ppid=20228 vsize=282496 CPUtime=0.1 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 391 0 0 0 10 0 0 0 18 0 4 0 632315197 289275904 2111 33554432000 4194304 4650419 140734966873184 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=282496 CPUtime=0.1 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 424 0 0 0 10 0 0 0 18 0 4 0 632315197 289275904 2111 33554432000 4194304 4650419 140734966873184 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=282496 CPUtime=0.1 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 554 0 0 0 10 0 0 0 25 0 4 0 632315197 289275904 2111 33554432000 4194304 4650419 140734966873184 18446744073709551615 4329469 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282496

[startup+0.201061 s]
/proc/loadavg: 8.14 8.12 8.01 5/333 20230
/proc/meminfo: memFree=23413520/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=282496 CPUtime=0.77 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 2366 0 0 0 77 0 0 0 18 0 4 0 632315196 289275904 2272 33554432000 4194304 4650419 140734966873184 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 70624 2272 366 112 0 65589 0
[pid=20230/tid=20231] ppid=20228 vsize=282496 CPUtime=0.19 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 402 0 0 0 19 0 0 0 18 0 4 0 632315197 289275904 2272 33554432000 4194304 4650419 140734966873184 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=282496 CPUtime=0.19 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 440 0 0 0 19 0 0 0 18 0 4 0 632315197 289275904 2272 33554432000 4194304 4650419 140734966873184 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=282496 CPUtime=0.18 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 679 0 0 0 18 0 0 0 25 0 4 0 632315197 289275904 2272 33554432000 4194304 4650419 140734966873184 18446744073709551615 4366857 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 282496

[startup+0.301042 s]
/proc/loadavg: 8.14 8.12 8.01 5/333 20230
/proc/meminfo: memFree=23413520/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=283640 CPUtime=1.17 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 2820 0 0 0 117 0 0 0 18 0 4 0 632315196 290447360 2341 33554432000 4194304 4650419 140734966873184 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 70910 2341 370 112 0 65875 0
[pid=20230/tid=20231] ppid=20228 vsize=283640 CPUtime=0.29 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 416 0 0 0 29 0 0 0 18 0 4 0 632315197 290447360 2341 33554432000 4194304 4650419 140734966873184 18446744073709551615 4370500 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=283640 CPUtime=0.29 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 450 0 0 0 29 0 0 0 18 0 4 0 632315197 290447360 2341 33554432000 4194304 4650419 140734966873184 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=283640 CPUtime=0.28 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 1098 0 0 0 28 0 0 0 25 0 4 0 632315197 290447360 2341 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365357 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) 283640

[startup+0.700964 s]
/proc/loadavg: 8.14 8.12 8.01 5/333 20230
/proc/meminfo: memFree=23413520/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=288064 CPUtime=2.76 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 8351 0 0 0 276 0 0 0 18 0 4 0 632315196 294977536 5527 33554432000 4194304 4650419 140734966873184 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 72016 5527 390 112 0 66981 0
[pid=20230/tid=20231] ppid=20228 vsize=288064 CPUtime=0.69 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 1872 0 0 0 69 0 0 0 18 0 4 0 632315197 294977536 5527 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=288064 CPUtime=0.69 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 2095 0 0 0 69 0 0 0 18 0 4 0 632315197 294977536 5527 33554432000 4194304 4650419 140734966873184 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=288064 CPUtime=0.68 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 1855 0 0 0 68 0 0 0 25 0 4 0 632315197 294977536 5527 33554432000 4194304 4650419 140734966873184 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 288064

[startup+1.50081 s]
/proc/loadavg: 8.14 8.12 8.01 10/337 20234
/proc/meminfo: memFree=23361840/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=289328 CPUtime=5.95 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 13772 0 0 0 594 1 0 0 19 0 4 0 632315196 296271872 7063 33554432000 4194304 4650419 140734966873184 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 72332 7063 391 112 0 67297 0
[pid=20230/tid=20231] ppid=20228 vsize=289328 CPUtime=1.49 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 3200 0 0 0 149 0 0 0 19 0 4 0 632315197 296271872 7063 33554432000 4194304 4650419 140734966873184 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=289328 CPUtime=1.48 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 3440 0 0 0 148 0 0 0 19 0 4 0 632315197 296271872 7063 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=289328 CPUtime=1.47 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 3260 0 0 0 147 0 0 0 25 0 4 0 632315197 296271872 7063 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 289328

[startup+3.1005 s]
/proc/loadavg: 8.14 8.12 8.01 9/337 20234
/proc/meminfo: memFree=23336692/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=289936 CPUtime=12.35 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 28715 0 0 0 1230 5 0 0 25 0 4 0 632315196 296894464 16970 33554432000 4194304 4650419 140734966873184 18446744073709551615 4439181 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 72484 16970 392 112 0 67449 0
[pid=20230/tid=20231] ppid=20228 vsize=289936 CPUtime=3.09 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 6104 0 0 0 308 1 0 0 25 0 4 0 632315197 296894464 16970 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=289936 CPUtime=3.08 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 8454 0 0 0 307 1 0 0 23 0 4 0 632315197 296894464 16970 33554432000 4194304 4650419 140734966873184 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=289936 CPUtime=3.05 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 7873 0 0 0 304 1 0 0 25 0 4 0 632315197 296894464 16970 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476201 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 289936

[startup+6.30086 s]
/proc/loadavg: 8.12 8.11 8.01 9/337 20234
/proc/meminfo: memFree=23215048/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=290336 CPUtime=25.1 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 34008 0 0 0 2505 5 0 0 25 0 4 0 632315196 297304064 17328 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 72584 17328 392 112 0 67549 0
[pid=20230/tid=20231] ppid=20228 vsize=290336 CPUtime=6.29 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 7522 0 0 0 628 1 0 0 25 0 4 0 632315197 297304064 17328 33554432000 4194304 4650419 140734966873184 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=290336 CPUtime=6.28 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 8861 0 0 0 627 1 0 0 25 0 4 0 632315197 297304064 17328 33554432000 4194304 4650419 140734966873184 18446744073709551615 4310768 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=290336 CPUtime=6.22 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 9649 0 0 0 621 1 0 0 25 0 4 0 632315197 297304064 17328 33554432000 4194304 4650419 140734966873184 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 290336

[startup+12.7006 s]
/proc/loadavg: 8.11 8.11 8.01 9/337 20234
/proc/meminfo: memFree=23137952/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=280828 CPUtime=50.64 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 55343 0 0 0 5052 12 0 0 25 0 4 0 632315196 287567872 26481 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 70207 26481 392 112 0 65172 0
[pid=20230/tid=20231] ppid=20228 vsize=280828 CPUtime=12.69 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 14423 0 0 0 1266 3 0 0 25 0 4 0 632315197 287567872 26481 33554432000 4194304 4650419 140734966873184 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=280828 CPUtime=12.68 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 14130 0 0 0 1265 3 0 0 25 0 4 0 632315197 287567872 26481 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=280828 CPUtime=12.55 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 15256 0 0 0 1252 3 0 0 25 0 4 0 632315197 287567872 26481 33554432000 4194304 4650419 140734966873184 18446744073709551615 4438792 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 280828

[startup+25.5011 s]
/proc/loadavg: 8.09 8.11 8.01 9/337 20235
/proc/meminfo: memFree=23012716/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=312460 CPUtime=101.7 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 86031 0 0 0 10150 20 0 0 25 0 4 0 632315196 319959040 36308 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 78115 36308 392 112 0 73080 0
[pid=20230/tid=20231] ppid=20228 vsize=312460 CPUtime=25.49 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 21096 0 0 0 2544 5 0 0 25 0 4 0 632315197 319959040 36308 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=312460 CPUtime=25.49 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 23242 0 0 0 2544 5 0 0 25 0 4 0 632315197 319959040 36308 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=312460 CPUtime=25.2 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 22420 0 0 0 2515 5 0 0 25 0 4 0 632315197 319959040 36308 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 312460

[startup+51.101 s]
/proc/loadavg: 8.06 8.10 8.00 9/337 20235
/proc/meminfo: memFree=22888408/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=380172 CPUtime=203.82 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 134757 0 0 0 20347 35 0 0 25 0 4 0 632315196 389296128 47253 33554432000 4194304 4650419 140734966873184 18446744073709551615 4334052 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 95043 47253 392 112 0 90008 0
[pid=20230/tid=20231] ppid=20228 vsize=380172 CPUtime=51.09 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 33818 0 0 0 5100 9 0 0 25 0 4 0 632315197 389296128 47253 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=380172 CPUtime=51.08 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 37206 0 0 0 5099 9 0 0 25 0 4 0 632315197 389296128 47253 33554432000 4194304 4650419 140734966873184 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=380172 CPUtime=50.53 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 34847 0 0 0 5044 9 0 0 25 0 4 0 632315197 389296128 47253 33554432000 4194304 4650419 140734966873184 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 380172

[startup+102.301 s]
/proc/loadavg: 8.02 8.08 8.00 9/337 20237
/proc/meminfo: memFree=22823276/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=437044 CPUtime=408.09 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 218720 0 0 0 40747 62 0 0 25 0 4 0 632315196 447533056 52474 33554432000 4194304 4650419 140734966873184 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 109261 52474 392 112 0 104226 0
[pid=20230/tid=20231] ppid=20228 vsize=437044 CPUtime=102.3 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 55292 0 0 0 10212 18 0 0 25 0 4 0 632315197 447533056 52477 33554432000 4194304 4650419 140734966873184 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=437044 CPUtime=102.3 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 56256 0 0 0 10215 15 0 0 25 0 4 0 632315197 447533056 52477 33554432000 4194304 4650419 140734966873184 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=437044 CPUtime=101.19 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 58213 0 0 0 10103 16 0 0 25 0 4 0 632315197 447533056 52477 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 437044

[startup+162.301 s]

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

[pid=20230] ppid=20228 vsize=729104 CPUtime=2562.27 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 518879 0 0 0 256014 213 0 0 25 0 4 0 632315196 746602496 110561 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 182276 110561 392 112 0 177241 0
[pid=20230/tid=20231] ppid=20228 vsize=729104 CPUtime=642.31 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 145717 0 0 0 64158 73 0 0 25 0 4 0 632315197 746602496 110561 33554432000 4194304 4650419 140734966873184 18446744073709551615 4333045 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=729104 CPUtime=642.3 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 124258 0 0 0 64186 44 0 0 25 0 4 0 632315197 746602496 110561 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=729104 CPUtime=635.32 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 143765 0 0 0 63472 60 0 0 25 0 4 0 632315197 746602496 110561 33554432000 4194304 4650419 140734966873184 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.27
Current children cumulated vsize (KiB) 729104

[startup+702.301 s]
/proc/loadavg: 8.13 8.09 8.02 9/337 20262
/proc/meminfo: memFree=22376276/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=601764 CPUtime=2801.6 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 537994 0 0 0 279935 225 0 0 25 0 4 0 632315196 616206336 101081 33554432000 4194304 4650419 140734966873184 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 150441 101081 392 112 0 145406 0
[pid=20230/tid=20231] ppid=20228 vsize=601764 CPUtime=702.29 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 153234 0 0 0 70151 78 0 0 25 0 4 0 632315197 616206336 101081 33554432000 4194304 4650419 140734966873184 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=601764 CPUtime=702.3 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 124291 0 0 0 70186 44 0 0 25 0 4 0 632315197 616206336 101081 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=601764 CPUtime=694.66 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 150023 0 0 0 69402 64 0 0 25 0 4 0 632315197 616206336 101081 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.6
Current children cumulated vsize (KiB) 601764

[startup+762.301 s]
/proc/loadavg: 8.13 8.10 8.02 9/337 20263
/proc/meminfo: memFree=22336900/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=614952 CPUtime=3040.98 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 563295 0 0 0 303858 240 0 0 25 0 4 0 632315196 629710848 108909 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 153738 108909 392 112 0 148703 0
[pid=20230/tid=20231] ppid=20228 vsize=614952 CPUtime=762.31 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 159353 0 0 0 76150 81 0 0 25 0 4 0 632315197 629710848 108909 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=614952 CPUtime=762.31 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 124291 0 0 0 76187 44 0 0 25 0 4 0 632315197 629710848 108909 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=614952 CPUtime=754.01 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 156924 0 0 0 75332 69 0 0 25 0 4 0 632315197 629710848 108909 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.98
Current children cumulated vsize (KiB) 614952

[startup+822.301 s]
/proc/loadavg: 8.14 8.11 8.03 9/337 20265
/proc/meminfo: memFree=22333996/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=588612 CPUtime=3280.31 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 597537 0 0 0 327774 257 0 0 25 0 4 0 632315196 602738688 108369 33554432000 4194304 4650419 140734966873184 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 147153 108369 392 112 0 142118 0
[pid=20230/tid=20231] ppid=20228 vsize=588612 CPUtime=822.3 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 169347 0 0 0 82144 86 0 0 25 0 4 0 632315197 602738688 108369 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=588612 CPUtime=822.3 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 130601 0 0 0 82184 46 0 0 25 0 4 0 632315197 602738688 108369 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=588612 CPUtime=813.35 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 165501 0 0 0 81262 73 0 0 25 0 4 0 632315197 602738688 108369 33554432000 4194304 4650419 140734966873184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.31
Current children cumulated vsize (KiB) 588612

[startup+882.313 s]
/proc/loadavg: 8.17 8.13 8.04 9/337 20266
/proc/meminfo: memFree=22314764/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=643516 CPUtime=3519.71 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 625551 0 0 0 351698 273 0 0 25 0 4 0 632315196 658960384 105924 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 160879 105924 392 112 0 155844 0
[pid=20230/tid=20231] ppid=20228 vsize=643516 CPUtime=882.32 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 175410 0 0 0 88142 90 0 0 25 0 4 0 632315197 658960384 105924 33554432000 4194304 4650419 140734966873184 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=643516 CPUtime=882.32 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 140941 0 0 0 88179 53 0 0 25 0 4 0 632315197 658960384 105924 33554432000 4194304 4650419 140734966873184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=643516 CPUtime=872.71 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 171289 0 0 0 87194 77 0 0 25 0 4 0 632315197 658960384 105924 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.71
Current children cumulated vsize (KiB) 643516

[startup+942.3 s]
/proc/loadavg: 8.11 8.12 8.04 9/337 20268
/proc/meminfo: memFree=22278036/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=750032 CPUtime=3759.02 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 652530 0 0 0 375618 284 0 0 25 0 4 0 632315196 768032768 111700 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 187508 111700 392 112 0 182473 0
[pid=20230/tid=20231] ppid=20228 vsize=750032 CPUtime=942.31 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 181449 0 0 0 94137 94 0 0 25 0 4 0 632315197 768032768 111700 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=750032 CPUtime=942.3 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 147851 0 0 0 94175 55 0 0 25 0 4 0 632315197 768032768 111700 33554432000 4194304 4650419 140734966873184 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=750032 CPUtime=932.04 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 176615 0 0 0 93124 80 0 0 25 0 4 0 632315197 768032768 111700 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.02
Current children cumulated vsize (KiB) 750032

[startup+1002.3 s]
/proc/loadavg: 8.04 8.10 8.03 9/337 20270
/proc/meminfo: memFree=22161464/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=815952 CPUtime=3998.37 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 673822 0 0 0 399542 295 0 0 25 0 4 0 632315196 835534848 121604 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 203988 121604 392 112 0 198953 0
[pid=20230/tid=20231] ppid=20228 vsize=815952 CPUtime=1002.31 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 190165 0 0 0 100136 95 0 0 25 0 4 0 632315197 835534848 121604 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=815952 CPUtime=1002.31 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 153289 0 0 0 100171 60 0 0 25 0 4 0 632315197 835534848 121604 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=815952 CPUtime=991.38 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 182172 0 0 0 99053 85 0 0 25 0 4 0 632315197 835534848 121604 33554432000 4194304 4650419 140734966873184 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3998.37
Current children cumulated vsize (KiB) 815952

[startup+1062.3 s]
/proc/loadavg: 8.01 8.08 8.02 9/337 20271
/proc/meminfo: memFree=22172480/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=830172 CPUtime=4237.72 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 695701 0 0 0 423465 307 0 0 25 0 4 0 632315196 850096128 118702 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 207543 118702 392 112 0 202508 0
[pid=20230/tid=20231] ppid=20228 vsize=830172 CPUtime=1062.32 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 194870 0 0 0 106136 96 0 0 25 0 4 0 632315197 850096128 118702 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=830172 CPUtime=1062.31 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 160574 0 0 0 106166 65 0 0 25 0 4 0 632315197 850096128 118702 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=830172 CPUtime=1050.74 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 191379 0 0 0 104982 92 0 0 25 0 4 0 632315197 850096128 118702 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.72
Current children cumulated vsize (KiB) 830172

[startup+1122.3 s]
/proc/loadavg: 8.00 8.06 8.02 9/337 20273
/proc/meminfo: memFree=22174572/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=764888 CPUtime=4477.08 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 719079 0 0 0 447387 321 0 0 25 0 4 0 632315196 783245312 117935 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 191222 117935 392 112 0 186187 0
[pid=20230/tid=20231] ppid=20228 vsize=764888 CPUtime=1122.31 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 197301 0 0 0 112135 96 0 0 25 0 4 0 632315197 783245312 117935 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=764888 CPUtime=1122.31 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 170002 0 0 0 112158 73 0 0 25 0 4 0 632315197 783245312 117935 33554432000 4194304 4650419 140734966873184 18446744073709551615 4360424 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=764888 CPUtime=1110.08 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 201037 0 0 0 110912 96 0 0 25 0 4 0 632315197 783245312 117935 33554432000 4194304 4650419 140734966873184 18446744073709551615 4439561 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.08
Current children cumulated vsize (KiB) 764888

[startup+1182.3 s]
/proc/loadavg: 8.07 8.06 8.02 9/337 20274
/proc/meminfo: memFree=22152452/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=830700 CPUtime=4716.44 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 733100 0 0 0 471317 327 0 0 25 0 4 0 632315196 850636800 123618 33554432000 4194304 4650419 140734966873184 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 207675 123618 392 112 0 202640 0
[pid=20230/tid=20231] ppid=20228 vsize=830700 CPUtime=1182.32 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 197731 0 0 0 118136 96 0 0 25 0 4 0 632315197 850636800 123618 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=830700 CPUtime=1182.31 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 176757 0 0 0 118155 76 0 0 25 0 4 0 632315197 850636800 123618 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=830700 CPUtime=1169.43 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 203414 0 0 0 116846 97 0 0 25 0 4 0 632315197 850636800 123618 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4716.44
Current children cumulated vsize (KiB) 830700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.04 8.06 8.02 7/336 20276
/proc/meminfo: memFree=22155284/32951124 swapFree=59367104/67111528
[pid=20230] ppid=20228 vsize=780184 CPUtime=4800.24 cores=1,3,5,7
/proc/20230/stat : 20230 (strangenight1-m) R 20228 20230 20095 0 -1 4202496 740790 0 0 0 479692 332 0 0 25 0 4 0 632315196 798908416 122974 33554432000 4194304 4650419 140734966873184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/20230/statm: 195046 122974 392 112 0 190011 0
[pid=20230/tid=20231] ppid=20228 vsize=780184 CPUtime=1203.33 cores=1,3,5,7
/proc/20230/task/20231/stat : 20231 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 197731 0 0 0 120237 96 0 0 25 0 4 0 632315197 798908416 122975 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20230/tid=20232] ppid=20228 vsize=780184 CPUtime=1203.33 cores=1,3,5,7
/proc/20230/task/20232/stat : 20232 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 178804 0 0 0 120255 78 0 0 25 0 4 0 632315197 798908416 122975 33554432000 4194304 4650419 140734966873184 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20230/tid=20233] ppid=20228 vsize=780184 CPUtime=1190.2 cores=1,3,5,7
/proc/20230/task/20233/stat : 20233 (strangenight1-m) R 20228 20230 20095 0 -1 4202560 205193 0 0 0 118923 97 0 0 25 0 4 0 632315197 798908416 122975 33554432000 4194304 4650419 140734966873184 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 780184

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.34
CPU time (s): 4800.3
CPU user time (s): 4796.96
CPU system time (s): 3.34349
CPU usage (%): 398.915
Max. virtual memory (cumulated for all children) (KiB): 884352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.96
system time used= 3.34349
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 740792
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= 725
involuntary context switches= 33221

runsolver used 3.31549 second user time and 9.8605 second system time

The end

Launcher Data 

Begin job on node143 at 2011-05-14 20:49:56
IDJOB=3368623
IDBENCH=82632
IDSOLVER=1846
FILE ID=node143/3368623-1305398996
RUNJOBID= node143-1305397790-20114
PBS_JOBID= 13324468
Free space on /tmp= 73408 MiB

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

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

MD5SUM BENCH= 056b111696528692a64cdb39e1a29daf
RANDOM SEED=1933374285

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23414668 kB
Buffers:        140136 kB
Cached:         645964 kB
SwapCached:      67336 kB
Active:          89756 kB
Inactive:      9224144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23414668 kB
SwapTotal:    67111528 kB
SwapFree:     59367104 kB
Dirty:           13272 kB
Writeback:           0 kB
AnonPages:     8460268 kB
Mapped:          22424 kB
Slab:           105148 kB
PageTables:      53368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 70023640 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= 73404 MiB
End job on node143 at 2011-05-14 21:10:01