Trace number 3175466

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-mtSAT 3556.46 897.735

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf
MD5SUM73d9fe7597a311fec40e782ce52bc60b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.101983
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
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 55340

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-3175466-1304125167.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.00	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.00	c -- vars added         60
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.00/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.00/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.47/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.47/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.47/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.47/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.47/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
0.47/0.90	c Finding binary XORs  T:     0.00 s  found:       0
0.47/0.90	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.47/0.90	c calculated reachability. Time: 0.00
0.47/0.90	c Calc default polars -  time:   0.00 s pos:      24 undec:       3 neg:      33
0.47/0.90	c =========================================================================================
0.47/0.90	c types(t): F = full restart, N = normal restart
0.47/0.90	c types(t): S = simplification begin/end, E = solution found
0.47/0.90	c restart types(rt): st = static, dy = dynamic
0.47/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.47/0.90	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.47/0.90	c  N dy     7      4396        60      5340         0      3890     37380     83044     17.75     18.73  --
0.47/0.90	c  N dy    14      9449        60      5340         0      6141     37380    123172     17.41     18.38  --
0.47/0.90	c  N dy    43     13673        60      5340         0      6164     37380    119151     17.95     19.01  --
0.47/0.90	c  N dy    64     19158        60      5340         0      6045     37380    106678     18.09     19.05  --
4.01/1.06	c  F st    67     25001        60      5340         0     11203     37380    212736     17.85     16.10  --
4.01/1.06	c  N st    67     25001        60      5340         0     11203     37380    212736     17.85     16.10  --
4.78/1.28	c  N dy    73     30000        60      5340         0      9620     37380    172116     17.85   no data  --
4.78/1.28	c  S st    73     30000        60      5340         0      9620     37380    172116     17.85   no data  --
5.18/1.31	c  S st    73     30506        60      5340         0     10095     37380    182788     17.85   no data  --
5.18/1.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.18/1.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.18/1.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.18/1.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.18/1.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.18/1.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.24	c lits-rem:      1431  cl-subs:     1143  v-elim:      0  v-fix:    0  time:  3.67 s
9.56/2.49	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.99
9.56/2.49	c calculated reachability. Time: 0.00
9.56/2.49	c  N dy    73     30506        60      5340         0      8952     37380    158279     17.85   no data  --
10.76/2.74	c  N dy    89     35171        60      5340         0     13129     37380    246868     17.89     18.87  --
11.56/2.95	c  N dy   117     39244        60      5340         0      9795     37380    167278     18.03     19.58  --
12.76/3.25	c  N dy   127     45037        60      5340         0     14948     37380    276529     17.99     18.98  --
13.15/3.30	c  S st   135     45759        60      5340         0     15609     37380    291076     18.02   no data  --
13.15/3.35	c  S st   135     46262        60      5340         0      8087     37380    122515     18.02   no data  --
13.15/3.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.15/3.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.15/3.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.15/3.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.15/3.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.15/3.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.15/3.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.38/4.11	c lits-rem:       102  cl-subs:       19  v-elim:      0  v-fix:    0  time:  3.00 s
16.38/4.11	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.38/4.12	c vivif2 --  cl tried     8068 cl shrink        0 lits rem          0 time: 0.00
17.15/4.34	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.90
17.15/4.34	c calculated reachability. Time: 0.00
17.15/4.34	c  N dy   135     46262        60      5340         0      8068     37380    121943     18.02   no data  --
17.95/4.56	c  N dy   163     50406        60      5340         0     11780     37380    202106     18.13     19.09  --
19.16/4.85	c  N dy   185     55251        60      5340         0     16073     37380    294170     18.21     19.20  --
22.35/5.63	c  N dy   191     68641        60      5340         0     18904     37380    331614     17.91     18.89  --
22.75/5.71	c  S st   198     69394        60      5340         0      9883     37380    143090     17.94   no data  --
22.75/5.74	c  S st   198     69900        60      5340         0     10336     37380    153018     17.94   no data  --
22.75/5.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.75/5.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.75/5.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.75/5.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.75/5.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.75/5.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.75/5.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.94/6.58	c lits-rem:       270  cl-subs:      120  v-elim:      0  v-fix:    0  time:  3.33 s
25.94/6.58	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.94/6.58	c vivif2 --  cl tried    10216 cl shrink        0 lits rem          0 time: 0.01
27.14/6.84	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.04
27.14/6.85	c calculated reachability. Time: 0.00
27.14/6.85	c  N dy   198     69900        60      5340         0     10216     37380    149936     17.94   no data  --
28.74/7.21	c  N dy   203     76909        60      5340         0     16411     37380    278681     17.86     18.85  --
30.33/7.62	c  N dy   233     82139        60      5340         0     21097     37380    379435     17.93     18.92  --
31.54/7.97	c  F st   258     87500        60      5340         0     15243     37380    245787     17.97     17.03  --
31.54/7.97	c  N st   258     87500        60      5340         0     15243     37380    245787     17.97     17.03  --
33.14/8.37	c  N dy   268     93123        60      5340         0     20255     37380    353498     17.98     19.85  --
35.13/8.83	c  N dy   284     99441        60      5340         0     14324     37380    215526     17.97     18.99  --
36.73/9.25	c  S st   333    104850        60      5340         0     19153     37380    321267     18.07   no data  --
37.12/9.30	c  S st   333    105356        60      5340         0     19614     37380    331426     18.07   no data  --
37.12/9.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.12/9.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.12/9.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.12/9.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.12/9.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.12/9.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
37.12/9.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.92/10.52	c lits-rem:      1595  cl-subs:     1741  v-elim:      0  v-fix:    0  time:  4.80 s
41.92/10.52	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
41.92/10.53	c vivif2 --  cl tried    17873 cl shrink        0 lits rem          0 time: 0.01
43.14/10.87	c asymm  cl-useful: 0/4417/5340 lits-rem:0 time: 1.37
43.14/10.87	c calculated reachability. Time: 0.00
43.14/10.87	c  N dy   333    105356        60      5340         0     17873     37380    291322     18.07   no data  --
45.51/11.47	c  N dy   359    112259        60      5340         0     24005     37380    421420     18.10     19.08  --
48.72/12.25	c  N dy   389    123536        60      5340         0     21690     37380    362531     18.07     19.05  --
54.30/13.67	c  N dy   400    143060        60      5340         0     25553     37380    422465     17.83     18.92  --
57.50/14.45	c  N dy   460    152190        60      5340         0     19640     37380    301232     17.90     20.55  --
59.50/14.98	c  S st   498    158034        60      5340         0     24870     37380    413723     17.94     17.18  --
59.90/15.05	c  S st   498    158539        60      5340         0     25326     37380    423780     17.94   no data  --
59.90/15.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.90/15.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.90/15.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
59.90/15.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.90/15.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.90/15.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
59.90/15.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.89/17.06	c lits-rem:      2048  cl-subs:     2450  v-elim:      0  v-fix:    0  time:  7.96 s
67.89/17.06	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
67.89/17.07	c vivif2 --  cl tried    22876 cl shrink        0 lits rem          0 time: 0.01
68.29/17.17	c asymm  cl-useful: 0/923/5340 lits-rem:0 time: 0.44
68.29/17.18	c calculated reachability. Time: 0.00
68.29/17.18	c  N dy   498    158539        60      5340         0     22876     37380    367606     17.94   no data  --
92.26/23.14	c  N dy   552    231354        60      5340         0     21759     37380    299891     17.27     18.29  --
94.65/23.79	c  S st   609    237808        60      5340         0     27524     37380    425224     17.33   no data  --
95.05/23.86	c  S st   609    238312        60      5340         0     27984     37380    435385     17.33   no data  --
95.05/23.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
95.05/23.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.05/23.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
95.05/23.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
95.05/23.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
95.05/23.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
95.05/23.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
103.84/26.05	c lits-rem:      1883  cl-subs:     2906  v-elim:      0  v-fix:    0  time:  8.67 s
103.84/26.05	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
103.84/26.05	c vivif2 --  cl tried    25078 cl shrink        0 lits rem          0 time: 0.02
105.44/26.41	c asymm  cl-useful: 0/3317/5340 lits-rem:0 time: 1.41
105.44/26.41	c calculated reachability. Time: 0.00
105.44/26.41	c  N dy   609    238312        60      5340         0     25078     37380    378919     17.33   no data  --
112.63/28.29	c  N dy   738    253659        60      5340         0     20450     37380    271746     17.46     18.38  --
119.82/30.09	c  N dy   859    269910        60      5340         0     34989     37380    585583     17.56     19.90  --
127.81/32.04	c  N dy   978    287387        60      5340         0     31149     37380    487274     17.63     18.63  --
136.60/34.25	c  N dy  1102    305796        60      5340         0     27076     37380    390446     17.72     19.76  --
137.00/34.30	c  F st  1107    306250        60      5340         0     27477     37380    399429     17.72   no data  --
146.18/36.69	c  N dy  1197    325341        60      5340         0     23152     37380    297585     17.76     19.88  --
156.17/39.17	c  N dy  1333    345368        60      5340         0     41049     37380    683984     17.84     18.82  --
162.16/40.69	c  S st  1392    357470        60      5340         0     29472     37380    419512     17.86     17.24  --
162.56/40.77	c  S st  1392    357974        60      5340         0     29927     37380    429572     17.86   no data  --
162.56/40.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
162.56/40.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.56/40.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
162.56/40.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
162.56/40.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
162.56/40.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
162.56/40.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
171.75/43.06	c lits-rem:      1310  cl-subs:     1899  v-elim:      0  v-fix:    0  time:  9.04 s
171.75/43.06	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
171.75/43.06	c vivif2 --  cl tried    28028 cl shrink        0 lits rem          0 time: 0.02
173.35/43.44	c asymm  cl-useful: 0/2023/5340 lits-rem:0 time: 1.50
173.35/43.44	c calculated reachability. Time: 0.00
173.35/43.44	c  N dy  1392    357974        60      5340         0     28028     37380    388737     17.86   no data  --
185.73/46.50	c  N dy  1455    378067        60      5340         0     45853     37380    763383     17.87     19.02  --
196.53/49.25	c  N dy  1551    398087        60      5340         0     40587     37380    648101     17.90     20.25  --
206.90/51.89	c  N dy  1665    418140        60      5340         0     34510     37380    509989     17.95     20.12  --
220.49/55.20	c  N dy  1767    441443        60      5340         0     30301     37380    402158     17.98     19.01  --
231.68/58.08	c  N dy  1866    461524        60      5340         0     48104     37380    783322     18.00     19.08  --
251.64/63.05	c  N dy  1907    504626        60      5340         0     33747     37380    445472     17.86     18.92  --
264.42/66.29	c  N dy  2051    524677        60      5340         0     51656     37380    835718     17.92     18.98  --
271.23/67.98	c  S st  2114    536962        60      5340         0     35114     37380    477835     17.93     17.59  --
271.63/68.07	c  S st  2114    537465        60      5340         0     35561     37380    487756     17.93   no data  --
271.63/68.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
271.63/68.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
271.63/68.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
272.01/68.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
272.01/68.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
272.01/68.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
272.01/68.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
280.80/70.38	c lits-rem:       898  cl-subs:     1952  v-elim:      0  v-fix:    0  time:  9.11 s
280.80/70.38	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
280.80/70.39	c vivif2 --  cl tried    33609 cl shrink        0 lits rem          0 time: 0.02
282.40/70.76	c asymm  cl-useful: 0/2657/5340 lits-rem:0 time: 1.50
282.40/70.77	c calculated reachability. Time: 0.00
282.40/70.77	c  N dy  2114    537465        60      5340         0     33609     37380    445331     17.93   no data  --
297.18/74.44	c  N dy  2234    561109        60      5340         0     54598     37380    895924     17.96     19.05  --
308.37/77.26	c  N dy  2314    581152        60      5340         0     44187     37380    658857     17.98     19.32  --
323.15/80.91	c  N dy  2443    601215        60      5340         0     32869     37380    410677     18.01     20.21  --
333.93/83.69	c  N dy  2476    621243        60      5340         0     50486     37380    776655     17.99     19.17  --
347.11/86.95	c  N dy  2556    641336        60      5340         0     38190     37380    511843     17.99     18.96  --
361.50/90.54	c  N dy  2643    661375        60      5340         0     55961     37380    893386     18.00     19.38  --
374.27/93.78	c  N dy  2719    681449        60      5340         0     42769     37380    602426     18.01     21.42  --
389.44/97.52	c  N dy  2795    702319        60      5340         0     61340     37380    997854     18.02     19.00  --
407.02/101.95	c  N dy  2926    726581        60      5340         0     50981     37380    770252     18.05     19.05  --
424.20/106.28	c  N dy  2965    752189        60      5340         0     40755     37380    529889     18.02     18.97  --
439.38/110.05	c  N dy  3084    772532        60      5340         0     58807     37380    922823     18.05     19.01  --
454.95/113.93	c  N dy  3203    792576        60      5340         0     42945     37380    575946     18.07     19.17  --
464.57/116.35	c  S st  3280    806198        60      5340         0     55063     37380    838914     18.09     18.67  --
465.34/116.50	c  S st  3280    806704        60      5340         0     55523     37380    849381     18.09   no data  --
465.34/116.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
465.34/116.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
465.34/116.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
465.34/116.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
465.34/116.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
465.34/116.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
465.34/116.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
496.50/124.38	c lits-rem:      2399  cl-subs:     4966  v-elim:      0  v-fix:    0  time: 31.26 s
496.50/124.38	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
496.50/124.39	c vivif2 --  cl tried    50557 cl shrink        0 lits rem          0 time: 0.04
498.10/124.71	c asymm  cl-useful: 0/780/5340 lits-rem:0 time: 1.26
498.10/124.71	c calculated reachability. Time: 0.00
498.10/124.71	c  N dy  3280    806704        60      5340         0     50557     37380    737227     18.09   no data  --
512.08/128.24	c  N dy  3307    826781        60      5340         0     68182     37380   1101187     18.05     19.05  --
524.47/131.39	c  N dy  3368    846859        60      5340         0     51640     37380    742861     18.05     19.07  --
542.84/135.94	c  N dy  3499    866875        60      5340         0     69529     37380   1132248     18.07     21.31  --
556.85/139.41	c  N dy  3600    887012        60      5340         0     52079     37380    746799     18.08     19.16  --
574.82/143.90	c  N dy  3701    907055        60      5340         0     69813     37380   1127706     18.10     19.34  --
588.78/147.49	c  N dy  3755    929170        60      5340         0     52906     37380    740055     18.08     19.05  --
608.76/152.42	c  N dy  3815    952826        60      5340         0     73808     37380   1176071     18.06     19.12  --
627.92/157.22	c  N dy  3940    980478        60      5340         0     61163     37380    919417     18.07     19.27  --
647.51/162.19	c  N dy  4052   1000565        60      5340         0     40965     37380    479339     18.09     19.07  --
662.70/165.98	c  N dy  4161   1021309        60      5340         0     59377     37380    877421     18.10     19.10  --
685.05/171.59	c  N dy  4251   1042874        60      5340         0     39552     37380    436388     18.11     19.20  --
698.64/174.97	c  N dy  4330   1062886        60      5340         0     57247     37380    816392     18.12     19.83  --
707.02/177.04	c  F st  4383   1071880        60      5340         0     65260     37380    990291     18.13   no data  --
721.01/180.52	c  N dy  4411   1086056        60      5340         0     77792     37380   1257471     18.13     19.17  --
737.00/184.58	c  N dy  4518   1106123        60      5340         0     55699     37380    776131     18.14     19.11  --
755.76/189.25	c  N dy  4595   1126158        60      5340         0     73458     37380   1153207     18.15     21.04  --
775.33/194.10	c  N dy  4707   1146248        60      5340         0     50535     37380    655527     18.16     19.85  --
795.31/199.10	c  N dy  4782   1166697        60      5340         0     68659     37380   1046214     18.17     19.21  --
822.87/206.07	c  N dy  4834   1192769        60      5340         0     49898     37380    618517     18.15     19.11  --
842.05/210.82	c  S st  4899   1210056        60      5340         0     65198     37380    945569     18.15   no data  --
842.87/211.07	c  S st  4899   1210562        60      5340         0     65647     37380    955531     18.15   no data  --
842.87/211.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
842.87/211.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
843.25/211.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
843.25/211.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
843.25/211.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
843.25/211.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
843.25/211.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
912.36/228.46	c lits-rem:      2842  cl-subs:     7274  v-elim:      0  v-fix:    0  time: 69.13 s
912.36/228.46	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
912.36/228.47	c vivif2 --  cl tried    58373 cl shrink        0 lits rem          0 time: 0.04
913.95/228.83	c asymm  cl-useful: 0/652/5340 lits-rem:0 time: 1.43
913.95/228.83	c calculated reachability. Time: 0.00
913.95/228.83	c  N dy  4899   1210562        60      5340         0     58373     37380    809625     18.15   no data  --
934.32/233.95	c  N dy  4980   1230650        60      5340         0     76165     37380   1191898     18.16     19.21  --
959.49/240.20	c  N dy  5070   1259572        60      5340         0     59693     37380    825359     18.15     19.17  --
980.26/245.45	c  N dy  5193   1279587        60      5340         0     77424     37380   1212238     18.17     19.16  --
997.84/249.87	c  N dy  5218   1299608        60      5340         0     52077     37380    658501     18.16     20.05  --
1028.20/257.41	c  N dy  5263   1331828        60      5340         0     80422     37380   1254131     18.14     19.12  --
1051.77/263.31	c  N dy  5348   1351900        60      5340         0     54148     37380    688722     18.14     19.87  --
1074.54/269.08	c  N dy  5441   1373655        60      5340         0     73352     37380   1100757     18.15     19.22  --
1100.90/275.66	c  N dy  5546   1393736        60      5340         0     46145     37380    510325     18.16     19.19  --
1120.47/280.56	c  N dy  5628   1418150        60      5340         0     67662     37380    964596     18.15     19.23  --
1144.45/286.59	c  N dy  5725   1439283        60      5340         0     86372     37380   1369604     18.16     19.20  --
1166.02/291.90	c  N dy  5751   1464013        60      5340         0     62251     37380    831111     18.15     19.12  --
1186.79/297.10	c  N dy  5846   1484175        60      5340         0     80059     37380   1213109     18.15     19.15  --
1207.58/302.32	c  N dy  5904   1504219        60      5340         0     50903     37380    592766     18.15     20.16  --
1228.33/307.51	c  N dy  5999   1528440        60      5340         0     72250     37380   1048862     18.15     19.13  --
1254.30/314.06	c  N dy  6116   1548522        60      5340         0     90101     37380   1438340     18.16     19.54  --
1277.49/319.88	c  N dy  6207   1572576        60      5340         0     63696     37380    854005     18.17     19.16  --
1302.63/326.18	c  N dy  6293   1596804        60      5340         0     85072     37380   1310095     18.17     19.36  --
1331.00/333.27	c  N dy  6417   1620026        60      5340         0     57083     37380    704205     18.18     19.23  --
1350.57/338.14	c  N dy  6505   1640117        60      5340         0     74837     37380   1083322     18.18     19.20  --
1376.14/344.52	c  N dy  6582   1660895        60      5340         0     93141     37380   1473796     18.18     19.26  --
1398.51/350.11	c  N dy  6668   1680960        60      5340         0     61419     37380    786422     18.19     20.08  --
1426.48/357.18	c  N dy  6802   1702695        60      5340         0     80724     37380   1206093     18.20     19.30  --
1438.45/360.14	c  S st  6839   1710563        60      5340         0     87722     37380   1359304     18.20     17.60  --
1439.65/360.46	c  S st  6839   1711067        60      5340         0     88172     37380   1369353     18.20   no data  --
1439.65/360.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1439.65/360.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1440.08/360.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1440.08/360.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1440.08/360.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1440.08/360.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1440.08/360.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1644.19/411.60	c lits-rem:      5489  cl-subs:     9529  v-elim:      0  v-fix:    0  time: 203.84 s
1644.19/411.60	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1644.19/411.62	c vivif2 --  cl tried    78643 cl shrink        0 lits rem          0 time: 0.07
1645.79/412.08	c asymm  cl-useful: 0/506/5340 lits-rem:0 time: 1.84
1645.79/412.08	c calculated reachability. Time: 0.00
1645.79/412.08	c  N dy  6839   1711067        60      5340         0     78643     37380   1158373     18.20   no data  --
1688.93/422.89	c  N dy  6898   1740129        60      5340         0     54266     37380    621378     18.19     19.20  --
1719.29/430.42	c  N dy  7010   1760225        60      5340         0     72021     37380   1007422     18.20     20.52  --
1750.84/438.33	c  N dy  7043   1780286        60      5340         0     89609     37380   1367631     18.19     20.13  --
1789.19/447.93	c  N dy  7074   1808850        60      5340         0     63831     37380    812774     18.17     19.14  --
1821.15/455.92	c  N dy  7173   1828885        60      5340         0     81533     37380   1195185     18.18     19.82  --
1865.09/466.98	c  N dy  7232   1857264        60      5340         0     54639     37380    608859     18.16     19.34  --
1892.68/473.83	c  N dy  7364   1877296        60      5340         0     72398     37380    995617     18.17     19.36  --
1923.02/481.49	c  N dy  7483   1897692        60      5340         0     90479     37380   1390892     18.18     19.21  --
1959.00/490.46	c  N dy  7593   1918343        60      5340         0     55842     37380    626571     18.19     19.33  --
1988.13/497.76	c  N dy  7653   1948635        60      5340         0     82412     37380   1185662     18.18     19.18  --
2018.09/505.29	c  N dy  7740   1971504        60      5340         0    102638     37380   1619505     18.18     19.19  --
2044.06/511.79	c  N dy  7831   1995495        60      5340         0     70017     37380    916051     18.18     19.26  --
2095.98/524.79	c  N dy  7877   2049546        60      5340         0     62708     37380    745332     18.14     19.11  --
2119.56/530.66	c  N dy  8031   2069571        60      5340         0     80516     37380   1138384     18.15     19.77  --
2146.32/537.36	c  N dy  8107   2090360        60      5340         0     98768     37380   1526991     18.15     19.12  --
2174.69/544.45	c  N dy  8212   2110417        60      5340         0     61134     37380    714753     18.16     19.56  --
2201.05/551.08	c  N dy  8256   2141043        60      5340         0     87962     37380   1271015     18.15     19.16  --
2235.43/559.69	c  N dy  8393   2162132        60      5340         0    106666     37380   1679821     18.16     19.21  --
2269.76/568.22	c  N dy  8470   2194761        60      5340         0     78917     37380   1069371     18.15     19.19  --
2288.56/572.93	c  S st  8520   2211068        60      5340         0     93163     37380   1370550     18.14     17.94  --
2289.73/573.23	c  S st  8520   2211575        60      5340         0     93605     37380   1380403     18.14   no data  --
2289.73/573.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2289.73/573.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2289.73/573.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2290.13/573.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2290.13/573.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2290.13/573.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2290.13/573.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2399.59/600.70	c lits-rem:      4326  cl-subs:    11887  v-elim:      0  v-fix:    0  time: 109.34 s
2399.59/600.70	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2399.59/600.71	c vivif2 --  cl tried    81718 cl shrink        0 lits rem          0 time: 0.06
2400.79/601.05	c asymm  cl-useful: 0/478/5340 lits-rem:0 time: 1.35
2400.79/601.05	c calculated reachability. Time: 0.00
2400.79/601.05	c  N dy  8520   2211575        60      5340         0     81718     37380   1141640     18.14   no data  --
2451.52/613.72	c  N dy  8597   2257208        60      5340         0     65325     37380    778551     18.11     19.08  --
2476.29/619.90	c  N dy  8742   2277284        60      5340         0     83079     37380   1168827     18.13     19.36  --
2514.23/629.47	c  N dy  8834   2302484        60      5340         0    105381     37380   1643732     18.13     19.27  --
2555.39/639.78	c  N dy  8940   2324725        60      5340         0     67323     37380    819426     18.13     19.15  --
2585.34/647.22	c  N dy  9075   2344817        60      5340         0     85173     37380   1211802     18.14     19.48  --
2620.50/656.08	c  N dy  9132   2365251        60      5340         0    103185     37380   1594159     18.14     19.10  --
2659.65/665.82	c  N dy  9189   2385282        60      5340         0     61897     37380    690392     18.13     19.09  --
2684.42/672.06	c  N dy  9240   2405359        60      5340         0     79446     37380   1055321     18.13     19.70  --
2720.76/681.13	c  N dy  9333   2425371        60      5340         0     97079     37380   1431577     18.13     19.58  --
2764.70/692.18	c  N dy  9447   2445551        60      5340         0    114929     37380   1820181     18.14     19.11  --
2799.06/700.72	c  N dy  9551   2465571        60      5340         0     72690     37380    908960     18.14     20.77  --
2835.82/709.91	c  N dy  9683   2486122        60      5340         0     90939     37380   1308846     18.15     19.11  --
2878.96/720.78	c  N dy  9808   2506144        60      5340         0    108686     37380   1696896     18.16     20.15  --
2926.09/732.59	c  N dy  9946   2526486        60      5340         0     65871     37380    753894     18.17     19.16  --
2953.66/739.41	c  N dy 10021   2546504        60      5340         0     83455     37380   1128222     18.17     19.84  --
2988.81/748.21	c  N dy 10103   2571048        60      5340         0    104992     37380   1589166     18.17     19.28  --
3030.78/758.73	c  N dy 10211   2591120        60      5340         0    122758     37380   1977157     18.18     19.40  --
3058.32/765.65	c  N dy 10342   2611569        60      5340         0     79115     37380   1035229     18.18     19.17  --
3086.68/772.75	c  N dy 10425   2632570        60      5340         0     97655     37380   1433441     18.19     19.19  --
3117.04/780.31	c  N dy 10476   2653683        60      5340         0    116170     37380   1824068     18.18     19.19  --
3147.00/787.88	c  N dy 10546   2673784        60      5340         0     71304     37380    851906     18.19     20.02  --
3173.77/794.54	c  N dy 10676   2693840        60      5340         0     89070     37380   1239479     18.19     19.17  --
3201.73/801.50	c  S st 10780   2711576        60      5340         0    104707     37380   1578968     18.20     17.73  --
3202.93/801.81	c  S st 10780   2712079        60      5340         0    105164     37380   1589164     18.20   no data  --
3202.93/801.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3202.93/801.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3202.93/801.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
3203.33/801.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3203.33/801.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3203.33/801.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3203.33/801.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3556.00/897.50	c lits-rem:      6491  cl-subs:    11088  v-elim:      0  v-fix:    0  time: 352.58 s
3556.00/897.51	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3556.00/897.52	c vivif2 --  cl tried    94076 cl shrink        0 lits rem          0 time: 0.03
3556.40/897.71	c asymm  cl-useful: 0/531/5340 lits-rem:0 time: 0.38
3556.40/897.71	c calculated reachability. Time: 0.00
3556.40/897.71	c  N dy 10780   2712079        60      5340         0     94076     37380   1344343     18.20   no data  --
3556.40/897.71	c Following stats are for *FIRST FINISHED THREAD ONLY*
3556.40/897.71	c num threads              : 4          
3556.40/897.71	c restarts                 : 11226      
3556.40/897.71	c dynamic restarts         : 11196      
3556.40/897.71	c static restarts          : 30         
3556.40/897.71	c full restarts            : 4          
3556.40/897.71	c total simplify time      : 0.02       
3556.40/897.71	c learnts DL2              : 0          
3556.40/897.71	c learnts size 2           : 0          
3556.40/897.72	c learnts size 1           : 0           (0.00      % of vars)
3556.40/897.72	c filedLit time            : 0.84        (0.02      % time)
3556.40/897.72	c v-elim SatELite          : 0           (0.00      % vars)
3556.40/897.72	c SatELite time            : 410.14      (11.54     % time)
3556.40/897.72	c v-elim xor               : 0           (0.00      % vars)
3556.40/897.72	c xor elim time            : 0.12        (0.00      % time)
3556.40/897.72	c num binary xor trees     : 0          
3556.40/897.72	c binxor trees' crown      : 0           (nan       leafs/tree)
3556.40/897.72	c bin xor find time        : 0.00       
3556.40/897.72	c OTF clause improved      : 343054      (0.12      clauses/conflict)
3556.40/897.72	c OTF impr. size diff      : 344983      (1.01       lits/clause)
3556.40/897.72	c OTF cl watch-shrink      : 0           (0.00      clauses/conflict)
3556.40/897.72	c OTF cl watch-sh-lit      : 0           (nan        lits/clause)
3556.40/897.72	c tried to recurMin cls    : 238317      (8.13       % of conflicts)
3556.40/897.72	c updated cache            : 35          (0.00       lits/tried recurMin)
3556.40/897.72	c unit cls received        : 0           (nan       % of units)
3556.40/897.72	c unit cls sent            : 0           (nan       % of units)
3556.40/897.72	c bin cls received         : 0          
3556.40/897.72	c bin cls sent             : 0          
3556.40/897.72	c clauses over max glue    : 0           (0.00      % of all clauses)
3556.40/897.72	c conflicts                : 2932853     (825.01    / sec)
3556.40/897.72	c decisions                : 3418638     (0.42      % random)
3556.40/897.72	c bogo-props               : 109084355343 (30685265.18 / sec)
3556.40/897.72	c conflict literals        : 62422088    (10.37     % deleted)
3556.40/897.72	c Memory used              : 379.48      MB
3556.40/897.72	c single-thread CPU time   : 3554.94     s
3556.40/897.72	c all-threads sum CPU time : 3554.94     s
3556.40/897.72	s SATISFIABLE
3556.40/897.72	v 1 2 -3 4 -5 -6 7 -8 -9 10 11 -12 13 14 15 16 -17 18 -19 20 -21 22 -23 24 -25 -26 -27 -28 -29 -30 -31 -32 33 -34 -35 -36 37 -38 -39 -40 -41 42 43 44 45 -46 -47 -48 49 -50 -51 -52 53 54 -55 56 57 58 -59 60 0

Verifier Data 

OK

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-3175466-1304125167/watcher-3175466-1304125167 -o /tmp/evaluation-result-3175466-1304125167/solver-3175466-1304125167 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175466-1304125167.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: 3.70 5.32 6.82 7/179 32305
/proc/meminfo: memFree=30956932/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 416 0 0 0 0 0 0 0 22 0 4 0 524113375 52465664 356 33554432000 4194304 4650419 140733571319872 18446744073709551615 254500691899 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 12809 356 306 112 0 7774 0
[pid=32305/tid=32306] ppid=32303 vsize=182308 CPUtime=0 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) D 32303 32305 31569 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 4 0 524113376 186683392 369 33554432000 4194304 4650419 140733571319872 18446744073709551615 254500735111 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=116772 CPUtime=0 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 4 0 524113376 119574528 370 33554432000 4194304 4650419 140733571319872 18446744073709551615 254500796910 0 0 4096 2 18446604471152842944 0 0 -1 1 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=116772 CPUtime=0 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 10 0 0 0 0 0 0 0 24 0 4 0 524113376 119574528 387 33554432000 4194304 4650419 140733571319872 18446744073709551615 254520868224 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0445631 s]
/proc/loadavg: 3.70 5.32 6.82 7/179 32305
/proc/meminfo: memFree=30956932/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=217820 CPUtime=0.47 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) D 32303 32305 31569 0 -1 4202496 1871 0 0 0 47 0 0 0 23 0 4 0 524113375 223047680 1626 33554432000 4194304 4650419 140733571319872 18446744073709551615 254500353057 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 54490 1695 376 112 0 49455 0
[pid=32305/tid=32306] ppid=32303 vsize=217960 CPUtime=0.12 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 481 0 0 0 12 0 0 0 18 0 4 0 524113376 223191040 1707 33554432000 4194304 4650419 140733571319872 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=218092 CPUtime=0.11 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) D 32303 32305 31569 0 -1 4202560 353 0 0 0 11 0 0 0 18 0 4 0 524113376 223326208 1756 33554432000 4194304 4650419 140733571319872 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=218092 CPUtime=0.11 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 370 0 0 0 11 0 0 0 18 0 4 0 524113376 223326208 1766 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 217820

[startup+1.00795 s]
/proc/loadavg: 3.70 5.32 6.82 7/179 32305
/proc/meminfo: memFree=30956932/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=222296 CPUtime=4.01 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 6960 0 0 0 400 1 0 0 19 0 4 0 524113375 227631104 3674 33554432000 4194304 4650419 140733571319872 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 55574 3674 391 112 0 50539 0
[pid=32305/tid=32306] ppid=32303 vsize=222296 CPUtime=1 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 1676 0 0 0 100 0 0 0 19 0 4 0 524113376 227631104 3674 33554432000 4194304 4650419 140733571319872 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=222296 CPUtime=0.99 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 1569 0 0 0 99 0 0 0 19 0 4 0 524113376 227631104 3674 33554432000 4194304 4650419 140733571319872 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=222296 CPUtime=0.99 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 1590 0 0 0 99 0 0 0 19 0 4 0 524113376 227631104 3674 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 222296

[startup+1.10093 s]
/proc/loadavg: 3.70 5.32 6.82 7/179 32305
/proc/meminfo: memFree=30956932/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=222296 CPUtime=4.38 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 7156 0 0 0 437 1 0 0 19 0 4 0 524113375 227631104 3870 33554432000 4194304 4650419 140733571319872 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 55574 3870 391 112 0 50539 0
[pid=32305/tid=32306] ppid=32303 vsize=222296 CPUtime=1.09 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 1720 0 0 0 109 0 0 0 19 0 4 0 524113376 227631104 3870 33554432000 4194304 4650419 140733571319872 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=222296 CPUtime=1.09 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 1617 0 0 0 109 0 0 0 19 0 4 0 524113376 227631104 3870 33554432000 4194304 4650419 140733571319872 18446744073709551615 4334336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=222296 CPUtime=1.09 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 1645 0 0 0 109 0 0 0 19 0 4 0 524113376 227631104 3870 33554432000 4194304 4650419 140733571319872 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 222296

[startup+1.20091 s]
/proc/loadavg: 3.70 5.32 6.82 7/179 32305
/proc/meminfo: memFree=30956932/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=222532 CPUtime=4.78 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 7944 0 0 0 477 1 0 0 19 0 4 0 524113375 227872768 3672 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 55633 3672 391 112 0 50598 0
[pid=32305/tid=32306] ppid=32303 vsize=222532 CPUtime=1.19 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 1962 0 0 0 119 0 0 0 19 0 4 0 524113376 227872768 3672 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=222532 CPUtime=1.18 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 1840 0 0 0 118 0 0 0 19 0 4 0 524113376 227872768 3672 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=222532 CPUtime=1.19 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 1695 0 0 0 119 0 0 0 19 0 4 0 524113376 227872768 3672 33554432000 4194304 4650419 140733571319872 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 222532

[startup+1.50085 s]
/proc/loadavg: 3.70 5.32 6.82 7/179 32305
/proc/meminfo: memFree=30956932/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=222968 CPUtime=5.98 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 9990 0 0 0 597 1 0 0 19 0 4 0 524113375 228319232 5353 33554432000 4194304 4650419 140733571319872 18446744073709551615 4439082 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 55742 5353 392 112 0 50707 0
[pid=32305/tid=32306] ppid=32303 vsize=222968 CPUtime=1.49 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 2119 0 0 0 149 0 0 0 19 0 4 0 524113376 228319232 5353 33554432000 4194304 4650419 140733571319872 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=222968 CPUtime=1.48 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 2012 0 0 0 148 0 0 0 19 0 4 0 524113376 228319232 5353 33554432000 4194304 4650419 140733571319872 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=222968 CPUtime=1.49 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 2086 0 0 0 149 0 0 0 20 0 4 0 524113376 228319232 5353 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 222968

[startup+3.10653 s]
/proc/loadavg: 3.70 5.32 6.82 9/184 32310
/proc/meminfo: memFree=30880216/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=222032 CPUtime=12.38 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 16262 0 0 0 1236 2 0 0 25 0 4 0 524113375 227360768 9776 33554432000 4194304 4650419 140733571319872 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 55508 9776 392 112 0 50473 0
[pid=32305/tid=32306] ppid=32303 vsize=222032 CPUtime=3.09 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 3557 0 0 0 309 0 0 0 25 0 4 0 524113376 227360768 9776 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=222032 CPUtime=3.07 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 4172 0 0 0 307 0 0 0 25 0 4 0 524113376 227360768 9776 33554432000 4194304 4650419 140733571319872 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=222032 CPUtime=3.09 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 4316 0 0 0 309 0 0 0 25 0 4 0 524113376 227360768 9776 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 222032

[startup+6.3009 s]
/proc/loadavg: 4.04 5.36 6.83 9/184 32310
/proc/meminfo: memFree=30845992/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=232320 CPUtime=25.16 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 23239 0 0 0 2512 4 0 0 25 0 4 0 524113375 237895680 13136 33554432000 4194304 4650419 140733571319872 18446744073709551615 4439306 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 58080 13136 392 112 0 53045 0
[pid=32305/tid=32306] ppid=32303 vsize=232320 CPUtime=6.3 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 6133 0 0 0 629 1 0 0 25 0 4 0 524113376 237895680 13136 33554432000 4194304 4650419 140733571319872 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=232320 CPUtime=6.26 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 5786 0 0 0 625 1 0 0 25 0 4 0 524113376 237895680 13136 33554432000 4194304 4650419 140733571319872 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=232320 CPUtime=6.29 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 5916 0 0 0 628 1 0 0 25 0 4 0 524113376 237895680 13136 33554432000 4194304 4650419 140733571319872 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 232320

[startup+12.7006 s]
/proc/loadavg: 4.36 5.41 6.83 10/184 32310
/proc/meminfo: memFree=30816908/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=242120 CPUtime=50.71 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 33626 0 0 0 5064 7 0 0 25 0 4 0 524113375 247930880 17087 33554432000 4194304 4650419 140733571319872 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 60530 17087 392 112 0 55495 0
[pid=32305/tid=32306] ppid=32303 vsize=242120 CPUtime=12.69 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 9471 0 0 0 1267 2 0 0 25 0 4 0 524113376 247930880 17087 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=242120 CPUtime=12.62 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 6931 0 0 0 1261 1 0 0 25 0 4 0 524113376 247930880 17088 33554432000 4194304 4650419 140733571319872 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=242120 CPUtime=12.68 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 8965 0 0 0 1267 1 0 0 25 0 4 0 524113376 247930880 17088 33554432000 4194304 4650419 140733571319872 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 242120

[startup+25.5011 s]
/proc/loadavg: 5.17 5.53 6.85 9/184 32311
/proc/meminfo: memFree=30757576/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=236772 CPUtime=101.84 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 51259 0 0 0 10173 11 0 0 25 0 4 0 524113375 242454528 24066 33554432000 4194304 4650419 140733571319872 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 59193 24066 392 112 0 54158 0
[pid=32305/tid=32306] ppid=32303 vsize=236772 CPUtime=25.49 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 14791 0 0 0 2546 3 0 0 25 0 4 0 524113376 242454528 24066 33554432000 4194304 4650419 140733571319872 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=236772 CPUtime=25.35 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 10333 0 0 0 2533 2 0 0 25 0 4 0 524113376 242454528 24066 33554432000 4194304 4650419 140733571319872 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=236772 CPUtime=25.48 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 13584 0 0 0 2545 3 0 0 25 0 4 0 524113376 242454528 24066 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 236772

[startup+51.101 s]
/proc/loadavg: 6.26 5.76 6.89 9/184 32311
/proc/meminfo: memFree=30706484/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=237444 CPUtime=204.1 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 76174 0 0 0 20392 18 0 0 25 0 4 0 524113375 243142656 26786 33554432000 4194304 4650419 140733571319872 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 59361 26786 392 112 0 54326 0
[pid=32305/tid=32306] ppid=32303 vsize=237444 CPUtime=51.09 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 22133 0 0 0 5104 5 0 0 25 0 4 0 524113376 243142656 26786 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=237444 CPUtime=50.81 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 15381 0 0 0 5078 3 0 0 25 0 4 0 524113376 243142656 26786 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=237444 CPUtime=51.08 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 20276 0 0 0 5103 5 0 0 25 0 4 0 524113376 243142656 26786 33554432000 4194304 4650419 140733571319872 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 237444

[startup+102.301 s]
/proc/loadavg: 7.31 6.12 6.95 9/184 32322
/proc/meminfo: memFree=30666904/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=259512 CPUtime=408.62 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 112325 0 0 0 40830 32 0 0 25 0 4 0 524113375 265740288 32059 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 64878 32059 392 112 0 59843 0
[pid=32305/tid=32306] ppid=32303 vsize=259512 CPUtime=102.29 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 29585 0 0 0 10221 8 0 0 25 0 4 0 524113376 265740288 32059 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=259512 CPUtime=101.74 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 23281 0 0 0 10167 7 0 0 25 0 4 0 524113376 265740288 32059 33554432000 4194304 4650419 140733571319872 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=259512 CPUtime=102.28 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 32773 0 0 0 10218 10 0 0 25 0 4 0 524113376 265740288 32059 33554432000 4194304 4650419 140733571319872 18446744073709551615 4313304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 259512

[startup+162.301 s]

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

/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 79452 0 0 0 70202 29 0 0 25 0 4 0 524113376 439160832 68679 33554432000 4194304 4650419 140733571319872 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.45
Current children cumulated vsize (KiB) 428868

[startup+762.3 s]
/proc/loadavg: 8.00 7.84 7.51 9/184 32342
/proc/meminfo: memFree=30301720/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=363616 CPUtime=3045.13 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 370160 0 0 0 304372 141 0 0 25 0 4 0 524113375 372342784 67315 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 90904 67315 392 112 0 85869 0
[pid=32305/tid=32306] ppid=32303 vsize=363616 CPUtime=762.32 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 104511 0 0 0 76202 30 0 0 25 0 4 0 524113376 372342784 67315 33554432000 4194304 4650419 140733571319872 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=363616 CPUtime=758.17 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 89833 0 0 0 75779 38 0 0 25 0 4 0 524113376 372342784 67315 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=363616 CPUtime=762.3 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 80051 0 0 0 76201 29 0 0 25 0 4 0 524113376 372342784 67315 33554432000 4194304 4650419 140733571319872 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.13
Current children cumulated vsize (KiB) 363616

[startup+822.301 s]
/proc/loadavg: 8.15 7.90 7.55 9/184 32344
/proc/meminfo: memFree=30271284/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=388084 CPUtime=3284.83 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 382066 0 0 0 328335 148 0 0 25 0 4 0 524113375 397398016 74015 33554432000 4194304 4650419 140733571319872 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 97021 74015 392 112 0 91986 0
[pid=32305/tid=32306] ppid=32303 vsize=388084 CPUtime=822.32 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 106999 0 0 0 82201 31 0 0 25 0 4 0 524113376 397398016 74015 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=388084 CPUtime=817.85 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 93045 0 0 0 81745 40 0 0 25 0 4 0 524113376 397398016 74015 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=388084 CPUtime=822.31 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 82362 0 0 0 82201 30 0 0 25 0 4 0 524113376 397398016 74015 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.83
Current children cumulated vsize (KiB) 388084

[startup+882.301 s]
/proc/loadavg: 8.19 7.95 7.58 9/184 32346
/proc/meminfo: memFree=30257732/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=388588 CPUtime=3524.51 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 386223 0 0 0 352301 150 0 0 25 0 4 0 524113375 397914112 75309 33554432000 4194304 4650419 140733571319872 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 97147 75309 392 112 0 92112 0
[pid=32305/tid=32306] ppid=32303 vsize=388588 CPUtime=882.32 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 107836 0 0 0 88201 31 0 0 25 0 4 0 524113376 397914112 75309 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=388588 CPUtime=877.52 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 95887 0 0 0 87710 42 0 0 25 0 4 0 524113376 397914112 75309 33554432000 4194304 4650419 140733571319872 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=388588 CPUtime=882.32 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 82649 0 0 0 88201 31 0 0 25 0 4 0 524113376 397914112 75309 33554432000 4194304 4650419 140733571319872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.51
Current children cumulated vsize (KiB) 388588

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

[startup+884 s]
/proc/loadavg: 8.19 7.95 7.58 7/184 32346
/proc/meminfo: memFree=30256492/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=388588 CPUtime=3529 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 386254 0 0 0 352750 150 0 0 25 0 4 0 524113375 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 97147 75340 392 112 0 92112 0
[pid=32305/tid=32306] ppid=32303 vsize=388588 CPUtime=882.87 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 107836 0 0 0 88256 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=388588 CPUtime=879.22 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 95905 0 0 0 87880 42 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216713771 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=388588 CPUtime=882.86 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 82662 0 0 0 88255 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3529
Current children cumulated vsize (KiB) 388588

[startup+890.401 s]
/proc/loadavg: 7.85 7.88 7.57 8/184 32346
/proc/meminfo: memFree=30251152/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=388588 CPUtime=3541.8 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 386254 0 0 0 354030 150 0 0 25 0 4 0 524113375 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 97147 75340 392 112 0 92112 0
[pid=32305/tid=32306] ppid=32303 vsize=388588 CPUtime=882.87 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 107836 0 0 0 88256 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=388588 CPUtime=885.62 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 95905 0 0 0 88520 42 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216713771 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=388588 CPUtime=882.86 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 82662 0 0 0 88255 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3541.8
Current children cumulated vsize (KiB) 388588

[startup+893.6 s]
/proc/loadavg: 7.85 7.88 7.57 7/184 32346
/proc/meminfo: memFree=30248672/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=388588 CPUtime=3548.2 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 386254 0 0 0 354670 150 0 0 25 0 4 0 524113375 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 97147 75340 392 112 0 92112 0
[pid=32305/tid=32306] ppid=32303 vsize=388588 CPUtime=882.87 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 107836 0 0 0 88256 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=388588 CPUtime=888.82 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 95905 0 0 0 88840 42 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 4205400 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=388588 CPUtime=882.86 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 82662 0 0 0 88255 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3548.2
Current children cumulated vsize (KiB) 388588

[startup+895.207 s]
/proc/loadavg: 7.70 7.85 7.56 7/184 32346
/proc/meminfo: memFree=30247060/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=388588 CPUtime=3551.41 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 386254 0 0 0 354991 150 0 0 25 0 4 0 524113375 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 97147 75340 392 112 0 92112 0
[pid=32305/tid=32306] ppid=32303 vsize=388588 CPUtime=882.87 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 107836 0 0 0 88256 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=388588 CPUtime=890.43 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 95905 0 0 0 89001 42 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216713924 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=388588 CPUtime=882.86 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 82662 0 0 0 88255 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3551.41
Current children cumulated vsize (KiB) 388588

[startup+896.801 s]
/proc/loadavg: 7.70 7.85 7.56 7/184 32346
/proc/meminfo: memFree=30246564/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=388588 CPUtime=3554.6 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 386254 0 0 0 355310 150 0 0 25 0 4 0 524113375 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 97147 75340 392 112 0 92112 0
[pid=32305/tid=32306] ppid=32303 vsize=388588 CPUtime=882.87 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 107836 0 0 0 88256 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=388588 CPUtime=892.02 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 95905 0 0 0 89160 42 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 4205736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=388588 CPUtime=882.86 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 82662 0 0 0 88255 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3554.6
Current children cumulated vsize (KiB) 388588

[startup+897.201 s]
/proc/loadavg: 7.70 7.85 7.56 7/184 32346
/proc/meminfo: memFree=30246564/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=388588 CPUtime=3555.4 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 386254 0 0 0 355390 150 0 0 25 0 4 0 524113375 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 97147 75340 392 112 0 92112 0
[pid=32305/tid=32306] ppid=32303 vsize=388588 CPUtime=882.87 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 107836 0 0 0 88256 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=388588 CPUtime=892.42 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 95905 0 0 0 89200 42 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216713771 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=388588 CPUtime=882.86 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 82662 0 0 0 88255 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3555.4
Current children cumulated vsize (KiB) 388588

[startup+897.601 s]
/proc/loadavg: 7.70 7.85 7.56 7/184 32346
/proc/meminfo: memFree=30254376/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=388588 CPUtime=3556.2 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 386254 0 0 0 355470 150 0 0 25 0 4 0 524113375 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 4370701 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 97147 75340 392 112 0 92112 0
[pid=32305/tid=32306] ppid=32303 vsize=388588 CPUtime=882.87 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 107836 0 0 0 88256 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=388588 CPUtime=892.82 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 95905 0 0 0 89240 42 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216713924 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=388588 CPUtime=882.86 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 82662 0 0 0 88255 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3556.2
Current children cumulated vsize (KiB) 388588

[startup+897.701 s]
/proc/loadavg: 7.70 7.85 7.56 7/184 32346
/proc/meminfo: memFree=30254376/32950928 swapFree=67111464/67111528
[pid=32305] ppid=32303 vsize=388588 CPUtime=3556.4 cores=1,3,5,7
/proc/32305/stat : 32305 (strangenight1-m) R 32303 32305 31569 0 -1 4202496 386254 0 0 0 355490 150 0 0 25 0 4 0 524113375 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 4370701 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32305/statm: 97147 75340 392 112 0 92112 0
[pid=32305/tid=32306] ppid=32303 vsize=388588 CPUtime=882.87 cores=1,3,5,7
/proc/32305/task/32306/stat : 32306 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 107836 0 0 0 88256 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 3 0 0 0
[pid=32305/tid=32307] ppid=32303 vsize=388588 CPUtime=892.92 cores=1,3,5,7
/proc/32305/task/32307/stat : 32307 (strangenight1-m) R 32303 32305 31569 0 -1 4202560 95905 0 0 0 89250 42 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216713924 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32305/tid=32308] ppid=32303 vsize=388588 CPUtime=882.86 cores=1,3,5,7
/proc/32305/task/32308/stat : 32308 (strangenight1-m) S 32303 32305 31569 0 -1 4202560 82662 0 0 0 88255 31 0 0 25 0 4 0 524113376 397914112 75340 33554432000 4194304 4650419 140733571319872 18446744073709551615 47486216738356 0 0 4096 2 18446604471152842944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3556.4
Current children cumulated vsize (KiB) 388588

Child status: 10
Real time (s): 897.735
CPU time (s): 3556.46
CPU user time (s): 3554.94
CPU system time (s): 1.51577
CPU usage (%): 396.159
Max. virtual memory (cumulated for all children) (KiB): 494216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3554.94
system time used= 1.51577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 386262
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= 411
involuntary context switches= 24244

runsolver used 1.37479 second user time and 3.53346 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-30 02:59:27
IDJOB=3175466
IDBENCH=83084
IDSOLVER=1588
FILE ID=node149/3175466-1304125167
RUNJOBID= node149-1304125167-32284
PBS_JOBID= 13170723
Free space on /tmp= 71932 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175466-1304125167/watcher-3175466-1304125167 -o /tmp/evaluation-result-3175466-1304125167/solver-3175466-1304125167 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175466-1304125167.cnf

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

MD5SUM BENCH= 73d9fe7597a311fec40e782ce52bc60b
RANDOM SEED=356597161

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30957112 kB
Buffers:        452288 kB
Cached:        1108232 kB
SwapCached:         60 kB
Active:         156264 kB
Inactive:      1468852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30957112 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           12428 kB
Writeback:           8 kB
AnonPages:       64504 kB
Mapped:          14872 kB
Slab:           305124 kB
PageTables:       4800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   196428 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= 71920 MiB
End job on node149 at 2011-04-30 03:14:25